?

Log in

No account? Create an account
 
 
27 Сентябрь 2011 @ 10:14
Мехмат, день 23  

Вчера состоялся мощнейший вынос мозга за всю историю моего пребывания)) Такое, что голова болела чуть ли не всю ночь, и сны снились про бесконечности :о)))

В 16:45 был спецсеминар под названием "Вычислимость и неклассические логики" :о) Это было уже второе занятие (первое было 19.09), но я на первом не был... А на первом они разобрали основы лямбда счисления и уже вовсю с ним работали на втором, на котором я и появился)

К концу пары я всё-таки понял что и как происходит, но мозг мой был на этот день уже безнадежно утерян)))

Но потом были две пары по матану, где мы много и обильно работали с пределами :о) Пожалуй даже больше и продуктивнеЕ, чем на любой моей пары... Так что после двух пар матана, включив Анки по дороге домой - я ошибался даже в словах на N5 - настолько мой мозг отказывался работать :о))

З.Ы.: Факт - работать проще, чем учиться :о)))

 
 
 
Япония для Вас!    yaponist.commishajp on Сентябрь, 27, 2011 06:16 (UTC)
да...подумалось.
ведь я когда-то всё это тоже учил.
а зачем?
Соколов Игорьrakudajin on Сентябрь, 27, 2011 06:18 (UTC)
Как зачем?) Чтоб развиваццо)

А зачем вообще что-либо?)
Япония для Вас!    yaponist.commishajp on Сентябрь, 27, 2011 06:21 (UTC)
тоже правильная постановка вопроса...
酒人mospehraict on Сентябрь, 27, 2011 20:17 (UTC)
Чтоб не быть быдлом :)
Соколов Игорьrakudajin on Сентябрь, 28, 2011 07:19 (UTC)
:о)))
酒人mospehraict on Сентябрь, 27, 2011 20:18 (UTC)
> "Вычислимость и неклассические логики"

Эгегей, литературу по этому курсу, плз!

Лямбда-калькулус мне особенно пригодится.

Кто ведёт, кстати?
Соколов Игорьrakudajin on Сентябрь, 28, 2011 07:19 (UTC)
Ведёт В.Е. Плиско и ещё кто-то) Но это не спецкурс, а спецсеминар) Там типо в свободной форме обсчаемся, и темы следующие будут по ходу придумываться) И как я понял - это без оценки в диплом/зачетку и т.п., просто фо фан)

Щас мы пока разбираем лямбда-счисление, по Хенку Барендрегту. Я тебе буклетег, по которому мы работаем, скинул на почту)