DC Field | Value | Language |
dc.contributor.author | Михайлова, Н. В. | - |
dc.coverage.spatial | Омск | ru_RU |
dc.date.accessioned | 2023-03-21T12:59:53Z | - |
dc.date.available | 2023-03-21T12:59:53Z | - |
dc.date.issued | 2023 | - |
dc.identifier.citation | Михайлова, Н. В. Компьютерное мышление и математическое доказательство / Н. В. Михайлова // Математическое и компьютерное моделирование : сборник материалов X Международной научной конференции, Омск, 10 февраля 2023 г. / Омский государственный университет им. Ф. М. Достоевского. – Омск, 2023. – С. 222–225. | ru_RU |
dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/50631 | - |
dc.description.abstract | В проблеме понимания математического доказательства с использованием компьютера важным аспектом является обоснование того, в каком смысле компьютерные доказательства даже в методологическом контексте являются доказательствами, принятыми в философии математики. Формализация математического доказательства – это необходимая упрощающая процедура, которая также делает математическое доказательство даже более универсальным и практически доступным для задания его компьютеру. | ru_RU |
dc.language.iso | ru | ru_RU |
dc.publisher | Омский государственный университет | ru_RU |
dc.subject | публикации ученых | ru_RU |
dc.subject | философия математики | ru_RU |
dc.subject | компьютерные доказательства | ru_RU |
dc.subject | математическое познание | ru_RU |
dc.title | Компьютерное мышление и математическое доказательство | ru_RU |
dc.type | Article | ru_RU |
Appears in Collections: | Публикации в зарубежных изданиях
|