Дела давно минувших дней

[pod_baobabom]

На осознание всей мощи митиного курса под условным названием "Модели программ" у меня ушло, ни много ни мало, полтора года. Официально заявляю - это очень крутой и правильный курс, который должен быть сделан обязательным. А Соловьёва с его целым семестром доказываения теорем о непрерывности в семантике неподвижной точки - выкинуть нафиг

Comments

[nastasiak]

да, примеров точно не хватало.
Хотя, по себе скажу, мне Соловьев как бы помог как раз этими примерами, хотя бы слегка.

[nastasiak]

ну то есть, они у Соловьева, конечно идиотские были, но мне часто в начале темы именно их не хватает. Мой мозг в такие вещи не может сходу въехать.

[skavish]

> Как можно выпуститься с матобеса и не знать отличия семантики большого и малого шага, не иметь хотя бы общего представления о денотационной семантике в CPS-форме и основах метапрограммирования, лично мне теперь непонятно.

из этого списка кроме метапрограммирования я ничего не знаю. и даже не знаю стыдно мне или нет, нужно мне это или нет. но почти уверен что когда я учился на матобесе там этого не было.

[pod_baobabom]

Ну, это скорее гипербола, а не попытка пристыдить всех и вся. :)
Другое дело, что обучать, понятное дело, должны с некоторым излишком (что неоднократно замечалось в отношении всего множества матмеховских математик), и то что практически непокрытой программой оказалась огромная отрасль computer science - это всё-таки продолб. Я этого не ощущал, пока сам этим заниматься серьёзно не начал.

[mulambda]

Угу. все так и было задумано.
Про приложения я согласен, но нам и так на азы времени не очень хватило. Вернешься в Питер - добавишь в курс примеров из собственного researchа.

[pod_baobabom]

На мой взгляд, надо было не рефлексировать и разбить курс на две части - материала там было предостаточно. :)

[mulambda]

Илья, ну пожалей меня) Я все-таки и так 2 раза в неделю в Петергоф мотался)

[nastasiak]

Мить, ты серьезно? Чтобы мы и пожалели преподавателей =) Да мы ж выжали по полной тебя, Диму Булычева и Киру Вяткину =)

на самом деле, у меня было ощущение, что почему-то часов на этот конкретный курс получилось мало, по сравнению с другими. Мне показалось?