|
Автор: Е. В. Зайцева |
Издательство: МИСиС |
Год: 2019 |
Cтраниц: 1 |
Формат: PDF |
Размер: 0 |
|
Качество: excellent |
Язык: |
|
|
Описание:
|
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».
|
Просмотров: 64 Пресс - релиз
string(4) "true"
int(166)
|