Ebook: Исчисления высказываний классической логики
Author: Гуров С.И.
- Genre: Математика // Математическая логика
- Tags: Математика, Математическая логика
- Language: Русский
- pdf
М.: Издательский отдел факультета ВМиК им. М. В. Ломоносова (лицензия ИД 05899 от 24.09.2001 г.); МАКС Пресс, 2012. - 134 с.
Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании.Классическая алгебра логики.
Алгебра высказываний.
Бинарные отношения на множестве формул.
Характеризация формул алгебра высказываний.
Исчисления высказываний. Гильбертовские исчисления.
Логические исчисления.
Исчисление высказываний H.
Метатеория ИВ H.
Исчисления высказываний H' и H1.
Типы логических исчислений и их представления.
Генценовские исчисления высказываний.
Исчисление N натурального типа.
Исчисление S секвенциального типа.
Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании.Классическая алгебра логики.
Алгебра высказываний.
Бинарные отношения на множестве формул.
Характеризация формул алгебра высказываний.
Исчисления высказываний. Гильбертовские исчисления.
Логические исчисления.
Исчисление высказываний H.
Метатеория ИВ H.
Исчисления высказываний H' и H1.
Типы логических исчислений и их представления.
Генценовские исчисления высказываний.
Исчисление N натурального типа.
Исчисление S секвенциального типа.
Download the book Исчисления высказываний классической логики for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)