Математическая логика и теория алгоритмов: учебное пособие

Математическая логика и теория алгоритмов: учебное пособие

Год: 2006

ISBN: 5-7418-0451-9

Кол-во страниц: 255

Форматы:

Математическая логика и теория алгоритмов: учебное пособие

Читать фрагмент
Регистрация

30 секунд

Оплата

2 минуты

Получение

1 клик

Безопасность платежа
гарантирует

430 у
Чтобы получить книгу осталось лишь

Изложен материал основного курса "Математическая логика и теория алгоритмов", читаемого на факультете "Автоматизации и информатики (АИ)" МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков; математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Показано практическое использование алгебры к задачам математической логики.
Для студентов вузов, обучающихся по направлениям 552800, 654600 "Информатика и вычислительная техника", специальности 220200 "Автоматизированные системы обработки информации и управления".