- Добавил: natagus
- Дата: 14-07-2018, 08:32
- Комментариев: 0
![Математическая логика и теория алгоритмов (Агарева О.Ю., Селиванов Ю.В.)](/uploads/posts/2018-07/1531546387_matlogteoralgagar0025.jpg)
Название: Математическая логика и теория алгоритмов: учебное пособие
Автор: Агарева О.Ю., Селиванов Ю.В.
Издательство: М.: МАТИ
Год: 2011
Страниц: 80
Формат: djvu
Размер: 14,07 Мб
Язык: Русский
Теория алгоритмов вместе с математической логикой образует теоретическую основу вычислительных наук. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач, асимптотический анализ сложности алгоритмов, классификация алгоритмов в соответствии с классами сложности, разработка критериев сравнительной оценки качества алгоритмов и т.п.