Книга: Набебин А.А., Кораблин Ю.П. «Математическая логика и теория алгоритмов. Учебное пособие»
Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя. Предназначено студентам высших технических учебных заведений, специализирующимся в области прикладной математики, вычислительной техники, программирования, информатики. Содержание: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) Место рождения … Википедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Математика — Евклид. Деталь «Афинской школы» Рафаэля Математика (от др. греч … Википедия