Обложка канала

Книги для программистов

50300 @bfbook

Книги для программистов — обзоры книг, видеолекции и другой образовательный материал для разработчиков.

Книги для программистов

6 лет назад
Открыть в
Логика. Углубленный курс
Александра Гетманова (2008)

Учебное пособие дает углубленное содержание как традиционной формальной логики, так и математической (символической) логики в ее двух направлениях: классическая логика и многочисленные направления неклассических логик (конструктивных, интуиционистской, многозначных, положительных (логики, построенные без операции отрицания), модальных и паранепротиворечивых). В пособии впервые в логической литературе приводится сравнительная характеристика 15 видов логических систем по трем направлениям: 1) взаимосвязь логических систем внутри одного направления логики; 2) взаимосвязь логических систем, относящихся к различным направлениям логики; 3) взаимосвязь или сравнение различных направлений логики по их "силе".

Скачать книгу