Свежие правки

12 декабря 2024

• (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс)‎; 15:49 . . (-1)‎ . . ‎SavitskiyIV (обсуждение | вклад)‎
• (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс)‎; 15:49 . . (+2)‎ . . ‎SavitskiyIV (обсуждение | вклад)‎
• (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс)‎; 15:48 . . (+71)‎ . . ‎SavitskiyIV (обсуждение | вклад)‎
• (разн. | история) . . Теория управляющих систем и математические модели СБИС‎; 11:47 . . (+1)‎ . . ‎DanilovB (обсуждение | вклад)‎
• (разн. | история) . . Теория управляющих систем и математические модели СБИС‎; 11:46 . . (-1)‎ . . ‎DanilovB (обсуждение | вклад)‎
• (Журнал загрузок); 11:45 . . DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20241213.pdf» ‎
• (разн. | история) . . Теория управляющих систем и математические модели СБИС‎; 11:45 . . (-12)‎ . . ‎DanilovB (обсуждение | вклад)‎
• (разн. | история) . . Теория управляющих систем и математические модели СБИС‎; 11:45 . . (+315)‎ . . ‎DanilovB (обсуждение | вклад)‎ (→‎Расписание докладов)

10 декабря 2024

• (разн. | история) . . Шаблон:Important Announcements‎; 18:05 . . (+1024)‎ . . ‎PodymovVV (обсуждение | вклад)‎

9 декабря 2024

• (разн. | история) . . Математическая логика и логическое программирование (3-й поток)‎; 12:56 . . (+674)‎ . . ‎PodymovVV (обсуждение | вклад)‎
• (Журнал загрузок); 12:53 . . PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP r06.pdf» ‎(Математическая логика и логическое программирование, третий поток. Вне программы 6. Формальная арифметика. Теорема Гёделя о неполноте)
• (Журнал загрузок); 12:53 . . PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP r05.pdf» ‎(Математическая логика и логическое программирование, третий поток. Вне программы 5. Теорема Гёделя о полноте)
• (Журнал загрузок); 12:52 . . PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP r04.pdf» ‎(Математическая логика и логическое программирование, третий поток. Вне программы 4. Изоморфизм Карри-Говарда)
• (Журнал загрузок); 12:52 . . PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP r03.pdf» ‎(Математическая логика и логическое программирование, третий поток. Вне программы 3. Пара слов о лямбда-исчислении)
• (Журнал загрузок); 12:51 . . PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP r02.pdf» ‎(Математическая логика и логическое программирование, третий поток. Вне программы 1. Натуральные исчисления)
• (Журнал загрузок); 12:50 . . PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP r01.pdf» ‎(Математическая логика и логическое программирование, третий поток. Вне программы 1. Логические исчисления)
• (Журнал загрузок); 12:50 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 58.pdf» ‎(2024-2025, без существенных изменений)

7 декабря 2024

• (разн. | история) . . Проектирование больших систем на С++‎; 07:29 . . (+50)‎ . . ‎ZhukovVV (обсуждение | вклад)‎

3 декабря 2024

• (разн. | история) . . Проектирование больших систем на С++‎; 20:24 . . (+7)‎ . . ‎ZhukovVV (обсуждение | вклад)‎
• (разн. | история) . . Проектирование больших систем на С++‎; 20:23 . . (+59)‎ . . ‎ZhukovVV (обсуждение | вклад)‎
• (разн. | история) . . Проектирование больших систем на С++‎; 20:22 . . (+42)‎ . . ‎ZhukovVV (обсуждение | вклад)‎

2 декабря 2024

• (разн. | история) . . Математическая логика и логическое программирование (3-й поток)‎; 14:17 . . (0)‎ . . ‎PodymovVV (обсуждение | вклад)‎
• (Журнал загрузок); 14:17 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 57.pdf» ‎(2024-2025, без существенных изменений)
• (Журнал загрузок); 14:16 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 56.pdf» ‎(2024-2025, без существенных изменений)
• (разн. | история) . . Графы и их приложения‎; 14:05 . . (+1)‎ . . ‎SeleznevaSN (обсуждение | вклад)‎ (→‎Объявления)
• (разн. | история) . . Графы и их приложения‎; 14:04 . . (+255)‎ . . ‎SeleznevaSN (обсуждение | вклад)‎ (→‎Объявления)
• (разн. | история) . . Проектирование больших систем на С++‎; 12:31 . . (-119)‎ . . ‎ZhukovVV (обсуждение | вклад)‎

1 декабря 2024

• (разн. | история) . . Математические методы верификации схем и программ‎; 14:19 . . (-32)‎ . . ‎PodymovVV (обсуждение | вклад)‎
• (Журнал загрузок); 14:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP all.pdf» ‎(2024-2025)

30 ноября 2024

• (разн. | история) . . Проектирование больших систем на С++‎; 21:44 . . (+42)‎ . . ‎ZhukovVV (обсуждение | вклад)‎

27 ноября 2024

• (Журнал загрузок); 00:07 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 28.pdf» ‎(опечатка)
• (Журнал загрузок); 00:05 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 28.pdf» ‎(опечатки)

26 ноября 2024

• (разн. | история) . . Проектирование больших систем на С++‎; 20:35 . . (+42)‎ . . ‎ZhukovVV (обсуждение | вклад)‎

25 ноября 2024

• (Журнал загрузок); 09:47 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R01.pdf» ‎(незначительное исправление)

24 ноября 2024

• (разн. | история) . . Математическая логика и логическое программирование (3-й поток)‎; 20:25 . . (0)‎ . . ‎PodymovVV (обсуждение | вклад)‎
• (Журнал загрузок); 20:23 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 55.pdf» ‎(2024-2025, без существенных изменений)
• (Журнал загрузок); 20:23 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 54.pdf» ‎(2024-2025, без существенных изменений)
• (Журнал загрузок); 20:23 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» ‎(2024-2025, без существенных изменений)
• (Журнал загрузок); 20:23 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 52.pdf» ‎(2024-2025, без существенных изменений)
• (Журнал загрузок); 20:23 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 51.pdf» ‎(2024-2025, без существенных изменений)
• (Журнал загрузок); 20:15 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 35.pdf» ‎(опечатки)
• (разн. | история) . . Языки описания схем‎; 20:08 . . (+79)‎ . . ‎PodymovVV (обсуждение | вклад)‎
• (Журнал загрузок); 20:05 . . PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP R07.pdf» ‎(Языки описания схем. 2024-2025. Ещё немного о verilog и пара слов о systemverilog)
• (Журнал загрузок); 19:48 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R06.pdf» ‎(2024-2025, без существенных изменений)
• (Журнал загрузок); 19:48 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R05.pdf» ‎(2024-2025, без существенных изменений)
• (Журнал загрузок); 19:48 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R04.pdf» ‎(2024-2025, без существенных изменений)
• (Журнал загрузок); 19:48 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R03.pdf» ‎(2024-2025, без существенных изменений)
• (Журнал загрузок); 19:48 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R02.pdf» ‎(2024-2025, без существенных изменений)
• (Журнал загрузок); 19:48 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R01.pdf» ‎(2024-2025, без существенных изменений)

23 ноября 2024

• (разн. | история) . . Проектирование больших систем на С++‎; 22:51 . . (+124)‎ . . ‎ZhukovVV (обсуждение | вклад)‎