Список файлов
Эта служебная страница показывает все загруженные файлы.
| Дата | Имя файла | Миниатюра |  Размер |
Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 10:30, 9 февраля 2023 | MMSC VP 01.pdf (файл) |  |
87 КБ | PodymovVV | Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 1, оргвопросы | 1 |
| 18:50, 4 апреля 2023 | DAS VP 31.pdf (файл) | |
88 КБ | PodymovVV | опечатки | 2 |
| 11:44, 2 мая 2023 | DAS VP 42.pdf (файл) | |
88 КБ | PodymovVV | Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 42. Задача консенсуса | 1 |
| 11:32, 4 марта 2024 | DA VP 13.pdf (файл) | |
89 КБ | PodymovVV | распределённые алгоритмы, весна 2023-2024, блок 13 | 1 |
| 15:52, 19 февраля 2024 | DA VP 07.pdf (файл) | |
89 КБ | PodymovVV | распределённые алгоритмы, весна 2023-2024, блок 7 | 1 |
| 18:50, 7 апреля 2024 | DA VP 23.pdf (файл) | |
90 КБ | PodymovVV | нехорошая ошибка в определении сложности исправлена | 2 |
| 10:45, 4 апреля 2023 | DAS VP 28.pdf (файл) | |
91 КБ | PodymovVV | Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 28. Алгоритмы избрания лидера (определения, допущения, волны) | 1 |
| 10:51, 21 апреля 2021 | К предзащите 418 2021.pdf (файл) | |
92 КБ | PodymovVV | 1 | |
| 12:32, 22 октября 2023 | MLLP VP 36.pdf (файл) | |
93 КБ | PodymovVV | 2023-2024, без существенных изменений | 2 |
| 22:34, 11 сентября 2023 | HDL VP 09.pdf (файл) | |
94 КБ | PodymovVV | Языки описания схем, 2023-2024. Послед схемы | 1 |
| 10:51, 21 апреля 2021 | К предзащите 618-2 2021.pdf (файл) | |
95 КБ | PodymovVV | 1 | |
| 17:08, 11 апреля 2023 | DAS VP 32.pdf (файл) | |
95 КБ | PodymovVV | опечатки | 2 |
| 19:22, 4 декабря 2023 | MLLP VP 52.pdf (файл) | |
95 КБ | PodymovVV | опечатки | 3 |
| 13:08, 7 декабря 2023 | HDL VP 17.pdf (файл) | |
97 КБ | PodymovVV | Важное уточнение синтаксиса констант | 3 |
| 02:49, 18 апреля 2023 | DAS VP 36.pdf (файл) | |
97 КБ | PodymovVV | Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 36. Алгоритм Лаи-Янга (сохранение снимка) | 1 |
| 13:00, 9 апреля 2024 | Mathlog 318 b39.pdf (файл) | |
101 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 6 |
| 11:34, 24 октября 2023 | HDL VP 25.pdf (файл) | |
101 КБ | PodymovVV | языки описания схем, блок 25, 2023-2024. что такое автомат | 1 |
| 22:32, 11 сентября 2023 | HDL VP 05.pdf (файл) | |
102 КБ | PodymovVV | Языки описания схем, 2023-2024. СФЭЗ | 1 |
| 19:11, 28 марта 2023 | DAS VP 27.pdf (файл) | |
102 КБ | PodymovVV | опечатки | 2 |
| 14:05, 4 мая 2023 | Mathlog 318 b47.pdf (файл) | |
102 КБ | PodymovVV | Весна 2022/2023. Теперь тут вступление про формальную верификацию | 3 |
| 12:42, 6 апреля 2023 | MMSC VP 23.pdf (файл) | |
104 КБ | PodymovVV | опечатки | 2 |
| 14:06, 21 сентября 2023 | Verif VP 10.pdf (файл) | |
104 КБ | PodymovVV | уточнение | 7 |
| 13:51, 10 октября 2023 | HDL VP 21.pdf (файл) | |
104 КБ | PodymovVV | Языки описания схем 2023-2024. верилог - основные виды процессов | 1 |
| 14:29, 26 сентября 2023 | HDL VP 11.pdf (файл) | |
104 КБ | PodymovVV | Языки описания схем 2023-2024. V Общие слова | 1 |
| 14:32, 18 марта 2024 | DA VP 22.pdf (файл) | |
104 КБ | PodymovVV | распределённые алгоритмы, весна 2023-2024, блок 22 | 1 |
| 20:39, 21 февраля 2023 | DAS VP 07.pdf (файл) | |
105 КБ | PodymovVV | Исправлены опечатки | 2 |
| 10:22, 2 октября 2023 | Verif VP 14.pdf (файл) | |
106 КБ | PodymovVV | 2023-2024. теперь общая схема автоматного алгоритма для лтл | 4 |
| 18:05, 14 апреля 2022 | Dsa title.png (файл) |  |
106 КБ | PodymovVV | 3 | |
| 23:20, 21 апреля 2017 | Peano axioms.pdf (файл) | |
107 КБ | PodymovVV | 3 | |
| 22:57, 24 апреля 2023 | DAS VP 40.pdf (файл) | |
108 КБ | PodymovVV | Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 40. Обнаружение завершения вычислений: алгоритм возвращения кредита | 1 |
| 14:32, 4 мая 2023 | Mathlog 318 b44.pdf (файл) | |
108 КБ | PodymovVV | помарка | 4 |
| 20:13, 26 ноября 2023 | MLLP VP 49.pdf (файл) | |
109 КБ | PodymovVV | 2023-2024. без существенных изменений | 4 |
| 15:51, 4 октября 2023 | HDL VP 19.pdf (файл) | |
110 КБ | PodymovVV | опечатки | 2 |
| 12:20, 30 марта 2023 | MMSC VP 17.pdf (файл) | |
111 КБ | PodymovVV | опечатки | 2 |
| 13:15, 19 февраля 2024 | DA VP S01.pdf (файл) | |
111 КБ | PodymovVV | опечатка | 2 |
| 18:38, 18 апреля 2023 | DAS VP 35.pdf (файл) | |
111 КБ | PodymovVV | опечатки | 2 |
| 18:37, 21 октября 2023 | Verif VP 23.pdf (файл) | |
113 КБ | PodymovVV | 2023-2024. теперь тут про справедливость в ctl | 2 |
| 15:57, 2 мая 2023 | Mathlog 318 b45.pdf (файл) | |
114 КБ | PodymovVV | Весна 2022-2023. Темы те же | 3 |
| 22:55, 24 апреля 2023 | DAS VP 37.pdf (файл) | |
114 КБ | PodymovVV | Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 37. Задача обнаружения завершения вычислений | 1 |
| 10:24, 2 октября 2023 | Verif VP 17.pdf (файл) | |
114 КБ | PodymovVV | 2023-2024. теперь проверка пустоты автоматов бюхи | 3 |
| 18:29, 12 февраля 2024 | DA VP 05.pdf (файл) | |
114 КБ | PodymovVV | Распределённые алгоритмы, 521, весна 2023-2024, блок 5 | 1 |
| 10:24, 2 октября 2023 | Verif VP 18.pdf (файл) | |
115 КБ | PodymovVV | 2023-2024. теперь автоматы бюхи для моделей крипке | 3 |
| 14:01, 3 октября 2023 | HDL VP 15.pdf (файл) | |
115 КБ | PodymovVV | языки описания схем 2023-2024. verilog - логические значения | 1 |
| 20:13, 26 ноября 2023 | MLLP VP 50.pdf (файл) | |
116 КБ | PodymovVV | 2023-2024. без существенных изменений | 2 |
| 18:53, 8 мая 2023 | Mathlog 318 b51.pdf (файл) | |
116 КБ | PodymovVV | Математическая логика для 318, блок 51. Системы переходов | 1 |
| 16:14, 15 октября 2023 | MLLP VP 34.pdf (файл) | |
116 КБ | PodymovVV | 2023-2024, без существенных изменений | 2 |
| 22:47, 24 сентября 2023 | MLLP VP 26.pdf (файл) | |
117 КБ | PodymovVV | 2023-2024. без существенных изменений | 2 |
| 19:50, 13 ноября 2023 | Verif VP sem03.pdf (файл) | |
117 КБ | PodymovVV | опечатки | 3 |
| 14:57, 20 февраля 2023 | DAS VP 04.pdf (файл) | |
119 КБ | PodymovVV | Исправлены опечатки | 2 |
| 21:00, 14 апреля 2024 | DA VP 32.pdf (файл) | |
120 КБ | PodymovVV | опечатки | 3 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
