Издательство: Научный мир
Год выпуска: 2008
ISBN: 978-5-91522-001-9
Формат: 60x90/16
Кол-во страниц: 344
Описание: Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя. Предназначено студентам высших технических учебных заведений, специализирующимся в области прикладной математики, вычислительной техники, программирования, информатики.
Цена: 629 руб.
Знаете ли Вы, что ...
Тяжесть труда
Тяжесть труда - характеристика трудового процесса, отражающая преимущественную нагрузку на опорно-двигательный аппарат и ...
Отек
Отек (oedema) - скопление избыточного количества жидкости в тканях; по-другому данное состояние называется водянкой (dropsy). ...
Опасный производственный фактор
Опасный производственный фактор - производственный фактор, воздействие которого на работника может привести к его травме (ст. ...
Аттестация рабочих мест по условиям труда
Аттестация рабочих мест по условиям труда - оценка условий труда на рабочих местах в целях выявления вредных и (или) опасных ...
