Формальные системы. Практикум (Елена Вячеславовна Зайцева) - скачать книгу в FB2, EPUB, PDF на Bookz
bannerbanner
Формальные системы. Практикум (Елена Вячеславовна Зайцева)
Формальные системы. Практикум
Оценить:
Формальные системы. Практикум

3

Поделиться

Описание аудиокниги:

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

Другие книги автора

Все книги
img
Формальные системы
Елена Вячеславовна Зайцева
img
Промышленные логистические системы
Елена Вячеславовна Зайцева
Спасибо за оценку! Будем признательны, если Вы оставите комментарий о данном произведении.

Добавить отзыв:

bannerbanner