Журнал загрузок
Ниже представлен список последних загрузок файлов. См. также галерею новых файлов, где сведения о новых загрузках представлены в более наглядном виде.
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 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)
- 17:45, 17 октября 2023 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem20231018.pdf»
- 16:29, 17 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 33.pdf» (опечатки)
- 16:29, 17 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 32.pdf» (опечатки)
- 16:29, 17 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 30.pdf» (опечатки)
- 11:59, 17 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 24.pdf» (языки описания схем 2023-2024. верилог - синтаксический сахар и всякие возможности языка)
- 11:58, 17 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:24 hand.pdf» (языки описания схем 2023-2024. верилог - синтаксический сахар и всякие возможности языка)
- 16:14, 15 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 35.pdf» (2023-2024, без существенных изменений)
- 16:14, 15 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 34.pdf» (2023-2024, без существенных изменений)
- 16:14, 15 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 33.pdf» (2023-2024, без существенных изменений)
- 16:13, 15 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 32.pdf» (2023-2024, без существенных изменений)
- 16:13, 15 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 31.pdf» (2023-2024, без существенных изменений)