← Эрик Демейн
Эрик Демейн

Эрик Демейн

20 цитат из наших статей · нажмите, чтобы открыть статью-источник
Профессор Массачусетского технологического института (MIT), лектор курса по дискретной математике.
«
Если вы можете доказать ложь, это означает, что ваше предположение тоже должно быть ложным.
03:49 · Профессор Эрик Демейн о разборе случаев и сильной индукции
«
С сильной индукцией я могу предположить больше, так что это только облегчает мое доказательство.
48:23 · Профессор Эрик Демейн о разборе случаев и сильной индукции
«
У вас есть 1834 случая в этом доказательстве. Они занимают около 400 страниц распечатки компьютерной программы.
34:05 · Эрик Демейн о методах доказательств: от перебора до сильной индукции
«
В общем, вы получаете право предположить больше, поэтому это только облегчает ваше доказательство.
48:23 · Эрик Демейн о методах доказательств: от перебора до сильной индукции
«
Инвариантность — это индукция в другом виде.
0:52 · Эрик Демейн о математике алгоритмов: «Инварианты гарантируют корректность»
«
Если существует строго убывающая производная переменная, то автомат обязан достичь финишного состояния.
1:12:14 · Эрик Демейн о математике алгоритмов: «Инварианты гарантируют корректность»
«
Множество состояний представляет собой произвольный набор, инкапсулирующий абсолютно всю информацию внутри машины.
1:19 · Теория автоматов состояний: от головоломки «Пятнашки» до верификации алгоритмов
«
Принцип инвариантности на самом деле является обобщением аксиомы индукции.
21:10 · Теория автоматов состояний: от головоломки «Пятнашки» до верификации алгоритмов
«
При проектировании кода вы обычно не хотите, чтобы программа выполнялась вечно.
6:56 · Теория автоматов состояний: от головоломки «Пятнашки» до верификации алгоритмов
«
Все достижимые объемы воды в этой головоломке являются целочисленными линейными комбинациями емкостей канистр.
17:56 · Как математика спасает Манхэттен: алгоритм Евклида и «Крепкий орешек 3»
«
Посещая вершину, мы посещаем два инцидентных ей ребра, работая по принципу: «что вошло, должно выйти».
41:13 · Теория графов в MIT: от мостов Кёнигсберга до математических деревьев
«
Я принадлежу ко второму типу математиков — к тем, кто не умеет считать.
17:12 · Теория графов в MIT: от мостов Кёнигсберга до математических деревьев
«
Сегодня День независимости, не с Уиллом Смитом в главной роли, а с теорией вероятностей.
03:39 · Эрик Демейн о теории независимости: почему интуиция нас обманывает
«
Парадокс дней рождения — это не парадокс. Это просто удивительный забавный факт, когда интуиция не совпадает с математикой.
56:26 · Эрик Демейн о теории независимости: почему интуиция нас обманывает
«
Носки идут перед обувью. Я пробовал наоборот — работает не очень хорошо.
33:58 · Эрик Демейн о графах: Как математика помогает правильно одеваться?
«
Если у вас есть цикл ограничений приоритета, то ни одна из задач не сможет быть выполнена первой.
35:46 · Эрик Демейн о графах: Как математика помогает правильно одеваться?
«
Никогда не делите случайные величины. Вообще никогда. Я покажу вам почему.
40:53 · Как клип группы OK Go подтвердил математический закон Мерфи
«
Секрет успеха видео заключался в том, чтобы посчитать математику после его создания, а не до.
31:22 · Как клип группы OK Go подтвердил математический закон Мерфи
«
Случайная величина не является ни случайной, ни переменной. На самом деле это функция из пространства элементарных исходов в вещественные числа.
0:26 · Теория математического ожидания: от бросания костей до зомби-апокалипсиса
«
Если из этой лекции вы запомните хотя бы одну вещь о вероятности, я советую запомнить линейность математического ожидания.
53:44 · Теория математического ожидания: от бросания костей до зомби-апокалипсиса