>>

ШАНГИН ВАСИЛИЙ ОЛЕГОВИЧ. АВТОМАТИЧЕСКИЙ ПОИСК НАТУРАЛЬНОГО ВЫВОДА В КЛАССИЧЕСКОЙ ЛОГИКЕ ПРЕДИКАТОВ. Диссертация на соискание ученой степени кандидата философских наук. Москва - 2004. 2004

Специальность 09.00.07 - Логика

| >>
Глава 1. Автоматический поиск натурального вывода: история вопроса
Глава 3. Алгоритм поиска вывода в системе BMV
Глава 4. Анализ алгоритма поиска вывода в системе BMV

Книги и учебники по дисциплине Основы логики:

  1. Михайлов Кирилл Авенирович. Логические идеи И. Канта. Диссертация на соискание ученой степени кандидата философских наук. Москва, 2003год - 2003 год
  2. Зиновьев А.А.. Восхождение от абстрактного к конк­ретному (на материале «Капитала» К.Маркса). — M.,2002. —321 с. - 2002 год
  3. Ответы к экзамену по логике - год
  4. Логика. Ответы к экзамену - год