Формальные системы практикум
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по напр...
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Книга |
| Soggetti: | |
| Accesso online: | Перейти к просмотру издания |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !
|
| Descrizione fisica: | Книга находится в премиум-версии IPR SMART. |
|---|---|
| ISBN: | 2227-8397 |