книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Математическая логика

Математическая логика и теория алгоритмов.Учебное пособие для ВУЗов

Код 631229

Нет в продаже

Аннотация к книге "Математическая логика и теория алгоритмов.Учебное пособие для ВУЗов"

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

Оставить комментарий

Оцените книгу:

Издательство: Научный мир
Дата выхода: декабрь 2008
ISBN: 9785915220019
Объём: 343 страниц

Книга находится в категориях

ВУЗ Дискретная математика, алгоритмы

Вместе с этой книгой покупают