(no subject)
Сегодня принимала МФСП, он же ФСВП, он же "Формальная спецификация и верификация программ". Предмет с чудным названием в духе логического позитивизма, из-за которого я года два назад всерьез побаивалась остаться без красного диплома =)
Оказалось, что Женя Корныхин - славный малый и вовсе не злой. Как мне кажется, мы с ним здорово провели время: поприкалывались над работами, когда вместе обсуждали ответы на теоретические вопросы. Еще там были милый молодой препод с АЯ и хороший парень Сергей Головин, который вел у меня практикум по верификации на пятом курсе. После проверки работ с подругой пообщалась, которую давно не видела. Так что тусовка была очень приятной. Никогда бы не подумала, что буду когда-нибудь принимать этот курс=)
Оказалось, что Женя Корныхин - славный малый и вовсе не злой. Как мне кажется, мы с ним здорово провели время: поприкалывались над работами, когда вместе обсуждали ответы на теоретические вопросы. Еще там были милый молодой препод с АЯ и хороший парень Сергей Головин, который вел у меня практикум по верификации на пятом курсе. После проверки работ с подругой пообщалась, которую давно не видела. Так что тусовка была очень приятной. Никогда бы не подумала, что буду когда-нибудь принимать этот курс=)