Математическая логика: часть 1 - Учебное пособие (Пономарев В.Ф.)
Читать: Аннотация Читать: ВведениеЧитать: 1.логика высказыванийЧитать: 1.1 алгебра высказыванийЧитать: 1.2 исчисление высказыванийЧитать: 1.3. метод дедуктивного выводаЧитать: 1.4. принцип резолюцииЧитать: CЧитать: NЧитать: 1.6 описание высказываний на языке prologЧитать: 2. логика предикатовЧитать: 2.1 алгебра предикатовЧитать: 2.2. исчисление предикатовЧитать: 2.3 проблемы в исчислении предикатовЧитать: 2.4 логическое программирование Читать: Литература Читать: Предметный указатель
Оглавление|
Читать: 1.1 алгебра высказываний