Вклад участника
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
- 10:35, 5 сентября 2022 (разн. | история) . . (+437) . . Математическая логика и логическое программирование (3-й поток)
- 10:33, 5 сентября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 03.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 03.pdf»)
- 10:33, 5 сентября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 02.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 02.pdf»)
- 10:32, 5 сентября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 01.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 01.pdf»)
- 10:24, 5 сентября 2022 (разн. | история) . . (+138) . . Н Файл:MLLP VP 03.pdf (Мат. лог. и лог. прог., 3 поток. Блок 3, логика предикатов (синтаксис, семантика))
- 10:23, 5 сентября 2022 (разн. | история) . . (+142) . . Н Файл:MLLP VP 02.pdf (Мат. лог. и лог. прог., 3 поток. Блок 2, логика высказываний (синтаксис, семантика))
- 10:22, 5 сентября 2022 (разн. | история) . . (+78) . . Н Файл:MLLP VP 01.pdf (Мат. лог. и лог. прог., 3 поток. Блок 1, вводный)
- 20:36, 3 сентября 2022 (разн. | история) . . (-2018) . . Математические методы верификации схем и программ
- 20:04, 3 сентября 2022 (разн. | история) . . (-9) . . м Математическая логика и логическое программирование (3-й поток)
- 19:57, 3 сентября 2022 (разн. | история) . . (-10 921) . . Математическая логика и логическое программирование (3-й поток)
- 17:00, 16 июня 2022 (разн. | история) . . (+442) . . Математическая логика (318, 319/2, 241, 242)
- 09:49, 17 мая 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b48.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b48.pdf»)
- 19:14, 15 мая 2022 (разн. | история) . . (-8) . . Математическая логика (318, 319/2, 241, 242)
- 19:12, 15 мая 2022 (разн. | история) . . (+149) . . Н Файл:Mathlog 318 b48.pdf (Курс мат.логики для группы 318 и остальных. Блок 48. Проверка моделей относительно CTL)
- 19:11, 15 мая 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b47.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b47.pdf»)
- 19:10, 15 мая 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b46.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b46.pdf»)
- 19:08, 15 мая 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b45.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b45.pdf»)
- 19:07, 15 мая 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b45.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b45.pdf»)
- 19:06, 15 мая 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b45.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b45.pdf»)
- 19:05, 15 мая 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b44.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b44.pdf»)
- 20:20, 11 мая 2022 (разн. | история) . . (+465) . . Шаблон:Important Announcements
- 20:18, 11 мая 2022 (разн. | история) . . (+62) . . Н Файл:Курсовая работа - титульный лист.doc (Титульный лист курсовой работы 2022) (текущая)
- 20:17, 11 мая 2022 (разн. | история) . . (+58) . . Н Файл:Курсовая работа - требования.pdf (Требования к курсовой работе 2022) (текущая)
- 19:02, 29 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b43.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b43.pdf»)
- 19:02, 29 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b42.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b42.pdf»)
- 17:37, 24 апреля 2022 (разн. | история) . . (+1) . . Математическая логика (318, 319/2, 241, 242)
- 17:36, 24 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b43.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b43.pdf»)
- 17:36, 24 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b42.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b42.pdf»)
- 18:36, 20 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b41.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b41.pdf»)
- 18:36, 20 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b38.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b38.pdf»)
- 08:12, 18 апреля 2022 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 08:09, 18 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b41.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b41.pdf»)
- 08:08, 18 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b40.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b40.pdf»)
- 08:07, 18 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b39.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b39.pdf»)
- 18:05, 14 апреля 2022 (разн. | история) . . (0) . . Файл:Dsa title.png (PodymovVV загружена новая версия «Файл:Dsa title.png») (текущая)
- 17:59, 14 апреля 2022 (разн. | история) . . (0) . . Информация для 2 курса
- 17:58, 14 апреля 2022 (разн. | история) . . (+182) . . Н Файл:DSA2022.pdf (Презентация о научно-образовательном направлении "Дискретные структуры и алгоритмы" кафедры МК, 2022) (текущая)
- 13:20, 14 апреля 2022 (разн. | история) . . (-12) . . м Информация для 2 курса
- 23:07, 13 апреля 2022 (разн. | история) . . (-3975) . . Спецсеминары
- 23:04, 13 апреля 2022 (разн. | история) . . (+3) . . м Шаблон:Current Seminars (→Доклады на спецсеминарах) (текущая)
- 23:04, 13 апреля 2022 (разн. | история) . . (-3241) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 23:01, 13 апреля 2022 (разн. | история) . . (+1749) . . Теоретические проблемы программирования (текущая)
- 22:52, 13 апреля 2022 (разн. | история) . . (+1255) . . Дискретные функции и сложность алгоритмов (текущая)
- 21:45, 10 апреля 2022 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 21:44, 10 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b38.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b38.pdf»)
- 21:44, 10 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b37.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b37.pdf»)
- 12:30, 7 апреля 2022 (разн. | история) . . (-2) . . м Шаблон:Important Announcements (→Объявления)
- 12:04, 7 апреля 2022 (разн. | история) . . (+526) . . Шаблон:Important Announcements
- 12:01, 7 апреля 2022 (разн. | история) . . (+101) . . Н Файл:Требования к МД 618.pdf (Требования к тексту магистерской диссертации в 2022 году)
- 12:00, 7 апреля 2022 (разн. | история) . . (+60) . . Н Файл:Требования к ВКР 418.pdf (Требования к тексту ВКР в 2022 году)
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
