Лекции по дисциплине «Математическая логика»

Если в формулу входит переменная х, то это можно обозначить как .

   — ортогональная проекция на ось x  

Для построения теории доказательств исчисления предикатов

Р = А Ú В (читается Р есть А или В). Дизъюнкция —

В общей теории алгоритмов изучаются лишь принципиальная

Множество – фундаментальное неопределяемое понятие.

Формула, в которой из логических символов встречаются

Исторически первой алгоритмической системой была система

Понятие машины Тьюринга возникает в результате прямой

Импликацией высказываний А и В называется высказывание