Автор(ы) | Набебин А.А., Кораблин Ю.П. |
---|---|
Издатель | Научный Мир |
Год | 2008 |
ISBN | 978-5-9152-2001-9 |
EAN | |
Обложка | Переплет |
Формат | 60х90/16 |
Вес (г) | 510 |
Страниц | 343 |
Просмотров | 26 |
Стандарт |
Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные, функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя. Предназначено студентам высших технических учебных заведений, специализирующимся в области прикладной математики, вычислительной техники, программирования, информатики.
Возможность скачать/купить Математическая логика и теория алгоритмов..doc у Научный Мир
Хотите эту книгу/словарь/учебник в переплёте или в формате fb2 epub mobi doc docx djvu txt pdf? Нажимайте ниже ссылки или кнопки [В магазин] или [Читать].