| Title: | Компьютерное мышление и математическое доказательство |
| Authors: | Михайлова, Н. В. |
| Keywords: | публикации ученых;философия математики;компьютерные доказательства;математическое познание |
| Issue Date: | 2023 |
| Publisher: | Омский государственный университет |
| Citation: | Михайлова, Н. В. Компьютерное мышление и математическое доказательство / Н. В. Михайлова // Математическое и компьютерное моделирование : сборник материалов X Международной научной конференции, Омск, 10 февраля 2023 г. / Омский государственный университет им. Ф. М. Достоевского. – Омск, 2023. – С. 222–225. |
| Abstract: | В проблеме понимания математического доказательства с использованием компьютера важным аспектом является обоснование того, в каком смысле компьютерные доказательства даже в методологическом контексте являются доказательствами, принятыми в философии математики. Формализация математического доказательства – это необходимая упрощающая процедура, которая также делает математическое доказательство даже более универсальным и практически доступным для задания его компьютеру. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/50631 |
| Appears in Collections: | Публикации в зарубежных изданиях
|
