Skip navigation
Please use this identifier to cite or link to this item: https://libeldoc.bsuir.by/handle/123456789/50631
Full metadata record
DC FieldValueLanguage
dc.contributor.authorМихайлова, Н. В.-
dc.coverage.spatialОмскru_RU
dc.date.accessioned2023-03-21T12:59:53Z-
dc.date.available2023-03-21T12:59:53Z-
dc.date.issued2023-
dc.identifier.citationМихайлова, Н. В. Компьютерное мышление и математическое доказательство / Н. В. Михайлова // Математическое и компьютерное моделирование : сборник материалов X Международной научной конференции, Омск, 10 февраля 2023 г. / Омский государственный университет им. Ф. М. Достоевского. – Омск, 2023. – С. 222–225.ru_RU
dc.identifier.urihttps://libeldoc.bsuir.by/handle/123456789/50631-
dc.description.abstractВ проблеме понимания математического доказательства с использованием компьютера важным аспектом является обоснование того, в каком смысле компьютерные доказательства даже в методологическом контексте являются доказательствами, принятыми в философии математики. Формализация математического доказательства – это необходимая упрощающая процедура, которая также делает математическое доказательство даже более универсальным и практически доступным для задания его компьютеру.ru_RU
dc.language.isoruru_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.typeArticleru_RU
Appears in Collections:Публикации в зарубежных изданиях

Files in This Item:
File Description SizeFormat 
Mihailova_Kompyuternoe_mishlenie.pdf592.6 kBAdobe PDFView/Open
Show simple item record Google Scholar

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.