Так же решение контрольных, написание курсовых и рефератов по другим предметам.

logo

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

Связаться с нами

E-mail: matica@narod.ru

ICQ 229036787, ICQ 320619

 

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. Задачи
Использованная литература
Ответы и указания
 
Яндекс.Метрика
Наверх