gds
19.03.2013 11:14
Посоны, помогите с задачкой. Я совсем разучился в графы. Наговнокодить могу, но должно быть красивое решение (скорее всего, ещё и более быстрое, чем наивный говнокод).
Есть направленный ациклический граф: https://docs.google.com/drawings/d/1OPIv...
Задана ... more →
gds
28.02.2013 11:09
Пост про различие "proof of negation" vs "proof by contradiction", в том числе есть интересное про отличие классической от интуиционистской (конструктивной) логики (однако, если последнее вам известно, в том числе на практике, то читать будет не очень интересно, разве что для структуризации знаний): ... more →
gds
08.09.2012 14:34
Постил в камлочятик, но запощу и тут.
Есть вероятность, что Олег будет давать интервью. Можно повлиять на вопросы. Присылайте мне, я передам куданадо.
Вопрос про то, не жмёт ли ему череп, я задать хотел бы, но это некультурно. Вопрос про будущее метаокамла уже скинул. Вопрос про субъективное сравнение языков с ... more →
17 comments
Unsubscribe from *math
