Каталог: Наука, образование »•» Математика, статистика

	Набебин, А.А.; Кораблин, Ю.П. Математическая логика и теория алгоритмов
	Издательство: М.: Научный мир
	Переплет: твердый; 344 страниц; 2008 г.
	ISBN: 978-5-915220-01-9; Формат: стандартный
	Язык: русский
	На сайте с 24.05.2012

Аннотация

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

В продаже  Хочу купить

Искать похожие  только название автор и название

Добавить объявление продаю хочу купить

листать