Книга: А. А. Набебин, Ю. П. Кораблин «Математическая логика и теория алгоритмов»
|
Производитель: "НАУЧНЫЙ МИР" Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя. Предназначено студентам высших технических учебных заведений, специализирующимся в области прикладной математики, вычислительной техники, программирования, информатики. ISBN:978-5-91522-001-9 Издательство: "НАУЧНЫЙ МИР" (2008) Формат: 60x90/16мм, 344 стр.
ISBN: 978-5-91522-001-9 |
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|---|
| Е. В. Зайцева | Математическая логика и теория алгоритмов | Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете… — Горная книга, электронная книга Подробнее... | 2006 | 319 | электронная книга |
| В. Н. Крупский, В. Е. Плиско | Математическая логика и теория алгоритмов | Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по… — ДРОФА, (формат: 60x90/16, 416 стр.) Высшее образование Подробнее... | 2013 | 1107 | бумажная книга |
| В. Н. Крупский, В. Е. Плиско | Математическая логика и теория алгоритмов | Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по… — Дрофа, (формат: 60x90/16, 416 стр.) Высшее образование Подробнее... | 2013 | 1608 | бумажная книга |
| Гуц А.К. | Математическая логика и теория алгоритмов | Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия… — URSS, Математика Подробнее... | 2016 | 230 | бумажная книга |
| Гуц А.К. | Математическая логика и теория алгоритмов | Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия… — URSS, Математика Подробнее... | 2016 | 270 | бумажная книга |
| А. В. Пруцков, Л. Л. Волкова | Математическая логика и теория алгоритмов. Учебник | Учебник представляет собой готовое решение для методического обеспечения дисциплины "Математическая… — Инфра-М, КУРС, (формат: 60x90/16, 156 стр.) Подробнее... | 2016 | 410 | бумажная книга |
| Пруцков А., Волкова Л. | Математическая логика и теория алгоритмов Учебник | Учебник представляет собой готовое решение для методического обеспечения дисциплины «Математическая… — (формат: Твердая глянцевая, 156 стр.) Подробнее... | 2016 | 485 | бумажная книга |
| Елена Викторовна Овчинникова | Математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для академического бакалавриата | В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний… — ЮРАЙТ, Бакалавр. Академический курс электронная книга Подробнее... | 2016 | 579 | электронная книга |
| Судоплатов С.В. | Математическая логика и теория алгоритмов. Учебник и практикум для академического бакалавриата | В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний… — Юрайт, Бакалавр. Академический курс Подробнее... | 2016 | 949 | бумажная книга |
См. также в других словарях:
МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… … Математическая энциклопедия
Математическая логика — (теоретическая логика, символическая логика) раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая… … Википедия
Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules) формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… … Википедия
Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици … Википедия
Битовая операция (теория алгоритмов) — У этого термина существуют и другие значения, см. Битовая операция (значения). Битовая операция (теория алгоритмов) в теории алгоритмов, криптографии запись знаков 0, 1, плюс, минус, скобка; сложение, вычитание и умножение двух битов (числа… … Википедия
ЛОГИКА СИМВОЛИЧЕСКАЯ — ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому … Философская энциклопедия
