Теоретические проблемы программирования (Архив)
Материал из Кафедра математической кибернетики
Версия от 13:55, 30 января 2014; Root (обсуждение | вклад)
Осень 2007 года
| Дата | Тема доклада | Докладчик |
|---|---|---|
| 28 сентября | По материалам конференции WING 2007 | Коннов Игорь |
| 5 октября | Элиминация кванторов в линейных арифметических теориях | Щербина Владислав |
| 12 октября | Изоморфизм Карри-Ховарда | Щербина Владислав |
| 19 октября | Минимальность и тупиковость многоленточных автоматов | Хачатрян Владимир Ервандович |
| 26 октября | Язык UML | Немцан М.Ю. |
| 2 ноября | Верификация UML | Немцан М.Ю. |
| 9 ноября | Верификация UML | Немцан М.Ю. |
| 16 ноября | Логические методы в информационной безопасности. BAN-логика. <ref> Michael Burrows, Martín Abadi, Roger Needham, 1996, A Logic of Authentication. </ref> <ref> Colin Boyd, Wenbo Mao, 1993, On a Limitation of BAN Logic. </ref> | Масюк Дмитрий Викторович |
| 23 ноября | Логические методы в информационной безопасности. BAN-логика. (продолжение) | Масюк Дмитрий Викторович |
| 30 ноября | Алгебраические модели продукционной логики и возможности их применения в интеллектуальных системах | Махортов Сергей Дмитриевич Воронежский государственный университет |
| 7 декабря | Теория конформности для функционального тестирования программных систем на основе формальных моделей | Бурдонов Игорь Борисович ИСП РАН |
Ссылки
<references/>
