Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 17:01, 4 декабря 2023 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Logic synthesis 2023 exam rules.pdf»
- 10:34, 4 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Uppaal.pdf» (2023-2024, без существенных изменений)
- 20:30, 3 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 55.pdf» (русифицировал главный термин)
- 20:27, 3 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 55.pdf» (2023-2024, без существенных изменений)
- 20:27, 3 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 54.pdf» (2023-2024, без существенных изменений)
- 12:30, 3 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 33.pdf» (Методы верификации программ, 2023-2024. Сети временных автоматов)
- 12:29, 3 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 32.pdf» (2023-2024. Теперь тут TCTL)
- 21:51, 30 ноября 2023 ZizovVS (обсуждение | вклад) загрузил «Файл:Информационно-управляющие системы.tsv.zip»
- 14:26, 30 ноября 2023 AlekseevVB (обсуждение | вклад) загрузил «Файл:Вопросы ВКА 2023.pdf»
- 14:01, 30 ноября 2023 AlekseevVB (обсуждение | вклад) загрузил «Файл:ВКА 2023.zip»
- 22:14, 28 ноября 2023 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20231129.pdf»
- 18:39, 28 ноября 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-12-01.pdf»
- 11:30, 28 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 29.pdf» (опечатки)
- 11:30, 28 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 28.pdf» (опечатки)
- 12:43, 27 ноября 2023 Root (обсуждение | вклад) создал учётную запись ZizovVS (обсуждение | вклад)
- 20:52, 26 ноября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP R06.pdf» (языки описания схем. 2023-2024. кое-что ещё 6: эспиай для произвольного числа устройтсв, высокий импеданс)
- 20:37, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» (небольшая помарка)
- 20:14, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» (2023-2024. без существенных изменений)
- 20:14, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 52.pdf» (2023-2024. без существенных изменений)
- 20:14, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 51.pdf» (2023-2024. без существенных изменений)
- 20:13, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 50.pdf» (2023-2024. без существенных изменений)
- 20:13, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 49.pdf» (2023-2024. без существенных изменений)
- 20:13, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 48.pdf» (2023-2024. без существенных изменений)
- 17:25, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 31.pdf» (2023-2024. теперь здесь про неправдоподобные вычисления временных автоматов)
- 17:25, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 30.pdf» (2023-2024. теперь здесь про срв и временные автоматы)
- 17:24, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 29.pdf» (было неверное описание. не символьный алгоритм, а цтл* и сравнение лтл с цтл)
- 17:23, 26 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 29.pdf» (2023-2024. теперь здесь окончание символьного алгоритма для цтл)
- 14:30, 25 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R03.pdf» (опечатки)
- 14:29, 25 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R02.pdf» (опечатки)
- 14:29, 25 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R01.pdf» (опечатки)
- 19:18, 24 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Nusmv.pdf» (опечатки)
- 15:05, 19 ноября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP R05.pdf» (языки описания схем. 2023-2024. кое-что ещё 5: эспиай для двух устройств)
- 15:05, 19 ноября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP R04.pdf» (языки описания схем. 2023-2024. кое-что ещё 4: классификация протоколов передачи данных)
- 15:04, 19 ноября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP R03.pdf» (языки описания схем. 2023-2024. приёмник юарт)
- 15:03, 19 ноября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP R02.pdf» (языки описания схем. 2023-2024. кое-что ещё 2: передатчик юарт, автоматы с таймерами)
- 15:00, 19 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Nusmv.pdf» (2023-2024, без существенных изменений)
- 14:57, 19 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Nusmv.pdf» (2023-2024, без существенных изменений)
- 23:04, 17 ноября 2023 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem20231122.pdf»
- 20:40, 15 ноября 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-11-17.pdf»
- 16:49, 15 ноября 2023 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2023-2024.pdf» (Актуализированы семинары по 3-й части курса)
- 19:54, 13 ноября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP R01.pdf» (языки описания схем, кое-что ещё, 1. протоколы передачи данных. общее описание юарта)
- 19:51, 13 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 46.pdf» (исправлены недочёты в одном доказательстве)
- 19:50, 13 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem03.pdf» (опечатки)
- 15:50, 9 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 47.pdf» (2023-2024. без существенных изменений)
- 15:48, 9 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 45.pdf» (опечатки)
- 20:27, 7 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 31.pdf» (опечатки)
- 20:27, 7 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 29.pdf» (опечатки)
- 13:04, 7 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 30.pdf» (поправлен (улучшен) рисунок)
- 12:27, 7 ноября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP s05.pdf» (языки описания схем. практика: операционный и управляющий автоматы в верилоге)
- 12:26, 7 ноября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 31.pdf» (языки описания схем 2023-2024. как дополнить операционный автомат управляющим)
