Материалов:
1 005 012

Репозиториев:
30

Авторов:
596 024

По вашему запросу найдено документов: 8674

Страница 1 из 868

Учителя математики об обучении учащихся доказательствам теоремЗакрепленные доказательства теоремы

Интересные истории доказательств некоторых теоремЦель работы - подробно изучить теоремы, которые встречались в ходе обучения в средней школе и

Теорема Пифагора. Четыре новых доказательстваПриведены четыре новых доказательства теоремы Пифагора, первые два из которых получены из подобия

Элементы неравновесной линейной термодинамики для доказательства теоремы ПригожинаЭлементы неравновесной линейной термодинамики для доказательства теоремы Пригожина

Теоремы Геделя не дезавуируют программу Гильберта абсурдным выводам. Обосновывается невозможность финитного доказательства первой теоремы о неполноте, из чего

Понятие доказательства в контексте теоретико-типового подхода, II: доказательства теорем внимание уделяется проблеме обозримости на примере доказательства теоремы о четырех красках. Настоящая

Теорема Пифагора. Четыре новых доказательстваПриведены четыре новых доказательства теоремы Пифагора, первые два из которых получены из подобия

Конструктивизм в логике и математике (Витгенштейн против Геделя: некоторые современные прочтения) алгоритмическим и конструктивным (метаматематическим) типом доказательства. В рамках недавнего прочтения Т

Избранные теоремы начального курса криптографии : учебно-методический комплексУчебно-методический комплекс (УМК) "Избранные теоремы начального курса криптографии" разработан в

СИСТЕМА АВТОМАТИЗИРОВАННОГО ДОКАЗАТЕЛЬСТВА КОРРЕКТНОСТИ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММСИСТЕМА АВТОМАТИЗИРОВАННОГО ДОКАЗАТЕЛЬСТВА КОРРЕКТНОСТИ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ

Страница 1 из 868