Формальные системы. Практикум
Автор:
Жанр:
Год написания книги: 2019
Тэги:
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы».
Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».
На сайте электронной библиотеки Litportal вы можете скачать книгу Формальные системы. Практикум в формате fb2.zip, txt, txt.zip, rtf.zip, a4.pdf, a6.pdf, mobi.prc, epub, ios.epub, fb3. У нас можно прочитать отзывы и рецензии о этом произведении.
