Оценить:
 Рейтинг: 0

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

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

На сайте электронной библиотеки Litportal вы можете скачать книгу Формальные системы. Практикум в формате fb2, rtf, pdf, txt, epub. У нас можно прочитать отзывы и рецензии о этом произведении.

Читать онлайн

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


Спасибо! Ваш отзыв был отправлен на модерацию.

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

список сообщений пуст