Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 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. верилог - продвинутые возможности)
- 11:36, 24 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 26.pdf» (языки описания схем, блок 26, 2023-2024. соответствие между автоматами и схемами)
- 11:34, 24 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 25.pdf» (языки описания схем, блок 25, 2023-2024. что такое автомат)
- 16:40, 23 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 35.pdf» (опечатки)
- 12:54, 23 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 24.pdf» (опечатки)
- 12:54, 23 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 22.pdf» (опечатки)
- 12:53, 23 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 21.pdf» (опечатки)
- 12:36, 22 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP lections colloq.pdf» (2023-2024)
- 12:32, 22 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 38.pdf» (2023-2024, без существенных изменений)
- 12:32, 22 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 37.pdf» (2023-2024, без существенных изменений)
- 12:32, 22 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 36.pdf» (2023-2024, без существенных изменений)
- 18:38, 21 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 25.pdf» (2023-2024. теперь тут про bdd)
- 18:37, 21 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 24.pdf» (2023-2024. теперь тут про символьные представления)
- 18:37, 21 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 23.pdf» (2023-2024. теперь тут про справедливость в ctl)
- 18:37, 21 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 22.pdf» (2023-2024. теперь тут про алгоритм mc-ctl)
- 18:36, 21 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 21.pdf» (2023-2024. теперь тут про ctl и постановка mc-ctl)