Курс математической логики и теории алгоритмов с примерами и практическими заданиями: учебник

Курс математической логики и теории алгоритмов с примерами и практическими заданиями

Автор

Пруцков Александр Викторович

Аннотация

Содержит теоретический материал, практические задания и вопросы к экзамену или зачету для изучения дисциплины «Математическая логика и теория алгоритмов». Материалы подготовлены за более чем десятилетнее преподавание этой дисциплины в высших и средних учебных заведениях.

Предназначен для студентов, изучающих дисциплину «Математическая логика и теория алгоритмов», и для всех желающих изучить эту интересную дисциплину.

Ознакомительный фрагмент учебника

Купить

Библиографическая ссылка

Пруцков А.В. Курс математической логики и теории алгоритмов с примерами и практическими заданиями: учебник. — М.: КУРС, 2021. — 184 с.

Оставить отзыв о книге

Оглавление

  1. Предисловие
  2. Математическая логика
    1. Математическая логика и предмет ее изучения
    2. Логика высказываний
    3. Логика предикатов
    4. Метод резолюций
    5. Формальные теории
    6. Применение логики высказываний и логики предикатов для представления и вывода знаний
    7. Логическое программирование
    8. Нечеткая логика
    9. Модальные логики
    10. Временны́е логики
    11. Алгоритмические логики
  3. Теория алгоритмов
    1. Алгоритм, его признаки. Понятие и типы алгоритмических систем
    2. Рекурсивные функции
    3. Машина Тьюринга
    4. Машина с неограниченными регистрами
    5. Нормальные алгоритмы Маркова
    6. Алгоритмически неразрешимые проблемы
    7. Эффективность алгоритма
    8. Классы трудоемкости задач
    9. Определение сложности алгоритмов решения задачи
    10. Виды практических алгоритмов
    11. Тезис Колмогорова
  4. Практические задания
    1. Математическая логика
    2. Теория алгоритмов
    3. Задание к контрольной работе
    4. Ссылки на задания
  5. Вопросы к экзамену или зачету
    1. Математическая логика
    2. Теория алгоритмов
  6. Библиографический список

Предисловие

Назначение учебника – дать студентам, изучающим дисциплину «Математическая логика и теория алгоритмов», знания о классической и неклассической логиках, алгоритмах и алгоритмических системах, а также навыки решения задач в этих областях.

Учебник составлен из лекций и практических заданий, которые автор использовал для преподавания одноименной дисциплины на протяжении почти двадцати лет. Дисциплина преподавалась студентам технических специальностей и направлений очной и заочной форм обучения: 09.02.03 «Программирование в компьютерных системах», 09.03.03 «Прикладная информатика», 09.03.04 «Программная инженерия» и 09.05.01 «Применение и эксплуатация автоматизированных систем специального назначения» в высших и средних учебных заведениях. За это время автором были изданы учебник [52], учебное пособие [48] и методические указания к практическим занятиям и контрольным работам [44, 47, 51], материалы которых были включены в этот учебник. Часть материалов лекций, посвященных основам логики высказываний, были уже изданы в учебнике [19]. Подготовка материалов по дисциплине способствовала проведению научных исследований по теории алгоритмов и публикации их результатов в статьях [43, 45, 49].

Смотрите также

Пруцков А. В. Математическая логика и теория алгоритмов: методические указания к контрольной работе. — Рязань: Рязан. гос. радиотехн. ун-т, 2011. — 28 с. — № 4415.