Книжный интернет-фонд "Книга-Дива.ру". Все ваши книги в одном месте - здесь!

Математическая логика и теория алгоритмов.
Автор(ы)Набебин А.А., Кораблин Ю.П.
ИздательНаучный Мир
Год2008
ISBN978-5-9152-2001-9
EAN
ОбложкаПереплет
Формат60х90/16
Вес (г)510
Страниц343
Просмотров91
Стандарт
Описание

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

Возможность скачать/купить Математическая логика и теория алгоритмов..txt у Научный Мир

Поделиться с друзьями!

Хотите эту книгу/словарь/учебник в переплёте или в формате fb2 epub mobi doc docx djvu txt pdf? Нажимайте ниже ссылки или кнопки [В магазин] или [Читать].