Расписание

iCal-фид и Google-календарь доступны со страницы подписок.

« пред

сентябрь 2010

след »

	пн	вт	ср	чт	пт	сб	вск
36			1	2	3	4	5
37	6	7	8	9 09.09.2010 - 18:00 - 19:00 Открытие осеннего семестра 2010 09.09.2010 - 19:00 - 20:35 Теория сложности доказательств Введение	10	11	12 12.09.2010 - 11:15 - 12:50 Функциональное программирование Основы лямбда-исчисления
38	13	14	15	16	17	18 18.09.2010 - 17:20 - 18:55 Computer Science семинар (осень 2010) SAT and Satisfiability Modulo Theories (R. Bruttomesso, University of Lugano) 18.09.2010 - 19:05 - 20:40 Computer Science семинар (осень 2010) OpenSMT (R. Bruttomesso, University of Lugano)	19 19.09.2010 - 11:15 - 12:00 Семантическая классификация изображений Распознавание изображений 19.09.2010 - 12:00 - 12:50 Семантическая классификация изображений Поговорим о признаках 19.09.2010 - 13:00 - 14:00 Семантическая классификация изображений Классифицируем изображение 19.09.2010 - 14:00 - 14:35 Семантическая классификация изображений Признаки: "Compact" vs "Sparse"
39	20	21	22	23 23.09.2010 - 18:30 - 20:55 Теория сложности доказательств Системы Фреге	24	25 25.09.2010 - 17:20 - 18:55 Онтология и представление знаний Лекция 1 25.09.2010 - 19:05 - 20:40 Онтология и представление знаний Лекция 2	26 26.09.2010 - 11:15 - 12:50 Онтология и представление знаний Лекция 3 26.09.2010 - 13:00 - 14:35 Онтология и представление знаний Лекция 4 26.09.2010 - 15:35 - 17:10 Онтология и представление знаний Лекция 5
40	27	28	29	30 30.09.2010 - 18:30 - 20:55 Теория сложности доказательств Моделирование секущих плоскостей в системах Фреге, оптимальные системы