Математическая логика и теория алгоритмов Учебное пособие
Изложены темы традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний логика и исчисление предикатов формальные аксиоматические теории теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09....
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Учебное пособие |
| Online-ссылка: | https://znanium.com/catalog/document?id=379866 https://znanium.com/cover/1816/1816597.jpg |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|