Формальные системы практикум
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по напр...
Tallennettuna:
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Книга |
| Aiheet: | |
| Linkit: | Перейти к просмотру издания |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|