| DC Field | Value | Language |
|---|
| dc.contributor.author | Михайлова, Н. В. | - |
| dc.coverage.spatial | Омск | en_US |
| dc.date.accessioned | 2024-05-06T06:03:33Z | - |
| dc.date.available | 2024-05-06T06:03:33Z | - |
| dc.date.issued | 2024 | - |
| dc.identifier.citation | Михайлова, Н. В. Концептуальное понимание математического доказательства и его изменение в практике информационных технологий / Н. В. Михайлова // Математическое и компьютерное моделирование : сборник материалов XI Международной научной конференции, Омск, 15 марта 2024 г. / Омский государственный университет им. Ф. М. Достоевского. – Омск, 2024. – С. 58–60. | en_US |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/55632 | - |
| dc.description.abstract | В статье рассматривается традиционное математическое доказательство и анализ тех его изменений, которые связаны с информационными технологиями и требуют философского осмысления компьютерного доказательства как средства убеждения, позволяющего найти нечто общее в двух видах взаимосвязанной аргументации. Формальная сложность такого осмысления проявляется в том, что комбинаторная методика, свойственная компьютерным доказательствам, плохо сочетается с интуицией математической креативности. | en_US |
| dc.language.iso | ru | en_US |
| dc.publisher | Омский государственный университет | en_US |
| dc.subject | публикации ученых | en_US |
| dc.subject | философия | en_US |
| dc.subject | философская рефлексия | en_US |
| dc.subject | компьютерное доказательство | en_US |
| dc.subject | математическое доказательство | en_US |
| dc.title | Концептуальное понимание математического доказательства и его изменение в практике информационных технологий | en_US |
| dc.type | Article | en_US |
| Appears in Collections: | Публикации в зарубежных изданиях
|
