Oℕ
Это и для программирования полезно
Size: a a a
2019 December 21
AZ
Простите за занудство, но я обязан напоминать каждый раз, что Милевский не писал книги
А на первой странице его фамилия
Oℕ
А на первой странице его фамилия
Да, это полностью конечно же его материал. Это его блогпосты, собранные Игалем Табачником @hmemcpy в книгу. Важны, как мне кажется, две идеи.
Во первых, что книга появилась благодаря инициативе и упорной работе Игаля.
Во-вторых, что это лишь статьи из блога, их больше, они часто требуют доп. материала извне, и не предполагались как дидактический материал.
Во первых, что книга появилась благодаря инициативе и упорной работе Игаля.
Во-вторых, что это лишь статьи из блога, их больше, они часто требуют доп. материала извне, и не предполагались как дидактический материал.
AZ
Да, это полностью конечно же его материал. Это его блогпосты, собранные Игалем Табачником @hmemcpy в книгу. Важны, как мне кажется, две идеи.
Во первых, что книга появилась благодаря инициативе и упорной работе Игаля.
Во-вторых, что это лишь статьи из блога, их больше, они часто требуют доп. материала извне, и не предполагались как дидактический материал.
Во первых, что книга появилась благодаря инициативе и упорной работе Игаля.
Во-вторых, что это лишь статьи из блога, их больше, они часто требуют доп. материала извне, и не предполагались как дидактический материал.
это многое объясняет. А то я думал я тупой, что не могу такое разжеванное понять.
Хотя смотря с чем сравнивать. учебник с обложкой с динозаврами вообще такой, что прочитав первые 10 страниц чувствуешь себя идиотом. Особенно после предисловия "автор ставил своей целью написать для нематематиков, попроще"
Хотя смотря с чем сравнивать. учебник с обложкой с динозаврами вообще такой, что прочитав первые 10 страниц чувствуешь себя идиотом. Особенно после предисловия "автор ставил своей целью написать для нематематиков, попроще"
Oℕ
Понять даже сильно разжёванные абстракции даже в специальном учебнике, даже если ты фантастически умён и таланлив не всегда просто.
J
Привет, @pmukhin! Пройди анти-спам проверку за 2 мин.
AK
Господа и господессы, как вы прочитав статью проверяете себя, что всё поняли правильно: рассказываете другу, перепроверяете себя в coq / alloy, никак, как-то по-другому?
A
Задаю себе вопрос и пытаюсь на него ответить
AK
Блин, у меня так не работает. Возможно, придумываю слишком лёгкие вопросы :( На каждой следующей главе Бартоша я понимаю, что не понял три предыдущих. Так и читаю третий месяц его. Сейчас вот завис на representable functors. Реально три раза уже перечитывал. Вроде, всё было понятно ещё в первый раз...
A
У меня опыта не так много, но препод по алгебре говорил, что книги по математике так и читают
A
Сначала первую главу, потом первую и вторую, потом первые три...
US
Можно пробовать ослабить формулировки теорем и смотреть что ломается в доказательстве, подбирать контрпримеры
2019 December 22
AZ
Блин, у меня так не работает. Возможно, придумываю слишком лёгкие вопросы :( На каждой следующей главе Бартоша я понимаю, что не понял три предыдущих. Так и читаю третий месяц его. Сейчас вот завис на representable functors. Реально три раза уже перечитывал. Вроде, всё было понятно ещё в первый раз...
ты мой брат-близнец? Я вот тоже 3 месяца сижу с книжкой, но вчера таки осили репрезентабл функторы. Глава понимается очень туго но если сделаешь упражнения в конце главы то всё сразу встает на места
AZ
AZ
мне чуть выше видосами помогли, мб тебе тоже зайдет
AK
Можно пробовать ослабить формулировки теорем и смотреть что ломается в доказательстве, подбирать контрпримеры
Идея хорошая, но разбивается о скалы моей некомпетентности. Я два года на хаскеле и скале уже флетмапил, когда узнал, что между двумя объектами может быть много стрелок, и они могут быть не равны друг другу. До этого всё уживалось прекрасно.
Да я только вчера, читая про Карри-Говарда, узнал, что из not (not A) не следует A
Да я только вчера, читая про Карри-Говарда, узнал, что из not (not A) не следует A
AZ
Идея хорошая, но разбивается о скалы моей некомпетентности. Я два года на хаскеле и скале уже флетмапил, когда узнал, что между двумя объектами может быть много стрелок, и они могут быть не равны друг другу. До этого всё уживалось прекрасно.
Да я только вчера, читая про Карри-Говарда, узнал, что из not (not A) не следует A
Да я только вчера, читая про Карри-Говарда, узнал, что из not (not A) не следует A
ну так это же аксиома выбора вроде. Она не везде принята.
Хотя во всех ЯП что я знаю это вроде верно
Хотя во всех ЯП что я знаю это вроде верно
AK
ты мой брат-близнец? Я вот тоже 3 месяца сижу с книжкой, но вчера таки осили репрезентабл функторы. Глава понимается очень туго но если сделаешь упражнения в конце главы то всё сразу встает на места
Возможно, в детстве злой раджа отчислил меня с матфака, и у меня есть родинка справа :)
Я читал твои сообщения, но ты же как-то понял, что не всё понял про лимиты.
Видосы, вроде, помогают, если одновременно читать вики, бартоша, нлаб. Тут вопрос даже не в понимании, а чтобы убедиться, что понял правильно
Я читал твои сообщения, но ты же как-то понял, что не всё понял про лимиты.
Видосы, вроде, помогают, если одновременно читать вики, бартоша, нлаб. Тут вопрос даже не в понимании, а чтобы убедиться, что понял правильно
AK
ну так это же аксиома выбора вроде. Она не везде принята.
Хотя во всех ЯП что я знаю это вроде верно
Хотя во всех ЯП что я знаю это вроде верно
В хаскеле не работает
AZ
а разные стрелки очевидны - не все функи Int -> Int одинаковы