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