Алгебра



Алгебра высказываний; пропозициональные связки и формы, истинностные таблицыАлгебра высказываний; тавтологии и противоречияАлгебра высказываний; логическая эквивалентность и логическое следствиеАлгебра высказываний; дизъюнктивная и конъюнктивная нормальные формыАлгебра высказываний; полные системы функций, базисПонятие формальной аксиоматической теории. (ФАТ)Исчисление высказываний, как формальная аксиоматическая теория (ФАТ).Формальная аксиоматическая теория (ФАТ), определение аксиомы, правило выводаФормальная аксиоматическая теория (ФАТ), формализация понятий теоремы и ее док-ва.Формальная аксиоматическая теория (ФАТ), теорема дедукции, правило силлогизма и перестановки посылок.Исчисление высказываний: связь между теоремами исчисления высказываний и тавтологиями.Логика предикатов: понятия терма и предиката, кванторы.Логика предикатов: логическая общезначимость.Логика предикатов: нормальные.теория алгоритмов. Нормальные алгорифмы Маркова.теория алгоритмов. Интуитивное понятие алгоритма.теория алгоритмов. Нормальные алгорифмы Маркова, как уточнение понятия алгоритма.Теория алгоритмов. Машина Поста.Теория алгоритмов. Машина Тьюринга.Исчисление высказываний. Построение доказательства Методом Modus ponensИсчисление высказываний. Построение доказательства методом резолюцийИсчисление высказываний. Построение доказательства методом ВонгаИсчисление высказываний. Перенос высказываний через знак выводимости
 
Оригинал текста доступен для загрузки на странице содержания