koob.ru

Теория поиска вывода. Происхождение и философские приложения

Автор книги: Брюшинкин Владимир Никифорович | Раздел библиотеки: Философия

Соавторы: Ходикова Н.А.

Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым.

Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.

Добавить отзыв о книге
Авторы сайта
Владимир Никонов & Георгий Ефимов
Библиотека «Куб»
Поддержать проектПодписаться