Оглавление

  Лекция 1. Понятие о науке "логика"

  Лекция 2. Элементы математической логики

  Лекция 3. Логика высказываний

  Лекция 4. Логика предикатов первого порядка

  Лекция 5. Основные понятия многозначной логики

  Лекция 6. Элементы нечеткой логики. Нечеткие множества

  Лекция 7. Элементы нечеткой логики. Нечеткие отношения и нечеткие выводы

  Лекция 8. Понятие алгоритма

  Лекция 9. Элементы теории рекурсивных функций

  Лекция 10. Типы рекурсивных функций

  Лекция 11. Элементы машины Тьюринга

  Лекция 12. Примеры машин Тьюринга

  Лекция 13. Композиция машин Тьюринга

  Лекция 14. Понятие итерации машин Тьюринга

  Лекция 15. Теорема Тьюринга

  Лекция 16. Анализ алгоритмов и программ

  БИБЛИОГРАФИЧЕСКИЙ СПИСОК