Математическая логика и теория алгоритмов, Анкудинов Г.И., Анкудинов И.Г., Петухов О.А., 2013.
Учебное пособие соответствует государственному образовательному стандарту дисциплины "Математическая логика и теория алгоритмов" направления подготовки дипломированных специалистов 654600 — "Информатика и вычислительная техника" (Специальность 220100 — ""Вычислительные машины, комплексы, системы и сети") и направления подготовки бакалавров 552800 — ""Информатика и вычислительная техника ".
В пособии излагаются разделы математической логики и теории алгоритмов, необходимые для освоения общепрофессиональных и специальных дисциплин специальности 220100. Достаточно подробно изложены основы логики высказываний и логики предикатов, включая приложение логики предикатов к доказательству правильности алгоритмов. Пособие содержит вводный материал по логическому программированию и клаузальной логике, а также основные понятия нечеткой и модальной логики. Приведены основы теории алгоритмов и алгоритмической разрешимости, доказательство эквивалентности моделей алгоритмов Тьюринга и рекурсивных схем Клини. Пособие содержит также введение в теорию эффективной вычислимости, переборных NP-нолных и NP-трудных задач.
1.7. Формальные теории и исчисление высказываний.
Формальная теория это
а) Множество правильно построенных формул (ППФ), или выражений, определяющих язык теории.
б) Подмножество формул множества ППФ, называемых аксиомами теории.
в) Правила вывода, т.е. конечное множество отношений между формулами.
Доказательством называется конечная последовательность
формул Ф, такая, что каждая Ф есть либо аксиома, либо
получена из предыдущих формул по одному из правил вывода.
ОГЛАВЛЕНИЕ
Глава 1. Логика высказываний.
1.1. Логические операции над высказываниями.
1.2. Составные высказывания.
1.3. Основные тавтологии.
1.4. Равносильные формулы.
1.5. Логическое следование.
1.6. Логические функции.
1.7. Формальные теории и исчисление высказываний
Глава 2. Логика предикатов.
2.1. Основные понятия теории множеств.
2.2. Определение предиката.
2.3. Операции над предикатами.
2.4. Логические операции квантификации.
2.5. Исчисление предикатов.
2.6. Логика доказательства правильности алгоритмов
и программ.
Глава 3. Варианты логики и логическое программирование.
3.1. Стандартная логика.
3.2. Клаузальная логика.
3.3. Логическое программирование.
3.4. Prolog - язык логического программирования.
3.5. Другие варианты логики.
Глава 4. Элементы теории алгоритмов.
4.1. Понятие алгоритма.
4.2. Машина Тьюринга.
4.3. Элементы теории рекурсивных функций.
4.4. Эквивалентность алгоритмических систем.
4.5. Универсальные машины Тьюринга
и алгоритмическая разрешимость.
Глава 5. Эффективность алгоритмов.
5.1.Переборные задачи и сложность вычислений.
5.2. Классы задач Р и NP.
5.3. Класс NP-полных задач.
5.4. Труднорешаемые задачи.
Литература.
Рейтинг: | 4.8 баллов / 2537 оценок |
Формат: | Книга |
Уже скачали: | 12769 раз |
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
Альберт Эллис Издательство: Питер Год издания: 1999 Страниц: 224 ISBN: 5-314-00048-2 Язык: русский Формат: CHM Размер: 0.51 Мб Серия: Сам себе психолог Основная мысль "Психотренинга..." - . . .
Майкл Бейджент, Ричард Ли Издательство: Эксмо Год издания: 2006 Страниц: 352 ISBN: 5-699-18533-X Язык: русский Формат: CHM Размер: 1.69 Mb Серия: Тайны древних цивилизаций К братству масон . . .
Элхонон Голдберг Издательство: Смысл Год издания: 2003 Страниц: 336 ISBN: 5-89357-139-8 Язык: русский Формат: CHM Размер: 1.31 Mb Новая книга известного американского ученого посвящена стр . . .
Александр Клизовский Издательство: АСТ Год издания: 2005 Страниц: 704 ISBN: 5-17-015161-6 Язык: русский Формат: CHM Размер: 0.68 Mb А.И. Клизовский - ученик и последователь Николая Рериха. . . .
Робин Прайер, Джозеф О'Коннор Издательство: София Год издания: 2001 Страниц: 256 ISBN: 5-220-00395-X Язык: русский Формат: CHM Размер: 0.172 Mb Простые стратегии для улучшения отношен . . .
Майкл Бейджент, Ричард Ли Издательство: Эксмо Год издания: 2007 Страниц: 496 ISBN: 5-699-13933-8 Язык: русский Формат: CHM Размер: 0.299 Mb Серия: Тайны древних цивилизаций Мировой бестсе . . .
Иванова О., Кузнецова И. Издательство: Феникс Год издания: 2006 Страниц: 50 ISBN: 5-222-08740-9, 978-5-222-11012-6 Язык: русский Формат: DJVU Размер: 5,63 Мб Данный авторский сборник предн . . .
Зигфрид Войтинас Издательство: "Духовное познание", Калуга Год издания: 2003 Страниц: 176 ISBN: 5-88000-092-3 Язык: русский Формат: CHM Размер: 0.158 Mb Вызовы нового времени. Кт . . .
Олег Слинько Издательство: Киев: Доверие Год издания: 1991 Страниц: 72 Язык: русский Формат: CHM Размер: 0.062 Mb В этой книге речь пойдет о соционике - новой науке о человеке. Истоки ее пр . . .
Тендзин Вангьял Ринпоче Издательство: Карма Йеше Палдрон Год издания: 1999 Страниц: 248 ISBN: 5-94121-007-8 Язык: русский Формат: PDF Размер: 1.34Мб В тибетской традиции есть множество при . . .
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Математическая логика и теория алгоритмов, Анкудинов Г.И., Анкудинов И.Г., Петухов О.А., 2013. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.