Вклад участника
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
- 13:08, 18 февраля 2019 (разн. | история) . . (+13) . . Предикатное определение замкнутых классов (текущая)
- 13:08, 18 февраля 2019 (разн. | история) . . (+13) . . Основы теории алгоритмов (текущая)
- 13:07, 18 февраля 2019 (разн. | история) . . (+13) . . Операторы замыкания в многозначной логике (текущая)
- 13:07, 18 февраля 2019 (разн. | история) . . (+13) . . Однородные функции (текущая)
- 12:27, 18 февраля 2019 (разн. | история) . . (+13) . . Некоторые вопросы теории управляющих систем (текущая)
- 12:26, 18 февраля 2019 (разн. | история) . . (-211) . . Категория:Спецсеминары кафедры математической кибернетики (текущая)
- 12:26, 18 февраля 2019 (разн. | история) . . (+1) . . Категория:Архив спецсеминаров кафедры математической кибернетики (текущая)
- 09:55, 17 февраля 2019 (разн. | история) . . (+12) . . Дополнительные главы дискретной математики (2-й поток) (текущая)
- 17:27, 16 февраля 2019 (разн. | история) . . (+81) . . Математическая логика (318, 319/2, 241, 242)
- 17:25, 16 февраля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 3.pdf»)
- 11:22, 15 февраля 2019 (разн. | история) . . (0) . . Файл:LectEng2.pdf (PodymovVV загружена новая версия «Файл:LectEng2.pdf») (текущая)
- 21:43, 14 февраля 2019 (разн. | история) . . (0) . . Файл:LectEng2.pdf (PodymovVV загружена новая версия «Файл:LectEng2.pdf»)
- 16:53, 11 февраля 2019 (разн. | история) . . (+50) . . м Категория:Спецкурсы кафедры МК (архив) (текущая)
- 12:19, 11 февраля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»)
- 20:38, 9 февраля 2019 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 20:37, 9 февраля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»)
- 20:36, 9 февраля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 1.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 1.pdf»)
- 12:20, 7 февраля 2019 (разн. | история) . . (-77) . . м Математическая логика (318, 319/2, 241, 242)
- 12:19, 7 февраля 2019 (разн. | история) . . (-76) . . м Математическая логика и теория алгоритмов (текущая)
- 12:19, 7 февраля 2019 (разн. | история) . . (+207) . . Н Математическая логика (группы 318, 241) (Перенаправление на Математическая логика и логическое программирование (группа 318))
- 14:02, 5 февраля 2019 (разн. | история) . . (-190) . . Математическая логика (318, 319/2, 241, 242)
- 11:24, 5 февраля 2019 (разн. | история) . . (-1587) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 13:58, 11 декабря 2018 (разн. | история) . . (0) . . Файл:Otchet pattern618-2018.zip (PodymovVV загружена новая версия «Файл:Otchet pattern618-2018.zip») (текущая)
- 13:57, 11 декабря 2018 (разн. | история) . . (0) . . Файл:Otchet pattern418-2018.zip (PodymovVV загружена новая версия «Файл:Otchet pattern418-2018.zip») (текущая)
- 12:20, 28 ноября 2018 (разн. | история) . . (-14) . . м Математические методы верификации схем и программ
- 12:19, 28 ноября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 10.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 10.pdf») (текущая)
- 11:18, 28 ноября 2018 (разн. | история) . . (0) . . Файл:Lecture Verification 10.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 10.pdf»)
- 23:01, 27 ноября 2018 (разн. | история) . . (-83) . . м Математические методы верификации схем и программ
- 23:00, 27 ноября 2018 (разн. | история) . . (0) . . Файл:Lecture Verification 10.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 10.pdf»)
- 16:35, 15 ноября 2018 (разн. | история) . . (0) . . Файл:Lecture Verification 9.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 9.pdf»)
- 18:44, 14 ноября 2018 (разн. | история) . . (-39) . . м Математические методы верификации схем и программ
- 18:42, 14 ноября 2018 (разн. | история) . . (0) . . Файл:Lecture Verification 9.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 9.pdf»)
- 19:25, 8 ноября 2018 (разн. | история) . . (-88) . . м Вечер кафедр 2018 (текущая)
- 20:41, 7 ноября 2018 (разн. | история) . . (+424) . . Шаблон:Important Announcements (→Объявления)
- 20:38, 7 ноября 2018 (разн. | история) . . (+54) . . Н Файл:Traditional meeting 2018 announcement.pdf (объявление о вечере кафедр 2018) (текущая)
- 20:36, 7 ноября 2018 (разн. | история) . . (+2004) . . Н Вечер кафедр 2018 (Новая страница: «На этой странице размещена информация о вечере кафедр математической кибернетики и инф…»)
- 15:18, 2 ноября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 7.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 7.pdf»)
- 15:16, 2 ноября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 7.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 7.pdf»)
- 14:54, 30 октября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 7.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 7.pdf»)
- 14:57, 23 октября 2018 (разн. | история) . . (+119) . . Языки описания схем
- 14:55, 23 октября 2018 (разн. | история) . . (+159) . . Н Файл:Hdl lecture 20.pdf (курс "языки описания схем", блок 20: практические задания по управляющим автоматам в verilog)
- 20:08, 22 октября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 19.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 19.pdf»)
- 21:42, 18 октября 2018 (разн. | история) . . (+240) . . Н Графы и их приложения (Новая страница: «Категория:Спецкурсы кафедры МК Спецкурс для аспирантов. Лекторы: Селезнева Светлан…»)
- 21:37, 18 октября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 8.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 8.pdf»)
- 21:26, 18 октября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 7.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 7.pdf»)
- 20:07, 18 октября 2018 (разн. | история) . . (-196) . . Математические методы верификации схем и программ
- 20:04, 18 октября 2018 (разн. | история) . . (0) . . Файл:Lecture Verification 7.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 7.pdf»)
- 22:43, 28 сентября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 5.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 5.pdf») (текущая)
- 22:20, 28 сентября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 3.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 3.pdf»)
- 22:20, 28 сентября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 2.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 2.pdf»)
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
