Вклад участника
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
- 15:27, 29 сентября 2014 (разн. | история) . . (-1158) . . Теоретические проблемы программирования
- 15:20, 29 сентября 2014 (разн. | история) . . (0) . . Шаблон:Important Announcements
- 15:19, 29 сентября 2014 (разн. | история) . . (+529) . . Шаблон:Important Announcements (→Объявления)
- 16:47, 28 сентября 2014 (разн. | история) . . (+475) . . Математическая логика и логическое программирование (3-й поток)
- 16:43, 28 сентября 2014 (разн. | история) . . (+422) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 16:29, 28 сентября 2014 (разн. | история) . . (+50) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 14:56, 20 сентября 2014 (разн. | история) . . (+31) . . Участник:ZakharovVA (→Избранные публикации)
- 14:50, 20 сентября 2014 (разн. | история) . . (+26) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 14:48, 20 сентября 2014 (разн. | история) . . (0) . . Н Файл:LectLog 6.pdf (текущая)
- 18:43, 17 сентября 2014 (разн. | история) . . (-1095) . . Участник:ZakharovVA (→Избранные публикации)
- 18:32, 16 сентября 2014 (разн. | история) . . (-212) . . Участник:ZakharovVA (→Избранные публикации)
- 18:25, 16 сентября 2014 (разн. | история) . . (-977) . . Участник:ZakharovVA (→Избранные публикации)
- 10:17, 16 сентября 2014 (разн. | история) . . (+1) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 10:16, 16 сентября 2014 (разн. | история) . . (0) . . Н Файл:LectLog 3.pdf (текущая)
- 10:14, 16 сентября 2014 (разн. | история) . . (0) . . Файл:LectLog3.pdf (ZakharovVA загружена новая версия «Файл:LectLog3.pdf») (текущая)
- 09:39, 12 сентября 2014 (разн. | история) . . (+37) . . Участник:ZakharovVA (→Избранные публикации)
- 09:36, 12 сентября 2014 (разн. | история) . . (+80) . . Участник:ZakharovVA (→Избранные публикации)
- 09:29, 12 сентября 2014 (разн. | история) . . (+1) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 09:28, 12 сентября 2014 (разн. | история) . . (0) . . Файл:LectLog 1.pdf (ZakharovVA загружена новая версия «Файл:LectLog 1.pdf»)
- 09:27, 12 сентября 2014 (разн. | история) . . (-7) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 09:26, 12 сентября 2014 (разн. | история) . . (+1) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 09:25, 12 сентября 2014 (разн. | история) . . (+6) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 09:10, 12 сентября 2014 (разн. | история) . . (0) . . Файл:LectLog4.pdf (ZakharovVA загружена новая версия «Файл:LectLog4.pdf») (текущая)
- 09:09, 12 сентября 2014 (разн. | история) . . (0) . . Файл:LectLog4.pdf (ZakharovVA загружена новая версия «Файл:LectLog4.pdf»)
- 09:07, 12 сентября 2014 (разн. | история) . . (+50) . . Математическая логика и логическое программирование (3-й поток) (→Лекции по курсу математической логики и логического программирования)
- 08:58, 12 сентября 2014 (разн. | история) . . (-107) . . Математическая логика и логическое программирование (3-й поток) (→Экзамен)
- 23:10, 9 сентября 2014 (разн. | история) . . (+7) . . Участник:ZakharovVA (→Избранные публикации)
- 17:00, 9 сентября 2014 (разн. | история) . . (+32) . . Участник:ZakharovVA (→Избранные публикации)
- 16:26, 9 сентября 2014 (разн. | история) . . (+6) . . Участник:ZakharovVA (→Избранные публикации)
- 16:25, 9 сентября 2014 (разн. | история) . . (+193) . . Участник:ZakharovVA (→Избранные публикации)
- 12:45, 9 сентября 2014 (разн. | история) . . (-417) . . Участник:ZakharovVA (→Избранные публикации)
- 12:38, 9 сентября 2014 (разн. | история) . . (0) . . Участник:ZakharovVA (→Избранные публикации)
- 12:38, 9 сентября 2014 (разн. | история) . . (+6) . . Участник:ZakharovVA (→Избранные публикации)
- 12:05, 9 сентября 2014 (разн. | история) . . (+15) . . Участник:ZakharovVA (→Избранные публикации)
- 12:03, 9 сентября 2014 (разн. | история) . . (+60 715) . . Участник:ZakharovVA
- 00:14, 7 сентября 2014 (разн. | история) . . (-599) . . Математическая логика (318, 319/2, 241, 242)
- 00:09, 7 сентября 2014 (разн. | история) . . (+25) . . Математическая логика и логическое программирование (3-й поток)
- 20:12, 31 августа 2014 (разн. | история) . . (+83) . . Н Файл:Exam2014.doc (Результаты экзамена по мат. логике в 2013-14 году) (текущая)
- 20:11, 31 августа 2014 (разн. | история) . . (+106) . . Математическая логика и логическое программирование (3-й поток)
- 20:04, 31 августа 2014 (разн. | история) . . (+25) . . Математическая логика и логическое программирование (3-й поток)
- 20:02, 31 августа 2014 (разн. | история) . . (0) . . Файл:LectLog 1.pdf (ZakharovVA загружена новая версия «Файл:LectLog 1.pdf»)
- 20:02, 31 августа 2014 (разн. | история) . . (0) . . Н Файл:LectLog 1.pdf
- 20:01, 31 августа 2014 (разн. | история) . . (+25) . . Математическая логика и логическое программирование (3-й поток)
- 21:31, 27 августа 2014 (разн. | история) . . (+2971) . . Математическая логика и логическое программирование (3-й поток)
- 21:22, 25 августа 2014 (разн. | история) . . (+105) . . Н Файл:MatLog exer.pdf (Расширенный сборник упражнений по математической логике) (текущая)
- 21:21, 25 августа 2014 (разн. | история) . . (-5) . . Математическая логика и логическое программирование (3-й поток)
- 21:19, 25 августа 2014 (разн. | история) . . (0) . . Файл:Tasks.pdf (ZakharovVA загружена новая версия «Файл:Tasks.pdf») (текущая)
- 21:11, 25 августа 2014 (разн. | история) . . (0) . . Файл:Tasks.pdf (ZakharovVA загружена новая версия «Файл:Tasks.pdf»)
- 21:07, 25 августа 2014 (разн. | история) . . (+48) . . Н Файл:MatLog exercises.pdf (Расширенный сборник задач) (текущая)
- 21:06, 25 августа 2014 (разн. | история) . . (+122) . . Математическая логика и логическое программирование (3-й поток)
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)