Добавил:

Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.

Вуз:

Национальный горный университет

Предмет:

[НЕСОРТИРОВАННОЕ]

Файл:

МАТ_ ЛОГИКА / Математическая логика_Лекция 6.ppt

Скачиваний:

60

Добавлен:

06.06.2015

Размер:

790.02 Кб

Скачать

☆

<<< < Предыдущая 1 2 34 / 44

Россер (1953)

def

А: Основные: ¬, Λ; (А В A B) дополнительные:

Р: A A A A B A

(A B) (B C) C A

R:modus ponens

Спасибо за внимание!!!

<<< < Предыдущая 1 2 34 / 44

Соседние файлы в папке МАТ_ ЛОГИКА

#
06.06.2015456.19 Кб62Математическая логика_Лекция 2.ppt
#
06.06.2015414.21 Кб50Математическая логика_Лекция 2_.ppt
#
06.06.20151.05 Mб67Математическая логика_Лекция 3.ppt
#
06.06.2015814.08 Кб103Математическая логика_Лекция 4.ppt
#
06.06.2015822.27 Кб79Математическая логика_Лекция 5.ppt
#
06.06.2015790.02 Кб60Математическая логика_Лекция 6.ppt
#
06.06.2015811.01 Кб60Математическая логика_Лекция 7.ppt
#
06.06.2015858.11 Кб57Математическая логика_Лекция 8.ppt
#
06.06.2015658.43 Кб77Математическая логика_Лекция 9.ppt
#
06.06.2015347.14 Кб99МАТЕМАТИЧЕСКАЯ ЛОГИКА_ЛК1_16_01_2012.doc
#
06.06.2015444.42 Кб68МАТЕМАТИЧЕСКАЯ ЛОГИКА_ЛК2_23_01_2012.doc