|
Книги
Книги в разделе
|
/Босс В./
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта --- вот рассматриваемый круг вопросов....
|
|
/Асмус В.Ф./
Настоящая книга содержит лекции по истории логики Нового времени, читанные профессором Валентином Фердинандовичем Асмусом (1894-1947) на философском факультете МГУ им М.В.Ломоносова в 1952-1953 учебном году и тогда же застенографированные. В них слышится ...
|
|
/Драгалин А.Г./
.Г.Драгалин (1941--1998) --- выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г.Драгалина по интуиционистской ...
|
|
/Зиновьев А.А./
В настоящей книге, написанной выдающимся отечественным философом и логиком А.А.Зиновьевым, дается систематическое изложение формального аппарата разработанной автором комплексной логики. Рассматривается общая теория дедукции и ее расширения, включая теорию...
|
|
/Марков А. А./
В собрание сочинений выдающегося российского математика А. А. Маркова, выпускаемого к столетию со дня его рождения, включены основные работы, содержащие его наиболее важные результаты. Во втором томе публикуются работы А. А. Маркова по теории алгорифмов, ...
|
|
/Вагин В.Н. и др./
Рассматриваются методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах: вывод на графе связей, графе д...
|
|
/Гастев Ю.А./
Настоящая книга посвящена проблемам логики, семиотики, методологии науки. В ней говорится о структурных аспектах процесса познания в терминах математической логики и алгебры. Уточняется понятие модели и процедуры моделирования с помощью понятий изоморфизма...
|
|
/Лунгу К.Н., Макаров Е.В./
Учебное пособие написано на основе многолетнего опыта чтения лекций и проведения практических занятий по высшей математике в Московском государственном открытом университете на различных факультетах. В пособии большое внимание уделяется решению типовых ...
|
|
/Успенский В.А. и др./
В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-мате...
|
|
/Гладкий А.В./
Настоящая книга представляет собой учебное пособие, предназначенное для студентов гуманитарных специальностей. В ее основу положены лекции, читавшиеся автором на историко-филологическом и психологическом факультетах Российского государственного гума...
|
|
/Клини С.К./
Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для ...
|
|
/Чёрч А./
Эта монография принадлежит перу одного из самых известных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую мате...
|
|
/Кутюра Л./
Вниманию читателей предлагается книга известного французского математика и философа Луи Кутюра, содержащая основы алгебры логики - раздела математической логики, в котором изучаются логические операции над высказываниями. Представлены две интерпретации ...
|
Страницы: |
|
Показывать книг на странице:
|
|
2024-11-25
Уважаемые покупатели! По техническим причинам отправка заказов не будет осуществляться в период с 25 ноября 2024 г. по 2 декабря 2024 г. Приносим вам свои извинения.
2024-10-29
МАГАЗИН В МФТИ БУДЕТ РАБОТАТЬ В ВОСКРЕСЕНЬЕ 3 ноября 2024 г. с 9.00 до 18.00. 4 ноября — выходной!
2021-08-09
Уважаемые покупатели! В связи с отпускным периодом с 18.07.2024 по 12.08.2024, сроки выполнения заказов могут быть увеличены. Приносим свои извинения.
0000-00-00
30-го декабря — с 8:30 до 17:00
31-го декабря 1, 2 ,3, 7 и 8-го января 2023 г. магазин не работает
4, 5 и 6-го января 2023 г. — с 10:00 до 17:30
/Киреев А.А., Корепанов Г.М., Зыков И.О., Зикрацкий Г.С. /
/Гинзбург В.Л., Андрюшин Е.А./
/Вергунов А.Ю., Киреев А.А., Слободянин В.П./
/Киреев А.А., Корепанов Г.М., Зыков И.О., Зикрацкий Г.С./
/Вергунов А.Ю., Киреев А.А., Слободянин В.П./
|