Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 22:18, 20 декабря 2024 SavitskiyIV (обсуждение | вклад) загрузил «Файл:DGDMiK exam info 2024.pdf»
- 13:15, 19 декабря 2024 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20241220.pdf»
- 12:22, 16 декабря 2024 AlekseevVB (обсуждение | вклад) загрузил «Файл:Вопросы Сложность алгоритмов 2024.doc»
- 21:33, 12 декабря 2024 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem20241213D.pdf»
- 21:32, 12 декабря 2024 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:Specsem20241213.pdf» (Возврат к версии от 08:45, 12 декабря 2024)
- 21:31, 12 декабря 2024 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:Specsem20241213.pdf»
- 11:45, 12 декабря 2024 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20241213.pdf»
- 12:53, 9 декабря 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP r06.pdf» (Математическая логика и логическое программирование, третий поток. Вне программы 6. Формальная арифметика. Теорема Гёделя о неполноте)
- 12:53, 9 декабря 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP r05.pdf» (Математическая логика и логическое программирование, третий поток. Вне программы 5. Теорема Гёделя о полноте)
- 12:52, 9 декабря 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP r04.pdf» (Математическая логика и логическое программирование, третий поток. Вне программы 4. Изоморфизм Карри-Говарда)
- 12:52, 9 декабря 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP r03.pdf» (Математическая логика и логическое программирование, третий поток. Вне программы 3. Пара слов о лямбда-исчислении)
- 12:51, 9 декабря 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP r02.pdf» (Математическая логика и логическое программирование, третий поток. Вне программы 1. Натуральные исчисления)
- 12:50, 9 декабря 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP r01.pdf» (Математическая логика и логическое программирование, третий поток. Вне программы 1. Логические исчисления)
- 12:50, 9 декабря 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 58.pdf» (2024-2025, без существенных изменений)
- 14:17, 2 декабря 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 57.pdf» (2024-2025, без существенных изменений)
- 14:16, 2 декабря 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 56.pdf» (2024-2025, без существенных изменений)
- 14:18, 1 декабря 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP all.pdf» (2024-2025)
- 00:07, 27 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 28.pdf» (опечатка)
- 00:05, 27 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 28.pdf» (опечатки)
- 09:47, 25 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R01.pdf» (незначительное исправление)
- 20:23, 24 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 55.pdf» (2024-2025, без существенных изменений)
- 20:23, 24 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 54.pdf» (2024-2025, без существенных изменений)
- 20:23, 24 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» (2024-2025, без существенных изменений)
- 20:23, 24 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 52.pdf» (2024-2025, без существенных изменений)
- 20:23, 24 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 51.pdf» (2024-2025, без существенных изменений)
- 20:15, 24 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 35.pdf» (опечатки)
- 20:05, 24 ноября 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP R07.pdf» (Языки описания схем. 2024-2025. Ещё немного о verilog и пара слов о systemverilog)
- 19:48, 24 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R06.pdf» (2024-2025, без существенных изменений)
- 19:48, 24 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R05.pdf» (2024-2025, без существенных изменений)
- 19:48, 24 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R04.pdf» (2024-2025, без существенных изменений)
- 19:48, 24 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R03.pdf» (2024-2025, без существенных изменений)
- 19:48, 24 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R02.pdf» (2024-2025, без существенных изменений)
- 19:48, 24 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R01.pdf» (2024-2025, без существенных изменений)
- 22:08, 21 ноября 2024 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-24-2 311-319.pdf»
- 21:38, 21 ноября 2024 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:Specsem20241115.pdf»
- 21:36, 21 ноября 2024 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem20241115.pdf»
- 21:30, 21 ноября 2024 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem20241122.pdf»
- 17:53, 20 ноября 2024 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Функциональные системы лекции.pdf»
- 17:51, 20 ноября 2024 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Функциональные системы лекции.pdf» (Внесены исправления)
- 10:34, 20 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 40.pdf» (2024-2025, без существенных изменений)
- 10:33, 20 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 39.pdf» (2024-2025, без существенных изменений)
- 10:33, 20 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 38.pdf» (2024-2025, без существенных изменений)
- 10:33, 20 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 37.pdf» (2024-2025, без существенных изменений)
- 13:30, 17 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 50.pdf» (2024-2025, без существенных изменений)
- 13:30, 17 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 49.pdf» (2024-2025, без существенных изменений)
- 13:30, 17 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 48.pdf» (2024-2025, без существенных изменений)
- 13:25, 17 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Uppaal.pdf» (2024-2025, без существенных изменений)
- 13:12, 17 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 36.pdf» (2024-2025, без существенных изменений)
- 12:12, 17 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP s05.pdf» (2024-2025, без существенных изменений)
- 11:59, 17 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 46.pdf» (опечатки)