Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 17:19, 29 января 2025 PodymovVV (обсуждение | вклад) загрузил «Файл:Lectdm.pdf» (Лекции по дискретной математике. Алексеев В.Б. 2004.)
- 11:34, 27 декабря 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP all.pdf» (2024-2025)
- 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, без существенных изменений)
- 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» (опечатки)
- 11:58, 17 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 34.pdf» (опечатки)
- 11:58, 17 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 32.pdf» (опечатки)
- 11:58, 17 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 30.pdf» (опечатки)
- 11:56, 17 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 29.pdf» (помарки)
- 10:13, 13 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 35.pdf» (2024-2025, без существенных изменений)
- 10:13, 13 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 34.pdf» (2024-2025, без существенных изменений)
- 10:13, 13 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 33.pdf» (2024-2025, без существенных изменений)
- 22:30, 10 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 47.pdf» (2024-2025, без существенных изменений)
- 22:30, 10 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 46.pdf» (2024-2025, без существенных изменений)
- 22:30, 10 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 45.pdf» (2024-2025, без существенных изменений)
- 22:29, 10 ноября 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 44.pdf» (2024-2025, без существенных изменений)