	Цена: 1034 р В корзину /Вагин В.Н. и др./ Достоверный и правдоподобный вывод в интеллектуальных системах Рассматриваются методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах: вывод на графе связей, графе д...
	Цена: 990 р В корзину /Ершов Ю.Л., Палютин Е.А./ Математическая логика В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория до...
	Цена: 848 р В корзину /Клини С.К./ Введение в метаматематику /Пер. с англ. - 2-изд., испр. Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для ...
	Цена: 759 р В корзину /Закревский А.Д., Поттосин Ю.В., Черемисова Л.Д./ Логические основы проектирования дискретных устройств Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абс...
	Цена: 687 р В корзину /Драгалин А.Г./ Конструктивная теория доказательств и нестандартный анализ .Г.Драгалин (1941--1998) --- выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г.Драгалина по интуиционистской ...
	Цена: 648 р В корзину /Бурбаки Н./ Теория множеств. Пер. с фр. Настоящее издание представляет собой перевод первой книги первой части трактата Н.Бурбаки "Начала математики", имеющего целью изложить всю современную математику с единой и оригинальной точки зрения. В этой книге закладываются наиболее фундаментальные и ...
	Цена: 616 р В корзину /Лунгу К.Н., Макаров Е.В./ Высшая математика. Руководство к решению задач. Ч. 1. Учебное пособие написано на основе многолетнего опыта чтения лекций и проведения практических занятий по высшей математике в Московском государственном открытом университете на различных факультетах. В пособии большое внимание уделяется решению типовых ...
	Цена: 580 р В корзину /Чёрч А./ Введение в математическую логику: монография. Том 1 /Пер с англ.- 2-е изд. Эта монография принадлежит перу одного из самых известных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую мате...
	Цена: 457 р В корзину /Колмогоров А.Н., Драгалин А.Г./ Математическая логика: Дополнительные главы Авторы настоящей книги — А.Н.Колмогоров и А.Г.Драгалин — выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика. Дополнительные главы" ...
	Цена: 453 р В корзину /Коэн П. Дж./ Теория множеств и континуум-гипотеза /пер. с англ.- 2-е изд.- Серия "Физико-математическое наследие: В книге излагается доказательство независимости гипотезы континуума от остальных аксиом теории множеств --- один из самых интересных и ярких результатов в математике, за который автор, профессор Стэнфордского университета Пол Джозеф Коэн, был удостоен ...
	Цена: 442 р В корзину /Асмус В.Ф./ Логика Настоящий учебник, написанный в 1947 году известным российским специалистом в области истории философии, логики и литературоведения В.Ф.Асмусом, стал в свое время первой работой по формальной логике, вышедшей в СССР после долгого периода нигилистического ...
	Цена: 425 р В корзину /Карпенко А.С./ Логики Лукасевича и простые числа. - Изд.3 Впервые в мировой литературе в монографическом исследовании устанавливается прямая связь между логикой и простыми числами. Хотя многозначные логики Лукасевича явились результатом опровержения фаталистического аргумента Аристотеля, их функциональные ...
	Цена: 425 р В корзину /Пойа Д./ Математика и правдоподобные рассуждения. Два тома в одной книге: Т. I. Индукция и аналогия в Данная книга обращена прежде всего к тем, кто изучает математику, --- начиная от учащихся старших классов и студентов и кончая специалистами в различных областях, которым приходится встречаться с применением математических методов исследования. Читатель ...
	Цена: 421 р В корзину /Гуц А.К./ Математическая логика и теория алгоритмов Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая ...
	Цена: 398 р В корзину /Босс В./ Лекции по математике. Том 6: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта --- вот рассматриваемый круг вопросов....
	Цена: 382 р В корзину /Зиновьев А.А./ Основы логической теории научных знаний Исследования научных знаний в рамках понятий и методов логики образуют логическую теорию научных знаний. В книге выдающегося отечественного мыслителя А.А.Зиновьева дается систематизированное построение той концепции логической теории научных знаний, ...
	Цена: 362 р Уже в корзине /Зиновьев А.А./ Комплексная логика В настоящей книге, написанной выдающимся отечественным философом и логиком А.А.Зиновьевым, дается систематическое изложение формального аппарата разработанной автором комплексной логики. Рассматривается общая теория дедукции и ее расширения, включая теорию...
	Цена: 362 р В корзину /Зиновьев А.А./ Логическая физика В настоящей книге, написанной выдающимся отечественным философом и логиком А.А.Зиновьевым, под логической физикой понимается раздел логики, в котором исследуется терминология, относящаяся к пространству, времени, движению, причинности и т.д. В отличие от ...
	Цена: 343 р В корзину /Гастев Ю.А./ Гомоморфизмы и модели: Логико-алгебраические аспекты моделирования. - 2-е изд., испр. и Настоящая книга посвящена проблемам логики, семиотики, методологии науки. В ней говорится о структурных аспектах процесса познания в терминах математической логики и алгебры. Уточняется понятие модели и процедуры моделирования с помощью понятий изоморфизма...
	Цена: 334 р Оставить заявку /Попов С.В.,Брошкова Н.Л./ Прикладная логика Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении...