Математическая логика

Реферат: Решения дифференциальных логических уравнений, алгоритм «Селигер», Алгоритм «ТВАТ», Литература.

Математическая логика в лицах. Введение. Язык логики предикатов. Синтаксис языка логики предикатов. Семантика языка логики предикатов. Логика предикатов. Исчисление предикатов. Определение формулы логики предикатов. Свободные и связные вхождения. переменных в формулы. Логические и кванторные операции. над предикатами. Применение языка логики предикатов для. записи...

Зміст: Машини із натурально-значними регістрами (МНР). Машини Тьюрінга. Нормальні алгоритми Маркова. Системи Поста. Обчислювальність квазиарних функцій на множині натуральних чисел. Обчислюваність парних функцій на множині натуральних чисел. Програмовані функцій на множині натуральних чисел. Теза Чорча.