Resultados de la búsqueda

Ir a la navegación Ir a la búsqueda

Para más opciones de búsqueda, vea Ayuda:Búsqueda.

No hay resultados que cumplan los criterios de búsqueda en este sitio.

Resultados de la Wikipedia en ruso.

  • используются учёными только при поиске доказательств, сами доказательства не могут основываться на таких средствах. Доказательства, написанные на естественных языках
    51 kB (2968 palabras) - 10:05 17 abr 2020
  • аналитического доказательства. Неформальные доказательства повседневной математической практики непохожи на формальные доказательства теории доказательств. Они
    20 kB (1150 palabras) - 19:57 22 jul 2020
  • является всеобщая связь явлений в природе. Различают полную индукцию — метод доказательства, при котором утверждение доказывается для конечного числа частных
    23 kB (1613 palabras) - 20:05 22 jul 2020
  • предметом споров в философии религии и массовой культуре. Общепринятого доказательства существования или не существования Бога не сформулировано. Широкий спектр
    143 kB (8522 palabras) - 15:19 3 ago 2020
  • суждения (тезиса доказательства) осуществляется через опровержение отрицания этого суждения — антитезиса. Этот способ доказательства основывается на истинности
    5 kB (339 palabras) - 19:45 11 jul 2020
  • случаями наводит на гипотезу, которая нуждается в доказательстве. Математическая индукция — метод доказательства для последовательности натуральных чисел либо
    4 kB (239 palabras) - 09:13 8 feb 2020
  • деятельности человека может подразумевать: проверка, подтверждение, метод доказательств каких-либо теоретических положений, алгоритмов, программ и процедур
    13 kB (711 palabras) - 11:47 4 may 2020
  • нечто, применяемое в качестве основания для доказательства последнего. Противоположностью доказательства является опровержение. Как правило, оно строится
    20 kB (1263 palabras) - 11:30 28 may 2020
  • Доказа́тельства эволю́ции — научные данные и концепции, подтверждающие происхождение всех живых существ на Земле от общего предка. Благодаря этим доказательствам
    224 kB (14 060 palabras) - 13:37 18 may 2020
  • отвергает всё, кроме конструктивного доказательства. Это приводит к ограничению на допустимые методы доказательства (в частности, закон исключенного третьего
    7 kB (526 palabras) - 22:04 15 abr 2020
  • для доказательства теорем в формальных системах первого порядка. Правило разработано Джоном Аланом Робинсоном в 1965 году. Алгоритмы доказательства выводимости
    22 kB (2030 palabras) - 15:00 31 may 2020
  • исходя из других истинных суждений. Доказательство связано с убеждением, но не тождественно ему. Доказательства должны основываться на данных науки и
    6 kB (352 palabras) - 20:19 13 abr 2020
  • рассуждений, нечто считается истинным лишь посредством практического доказательства существования явления. Именно стоики первыми обратили внимание на важность
    47 kB (2956 palabras) - 02:50 4 jul 2020
  • Метод бесконечного спуска — метод доказательства от противного, основанный на том, что множество натуральных чисел вполне упорядочено. Существенно развит
    4 kB (295 palabras) - 12:32 15 abr 2020
  • формальную дисциплину, идеальным вариантом которой были точные методы доказательства, используемые в математике. Появление современной математической
    35 kB (2346 palabras) - 21:36 23 jul 2020
  • Математическая индукция — метод математического доказательства, который используется, чтобы доказать истинность некоторого утверждения для всех натуральных
    10 kB (693 palabras) - 11:56 13 may 2020
  • Трансфинитная индукция (categoría Практики, основанные на доказательствах)
    Трансфинитная индукция — метод доказательства, обобщающий математическую индукцию на случай несчётного числа значений параметра. Трансфинитная индукция
    8 kB (604 palabras) - 14:32 15 abr 2020
  • Прыжки Виета (categoría Стандартные приёмы доказательства)
    В математике прыжками Виета (или отражением корней) называется метод доказательства, используемый в теории чисел. Наиболее часто он применяется для задач
    19 kB (1173 palabras) - 07:22 30 dic 2019
  • Плюннеке — Ружа и оценки Балога-Семереди-Гауэрса. Одно из возможных доказательств использует нижнюю оценку на размер множества R ( A ) = A ( A × A − A
    26 kB (2071 palabras) - 19:36 14 jul 2020
  • и подтверждения правомочности операций в системе «Биткойн» (см. метод доказательства выполнения работы). URI-схема "bitcoin: " для операций с биткойнами
    218 kB (14 183 palabras) - 11:38 5 ago 2020
  • Научные доказательства — это доказательства, которые служат либо для поддержки или опровержения научной теории или гипотезы. Ожидается, что такими доказательствами
    62 kB (4528 palabras) - 21:39 30 jul 2020