Математическая логика и теория алгоритмов, Анкудинов Г.И., Анкудинов И.Г., Петухов О.А., 2013


Книга Математическая логика и теория алгоритмов, Анкудинов Г.И., Анкудинов И.Г., Петухов О.А., 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 оценок
Формат: Книга
Уже скачали: 12770 раз



Похожие Книги

Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!

  • Книга Заболевания желудка и кишечника

    Заболевания желудка и кишечника

    Автор:Моисеев Н.И.Название: Заболевания желудка и кишечникаИздательство: Рипол КлассикГод: 2002Формат: djvuРазмер: 5 MbС нарушениями функции желудка и кишечника может столкнуться практически любой чел . . .

  • Книга Детский массаж

    Детский массаж

    Автор:КоллективНазвание: Детский массажИздательство: БукаГод: 2008Формат: ЕХЕРазмер: 339+329МВСтраниц:1000Каждый родитель мечтает вырастить своих детей здоровыми и счастливыми. Ухудшение экологической . . .

  • Книга Лечение глиной

    Лечение глиной

    Автор:Кудряшова Н.И.Название: Лечение глинойИздательство: Образ-КомпаниГод: 1996Формат: djvuРазмер: 2.5 MbКнига рассказывает о лечении многих недугов одним из самых простых и доступных средств - глино . . .

  • Книга Домашняя медицинская энциклопедия. Здоровье от А до Я

    Домашняя медицинская энциклопедия. Здоровье от А до Я

    Автор: Бородулин В.И.Издательство: Клуб семейного досугаГод: 2009Страниц: 510Формат: PDFРазмер файла: 67МбЯзык: русскийЭта энциклопедия незаменима в любой семье, ведь в ней собраны медицинские сведен . . .

  • Книга История Китая с древнейших времен до наших дней

    История Китая с древнейших времен до наших дней

    Автор: ответственные редакторы Симоновская Л.В., Юрьев М.Ф.Название: История Китая с древнейших времен до наших днейИздательство: Москва: НаукаГод: 1974Формат: djvuРазмер: 13.8 МбКачество: хорошееСтра . . .

  • Книга Первая холодная война. Наследие Вудро Вильсона в советско-американских отношениях

    Первая холодная война. Наследие Вудро Вильсона в советско-американских отношениях

    Название: Первая холодная война. Наследие Вудро Вильсона в советско-американских отношенияхАвтор: Д.Э.Дэвис, Ю.П.ТраниИздательство: ОЛМА-ПРЕССГод: 2002Страниц: 479ISBN: 5-224-03357-8Формат: PDFКачеств . . .

  • Книга Древняя Русь: мозаика эпохи. Очерки социальной антропологии общественных отношений XI-XVI вв

    Древняя Русь: мозаика эпохи. Очерки социальной антропологии общественных отношений XI-XVI вв

    Название: Древняя Русь: мозаика эпохи. Очерки социальной антропологии общественных отношений XI-XVI вв.Автор: В.В. ДолговИздательство: Издательский дом «Удмуртский университет»Год: 2004Страниц: 218ISB . . .

  • Книга Железная маска: между историей и легендой

    Железная маска: между историей и легендой

    Название: Железная маска: между историей и легендойАвтор: Жан-Кристиан ПтифисИздательство: Молодая гвардияСерия: Жизнь замечательных людей - 1207Год: 2006Страниц: 298Формат: rtfISBN: 5-235-02464-8Раз . . .

  • Книга Китай и соседи в новое и новейшее время

    Китай и соседи в новое и новейшее время

    Название: Китай и соседи в новое и новейшее времяАвтор: коллективИздательство: Москва: Главная редакция восточной литературы изд-ва "Наука"Год: 1982Страниц: 454Формат: djvu (rar)Размер: 14,9 МбС. Л. Т . . .

  • Книга Ремесло Древней Руси

    Ремесло Древней Руси

    Автор: Рыбаков Б.А.Название: Ремесло Древней РусиИздательство: Академии Наук СССРГод: 1958Страниц: 784Формат: htmlРазмер: 44 mbЗадачей предлагаемой работы является изучение важнейшей части того хозяйс . . .


Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Отзывы читателей


Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Математическая логика и теория алгоритмов, Анкудинов Г.И., Анкудинов И.Г., Петухов О.А., 2013. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.