Результаты поиска

| тип = Средство доказательства теорем ...). Coq может [[Автоматическое доказательство теорем|автоматически находить доказательства]] в некоторых ограниченных теориях с помощью так называемых ''тактик''. Coq ...

...олнения|потоков выполнения]], обращающихся к отдельному хранилищу. Правила доказательства О’Хирна адаптировали ранний подход [[Хоар, Чарльз Энтони Ричард|Тони Хоара] .... Тем не менее, по состоянию на 2014 год отсутствуют практичные доказатели теорем, реализующие полную логику разделения, то есть включающие разделяющую импли ...

=== Используемые инструменты === Ключевым инструментом, используемым при формулировании и доказательстве теорем сингулярности, является уравнение Райчаудури, которое описывает дивергенцию ...

...ризации [[Многообразие Хакена|многообразий Хакена]] использовало различные инструменты из ранее лишь слабо связанных областей математики. Открытие [[Джонс, Вон|Во Существует несколько фундаментальных теорем о многообразиях, которые могут быть доказаны маломерными методами в размерн ...

При доказательстве [[Комбинаторика|комбинаторных теорем]] обычно признаются и используются несколько полезных '''комбинаторных прав ...щие функции]] и [[Рекуррентная формула|рекуррентные соотношения]] — мощные инструменты, которые можно использовать для управления [[Последовательность|последовате ...

...ржит полные определения и [[Математическое доказательство|доказательства]] теорем исчисления. Сфера исследований исчисления стала значительно шире. [[Анри Ле ...тных примеров таких [[Апории Зенона|парадоксов]]. Исчисление предоставляет инструменты для разрешения этих парадоксов, в частности, пределы и бесконечные ряды. ...

...Суждение|суждений]], природу математического [[Доказательство (математика)|доказательства]] в целом, [[Теория вычислимости|вычислимость]] и прочие аспекты [[Метамате В конце 1880-х годов [[Дедекинд, Рихард|Дедекинд]] и [[Пеано]] применили эти инструменты в попытках аксиоматизации арифметики, при этом Пеано создал удобную систему ...

...роцессов]]; на них основан также [[гармонический анализ]] функций и другие инструменты [[Математический анализ|анализа]]. [[Томас Пейн]] в своей книге «[[Век Разу ...но приписывают [[Гипсикл]]у, II век до н. э.). Среди известных вавилонянам теорем была, например, такая: [[вписанный угол]], опирающийся на диаметр круга — п ...

...ами]]. Для астрономических наблюдений там использовались практически те же инструменты, что и в обсерватории [[Браге, Тихо|Тихо Браге]]<ref>{{Cite web |url=http:/ === Астрономические инструменты === ...

...свою очередь, необходимы для формулировки и доказательства многих полезных теорем, например, [[Спектральная теорема|спектральной теоремы]]. Это не очень важн Из-за бесконечномерного характера системы соответствующие математические инструменты являются объектами изучения [[Функциональный анализ|функционального анализа ...

...'Bertsekas''|1996|с=364–381}}, а также для [[Математическое доказательство|доказательства]] «[[Закон больших чисел|закона средних]]» для [[Случайное множество|случай ...по экономике]] (2012)<ref name="nobel" group="прим."/>, является соавтором доказательства леммы наряду с Джоном Фолкманом{{sfn|''Starr''|1969}}.]] ...

...задачами астрономов становятся: (1) установление масштабов мира исходя из теорем геометрии и данных астрономических наблюдений, а также (2) построение облад '''Астрономические инструменты.''' Вероятно, для наблюдения положения ночных светил использовалась [[диопт ...

...частвовал в публикациях Петербургской Академии, приобретал для неё книги и инструменты, редактировал математические отделы русских журналов. На его квартире, на п ...влению натуральных чисел в виде сумм специального вида и сформулировал ряд теорем для вычисления [[число разбиений|числа разбиений]]<ref name="Вклад Леонарда ...