Исчисления высказываний классической логики
Гуров С.И.
М.: Издательский отдел факультета ВМиК им. М. В. Ломоносова (лицензия ИД 05899 от 24.09.2001 г.); МАКС Пресс, 2012. - 134 с.
Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании.Классическая алгебра логики.
Алгебра высказываний.
Бинарные отношения на множестве формул.
Характеризация формул алгебра высказываний.
Исчисления высказываний. Гильбертовские исчисления.
Логические исчисления.
Исчисление высказываний H.
Метатеория ИВ H.
Исчисления высказываний H' и H1.
Типы логических исчислений и их представления.
Генценовские исчисления высказываний.
Исчисление N натурального типа.
Исчисление S секвенциального типа.
Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании.Классическая алгебра логики.
Алгебра высказываний.
Бинарные отношения на множестве формул.
Характеризация формул алгебра высказываний.
Исчисления высказываний. Гильбертовские исчисления.
Логические исчисления.
Исчисление высказываний H.
Метатеория ИВ H.
Исчисления высказываний H' и H1.
Типы логических исчислений и их представления.
Генценовские исчисления высказываний.
Исчисление N натурального типа.
Исчисление S секвенциального типа.
Litres
Želite da dodate knjižaru? Kontaktirajte nas na support@z-lib.do
File converter
Više rezultata pretrage
More benefits 
