Сборник задач по математической логике и теории алгоритмов Учебное пособие
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов: I. Содержательная логика высказываний; II. Булевы функции; III. Содержательная логика предикатов; IV. Формальные логические теории; V. Элементы теории алгоритмов. В каждом параграфе...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Учебное пособие |
| Редакция: | 1 |
| Online-ссылка: | https://znanium.com/catalog/document?id=329810 https://znanium.com/cover/0986/986940.jpg |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|