О программном обеспечении компьютерных доказательств.
Article Sidebar
Опубликован:
02.11.2004
Main Article Content
Аннотация
In clause the review and classification of the software is made for carrying out of computer proofs.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Знатнов С. О программном обеспечении компьютерных доказательств. // Логические исследования / Logical Investigations. 2004. Т. 11. C. 138-148.
Выпуск
Раздел
Статьи
Литература
Анисов А.М. ЭВМ и понимание математических доказательств // Вопросы философии. 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.