События

        [
    {
        "TEXT": "События",
        "LINK": "/novosti/sobitiya/",
        "SELECTED": true,
        "PERMISSION": "R",
        "ADDITIONAL_LINKS": [],
        "ITEM_TYPE": "D",
        "ITEM_INDEX": 0,
        "PARAMS": [],
        "CHAIN": [
            "События"
        ],
        "DEPTH_LEVEL": 1,
        "IS_PARENT": false
    },
    {
        "TEXT": "Объявления",
        "LINK": "/novosti/obyavleniya/",
        "SELECTED": false,
        "PERMISSION": "R",
        "ADDITIONAL_LINKS": [],
        "ITEM_TYPE": "D",
        "ITEM_INDEX": 1,
        "PARAMS": [],
        "CHAIN": [
            "Объявления"
        ],
        "DEPTH_LEVEL": 1,
        "IS_PARENT": false
    },
    {
        "TEXT": "Новости семинара по математической психологии",
        "LINK": "/novosti/seminar/",
        "SELECTED": false,
        "PERMISSION": "R",
        "ADDITIONAL_LINKS": [],
        "ITEM_TYPE": "D",
        "ITEM_INDEX": 2,
        "PARAMS": [],
        "CHAIN": [
            "Новости семинара по математической психологии"
        ],
        "DEPTH_LEVEL": 1,
        "IS_PARENT": false
    },
    {
        "TEXT": "Подписаться",
        "LINK": "/novosti/subscribe/",
        "SELECTED": false,
        "PERMISSION": "R",
        "ADDITIONAL_LINKS": [],
        "ITEM_TYPE": "D",
        "ITEM_INDEX": 3,
        "PARAMS": [],
        "CHAIN": [
            "Подписаться"
        ],
        "DEPTH_LEVEL": 1,
        "IS_PARENT": false
    }
]

Главная страница
Новости
События
Профессор Эдинбургского университета Л. Либкин прочёл очередной курс лекцийкций на факультете ИТ

Профессор Эдинбургского университета Л. Либкин прочёл очередной курс лекцийкций на факультете ИТ

13 декабря 2011

12 декабря 2011 года на факультете информационных технологий профессор Эдинбургского университета Леонид Либкин прочел лекцию на тему «Верификация программного обеспечения». Была представлена модель задания потенциально бесконечной последовательности состояний работающей системы конечным автоматом. При этом, поиск и описание ошибки программного обеспечения осуществляется путем проверки спецификаций, заданных логическими формулами при помощи автоматов на бесконечных последовательностях.

Материал лекции вызвал живой интерес аудитории, которая в этот раз была представлена не только традиционно преподавателями, аспирантами и студентами разных курсов. Особенно приятно, что на лекцию специально приехали выпускники факультета ИТ. После лекций, по установившейся на факультете хорошей традиции, профессор Л. Либкин встретился с преподавателями факультета, ведущими занятия по дисциплинам компьютерного цикла в неформальной обстановке. Обсуждались материалы лекции, вопросы применимости и перспектив предлагаемых методов и формы подачи материалов.