BP
Size: a a a
2020 July 05
꧁
Это относится к людям за 40-50 лет занятые умственным трудом большую часть жизни
꧁
Хотя некоторых привлекает перспектива безумного старикана)
AD
Примерно такие подробности
KD
Второе место по метанию ядра. Понял.
AD
Да ладно, медаль эта гуглится как и условия её получения
VN
@ApacheDog что за университет, если не секрет?
AD
@ApacheDog что за университет, если не секрет?
AN
Специальность-то какая? И какая это стадия, бакалавриат, магистратура, первый курс?
VN
Поднимаю. Upd - да подробности можно. Магистр по CS, имею два диплома, один по верификации гибридных автоматов, второй по верификации контрактов в эфире. Оба красные, мне даже медальку дали как лучшему на выпуске, лол.
AN
Ну это уже что-то. Спасибо. А год какой?
AN
Выпуска в смысле
AD
Выпуска?
AN
Выпуска?
да
AD
Магистратуры - этот
AN
Ага, ну уже интересный разговор. Насколько я понимаю, к тебе обсуждения имеет отношение верификация. Я правильно понимаю, что речь идет о верификации алгоритмов?
AN
А, стоп, не правильно прочитал. Верификация автоматов. Тут, признаюсь, мне надо в гугл лезть.
AD
Гибридный автомат = дифура + конечный автомат, очень упрощённо. Задача условно, доказать, что начиная с множества параметров мы не пройдем в определённую область