Математическая логика и теория алгоритмов, Анкудинов Г.И., Анкудинов И.Г., Петухов О.А., 2013
Математическая логика и теория алгоритмов, Анкудинов Г.И., Анкудинов И.Г., Петухов О.А., 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 оценок |
| Формат: | Книга |
| Уже скачали: | 12762 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
"Шитье и крой" (ШиК) №3 (март 2011) pdf 56Мб
Название: Шитье и Крой (ШиК) №3 (март 2011)Страниц: 80Язык: русскийФормат: pdfКачество: отличноеРазмер: 56 МбСкачать "Шитье и крой" (ШиК) №3 (март 2011):VIP-File - на высокой скорости:http://vip-file. . . .
-
Золотое руно Э-012 Ошун jpeg 9,67Мб
Название: ОшунПроизводитель: Золотое руноНомер: Э-012Формат: jpegРазмер: 9.67 MбСхема вышивки крестикомСкачать с TurbobitСкачать с Depositfiles . . .
-
Cat on a Washing Line. Anchor. MSN0006 jpg 13,31Мб
Название: Cat on a Washing LineПроизводитель:AnchorНомер: MSN0006Формат:jpgРазмер: 13.31 МбСтраниц: 5Язык:English Буклет схем для вышивки крестиком.DepositHotfile . . .
-
Ажурные узоры для вязания крючком (2011) pdf / rar 18,5Мб
Название: Ажурные узоры для вязания крючкомАвтор: Ругаль Е.В.Издательство: Клуб семейного досугаСерия или выпуск: Золотая коллекция вязания. Спицы и крючокГод: 2011Страниц: 96, цв. ил.Язык: РусскийФор . . .
-
-
Crochet Kasari Summer Hats and Bags №3 2011 jpg 14,5Мб
Название: Crochet Kasari Summer Hats and Bags №3 2011Год: 2011Номер: 3Формат: jpgРазмер: 14,5 mbСтраниц: 65Язык: японскийВ номере представлены аксессуары, связанные крючком из натуральной пряжи. Все м . . .
-
Вышитые картины № 12 2011 jpg 35,9Мб
Название: Вышитые картины № 12 2011Издательство: Эдипресс-КонлигаСтраниц: 40Формат: jpgРазмер: 35,9 МбЖурнал по вышивке крестом посвящен предстоящим праздникам: Новому Году и Рождеству. В номере предс . . .
-
Modern Knits, Vintage Style: Classic Designs from the Golden Age of Knitting jpg 61,6Мб
Название: Modern Knits, Vintage Style: Classic Designs from the Golden Age of Knitting Авторы:Kari Cornell, Jennifer Simonson Издательство: Voyageur Press Год: 2010 ISBN: 9780760336793 Страниц: 144 Яз . . .
-
Punto & moda № 53 2009-2010 jpg 11,81Мб
Название: Punto & modaГод / месяц: 2009-2010 / VeranoНомер: №53Формат: jpgСтраниц: 25Размер: 11,81 МбЯзык: испанскийЖурнал посвящен вязанию спицами и крючком. В выпуске 18 моделей для летнего сезона.С . . .
-
Мама вяжет. Спецвыпуск №9 2011 jpg 18Мб
Название: Мама вяжет. Спецвыпуск. От 3 до 10Номер/дата выпуска: 9 (осень-зима 2011)Издательство: ЭдипрессСтраниц: 30Язык: русскийФормат: JPGРазмер: 18 МбЖурнал по вязанию спицами и крючком, в котором . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Математическая логика и теория алгоритмов, Анкудинов Г.И., Анкудинов И.Г., Петухов О.А., 2013. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.