Для студентов МГТУ им. Н.Э.Баумана по предмету Математическая логика и теория алгоритмовКонспект лекцийКонспект лекций
2018-01-092018-01-09СтудИзба
Лекции: Конспект лекций
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
Семестр
Просмотров
838
Скачиваний
137
Размер
8,15 Mb
Список файлов
- Конспект лекций
- 1 - Алгебра высказываний. Введение. Алгебра логики. Тавтологии и эквивалентность формул. Функции алгебры логики.pdf 854,53 Kb
- 10 - Нормальные алгорифмы Маркова. Основные понятия. Сочетания машин Тьюринга. Эквивалентность машин Тьюринга и нормальных алгорифмов. Обобщения машин Тьюр.pdf 752,11 Kb
- 11 - Рекурсивные функции. Примитивно рекурсивные функции. Предикаты, простые числа и возвратная рекурсия. Частично рекурсивные функции.pdf 892,25 Kb
- 12 - Неразрешимые алгоритмические проблемы. Сложность алгоритмов. Массовые алгоритмические проблемы. Проблема распознавания самоприменимости.pdf 796,46 Kb
- 2 - Исчисление высказываний. Основные положения теории N. Правила естественного вывода. Глобальные свойства теории N.pdf 813,02 Kb
- 3 - Алгебра предикатов. Предикаты и кванторы. Логико-математические языки. Переименования и подстановки. Семантика логико-математического языка. Логические.pdf 805,69 Kb
- 4 - Исчисление предикатов. Построение теории P. Правила естественного вывода. Глобальные свойства теории P.pdf 746,8 Kb
- 5 - Генценовские формальные системы. Исчисление GV. Исчисление GP.pdf 687,5 Kb
- 6 - Примеры формальных теорий. Теория групп. Формальная арифметика.pdf 679,08 Kb
- 7 - Метод резолюций. Скулемовские функции. Метод резолюций для исчисления высказываний. Метод резолюций для исчисления предикатов.pdf 745,09 Kb
- 8 - Основные характеристики алгоритма. Интуитивное понятие алгоритма. Его отличительные черты. Работа алгоритма как вычисление функции. Понятие вычислимой .pdf 685,49 Kb
- 9 - Нормальные алгорифмы Маркова. Алфавит и подстановки. Схемы. Нормальный алгорифм Маркова. Терминология. Примеры НА. Эквивалентные НА. Принцип нормализац.pdf 927,68 Kb
Хочешь зарабатывать на СтудИзбе больше 10к рублей в месяц? Научу бесплатно!
Начать зарабатывать
Начать зарабатывать