|
Книги
Книги в разделе
|
/Вагин В.Н. и др./
Рассматриваются методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах: вывод на графе связей, графе д...
|
|
/Ершов Ю.Л., Палютин Е.А./
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория до...
|
|
/Клини С.К./
Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для ...
|
|
/Закревский А.Д., Поттосин Ю.В., Черемисова Л.Д./
Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абс...
|
|
/Драгалин А.Г./
.Г.Драгалин (1941--1998) --- выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г.Драгалина по интуиционистской ...
|
|
/Бурбаки Н./
Настоящее издание представляет собой перевод первой книги первой части трактата Н.Бурбаки "Начала математики", имеющего целью изложить всю современную математику с единой и оригинальной точки зрения. В этой книге закладываются наиболее фундаментальные и ...
|
|
/Лунгу К.Н., Макаров Е.В./
Учебное пособие написано на основе многолетнего опыта чтения лекций и проведения практических занятий по высшей математике в Московском государственном открытом университете на различных факультетах. В пособии большое внимание уделяется решению типовых ...
|
|
/Чёрч А./
Эта монография принадлежит перу одного из самых известных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую мате...
|
|
/Колмогоров А.Н., Драгалин А.Г./
Авторы настоящей книги — А.Н.Колмогоров и А.Г.Драгалин — выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика. Дополнительные главы" ...
|
|
/Босс В./
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта --- вот рассматриваемый круг вопросов....
|
|
/Коэн П. Дж./
В книге излагается доказательство независимости гипотезы континуума от остальных аксиом теории множеств --- один из самых интересных и ярких результатов в математике, за который автор, профессор Стэнфордского университета Пол Джозеф Коэн, был удостоен ...
|
|
/Асмус В.Ф./
Настоящий учебник, написанный в 1947 году известным российским специалистом в области истории философии, логики и литературоведения В.Ф.Асмусом, стал в свое время первой работой по формальной логике, вышедшей в СССР после долгого периода нигилистического ...
|
|
/Карпенко А.С./
Впервые в мировой литературе в монографическом исследовании устанавливается прямая связь между логикой и простыми числами. Хотя многозначные логики Лукасевича явились результатом опровержения фаталистического аргумента Аристотеля, их функциональные ...
|
|
/Пойа Д./
Данная книга обращена прежде всего к тем, кто изучает математику, --- начиная от учащихся старших классов и студентов и кончая специалистами в различных областях, которым приходится встречаться с применением математических методов исследования. Читатель ...
|
|
/Гуц А.К./
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая ...
|
|
/Зиновьев А.А./
Исследования научных знаний в рамках понятий и методов логики образуют логическую теорию научных знаний. В книге выдающегося отечественного мыслителя А.А.Зиновьева дается систематизированное построение той концепции логической теории научных знаний, ...
|
|
/Зиновьев А.А./
В настоящей книге, написанной выдающимся отечественным философом и логиком А.А.Зиновьевым, дается систематическое изложение формального аппарата разработанной автором комплексной логики. Рассматривается общая теория дедукции и ее расширения, включая теорию...
|
|
/Зиновьев А.А./
В настоящей книге, написанной выдающимся отечественным философом и логиком А.А.Зиновьевым, под логической физикой понимается раздел логики, в котором исследуется терминология, относящаяся к пространству, времени, движению, причинности и т.д. В отличие от ...
|
|
/Гастев Ю.А./
Настоящая книга посвящена проблемам логики, семиотики, методологии науки. В ней говорится о структурных аспектах процесса познания в терминах математической логики и алгебры. Уточняется понятие модели и процедуры моделирования с помощью понятий изоморфизма...
|
|
/Попов С.В.,Брошкова Н.Л./
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении...
|
Страницы: |
|
Показывать книг на странице:
|
|
У вас в корзине 1 товар
на сумму 453 руб
/Чивилёв В.И., Можаев В.В., Шеронов А.А., Чешев Ю.В. (ред.) /
2024-04-11
14-го апреля (воскресенье) магазин в МФТИ работает с 9:00 до 18:00
2024-02-10
11-го февраля(воскресенье) магазин в МФТИ работает с 9:00 до 18:00
2023-12-26
Уважаемые покупатели! В связи с новогодними каникулами заказы, оформленные после 26.12.2023, будут обработаны после 9 января 2024 г. Заказы, содержащие только книги издательства «ФИЗМАТКНИГА», будут отправлены раньше. Приносим извинения за задержку!
2023-10-30
31-го декабря, 1, 2, 3 и 7-го января — магазин не работает
4,5, и 6-го января — магазин работает с 10:00 до 17:30
с 8-го января — в обычном режиме
/Киреев А.А., Корепанов Г.М., Зыков И.О., Зикрацкий Г.С. /
/Киреев А.А., Корепанов Г.М., Зыков И.О., Зикрацкий Г.С./
/Вергунов А.Ю., Киреев А.А., Слободянин В.П./
/Вергунов А.Ю., Киреев А.А., Слободянин В.П./
/Розанов А.К., Быканов А.Н., Надеждин Б.Б. и др./
|