|
|
libcats.org
Математическая логика и теория алгоритмов: Учебное пособие. - 2-е изд.Анкудинов Г.И., Анкудинов И.Г., Петухов О.А.Учебное пособие соответствует государственному образовательному стандарту дисциплины ''Математическая логика и теория алгоритмов'' направления подготовки дипломированных специалистов 654600 - ''Информатика и вычислительная техника'' (Специальность 220100 -''Вычислительные машины, комплексы, системы и сети'') и направления подготовки бакалавров 552800 - ''Информатика и вычислительная техника''.В пособии излагаются разделы математической логики и теории алгоритмов, необходимые для освоения общепрофессиональных и специальных дисциплин специальности 220100. Достаточно подробно изложены основы логики высказываний и логики предикатов, включая приложение логики предикатов к доказательству правильности алгоритмов. Пособие содержит вводный материал по логическому программированию и клаузальной логике, а также основные понятия нечеткой и модальной логики. Приведены основы теории алгоритмов и алгоритмической разрешимости, доказательство эквивалентности моделей алгоритмов Тьюринга и рекурсивных схем Клини. Пособие содержит также введение в теорию эффективной вычислимости, переборных NP-полных и NP-трудных задач
Скачать книгу бесплатно (pdf, 1.05 Mb)
Читать «Математическая логика и теория алгоритмов: Учебное пособие. - 2-е изд.» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Songs of Gold Mountain: Cantonese Rhymes from San Francisco ChinatownАвтор: Marlon K. HomКатегория: cultures_languages
Размер книги: 2.42 Mb
Справочник по металлографическому травлениюАвтор: Беккерт М., Автор: Клемм X.
Размер книги: 9.02 Mb
|
|
|