Вклад участника
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
- 17:24, 29 января 2025 (разн. | история) . . (+272) . . Н Дискретная математика (3-й поток) (Новая страница: «Категория:Лекционные курсы кафедры МК '''Дополнительная''' страница по курсу Дискретн…») (текущая)
- 17:23, 29 января 2025 (разн. | история) . . (+282) . . Н Дискретная математика (2-й поток) (Новая страница: «Категория:Лекционные курсы кафедры МК '''Дополнительная''' страница по курсу Дискретн…») (текущая)
- 17:23, 29 января 2025 (разн. | история) . . (+1) . . м Дискретная математика (1-й поток)
- 17:20, 29 января 2025 (разн. | история) . . (0) . . м Дискретная математика (1-й курс)
- 17:19, 29 января 2025 (разн. | история) . . (+90) . . Н Файл:Lectdm.pdf (Лекции по дискретной математике. Алексеев В.Б. 2004.) (текущая)
- 11:34, 27 декабря 2024 (разн. | история) . . (+20) . . м Математическая логика и логическое программирование (3-й поток) (текущая)
- 11:34, 27 декабря 2024 (разн. | история) . . (-131) . . Математическая логика и логическое программирование (3-й поток)
- 11:34, 27 декабря 2024 (разн. | история) . . (0) . . Файл:MLLP VP all.pdf (PodymovVV загружена новая версия «Файл:MLLP VP all.pdf») (текущая)
- 18:05, 10 декабря 2024 (разн. | история) . . (+1024) . . Шаблон:Important Announcements (текущая)
- 12:56, 9 декабря 2024 (разн. | история) . . (+674) . . Математическая логика и логическое программирование (3-й поток)
- 12:53, 9 декабря 2024 (разн. | история) . . (+246) . . Н Файл:MLLP VP r06.pdf (Математическая логика и логическое программирование, третий поток. Вне программы 6. Формальная арифметика. Теорема Гёделя о неполноте) (текущая)
- 12:53, 9 декабря 2024 (разн. | история) . . (+199) . . Н Файл:MLLP VP r05.pdf (Математическая логика и логическое программирование, третий поток. Вне программы 5. Теорема Гёделя о полноте) (текущая)
- 12:52, 9 декабря 2024 (разн. | история) . . (+200) . . Н Файл:MLLP VP r04.pdf (Математическая логика и логическое программирование, третий поток. Вне программы 4. Изоморфизм Карри-Говарда) (текущая)
- 12:52, 9 декабря 2024 (разн. | история) . . (+208) . . Н Файл:MLLP VP r03.pdf (Математическая логика и логическое программирование, третий поток. Вне программы 3. Пара слов о лямбда-исчислении) (текущая)
- 12:51, 9 декабря 2024 (разн. | история) . . (+197) . . Н Файл:MLLP VP r02.pdf (Математическая логика и логическое программирование, третий поток. Вне программы 1. Натуральные исчисления) (текущая)
- 12:50, 9 декабря 2024 (разн. | история) . . (+195) . . Н Файл:MLLP VP r01.pdf (Математическая логика и логическое программирование, третий поток. Вне программы 1. Логические исчисления) (текущая)
- 12:50, 9 декабря 2024 (разн. | история) . . (0) . . Файл:MLLP VP 58.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 58.pdf») (текущая)
- 14:17, 2 декабря 2024 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток)
- 14:17, 2 декабря 2024 (разн. | история) . . (0) . . Файл:MLLP VP 57.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 57.pdf») (текущая)
- 14:16, 2 декабря 2024 (разн. | история) . . (0) . . Файл:MLLP VP 56.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 56.pdf») (текущая)
- 14:19, 1 декабря 2024 (разн. | история) . . (-32) . . Математические методы верификации схем и программ (текущая)
- 14:18, 1 декабря 2024 (разн. | история) . . (0) . . Файл:Verif VP all.pdf (PodymovVV загружена новая версия «Файл:Verif VP all.pdf») (текущая)
- 00:07, 27 ноября 2024 (разн. | история) . . (0) . . Файл:Verif VP 28.pdf (PodymovVV загружена новая версия «Файл:Verif VP 28.pdf») (текущая)
- 00:05, 27 ноября 2024 (разн. | история) . . (0) . . Файл:Verif VP 28.pdf (PodymovVV загружена новая версия «Файл:Verif VP 28.pdf»)
- 09:47, 25 ноября 2024 (разн. | история) . . (0) . . Файл:HDL VP R01.pdf (PodymovVV загружена новая версия «Файл:HDL VP R01.pdf») (текущая)
- 20:25, 24 ноября 2024 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток)
- 20:23, 24 ноября 2024 (разн. | история) . . (0) . . Файл:MLLP VP 55.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 55.pdf») (текущая)
- 20:23, 24 ноября 2024 (разн. | история) . . (0) . . Файл:MLLP VP 54.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 54.pdf») (текущая)
- 20:23, 24 ноября 2024 (разн. | история) . . (0) . . Файл:MLLP VP 53.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 53.pdf») (текущая)
- 20:23, 24 ноября 2024 (разн. | история) . . (0) . . Файл:MLLP VP 52.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 52.pdf») (текущая)
- 20:23, 24 ноября 2024 (разн. | история) . . (0) . . Файл:MLLP VP 51.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 51.pdf») (текущая)
- 20:15, 24 ноября 2024 (разн. | история) . . (0) . . Файл:Verif VP 35.pdf (PodymovVV загружена новая версия «Файл:Verif VP 35.pdf») (текущая)
- 20:08, 24 ноября 2024 (разн. | история) . . (+79) . . Языки описания схем (текущая)
- 20:05, 24 ноября 2024 (разн. | история) . . (+119) . . Н Файл:HDL VP R07.pdf (Языки описания схем. 2024-2025. Ещё немного о verilog и пара слов о systemverilog) (текущая)
- 19:48, 24 ноября 2024 (разн. | история) . . (0) . . Файл:HDL VP R06.pdf (PodymovVV загружена новая версия «Файл:HDL VP R06.pdf») (текущая)
- 19:48, 24 ноября 2024 (разн. | история) . . (0) . . Файл:HDL VP R05.pdf (PodymovVV загружена новая версия «Файл:HDL VP R05.pdf») (текущая)
- 19:48, 24 ноября 2024 (разн. | история) . . (0) . . Файл:HDL VP R04.pdf (PodymovVV загружена новая версия «Файл:HDL VP R04.pdf») (текущая)
- 19:48, 24 ноября 2024 (разн. | история) . . (0) . . Файл:HDL VP R03.pdf (PodymovVV загружена новая версия «Файл:HDL VP R03.pdf») (текущая)
- 19:48, 24 ноября 2024 (разн. | история) . . (0) . . Файл:HDL VP R02.pdf (PodymovVV загружена новая версия «Файл:HDL VP R02.pdf») (текущая)
- 19:48, 24 ноября 2024 (разн. | история) . . (0) . . Файл:HDL VP R01.pdf (PodymovVV загружена новая версия «Файл:HDL VP R01.pdf»)
- 10:34, 20 ноября 2024 (разн. | история) . . (0) . . Математические методы верификации схем и программ
- 10:34, 20 ноября 2024 (разн. | история) . . (0) . . Файл:Verif VP 40.pdf (PodymovVV загружена новая версия «Файл:Verif VP 40.pdf») (текущая)
- 10:33, 20 ноября 2024 (разн. | история) . . (0) . . Файл:Verif VP 39.pdf (PodymovVV загружена новая версия «Файл:Verif VP 39.pdf») (текущая)
- 10:33, 20 ноября 2024 (разн. | история) . . (0) . . Файл:Verif VP 38.pdf (PodymovVV загружена новая версия «Файл:Verif VP 38.pdf») (текущая)
- 10:33, 20 ноября 2024 (разн. | история) . . (0) . . Файл:Verif VP 37.pdf (PodymovVV загружена новая версия «Файл:Verif VP 37.pdf») (текущая)
- 13:30, 17 ноября 2024 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток)
- 13:30, 17 ноября 2024 (разн. | история) . . (0) . . Файл:MLLP VP 50.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 50.pdf») (текущая)
- 13:30, 17 ноября 2024 (разн. | история) . . (0) . . Файл:MLLP VP 49.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 49.pdf») (текущая)
- 13:30, 17 ноября 2024 (разн. | история) . . (0) . . Файл:MLLP VP 48.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 48.pdf») (текущая)
- 13:26, 17 ноября 2024 (разн. | история) . . (-34) . . Математические методы верификации схем и программ
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
