Название: Эвристические принципы и логические исчисления
Автор: Серебрянников О.Ф.
Издательство: М.: Наука
Год: 1970
Страниц: 284
Формат: djvu
Размер: 20,8 Мб
Язык: Русский

Все известные методы решения творческих задач по признаку преобладания в них интуитивных или логических процедур и соответствующих им правил деятельности условно можно разделить на две группы: логические и эвристические. Проблемы выражения эвристических принципов мышления в исчислениях современной логикой рассматриваются в этой книге. Современные достижения формальной логики открывают интересные перспективы применения точных методов в изучении определенных аспектов эвристической деятельности. Тем не менее нередко можно встретить противопоставление строгих методов построения доказательств эвристическим принципам, которые используются в отыскании формулировок будущих теорем, в выработке идеи доказательства и т.п.