Вклад участника
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
- 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)
- 19:14, 15 мая 2022 (разн. | история) . . (-8) . . Математическая логика (318, 319/2, 241, 242)
- 20:20, 11 мая 2022 (разн. | история) . . (+465) . . Шаблон:Important Announcements
- 20:18, 11 мая 2022 (разн. | история) . . (+62) . . Н Файл:Курсовая работа - титульный лист.doc (Титульный лист курсовой работы 2022) (текущая)
- 20:17, 11 мая 2022 (разн. | история) . . (+58) . . Н Файл:Курсовая работа - требования.pdf (Требования к курсовой работе 2022) (текущая)
- 17:37, 24 апреля 2022 (разн. | история) . . (+1) . . Математическая логика (318, 319/2, 241, 242)
- 08:12, 18 апреля 2022 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 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)
- 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 году)
- 13:25, 4 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 seminar natural inference.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf») (текущая)
- 08:37, 28 марта 2022 (разн. | история) . . (-40) . . Математическая логика (318, 319/2, 241, 242)
- 21:50, 20 марта 2022 (разн. | история) . . (-2) . . Математическая логика (318, 319/2, 241, 242)
- 10:23, 14 марта 2022 (разн. | история) . . (+59) . . Математическая логика (318, 319/2, 241, 242)
- 21:03, 4 марта 2022 (разн. | история) . . (-1) . . Математическая логика (318, 319/2, 241, 242)
- 08:48, 28 февраля 2022 (разн. | история) . . (+1) . . Математическая логика (318, 319/2, 241, 242)
- 11:45, 25 февраля 2022 (разн. | история) . . (+1) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 11:45, 25 февраля 2022 (разн. | история) . . (0) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 11:44, 25 февраля 2022 (разн. | история) . . (0) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 11:40, 25 февраля 2022 (разн. | история) . . (+3212) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 23:07, 20 февраля 2022 (разн. | история) . . (+2) . . Математическая логика (318, 319/2, 241, 242)
- 22:07, 15 февраля 2022 (разн. | история) . . (+5) . . м Математическая логика (318, 319/2, 241, 242)
- 18:36, 14 февраля 2022 (разн. | история) . . (+52) . . Математическая логика (318, 319/2, 241, 242)
- 19:05, 13 февраля 2022 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 15:25, 10 февраля 2022 (разн. | история) . . (+32) . . м Спецкурсы
- 20:49, 9 февраля 2022 (разн. | история) . . (+123) . . Н Дискретная математика (КФ) (Новая страница: «Категория:Лекционные курсы кафедры МК ''Страница ещё готовится.''»)
- 13:22, 7 февраля 2022 (разн. | история) . . (+1611) . . Спецкурсы
- 19:58, 6 февраля 2022 (разн. | история) . . (0) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 18:29, 6 февраля 2022 (разн. | история) . . (+106) . . Математическая логика (318, 319/2, 241, 242)
- 18:22, 6 февраля 2022 (разн. | история) . . (+1829) . . Математическая логика (318, 319/2, 241, 242)
- 13:15, 27 декабря 2021 (разн. | история) . . (-107) . . м Языки описания схем (→Материалы занятий)
- 16:01, 9 декабря 2021 (разн. | история) . . (+1091) . . Шаблон:Important Announcements
- 10:36, 6 ноября 2021 (разн. | история) . . (0) . . м Языки описания схем
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
