Добавить в избранное
Форум
Правила сайта "Мир Книг"
Группа в Вконтакте
Подписка на книги
Правообладателям
Найти книгу:
Навигация
Вход на сайт
Регистрация



Реклама



Математическая логика и теория алгоритмов (Агарева О.Ю., Селиванов Ю.В.)
Название: Математическая логика и теория алгоритмов: учебное пособие
Автор: Агарева О.Ю., Селиванов Ю.В.
Издательство: М.: МАТИ
Год: 2011
Страниц: 80
Формат: djvu
Размер: 14,07 Мб
Язык: Русский

Теория алгоритмов вместе с математической логикой образует теоретическую основу вычислительных наук. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач, асимптотический анализ сложности алгоритмов, классификация алгоритмов в соответствии с классами сложности, разработка критериев сравнительной оценки качества алгоритмов и т.п. Пособие посвящено изучению важных разделов математической логики (алгебры высказываний, логики предикатов) и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам. Это пособие содержит большое количество примеров, иллюстрирующих основные понятия указанных разделов математической логики и теории алгоритмов и утверждения, касающиеся этих понятий. Учебное пособие предназначено для студентов, изучающих дисциплины «Математическая логика и теория алгоритмов» и «Дискретная математика», обучающихся по специальностям «Информатика и вычислительная техника» и «Системы автоматизированного проектирования». Учебное пособие также может быть полезно для студентов других специальностей и преподавателей.








ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!







Автор: nng78 14-07-2018, 08:32 | Напечатать |
 
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.





С этой публикацией часто скачивают:

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.


 MirKnig.Su  ©2024     При использовании материалов библиотеки обязательна обратная активная ссылка    Политика конфиденциальности