Исчисления высказываний классической логики
Гуров С.И.
М.: Издательский отдел факультета ВМиК им. М. В. Ломоносова (лицензия ИД 05899 от 24.09.2001 г.); МАКС Пресс, 2012. - 134 с.
Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании.Классическая алгебра логики.
Алгебра высказываний.
Бинарные отношения на множестве формул.
Характеризация формул алгебра высказываний.
Исчисления высказываний. Гильбертовские исчисления.
Логические исчисления.
Исчисление высказываний H.
Метатеория ИВ H.
Исчисления высказываний H' и H1.
Типы логических исчислений и их представления.
Генценовские исчисления высказываний.
Исчисление N натурального типа.
Исчисление S секвенциального типа.
Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании.Классическая алгебра логики.
Алгебра высказываний.
Бинарные отношения на множестве формул.
Характеризация формул алгебра высказываний.
Исчисления высказываний. Гильбертовские исчисления.
Логические исчисления.
Исчисление высказываний H.
Метатеория ИВ H.
Исчисления высказываний H' и H1.
Типы логических исчислений и их представления.
Генценовские исчисления высказываний.
Исчисление N натурального типа.
Исчисление S секвенциального типа.
Litres
想添加您的書店？ 通過 support@z-lib.do 與我們聯繫
轉換文件
更多的搜索結果
其他特權 
