О программном обеспечении компьютерных доказательств.

##plugins.themes.bootstrap3.article.main##

S.Y. Znatnov

Abstract

In clause the review and classification of the software is made for carrying out of computer proofs.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Анисов А.М. ЭВМ и понимание математических доказательств // Вопросы философии. 1987, № 3.

Гелернтер Г. Реализация машины, доказывающей геометрические теоремы // Вычислительные машины и мышление. М.: Мир, 1967.

Глушков В. М. Кибернетика: вопросы теории и практики. М.: Наука, 1986.

Гэри М, Джонсон Д. Вычислительные машины и труднорешаемые задачи. М.: Мир, 1982.

Зенкин А.А. Когнитивная компьютерная графика // Материалы XI Межд. конф. по логике, методологии и философии науки. Москва Обнинск, 1995. Том 2.

Информатика/ Сост. Д.А. Поспелов. М.: Педагогика-Пресс, 1994.

Логика и компьютер. Вып 1. М.: Наука, 1990.

Компьютер обретает разум. М.: Мир, 1990.

Невинс А. Доказательство теорем планиметрии с использованием прямых рассуждений // Кибернетический сборник. Новая серия. М.: Мир, 1979. Вып. 16. С. 145-170.

Новодворский А.Е., Смирнов А.В. Интерактивная система поиска вывода в различных логических системах // Материалы XI Международной конференции по логике, методологии и философии науки. Москва - Обнинск, 1995. И. Ньюэлл А., Шоу Дж., Саймон Г. Эмпирические исследования машины “Логик-Теоретик”; пример изучения эвристик // Вычислительные машины и мышление. М.: Мир, 1967.

Рузавин Г.И. Интуиция и понимание в математике // Интуиция, логика, творчество . М., 1987.

Стрыгин В.З. Критика формальнологического метода исследования в дискретной математике. М.: Изд. отд. ЦАГИ, 1998.

Чень Ч, Ли Р. Математическая логика и автоматическое доказательство теорем. М.: Мир. 1983.

Appel К., Haken W. The solution of the four-color-map problem // Scientific American. 1977. No. 10.

Teller P. Computer proof // Journal of Philosophy. 1980. Vol. 77, No. 12.