Главная страница « Новости «

«Ломоносовские чтения» 2010

Секция 9. 21 апреля, среда, 14-30, 2-й учебный корпус, 7 этаж, ауд. 778

Информация
Преподаватели и сотрудники
Студенты и аспиранты
Научно-исследовательский семинар
Спецсеминары
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

Доклады:

  1. Аристотелева силлогистика в символической логике Льюса Кэрролла. Докладчик: вед. научн. сотр. Брусенцов Н.П.

  2. Компьютеризация достоверного рассуждения на основе силлогистического вывода. Докладчица: ст. научн. сотр. Владимирова Ю.С.

  3. Троичный алгоритм извлечения квадратного корня. Докладчик: вед. научн. сотр. Рамиль Альварес Х.

  4. Разрешение лексической многозначности на основе марковской модели, обобщенной на множество независимых цепей. Докладчики: профессор Кузнецов С. Д., аспирант Турдаков Д. Ю.

  5. Автоматическое построение тестов для аппаратного обеспечения с помощью разрешения ограничений. Докладчики: профессор Петренко А. К., аспирант Корныхин Е. В.

  

© Кафедра системного программирования ВМК МГУ.

Обновлено: 20.4.2010