Книга: Набебин А.А., Кораблин Ю.П. «Математическая логика и теория алгоритмов. Учебное пособие»

Математическая логика и теория алгоритмов. Учебное пособие

Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя. Предназначено студентам высших технических учебных заведений, специализирующимся в области прикладной математики, вычислительной техники, программирования, информатики.

Содержание:

https://totbook.ru/upload/iblock/b1e/b1e8cd8d408afde1e49f2e949c7da092.pdf

Издательство: "Научный мир" (2008)

Формат: Переплёт, 343 стр.

ISBN: 978-5-91522-001-9

Другие книги схожей тематики:

АвторКнигаОписаниеГодЦенаТип книги
В. Н. Крупский, В. Е. ПлискоМатематическая логика и теория алгоритмовУчебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по… — ДРОФА, (формат: 60x90/16, 416 стр.) Высшее образование Подробнее...2013
1107бумажная книга
В. Н. Крупский, В. Е. ПлискоМатематическая логика и теория алгоритмовУчебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по… — Дрофа, (формат: 60x90/16, 416 стр.) Высшее образование Подробнее...2013
1608бумажная книга
Гуц А.К.Математическая логика и теория алгоритмовНастоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия… — URSS, Математика Подробнее...2016
230бумажная книга
Гуц А.К.Математическая логика и теория алгоритмовНастоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия… — URSS, Математика Подробнее...2016
270бумажная книга
В. И. ИгошинСборник задач по математической логике и теории алгоритмов. Учебное пособиеСборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории… — Курс, (формат: 60x90/16, 392 стр.) Подробнее...2017
2161бумажная книга
Игорь ЛавровЗадачи по теории множеств, математической логике и теории алгоритмовВ книге в форме задач систематически изложены основы теории множеств, математической логики и теории… — Издательская фирма"Физико-математическая литература", электронная книга Подробнее...
395электронная книга
Лавров И.А.Задачи по теории множеств, математической логике и теории алгоритмовВ книге в форме задач систематически изложены основы теории множеств, математической логики и теории… — Физматлит, - Подробнее...2009
814бумажная книга
Лавров Игорь Андреевич, Максимова Лариса ЛьвовнаЗадачи по теории множеств, математической логике и теории алгоритмовВ книге в форме задач систематически изложены основы теории множеств, математической логики и теории… — Физматлит, Подробнее...2009
1053бумажная книга
Лавров Игорь Андреевич, Максимова Лариса ЛьвовнаЗадачи по теории множеств, математической логике и теории алгоритмов. 5-е издание256 стр. В книге в форме задач систематически изложены основы теории множеств, математической логики и теории… — Физматлит, (формат: 60x90/16, 256 стр.) Подробнее...2007
1053бумажная книга
Г. Хаггард, Дж. Шлипф, С. УайтсайдсДискретная математика для программистов (+ CD-ROM)Методически продуманное учебное пособие по дискретной математике, охватывающее такие темы, как множества… — Бином. Лаборатория знаний, (формат: 70x100/16, 632 стр.) Подробнее...2015
537бумажная книга

См. также в других словарях:

  • Логика — Гр …   Википедия

  • Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Вложение (теория множеств) — Инъективная функция. Отображение называется инъекцией (или вложением, или взаимно однозначным отображением в множество Y), если разные элементы множества X переводятся в разные элементы множества Y. Формально это значит, что если два образа… …   Википедия

  • Замятин, Алексей Петрович — Алексей Петрович Замятин Дата рождения: 3 октября 1946(1946 10 03) Место рождения …   Википедия

  • АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …   Философская энциклопедия

  • Математика — Евклид. Деталь «Афинской школы» Рафаэля Математика (от др. греч …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»