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