Сборник задач по математической логике и теории алгоритмов Учебное пособие
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов: I. Содержательная логика высказываний; II. Булевы функции; III. Содержательная логика предикатов; IV. Формальные логические теории; V. Элементы теории алгоритмов. В каждом параграф...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | Russian |
| Published: |
Москва
ООО "КУРС"
2019
|
| Subjects: | |
| Online Access: | https://znanium.com/catalog/document?id=329810 https://znanium.com/cover/0986/986940.jpg |
