Книга: А.А. Набебин,Ю.П. Кораблин «Математическая логика и теория алгоритмов. Учебное пособие для ВУЗов»
Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные... Издательство: "Научный мир" (2008)
ISBN: 9785915220019 |
Другие книги схожей тематики:
Автор | Книга | Описание | Год | Цена | Тип книги |
---|---|---|---|---|---|
В. И. Игошин | Сборник задач по математической логике и теории алгоритмов. Учебное пособие | Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории… — Курс, (формат: 60x90/16, 392 стр.) Подробнее... | 2017 | 2161 | бумажная книга |
Лавров И.А. | Задачи по теории множеств, математической логике и теории алгоритмов | В книге в форме задач систематически изложены основы теории множеств, математической логики и теории… — Физматлит, - Подробнее... | 2009 | 814 | бумажная книга |
Лавров Игорь Андреевич, Максимова Лариса Львовна | Задачи по теории множеств, математической логике и теории алгоритмов | В книге в форме задач систематически изложены основы теории множеств, математической логики и теории… — Физматлит, Подробнее... | 2009 | 1053 | бумажная книга |
Г. Хаггард, Дж. Шлипф, С. Уайтсайдс | Дискретная математика для программистов (+ CD-ROM) | Методически продуманное учебное пособие по дискретной математике, охватывающее такие темы, как множества… — Бином. Лаборатория знаний, (формат: 70x100/16, 632 стр.) Подробнее... | 2015 | 537 | бумажная книга |
См. также в других словарях:
Логика — Гр … Википедия
Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Вложение (теория множеств) — Инъективная функция. Отображение называется инъекцией (или вложением, или взаимно однозначным отображением в множество Y), если разные элементы множества X переводятся в разные элементы множества Y. Формально это значит, что если два образа… … Википедия
Замятин, Алексей Петрович — Алексей Петрович Замятин Дата рождения: 3 октября 1946(1946 10 03) Место рождения … Википедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Математика — Евклид. Деталь «Афинской школы» Рафаэля Математика (от др. греч … Википедия