Решение контрольных по математике!!!
Главное меню
Главная
Заказать работу
Стоимость решения
Варианты оплаты
Ответы на вопросы (FAQ)
Отзывы о нас
Примеры решения задач
Методички по математике
Помощь по всем предметам
Заработок для студентов
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. Задачи
Использованная литература
Ответы и указания
© 2011-2021 Контрольные работы по математике и другим предметам!.