О программном обеспечении компьютерных доказательств.
##plugins.themes.bootstrap3.article.sidebar##
Published:
02.11.2004
##plugins.themes.bootstrap3.article.main##
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##
How to Cite
Znatnov S. О программном обеспечении компьютерных доказательств. // Logicheskie Issledovaniya / Logical Investigations. 2004. VOL. 11. C. 138-148.
Issue
Section
Papers
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.
Гелернтер Г. Реализация машины, доказывающей геометрические теоремы // Вычислительные машины и мышление. М.: Мир, 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.