logo

Решение контрольных по математике!!!

Home Методички по математике Математическая логика и теория алгоритмов
Математическая логика и теория алгоритмов
0. Введение в логику
1. Высказывания, формулы, тавтологии
1.1. Отношения логической эквивалентности и логического следствия
1.2. Задачи
2. Формальные теории
3. Исчисление высказываний
3.1. Построение вывода в логике высказываний
3.2. Задачи
4. Метод резолюций в логике высказываний
4.1. Задачи
5. Предикаты
5.1. Задачи
6. Исчисление предикатов
6.1. Теория равенства
6.2. Формальная арифметика
6.3. Теория частично упорядоченных множеств
6.4. Задачи
7. Алгоритмы
8. Рекурсивные функции
8.1. Задачи
9. Машины Тьюринга
9.1. Операции с машинами Тьюринга
9.2. Принцип двойственности
9.3. Способы композиции машин Тьюринга
9.4. Задачи
Использованная литература
Ответы и указания
 
Яндекс.Метрика
Наверх