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