маруся
01:36 14-04-2003
С докладом вроде получилось неплохо. Хотя я немножко устала, три доклада за последний месяц все-таки. Два на логическом семинаре и последний на большом коллоквиуме, для всего факультета. Про семантики для модальной логики, в основном про семантику Крипке и про алгебраическую. Вроде бы не-логики прониклись. Вопросы, по крайней мере потом долго задавали. А потом мы за чаем с плюшками еще пообсуждали всякие семантики, весьма интересно

Теперь надо разобраться с накопившимися делами, отпраздновать день рождения и жить в свое удовольствие. Одна из проблем в том, что есть еще парочка идей для семинара Но надо наступить себе на горло и оставить их на след. год.
Комментарии:
Джей
15:51 14-04-2003
А доклад большой, на ленту? Или как там время измеряют?
Katya
18:26 16-04-2003
Если даже не-логики прониклись, то действительно круто! Мне вот так никто про логику и не рассказал, чтобы я прониклась - нехорошие у меня о ней остались воспоминания Помню какую-то теорему из книжки не то Ершова, не то Гончарова: "Пусть (_формула_на_страницу_). Тогда (_другая_формула_на_страницу)"
ayv
18:40 16-04-2003
Katya
нехорошие у меня о ней остались воспоминания
А та логика, которой нас учили, к той логике, которая у маруси, никакого отношения не имеет.

Мне вот так никто про логику и не рассказал, чтобы я прониклась
Гы, а мои сети Петри, не прониклась?
Katya
19:49 16-04-2003
А что, к твоим сетям Петри имеет? Ты там тоже какими-то семантиками сыпала В общем, я тоже не прониклась
Renee
22:12 16-04-2003
ayv

Ты так радостно вспоминаешь сети Петри, что я тебе завидую. Тоже иногда хочется их вспоминать. А мне-то как раз придется сейчас проникнуться...
маруся
22:35 16-04-2003
Renee ayv
вспоминаешь сети Петри

А почему только "вспоминаешь"?
ayv
22:45 16-04-2003
маруся
Вспоминаю - потому что разностные уравнения оказались все же приятнее. А радостно вспоминаю - потому что о таком экзотическом дипломе и такой экзотической научной руководительнице по-другому вспоминать и нельзя!

отредактировано: 16-04-2003 22:49 - ayv

Renee
23:57 16-04-2003
маруся

ayv радостно вспоминает, потому что не может не радоваться тому, что они к ней уже имеют не больше отношения, чем она к ним!

А я к ним уже как-то даже привыкла...