Формальные системы практикум
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по напр...
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Книга |
| Темы: | |
| Acceso en liña: | Перейти к просмотру издания |
| Метки: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
| Descrición Física: | Книга находится в премиум-версии IPR SMART. |
|---|---|
| ISBN: | 2227-8397 |