|
 |
|
 |
|
|
 |
|
 |
|
Название: Математическая логика и теория алгоритмов: учебное пособие
Автор: Агарева О.Ю., Селиванов Ю.В.
Издательство: М.: МАТИ
Год: 2011
Страниц: 80
Формат: djvu
Размер: 14,07 Мб
Язык: Русский
Теория алгоритмов вместе с математической логикой образует теоретическую основу вычислительных наук. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач, асимптотический анализ сложности алгоритмов, классификация алгоритмов в соответствии с классами сложности, разработка критериев сравнительной оценки качества алгоритмов и т.п. Пособие посвящено изучению важных разделов математической логики (алгебры высказываний, логики предикатов) и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам. Это пособие содержит большое количество примеров, иллюстрирующих основные понятия указанных разделов математической логики и теории алгоритмов и утверждения, касающиеся этих понятий. Учебное пособие предназначено для студентов, изучающих дисциплины «Математическая логика и теория алгоритмов» и «Дискретная математика», обучающихся по специальностям «Информатика и вычислительная техника» и «Системы автоматизированного проектирования». Учебное пособие также может быть полезно для студентов других специальностей и преподавателей.
Краткое содержание
|
Автор: nng78 14-07-2018, 08:32 | Напечатать |
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
|
|
 |
Теория алгоритмов Название: Теория алгоритмов Автор: Брыкалова А. А. Издательство: изд-во СКФУ Год: 2016 Формат: pdf Страниц: 130 Для сайта: Mirknig.su Размер: ... |
| |
|
| |
|
| |
|
| |
|
|
|
|
|
 |
|
 |
|
|
|
|
|
|
|
|
|
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
|
|
|
|
|
|
Навигация
Вход на сайт
Реклама
Математическая логика и теория алгоритмов (Агарева О.Ю., Селиванов Ю.В.) 
