juan_gandhi: (VP)
Juan-Carlos Gandhi ([personal profile] juan_gandhi) wrote2015-05-31 05:33 pm

и еще о компьютерных науках вспомнил

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

Я вот так вот в аспирантуру запилился было. На экзамене спросили про "автоматную и структурную интерпретацию языков программирования". В процессе сдачи я понял, что экзаменаторы не в курсе ни иерархии языков, ни того, как оно работает в конкретном случае. Паника паникой, но это ж советский вуз, и я был как бы блатной или там плановый, хз.

А погорел я так. Приехала с Новосиба какая-то чуча, и стала на "семинаре" рассказывать про какую-то особую логику. А истина, спрашиваю, у вас есть? Есть, и не одна. А их конъюнкция, спрашиваю, чему равна? А зависит, говорит, от того, чего с чем. А я такой "это ж ахинея!" Ну так вот и не вписался в систему, да. Не то чтобы больно хотелось, конечно. Просто раньше не сталкивался, так и удивился, что это у них там такое, собственно?

[identity profile] juan-gandhi.livejournal.com 2015-06-01 01:37 am (UTC)(link)
Да там что-то насчет системы разделения времени рассекали. Но Цейтин-то еще трансформацию открыл. КНФ. https://en.wikipedia.org/wiki/Tseitin_transformation

[identity profile] andreybar.livejournal.com 2015-06-01 10:28 am (UTC)(link)
Это не практическое программирование.