Исчисления высказываний классической логики
Гуров С.И.
М.: Издательский отдел факультета ВМиК им. М. В. Ломоносова (лицензия ИД 05899 от 24.09.2001 г.); МАКС Пресс, 2012. - 134 с.
Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании.Классическая алгебра логики.
Алгебра высказываний.
Бинарные отношения на множестве формул.
Характеризация формул алгебра высказываний.
Исчисления высказываний. Гильбертовские исчисления.
Логические исчисления.
Исчисление высказываний H.
Метатеория ИВ H.
Исчисления высказываний H' и H1.
Типы логических исчислений и их представления.
Генценовские исчисления высказываний.
Исчисление N натурального типа.
Исчисление S секвенциального типа.
Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании.Классическая алгебра логики.
Алгебра высказываний.
Бинарные отношения на множестве формул.
Характеризация формул алгебра высказываний.
Исчисления высказываний. Гильбертовские исчисления.
Логические исчисления.
Исчисление высказываний H.
Метатеория ИВ H.
Исчисления высказываний H' и H1.
Типы логических исчислений и их представления.
Генценовские исчисления высказываний.
Исчисление N натурального типа.
Исчисление S секвенциального типа.
Litres
ต้องการเพิ่มร้านหนังสือ? ติดต่อเราได้ที่ support@z-lib.do
สามารถแปลงไฟล์ได้
ผลการค้นหาเพิ่มเติม
สิทธิประโยชน์อื่นๆ 
