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