ШАНГИН ВАСИЛИЙ ОЛЕГОВИЧ. АВТОМАТИЧЕСКИЙ ПОИСК НАТУРАЛЬНОГО ВЫВОДА В КЛАССИЧЕСКОЙ ЛОГИКЕ ПРЕДИКАТОВ. Диссертация на соискание ученой степени кандидата философских наук. Москва - 2004. 2004
Специальность 09.00.07 - Логика
Глава 1. Автоматический поиск натурального вывода: история вопроса
Глава 3. Алгоритм поиска вывода в системе BMV
Глава 4. Анализ алгоритма поиска вывода в системе BMV
Книги и учебники по дисциплине Основы логики:
- Михайлов Кирилл Авенирович. Логические идеи И. Канта. Диссертация на соискание ученой степени кандидата философских наук. Москва, 2003год - 2003 год
- Зиновьев А.А.. Восхождение от абстрактного к конкретному (на материале «Капитала» К.Маркса). — M.,2002. —321 с. - 2002 год
- Ответы к экзамену по логике - год
- Логика. Ответы к экзамену - год
-
Основы логики -