Вклад участника
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)
- 18:09, 10 ноября 2019 (разн. | история) . . (-60) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 21:55, 27 октября 2019 (разн. | история) . . (-10) . . Математическая логика и логическое программирование (3-й поток) (→ВНИМАНИЕ! Коллоквиум состоится 7 ноября в ауд. П-13 в 16.20-18.00.)
- 21:54, 27 октября 2019 (разн. | история) . . (+9) . . Математическая логика и логическое программирование (3-й поток) (→ВНИМАНИЕ!)
- 21:51, 27 октября 2019 (разн. | история) . . (+119) . . Математическая логика и логическое программирование (3-й поток)
- 21:49, 27 октября 2019 (разн. | история) . . (-90) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 21:10, 13 октября 2019 (разн. | история) . . (-21) . . Математические методы верификации схем и программ (→Программа)
- 21:08, 13 октября 2019 (разн. | история) . . (-89) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 07:17, 30 сентября 2019 (разн. | история) . . (-58) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 14:13, 26 сентября 2019 (разн. | история) . . (+69) . . Теоретические проблемы программирования
- 14:12, 26 сентября 2019 (разн. | история) . . (0) . . Теоретические проблемы программирования
- 14:10, 26 сентября 2019 (разн. | история) . . (-33) . . Теоретические проблемы программирования (→2019-20 учебный год)
- 13:32, 26 сентября 2019 (разн. | история) . . (+1284) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 13:27, 26 сентября 2019 (разн. | история) . . (+2118) . . Теоретические проблемы программирования (→2018-19 учебный год)
- 13:15, 26 сентября 2019 (разн. | история) . . (-29) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 19:19, 19 сентября 2019 (разн. | история) . . (-14) . . Математические методы верификации схем и программ (→Программа)
- 21:31, 16 сентября 2019 (разн. | история) . . (-14) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 21:30, 16 сентября 2019 (разн. | история) . . (-54) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 19:23, 9 сентября 2019 (разн. | история) . . (-30) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 21:41, 3 сентября 2019 (разн. | история) . . (0) . . Файл:Lecture Verification 1.pdf (ZakharovVA загружена новая версия «Файл:Lecture Verification 1.pdf») (текущая)
- 20:24, 3 сентября 2019 (разн. | история) . . (0) . . Файл:Lecture Verification 1.pdf (ZakharovVA загружена новая версия «Файл:Lecture Verification 1.pdf»)
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)