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

       

Следствия из теорем 10 и 11 сводят понятие выводимости

Ранее мы говорили, что в исчислении высказываний всякий атом (т.

Рассмотрим высказывательную форму cosх=1. Каждому значению «

Пусть задано диофантово уравнение с произвольными неизвестными

Эквивалвниией высказываний А и В называется высказывание

Алфавит – конечное или счетное множество символов

Мы видели, что поведение  машины Тьюринга определяется

 но мы допускаем не всюду определенную функцию.  

В этой главе мы двояким образом расширим наш предметный