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