Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (500 более новые | 500 более старые) (20 | 50 | 100 | 250 | 500)- 13:04, 14 мая 2024 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-24-05-17.pdf»
- 20:20, 13 мая 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 43.pdf» (опечатки)
- 20:19, 13 мая 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 39.pdf» (опечатки)
- 20:19, 13 мая 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 38.pdf» (опечатки)
- 15:46, 12 мая 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 43.pdf» (распределенные алгоритмы 2023-2024, блок 43)
- 15:46, 12 мая 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 42.pdf» (распределенные алгоритмы 2023-2024, блок 42)
- 15:46, 12 мая 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 41.pdf» (распределенные алгоритмы 2023-2024, блок 41)
- 15:01, 12 мая 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos4.pdf» (выпуск 2024)
- 15:01, 12 мая 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos3.pdf» (выпуск 2024)
- 16:22, 7 мая 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b46.pdf» (теперь здесь снова интуиционистская логика (в связи с урезанием концовки по болезни))
- 22:02, 6 мая 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b48.pdf» (2023-2024, теперь тут про логику хоара)
- 22:02, 6 мая 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b47.pdf» (2023-2024, теперь тут про императивные программы)
- 22:02, 6 мая 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b46.pdf» (2023-2024, теперь тут про формальную верификацию)
- 22:01, 6 мая 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» (2023-2024, без существенных изменений)
- 22:01, 6 мая 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b44.pdf» (2023-2024, без существенных изменений)
- 13:27, 23 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b43.pdf» (весна 2023-2024, без существенных изменений)
- 10:49, 22 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 38.pdf» (опечатки)
- 23:37, 21 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b42.pdf» (весна 2023-2024, без существенных изменений)
- 23:13, 21 апреля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 40.pdf» (распределённые алгоритмы, весна 2023-2024, блок 40)
- 23:13, 21 апреля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 39.pdf» (распределённые алгоритмы, весна 2023-2024, блок 39)
- 23:13, 21 апреля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 38.pdf» (распределённые алгоритмы, весна 2023-2024, блок 38)
- 16:07, 21 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 37.pdf» (опечатки)
- 20:16, 17 апреля 2024 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20240418.pdf»
- 21:00, 14 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 32.pdf» (опечатки)
- 20:56, 14 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 37.pdf» (опечатки)
- 20:39, 14 апреля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 37.pdf» (распределённые алгоритмы, весна 2023-2024, блок 37)
- 13:01, 9 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b41.pdf» (весна 2023-2024, без существенных изменений)
- 13:01, 9 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b40.pdf» (весна 2023-2024, без существенных изменений)
- 13:00, 9 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b39.pdf» (весна 2023-2024, без существенных изменений)
- 09:10, 9 апреля 2024 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20240411.pdf»
- 13:05, 8 апреля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP S08.pdf» (распределённые алгоритмы, весна 2023-2024, семинар 8)
- 12:18, 8 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 35.pdf» (опечатки)
- 12:11, 8 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b36.pdf» (опечатка)
- 22:46, 7 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 36.pdf» (опечатки)
- 22:46, 7 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 35.pdf» (опечатки)
- 22:44, 7 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 35.pdf» (опечатки)
- 22:39, 7 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 34.pdf» (опечатки)
- 22:39, 7 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 33.pdf» (опечатки)
- 22:39, 7 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 32.pdf» (опечатки)
- 22:22, 7 апреля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 36.pdf» (распределённые алгоритмы, весна 2023-2024, блок 36)
- 22:22, 7 апреля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 35.pdf» (распределённые алгоритмы, весна 2023-2024, блок 35)
- 22:21, 7 апреля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 34.pdf» (распределённые алгоритмы, весна 2023-2024, блок 34)
- 22:21, 7 апреля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 33.pdf» (распределённые алгоритмы, весна 2023-2024, блок 33)
- 22:21, 7 апреля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 32.pdf» (распределённые алгоритмы, весна 2023-2024, блок 32)
- 18:50, 7 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 23.pdf» (нехорошая ошибка в определении сложности исправлена)
- 18:00, 7 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP S07.pdf» (опечатки (receive))
- 18:00, 7 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 31.pdf» (опечатки (receive))
- 18:00, 7 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 29.pdf» (опечатки (receive))
- 17:59, 7 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 27.pdf» (опечатки (receive))
- 17:59, 7 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 26.pdf» (опечатки (receive))
- 17:59, 7 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 25.pdf» (опечатки (receive))
- 11:58, 7 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b38.pdf» (весна 2023-2024, без существенных изменений)
- 11:58, 7 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b37.pdf» (весна 2023-2024, без существенных изменений)
- 11:57, 7 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b36.pdf» (весна 2023-2024, без существенных изменений)
- 11:37, 7 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b6.pdf» (небольшое уточнение понятий-обозначений)
- 21:21, 3 апреля 2024 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20240404.pdf»
- 18:58, 2 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 30.pdf» (опечатки)
- 18:58, 2 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 26.pdf» (опечатки)
- 18:58, 2 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 24.pdf» (опечатки)
- 18:10, 2 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b34.pdf» (опечатка)
- 17:22, 2 апреля 2024 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-24-04-05.pdf»
- 14:19, 2 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b35.pdf» (незначительное исправление)
- 14:09, 2 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b32.pdf» (опечатки)
- 11:26, 2 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b35.pdf» (весна 2023-2024, без существенных изменений)
- 11:26, 2 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b34.pdf» (весна 2023-2024, без существенных изменений)
- 11:25, 2 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b33.pdf» (весна 2023-2024, без существенных изменений)
- 14:54, 1 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP S07.pdf» (опечатки)
- 14:48, 1 апреля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP S07.pdf» (опечатка в титуле)
- 14:47, 1 апреля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP S07.pdf» (распределённые алгоритмы, весна 2023-2024, семинар 7)
- 12:24, 1 апреля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:MD requirements.pdf» (требования к магистерской диссертации 618)
- 12:24, 1 апреля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:VKR requirements.pdf» (требования к выпускной работе 418)
- 23:15, 31 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 31.pdf» (распределённые алгоритмы, весна 2023-2024, блок 31)
- 23:14, 31 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 30.pdf» (распределённые алгоритмы, 2023-2024, блок 30)
- 23:14, 31 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 29.pdf» (распределённые алгоритмы, 2023-2024, блок 29)
- 23:14, 31 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 28.pdf» (распределённые алгоритмы, 2023-2024, блок 28)
- 17:35, 27 марта 2024 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20240328.pdf»
- 15:16, 26 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b32.pdf» (весна 2023-2024. обратил внимание на непроизводность правила монотонности)
- 15:15, 26 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b31.pdf» (весна 2023-2024. обратил внимание на непроизводность правила монотонности)
- 14:51, 25 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b29.pdf» (опечатки)
- 14:51, 25 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b28.pdf» (опечатки)
- 14:51, 25 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b27.pdf» (опечатки)
- 14:50, 25 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b26.pdf» (опечатки)
- 14:50, 25 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b24.pdf» (опечатки)
- 11:19, 25 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 27.pdf» (распределённые алгоритмы, весна 2023-2024, блок 27)
- 11:19, 25 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 26.pdf» (распределённые алгоритмы, весна 2023-2024, блок 26)
- 11:19, 25 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 25.pdf» (распределённые алгоритмы, весна 2023-2024, блок 25)
- 22:05, 24 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b30.pdf» (весенний семестр 2023-2024, без существенных изменений)
- 22:05, 24 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b29.pdf» (весенний семестр 2023-2024, без существенных изменений)
- 22:04, 24 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b28.pdf» (весенний семестр 2023-2024, без существенных изменений)
- 22:04, 24 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b27.pdf» (весенний семестр 2023-2024, без существенных изменений)
- 14:10, 24 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 24.pdf» (небольшое уточнение в обозначениях)
- 11:06, 22 марта 2024 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-24-03-22.pdf»
- 12:48, 19 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b26.pdf» (весна 2023-2024, без существенных изменений)
- 12:48, 19 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b25.pdf» (весна 2023-2024, без существенных изменений)
- 10:44, 19 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 24.pdf» (опечатки)
- 10:44, 19 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 21.pdf» (опечатки)
- 14:33, 18 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 24.pdf» (распределённые алгоритмы, весна 2023-2024, блок 24)
- 14:32, 18 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 23.pdf» (распределённые алгоритмы, весна 2023-2024, блок 23)
- 14:32, 18 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 22.pdf» (распределённые алгоритмы, весна 2023-2024, блок 22)
- 14:32, 18 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 21.pdf» (распределённые алгоритмы, весна 2023-2024, блок 21)
- 13:44, 17 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP S05.pdf» (распределённые алгоритмы, весна 2023-2024, семинар 5)
- 17:26, 16 марта 2024 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem20240321.pdf»
- 14:21, 12 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b24.pdf» (весна 2023-2024, без существенных изменений)
- 14:21, 12 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b23.pdf» (весна 2023-2024, без существенных изменений)
- 14:21, 12 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b22.pdf» (весна 2023-2024, без существенных изменений)
- 18:46, 11 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 20.pdf» (опечатки)
- 18:46, 11 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 19.pdf» (опечатки)
- 18:45, 11 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 18.pdf» (опечатки)
- 16:07, 11 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 20.pdf» (распределённые алгоритмы, весна 2023-2024, блок 20)
- 16:07, 11 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 19.pdf» (распределённые алгоритмы, весна 2023-2024, блок 19)
- 16:06, 11 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 18.pdf» (распределённые алгоритмы, весна 2023-2024, блок 18)
- 14:10, 11 марта 2024 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-24-03-15.pdf»
- 23:11, 10 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 17.pdf» (слегка подправлено обозначение таблицы маршрутизации)
- 19:22, 10 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP S04.pdf» (распределённые алгоритмы, семинар 4)
- 16:07, 10 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 17.pdf» (опечатки, улучшено изложение)
- 15:26, 10 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b21.pdf» (весна 2023-2024, без существенных изменений)
- 15:25, 10 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b20.pdf» (весна 2023-2024, без существенных изменений)
- 14:47, 10 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b18.pdf» (опечатки)
- 14:47, 10 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b16.pdf» (опечатки)
- 13:20, 6 марта 2024 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20240307.pdf»
- 11:00, 5 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 17.pdf» (опечатки, и улучшен выбор обозначений)
- 12:07, 4 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b19.pdf» (весна 2023-2024, без существенных изменений)
- 12:06, 4 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b18.pdf» (весна 2023-2024, без существенных изменений)
- 12:06, 4 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b17.pdf» (весна 2023-2024, без существенных изменений)
- 12:06, 4 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b16.pdf» (весна 2023-2024, без существенных изменений)
- 12:06, 4 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b15.pdf» (весна 2023-2024, без существенных изменений)
- 12:06, 4 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b14.pdf» (весна 2023-2024, без существенных изменений)
- 12:05, 4 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b13.pdf» (весна 2023-2024, без существенных изменений)
- 11:39, 4 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 17.pdf» (опечатки)
- 11:33, 4 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 17.pdf» (распределённые алгоритмы, весна 2023-2024, блок 17)
- 11:33, 4 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 16.pdf» (распределённые алгоритмы, весна 2023-2024, блок 16)
- 11:32, 4 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 15.pdf» (распределённые алгоритмы, весна 2023-2024, блок 15)
- 11:32, 4 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 14.pdf» (распределённые алгоритмы, весна 2023-2024, блок 14)
- 11:32, 4 марта 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 13.pdf» (распределённые алгоритмы, весна 2023-2024, блок 13)
- 19:09, 28 февраля 2024 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Specsem20240229.pdf»
- 09:23, 27 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP S02.pdf» (опечатки)
- 09:23, 27 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 11.pdf» (опечатки)
- 13:08, 26 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 12.pdf» (опечатка в титуле)
- 13:05, 26 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 12.pdf» (распределённые алгоритмы, весна 2023-2024, блок 12)
- 23:51, 25 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 10.pdf» (опечатки)
- 23:40, 25 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP S02.pdf» (Распределённые алгоритмы, весна 2023-2024, семинар 2 (безопасность и живость))
- 18:13, 25 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b12.pdf» (весна 2023-2024, без существенных изменений)
- 18:13, 25 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b11.pdf» (весна 2023-2024, без существенных изменений)
- 18:12, 25 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b10.pdf» (весна 2023-2024, без существенных изменений)
- 18:02, 25 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (опечатки)
- 15:17, 20 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b9.pdf» (весна 2023-2024, без существенных изменений)
- 15:17, 20 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (весна 2023-2024, без существенных изменений)
- 15:17, 20 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b7.pdf» (весна 2023-2024, без существенных изменений)
- 15:16, 20 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b6.pdf» (весна 2023-2024, без существенных изменений)
- 13:44, 20 февраля 2024 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem20240222.pdf»
- 15:53, 19 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 11.pdf» (распределённые алгоритмы, весна 2023-2024, блок 11)
- 15:53, 19 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 10.pdf» (распределённые алгоритмы, весна 2023-2024, блок 10)
- 15:53, 19 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 09.pdf» (распределённые алгоритмы, весна 2023-2024, блок 9)
- 15:52, 19 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 08.pdf» (распределённые алгоритмы, весна 2023-2024, блок 8)
- 15:52, 19 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 07.pdf» (распределённые алгоритмы, весна 2023-2024, блок 7)
- 13:15, 19 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP S01.pdf» (опечатка)
- 20:01, 18 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP S01.pdf» (Распределённые алгоритмы 2023-2024, семинар 1)
- 10:18, 13 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b5.pdf» (весна 2023-2024, без существенных изменений)
- 10:17, 13 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b4.pdf» (весна 2023-2024, без существенных изменений)
- 00:17, 13 февраля 2024 RomanovDS (обсуждение | вклад) загрузил «Файл:Курс ОК 320-328 2024 02 12.pdf»
- 18:29, 12 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 06.pdf» (Распределённые алгоритмы, 521, весна 2023-2024, блок 6)
- 18:29, 12 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 05.pdf» (Распределённые алгоритмы, 521, весна 2023-2024, блок 5)
- 18:29, 12 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 04.pdf» (Распределённые алгоритмы, 521, весна 2023-2024, Блок 4)
- 18:28, 12 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 02.pdf» (опечатки)
- 18:28, 12 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 01.pdf» (опечатки)
- 10:40, 12 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 03.pdf» (Распределённые алгоритмы, 521, весна 2023-2024, блок 3)
- 10:39, 12 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 02.pdf» (Распределённые алгоритмы, 521, весна 2023-2024, блок 2)
- 10:39, 12 февраля 2024 PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 01.pdf» (Распределённые алгоритмы, группа 521, весна 2023-2024)
- 16:43, 11 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b3.pdf» (весна 2023-2024, без существенных изменений)
- 16:43, 11 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b2.pdf» (весна 2023-2024, без существенных изменений)
- 16:43, 11 февраля 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b1.pdf» (весна 2023-2024, без существенных изменений)
- 02:00, 8 февраля 2024 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ЭТДУС-24-1 318.pdf»
- 12:43, 7 февраля 2024 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ЭТСНКДУС-24-1.pdf»
- 12:42, 7 февраля 2024 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ЭТДУС-24-1 318.pdf»
- 00:49, 6 февраля 2024 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-1-s.pdf»
- 11:01, 22 января 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP all.pdf» (2023-2024)
- 14:26, 17 января 2024 SavitskiyIV (обсуждение | вклад) загрузил «Файл:DGDMiK exam info 2023.pdf»
- 12:34, 15 января 2024 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций Ч4 2023-2.pdf»
- 12:34, 15 января 2024 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций Ч3 2023-2.pdf»
- 23:30, 14 января 2024 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК-23-2 311-319 График проведения консультаций.pdf»
- 22:30, 13 января 2024 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК-23-2 311-319 Правила.pdf»
- 16:58, 6 января 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP all.pdf» (для экзамена 2023-2024)
- 13:27, 18 декабря 2023 AlekseevVB (обсуждение | вклад) загрузил «Файл:Вопросы Сложность алгоритмов 2023.doc»
- 22:57, 15 декабря 2023 ZizovVS (обсуждение | вклад) загрузил «Файл:Экзаменационные вопросы.pdf»
- 20:22, 14 декабря 2023 ZizovVS (обсуждение | вклад) загрузил «Файл:Программа курса Геометрическая реализация графов и схем.pdf»
- 16:33, 12 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 58.pdf» (опечатки)
- 16:33, 12 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 57.pdf» (опечатки)
- 16:33, 12 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 56.pdf» (опечатки)
- 16:26, 12 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 40.pdf» (опечатки)
- 16:26, 12 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 38.pdf» (опечатки)
- 14:32, 12 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 24.pdf»
- 13:49, 11 декабря 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-12-15.pdf»
- 10:35, 11 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 58.pdf» (2023-2024, без существенных изменений)
- 10:34, 11 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 57.pdf» (2023-2024, без существенных изменений)
- 10:34, 11 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 56.pdf» (2023-2024, без существенных изменений)
- 10:03, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 40.pdf» (методы верификации программ, 2023-2024. блок 40. bmc -> sat)
- 10:03, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 39.pdf» (методы верификации программ, 2023-2024. блок 39. sat)
- 10:02, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 38.pdf» (методы верификации программ, 2023-2024. блок 38. bmc)
- 10:01, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 37.pdf» (методы верификации программ, 2023-2024. блок 37. абстракция и редукция)
- 10:01, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 36.pdf» (методы верификации программ, 2023-2024. блок 36. алгоритм проверки бисимул экв)
- 10:00, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 35.pdf» (методы верификации программ, 2023-2024. блок 35. симуляция и бисимуляция)
- 09:59, 11 декабря 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 34.pdf» (методы верификации программ, 2023-2024. блок 34. алгоритм для тиситиэль, системы регионов)
- 18:25, 10 декабря 2023 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20231213.pdf»
- 11:53, 10 декабря 2023 SavitskiyIV (обсуждение | вклад) загрузил «Файл:ДГДМиК ПланСеминаров 2023.pdf»
- 11:34, 10 декабря 2023 SavitskiyIV (обсуждение | вклад) загрузил «Файл:ДГДМиК Лекции 1-12 2023 Презентация.pdf» (Презентации к лекциям по первым двум частям курса ДГДМиК.)
- 11:26, 10 декабря 2023 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2023-2024.pdf»
- 20:27, 9 декабря 2023 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2023-2024.pdf»
- 13:09, 7 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R06.pdf» (исправлен)
- 13:08, 7 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 17.pdf» (Важное уточнение синтаксиса констант)
- 20:35, 6 декабря 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-12-08.pdf»
- 23:25, 5 декабря 2023 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20231206.pdf»
- 19:22, 4 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 54.pdf» (опечатки)
- 19:22, 4 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» (опечатки)
- 19:22, 4 декабря 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 52.pdf» (опечатки)
- 17:01, 4 декабря 2023 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Logic synthesis 2023 exam questions.pdf»
- 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. как дополнить операционный автомат управляющим)
- 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)
- 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:59, 17 октября 2023 Root (обсуждение | вклад) удалил страницу Файл:24 hand.pdf
- 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, без существенных изменений)
- 16:13, 15 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 30.pdf» (2023-2024, без существенных изменений)
- 16:12, 15 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 29.pdf» (2023-2024, без существенных изменений)
- 15:47, 11 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 23.pdf» (опечатки)
- 15:47, 11 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 22.pdf» (опечатки)
- 15:46, 11 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 27.pdf» (опечатки)
- 15:46, 11 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 19.pdf» (опечатки)
- 15:22, 11 октября 2023 Root (обсуждение | вклад) удалил страницу Файл:MLLP VP 19.pdf (Удалена старая версия 20231011122148!MLLP_VP_19.pdf)
- 15:21, 11 октября 2023 Root (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 19.pdf» (Возврат к версии от 19:44, 24 сентября 2023)
- 15:20, 11 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 19.pdf» (опечатки)
- 13:59, 10 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP s02.pdf» (теперь это называется не "основные процедуры", а "основы")
- 13:58, 10 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP s02.pdf» (Языки описания схем 2023-2024. Практика: верилог, основные процедуры)
- 13:54, 10 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 23.pdf» (Языки описания схем 2023-2024. верилог - поддерживаемое использование постоянной процедуры)
- 13:52, 10 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 22.pdf» (Языки описания схем 2023-2024. верилог - основные процедурные команды и использование задержек)
- 13:51, 10 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 21.pdf» (Языки описания схем 2023-2024. верилог - основные виды процессов)
- 13:49, 10 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 20.pdf» (Языки описания схем 2023-2024. Как устроена симуляция в верилоге)
- 13:48, 10 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 12.pdf» (небольшое уточнение терминологии)
- 13:48, 10 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 12.pdf» (небольшое уточнение терминологии)
- 00:19, 10 октября 2023 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 231011.pdf»
- 22:36, 8 октября 2023 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций Ч1 2023-2.pdf»
- 22:35, 8 октября 2023 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций В 2023-2.pdf»
- 22:27, 8 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Spin.pdf» (2023-2024. без особых изменений)
- 22:27, 8 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Spin.pdf» (2023-2024. без особых изменений)
- 16:38, 5 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Выставка кафедр Информационный лист.pdf» (больше qr-кодов!)
- 12:40, 5 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Выставка кафедр Информационный лист.pdf» (Для выставки 2023)
- 15:51, 4 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 19.pdf» (опечатки)
- 15:51, 4 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 18.pdf» (опечатки)
- 15:51, 4 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 17.pdf» (опечатки)
- 15:51, 4 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 16.pdf» (опечатки)
- 15:50, 4 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 15.pdf» (опечатки)
- 15:50, 4 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 13.pdf» (опечатки)
- 22:53, 3 октября 2023 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 241004.pdf»
- 14:08, 3 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 19.pdf» (языки описания схем 2023-2024. verilog - примеры комбинационных схем с assign)
- 14:07, 3 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 18.pdf» (языки описания схем 2023-2024. verilog - комбинационные выражения и операции)
- 14:06, 3 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 17.pdf» (языки описания схем 2023-2024. verilog - константы)
- 14:01, 3 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 16.pdf» (языки описания схем 2023-2024. verilog - арифметическая трактовка, знаковость, расширение-сужение)
- 14:01, 3 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 15.pdf» (языки описания схем 2023-2024. verilog - логические значения)
- 14:00, 3 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 14.pdf» (Языки описания схем 2023-2024. verilog helloworld с диаграммами сигналов)
- 13:59, 3 октября 2023 Root (обсуждение | вклад) удалил страницу Файл:HDL VP14.pdf
- 13:59, 3 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP14.pdf»
- 13:32, 3 октября 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-10-06.pdf»
- 10:25, 2 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 20.pdf» (2023-2024. теперь уточненная схема автоматного алгоритма для лтл)
- 10:24, 2 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 19.pdf» (2023-2024. теперь автоматы бюхи для лтл-формул)
- 10:24, 2 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 18.pdf» (2023-2024. теперь автоматы бюхи для моделей крипке)
- 10:24, 2 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 17.pdf» (2023-2024. теперь проверка пустоты автоматов бюхи)
- 10:23, 2 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 16.pdf» (2023-2024. теперь пересечение автоматов бюхи)
- 10:23, 2 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 15.pdf» (2023-2024. теперь автоматы бюхи и обобщенные)
- 10:22, 2 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 14.pdf» (2023-2024. теперь общая схема автоматного алгоритма для лтл)
- 12:37, 28 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 13.pdf» (улучшенный вариант)
- 12:36, 28 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 12.pdf» (улучшенный вариант)
- 12:36, 28 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 16.pdf» (опечатки)
- 12:35, 28 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 15.pdf» (опечатки)
- 12:34, 28 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 12.pdf» (опечатки)
- 12:34, 28 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 11.pdf» (опечатки)
- 14:30, 26 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 13.pdf» (Языки описания схем, 2023-2024. V hello world со схемами)
- 14:29, 26 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 12.pdf» (Языки описания схем, 2023-2024. V hello world без схем)
- 14:29, 26 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 11.pdf» (Языки описания схем 2023-2024. V Общие слова)
- 22:48, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 28.pdf» (2023-2024. без существенных изменений)
- 22:47, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 27.pdf» (2023-2024. без существенных изменений)
- 22:47, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 26.pdf» (2023-2024. без существенных изменений)
- 22:46, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 25.pdf» (2023-2024. без существенных изменений)
- 22:46, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 24.pdf» (2023-2024. без существенных изменений)
- 22:46, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 23.pdf» (2023-2024. без существенных изменений)
- 22:45, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 22.pdf» (2023-2024. без существенных изменений)
- 22:45, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 21.pdf» (2023-2024. теперь тут монотонность и транзитивность логического следования)
- 22:44, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 20.pdf» (2023-2024. теперь тут алгоритм унификации)
- 22:44, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 19.pdf» (2023-2024. теперь тут композиция подстановок и постановка задачи унификации)
- 22:43, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 18.pdf» (2023-2024. теперь тут системы дизъюнктов)
- 22:43, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 17.pdf» (2023-2024. теперь тут ссф)
- 22:43, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 16.pdf» (2023-2024. теперь тут пнф)
- 10:08, 24 сентября 2023 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2023-2024.pdf»
- 18:42, 23 сентября 2023 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2023-2024.pdf»
- 11:55, 23 сентября 2023 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2023-2024.pdf»
- 19:54, 22 сентября 2023 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2023-2024.pdf» (Изменены планы семинаров и задачи к экзамену)
- 14:10, 21 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem02.pdf» (2023-2024. ничего нового)
- 14:06, 21 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (уточнение)
- 13:53, 21 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 13.pdf» (2023-2024. теперь тут про справедливость в целом и в ltl)
- 13:52, 21 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 12.pdf» (2023-2024. теперь тут ltl и ltl-mc)
- 13:51, 21 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 11.pdf» (опечатки)
- 13:51, 21 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (уточнения и опечатки)
- 19:10, 18 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 12.pdf» (опечатки)
- 19:10, 18 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 11.pdf» (опечатки)
- 19:10, 18 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 08.pdf» (ошибка в определении таблицы (не сверхкритичная, но влияет на экстремальный случай в теоремах про произвольные таблицы))
- 19:03, 18 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (опечатки)
- 12:25, 18 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (опечатки)
- 18:48, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 10.pdf» (мелкие технические шероховатости)
- 18:47, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 03.pdf» (опечатки)
- 11:53, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 15.pdf» (2023-2024. теперь здесь равносильность формул)
- 11:53, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 14.pdf» (2023-2024. теперь тут общая схема метода резолюций)
- 11:52, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 13.pdf» (2023-2024. теперь тут левенгейм-сколем, мальцев и автоматизация доказательств)
- 11:46, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 11.pdf» (2023-2024. Теперь тут свойства трасс, живость и безопасность)
- 11:45, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (2023-2024. Теперь тут нотация для последовательностей)
- 11:45, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (2023-2024. Теперь тут особенности моделирования систем)
- 11:44, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 08.pdf» (2023-2024. Теперь тут модели Крипке)
- 11:15, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 06.pdf» (опечатки, уточнения)
- 22:38, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP s01.pdf» (Языки описания схем, 2023-2024. Практика: комб и послед схемы)
- 22:34, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 10.pdf» (Языки описания схем, 2023-2024. Шины, регистры, RTL)
- 22:34, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 09.pdf» (Языки описания схем, 2023-2024. Послед схемы)
- 22:33, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 08.pdf» (Языки описания схем, 2023-2024. Ещё о триггерах)
- 22:33, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 07.pdf» (Языки описания схем, 2023-2024. Терминология для сигналов)
- 22:32, 11 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 06.pdf» (Языки описания схем, 2023-2024. Комб схемы с обр связью, основные триггеры)
- 22:32, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 06.pdf»
- 22:32, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 05.pdf» (Языки описания схем, 2023-2024. СФЭЗ)
- 22:31, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 04.pdf» (Языки описания схем, 2023-2024. Лог вентили и комб схемы)
- 16:40, 11 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 08.pdf» (опечатки)
- 16:31, 11 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 03.pdf» (опечатки)
- 17:50, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 12.pdf» (2023-2024. Теперь здесь про полноту табличного вывода)
- 17:49, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 11.pdf» (2023-2024. Теперь здесь про корректность табличного вывода)
- 17:49, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 10.pdf» (2023-2024. Теперь здесь про табличный вывод)
- 17:49, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 09.pdf» (2023-2024. Теперь здесь про подстановки)
- 17:48, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 08.pdf» (2023-2024. Теперь здесь про семантические таблицы (в ЛП))
- 17:48, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 07.pdf» (2023-2024. Без существенных изменений)
- 17:47, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 06.pdf» (2023-2024. Без существенных изменений)
- 17:46, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 05.pdf» (2023-2024. Без существенных изменений)
- 17:44, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 04.pdf» (опечатки)
- 17:44, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 03.pdf» (Опечатки, уточнения)
- 17:38, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem01.pdf» (2023-2024. Без существенных изменений)
- 17:35, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 07.pdf» (2023-2024. Теперь тут общая схема метода модел чекин)
- 17:35, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 06.pdf» (2023-2024. Теперь тут про возможности автоматизации дедуктивного анализа программ и про слабейшее предусловие)
- 17:34, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 05.pdf» (2023-2024. Теперь тут про аннотированные программы)
- 17:34, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 04.pdf» (2023-2024. Теперь тут про дедуктивную верификацию программ в целом и про логику Хоара)
- 17:33, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 03.pdf» (2023-2024. Теперь тут про общие принципы дедуктивной верификации и про императивные программы)
- 17:31, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (опечатки)
- 14:32, 5 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 03.pdf» (Языки описания схем, блок 3. Физика и КМОП)
- 14:31, 5 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 02.pdf» (Языки описания схем, блок 2. Напоминания: БФ, СФЭ)
- 14:31, 5 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 01.pdf» (Языки описания схем, блок 1 (оргвопросы))
- 00:02, 4 сентября 2023 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК-23-2 311-319.pdf»
- 23:40, 3 сентября 2023 ZhukovVV (обсуждение | вклад) загрузил «Файл:Pbscpp.pdf»
- 16:49, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (2023/2024, теперь здесь собрано всё напоминание про логику предикатов)
- 16:49, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 01.pdf» (2023/2024, без сверхсущественных изменений)
- 16:41, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 03.pdf» (2023/2024, без существенных изменений)
- 16:41, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 04.pdf» (2023/2024, без существенных изменений)
- 16:40, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 02.pdf» (2023/2024, без существенных изменений)
- 16:39, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 01.pdf» (2023/2024, без существенных изменений)
- 17:14, 30 августа 2023 SavitskiyIV (обсуждение | вклад) загрузил «Файл:Программа ДГДМК 2023-2024.pdf»
- 13:48, 29 августа 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 10366 страницы Распределенные алгоритмы и системы
- 13:47, 29 августа 2023 Root (обсуждение | вклад) переименовал страницу Распределенные алгоритмы в Распределенные алгоритмы и системы (Актуальное название)
- 13:47, 29 августа 2023 Root (обсуждение | вклад) удалил страницу Распределенные алгоритмы и системы (Лишнее перенаправление)
- 13:46, 29 августа 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 10363 страницы Математические модели последовательных вычислений
- 13:46, 29 августа 2023 Root (обсуждение | вклад) переименовал страницу Модели последовательных и параллельных вычислений в Математические модели последовательных вычислений (Актуальное название)
- 13:46, 29 августа 2023 Root (обсуждение | вклад) удалил страницу Математические модели последовательных вычислений (Лишнее перенаправление)
- 13:45, 29 августа 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 10360 страницы Математическая логика (318, 319/2, 241, 242)
- 13:44, 29 августа 2023 Root (обсуждение | вклад) переименовал страницу Математическая логика и логическое программирование (группа 318) в Математическая логика (318, 319/2, 241, 242) (Актуальное название)
- 13:44, 29 августа 2023 Root (обсуждение | вклад) удалил страницу Математическая логика (318, 319/2, 241, 242) (Лишнее перенаправление)
- 13:41, 29 августа 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 10357 страницы Языки описания схем
- 13:41, 29 августа 2023 Root (обсуждение | вклад) переименовал страницу Языки описания цифровых схем в Языки описания схем (Было неточное название)
- 13:40, 29 августа 2023 Root (обсуждение | вклад) удалил страницу Языки описания схем (Это был костыль, больше нужды нет)
- 17:50, 23 августа 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 10354 страницы Проектирование больших систем на С++
- 17:49, 23 августа 2023 Root (обсуждение | вклад) переименовал страницу Проектирование больших систем С++ в Проектирование больших систем на С++ (опечатка)
- 17:47, 23 августа 2023 Root (обсуждение | вклад) создал учётную запись ZhukovVV (обсуждение | вклад)
- 17:45, 23 августа 2023 Root (обсуждение | вклад) заблокировал SapozhenkoAA (обсуждение | вклад) на период бессрочно (автоблокировка отключена) (Уволен)
- 17:44, 23 августа 2023 Root (обсуждение | вклад) заблокировал NagornyAS (обсуждение | вклад) на период бессрочно (автоблокировка отключена) (Уволен)
- 17:44, 23 августа 2023 Root (обсуждение | вклад) заблокировал MelnikMV (обсуждение | вклад) на период бессрочно (автоблокировка отключена) (Уволена)
- 17:44, 23 августа 2023 Root (обсуждение | вклад) заблокировал KonovodovV (обсуждение | вклад) на период бессрочно (автоблокировка отключена) (Уволен)
- 17:43, 23 августа 2023 Root (обсуждение | вклад) заблокировал FedorovaVS (обсуждение | вклад) на период бессрочно (автоблокировка отключена) (Уволена)
- 12:58, 10 июля 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 10350 страницы Участник:SapozhenkoAA
- 12:54, 10 июля 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 10349 страницы Подловченко Римма Ивановна
- 12:52, 10 июля 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 10348 страницы Участник:NagornyAS
- 12:50, 10 июля 2023 Root (обсуждение | вклад) автоматически отпатрулировал версию 10347 страницы Участник:FedorovaVS
- 20:51, 20 июня 2023 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:5 prez.pdf»
- 20:51, 20 июня 2023 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:4 prez.pdf»
- 20:51, 20 июня 2023 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:3 prez.pdf»
- 20:50, 20 июня 2023 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:2 prez.pdf»
- 20:50, 20 июня 2023 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:1 prez.pdf»
- 18:58, 31 мая 2023 ShupletsovMS (обсуждение | вклад) загрузил «Файл:MMMSBIS 2023.pdf»
- 10:57, 16 мая 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-05-19.pdf»
- 14:31, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos4.pdf» (ох и ещё опечатка в титуле)
- 14:31, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos3.pdf» (ох и ещё опечатка в титуле)
- 11:50, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos4.pdf» (опечатка в титуле)
- 11:50, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos3.pdf» (опечатка в титуле)
- 11:48, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos4.pdf» (опечатка в титуле)
- 11:47, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos3.pdf» (опечатка в титуле)
- 11:44, 13 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP gos4.pdf» (Материалы билета 4 госэкзамена по курсу логики (хорновские логические программы))
- 11:44, 13 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP gos3.pdf» (Материалы для билета 3 госэкзамена (логика предикатов и метод резолюций))