Математическая логика и теория алгоритмов: учебник

Математическая логика и теория алгоритмов

Авторы

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

Аннотация

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

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

Пруцков А.В., Волкова Л.Л. Математическая логика и теория алгоритмов: учебник. — М.: КУРС: ИНФРА-М, 2016. — 156 с.

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

Поделиться своим мнением с авторами

Оглавление

  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. Теория алгоритмов
  5. Вопросы к экзамену
    1. Математическая логика
    2. Теория алгоритмов
  6. Ответы на вопросы в тексте учебника
  7. Литература

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

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

Copyright © MMXII-MMXVII А.В. Пруцков. Все права защищены