Формальные системы. Практикум

Формальные системы. Практикум
Скачать
Язык:
Русский (эта книга не перевод)
Опубликовано здесь:
2019-04-01
Файл подготовлен:
2020-09-24 14:53:51
Поделиться:

Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы».

Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».

Полная версия

Читать онлайн
Рейтинг@Mail.ru