Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 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. как дополнить операционный автомат управляющим)
- 12:26, 7 ноября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 30.pdf» (языки описания схем 2023-2024. как спроектировать операционный автомат)
- 12:25, 7 ноября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 29.pdf» (языки описания схем 2023-2024. общие слова про операционный и управляющий автоматы)
- 22:14, 6 ноября 2023 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20231108.pdf»
- 23:28, 5 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 13.pdf» (опечатки)
- 23:27, 5 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 13.pdf» (не тот файл загрузил)
- 11:44, 2 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 28.pdf» (опечатки)
- 11:44, 2 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 27.pdf» (опечатки)
- 11:41, 2 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 46.pdf» (2023-2024, без существенных изменений)
- 11:41, 2 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 45.pdf» (2023-2024, без существенных изменений)
- 11:41, 2 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 44.pdf» (2023-2024, без существенных изменений)
- 11:12, 2 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem03.pdf» (2023-2024, без существенных изменений)
- 20:10, 1 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 42.pdf» (опечатки)
- 20:10, 1 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 41.pdf» (опечатки)
- 20:10, 1 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 40.pdf» (опечатки)
- 20:10, 1 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 38.pdf» (опечатки)
- 20:10, 1 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 37.pdf» (опечатки)
- 19:59, 1 ноября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 25.pdf» (опечатки)
- 22:52, 31 октября 2023 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20231101.pdf»
- 13:18, 31 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP s04.pdf» (языки описания схем 2023-2024. упражнения по символьным автоматам)
- 13:18, 31 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 28.pdf» (языки описания схем 2023-2024. типовая реализация автомата в верилоге)
- 13:16, 31 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 27.pdf» (языки описания схем 2023-2024. пара слов о символьных автоматах)
- 21:33, 29 октября 2023 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций Ч2 2023-2.pdf»
- 17:43, 29 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 43.pdf» (2023-2024. без существенных изменений)
- 17:43, 29 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 42.pdf» (2023-2024. без существенных изменений)
- 17:40, 29 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 41.pdf» (2023-2024. без существенных изменений)
- 17:40, 29 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 40.pdf» (2023-2024. без существенных изменений)
- 17:40, 29 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 39.pdf» (2023-2024. без существенных изменений)
- 17:34, 29 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 28.pdf» (2023-2024. теперь тут окончание символьного алгоритма для цтл)
- 17:33, 29 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 27.pdf» (2023-2024. теперь тут про преобразователи предикатов и неподвижные точки)
- 17:33, 29 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 26.pdf» (2023-2024. теперь тут начало символьного алгоритма модел чекин для цтл)
- 17:32, 29 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 25.pdf» (улучшил изложение)
- 17:31, 29 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 26.pdf» (опечатка)
- 20:12, 24 октября 2023 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20231024.pdf»
- 11:44, 24 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP s03.pdf» (опечатка)
- 11:38, 24 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP s03.pdf» (языки описания схем, семинарский блок 3. верилог - продвинутые возможности)