Список файлов
Эта служебная страница показывает все загруженные файлы.
| Дата | Имя файла | Миниатюра |  Размер |
Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 22:45, 24 сентября 2023 | MLLP VP 21.pdf (файл) |  |
120 КБ | PodymovVV | 2023-2024. теперь тут монотонность и транзитивность логического следования | 3 |
| 15:26, 10 марта 2024 | Mathlog 318 b21.pdf (файл) | |
121 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 6 |
| 15:51, 4 октября 2023 | HDL VP 18.pdf (файл) | |
121 КБ | PodymovVV | опечатки | 2 |
| 12:24, 9 марта 2023 | MMSC VP 07.pdf (файл) | |
122 КБ | PodymovVV | исправлены опечатки | 2 |
| 13:04, 7 ноября 2023 | HDL VP 30.pdf (файл) | |
122 КБ | PodymovVV | поправлен (улучшен) рисунок | 2 |
| 18:00, 7 апреля 2024 | DA VP 31.pdf (файл) | |
122 КБ | PodymovVV | опечатки (receive) | 2 |
| 12:20, 30 марта 2023 | MMSC VP 16.pdf (файл) | |
123 КБ | PodymovVV | опечатки | 2 |
| 13:49, 10 октября 2023 | HDL VP 20.pdf (файл) | |
123 КБ | PodymovVV | Языки описания схем 2023-2024. Как устроена симуляция в верилоге | 1 |
| 20:19, 13 мая 2024 | DA VP 39.pdf (файл) | |
123 КБ | PodymovVV | опечатки | 2 |
| 19:25, 14 марта 2023 | DAS VP 19.pdf (файл) | |
123 КБ | PodymovVV | опечатки | 2 |
| 17:25, 26 ноября 2023 | Verif VP 31.pdf (файл) | |
124 КБ | PodymovVV | 2023-2024. теперь здесь про неправдоподобные вычисления временных автоматов | 3 |
| 20:27, 7 ноября 2023 | HDL VP 29.pdf (файл) | |
125 КБ | PodymovVV | опечатки | 2 |
| 17:48, 10 сентября 2023 | MLLP VP 07.pdf (файл) | |
125 КБ | PodymovVV | 2023-2024. Без существенных изменений | 3 |
| 15:17, 20 февраля 2024 | Mathlog 318 b7.pdf (файл) | |
125 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 6 |
| 11:00, 17 декабря 2020 | Hdl lecture aux 03.pdf (файл) | |
125 КБ | PodymovVV | 2020. суть та же, форма немного другая | 2 |
| 22:38, 11 сентября 2023 | HDL VP s01.pdf (файл) | |
126 КБ | PodymovVV | Языки описания схем, 2023-2024. Практика: комб и послед схемы | 1 |
| 13:05, 8 апреля 2024 | DA VP S08.pdf (файл) | |
126 КБ | PodymovVV | распределённые алгоритмы, весна 2023-2024, семинар 8 | 1 |
| 18:53, 25 апреля 2023 | DAS VP 39.pdf (файл) | |
127 КБ | PodymovVV | опечатка | 2 |
| 18:51, 25 апреля 2023 | DAS VP 38.pdf (файл) | |
127 КБ | PodymovVV | была ошибка в обосновании корректности | 2 |
| 16:12, 15 октября 2023 | MLLP VP 29.pdf (файл) | |
127 КБ | PodymovVV | 2023-2024, без существенных изменений | 3 |
| 10:03, 11 декабря 2023 | Verif VP 39.pdf (файл) | |
128 КБ | PodymovVV | методы верификации программ, 2023-2024. блок 39. sat | 1 |
| 16:29, 17 октября 2023 | MLLP VP 32.pdf (файл) | |
130 КБ | PodymovVV | опечатки | 4 |
| 10:23, 2 октября 2023 | Verif VP 16.pdf (файл) | |
130 КБ | PodymovVV | 2023-2024. теперь пересечение автоматов бюхи | 3 |
| 23:28, 5 ноября 2023 | Verif VP 13.pdf (файл) | |
130 КБ | PodymovVV | опечатки | 5 |
| 20:30, 3 декабря 2023 | MLLP VP 55.pdf (файл) | |
130 КБ | PodymovVV | русифицировал главный термин | 3 |
| 11:30, 28 ноября 2023 | Verif VP 29.pdf (файл) | |
131 КБ | PodymovVV | опечатки | 4 |
| 11:44, 2 мая 2023 | DAS VP 43.pdf (файл) | |
131 КБ | PodymovVV | Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 43. Paxos | 1 |
| 20:20, 13 мая 2024 | DA VP 43.pdf (файл) | |
131 КБ | PodymovVV | опечатки | 2 |
| 10:26, 2 марта 2023 | MMSC VP 05.pdf (файл) | |
132 КБ | PodymovVV | Немножко добавлено | 2 |
| 14:31, 5 сентября 2023 | HDL VP 01.pdf (файл) | |
132 КБ | PodymovVV | Языки описания схем, блок 1 (оргвопросы) | 1 |
| 18:53, 8 мая 2023 | Mathlog 318 b50.pdf (файл) | |
133 КБ | PodymovVV | Математическая логика для 318, блок 50. Верификация распределённых систем. Вступление про model checking | 1 |
| 18:10, 2 апреля 2024 | Mathlog 318 b34.pdf (файл) | |
135 КБ | PodymovVV | опечатка | 6 |
| 20:10, 1 ноября 2023 | MLLP VP 41.pdf (файл) | |
135 КБ | PodymovVV | опечатки | 3 |
| 18:48, 16 сентября 2023 | HDL VP 10.pdf (файл) | |
135 КБ | PodymovVV | мелкие технические шероховатости | 2 |
| 15:46, 11 октября 2023 | Verif VP 19.pdf (файл) | |
136 КБ | PodymovVV | опечатки | 4 |
| 14:51, 25 марта 2024 | Mathlog 318 b29.pdf (файл) | |
136 КБ | PodymovVV | опечатки | 5 |
| 11:41, 2 ноября 2023 | MLLP VP 44.pdf (файл) | |
138 КБ | PodymovVV | 2023-2024, без существенных изменений | 2 |
| 18:50, 4 апреля 2023 | DAS VP 30.pdf (файл) | |
138 КБ | PodymovVV | опечатки | 2 |
| 11:25, 2 апреля 2024 | Mathlog 318 b33.pdf (файл) | |
138 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 5 |
| 17:59, 7 апреля 2024 | DA VP 25.pdf (файл) | |
138 КБ | PodymovVV | опечатки (receive) | 2 |
| 22:32, 11 сентября 2023 | HDL VP 06.pdf (файл) | |
138 КБ | PodymovVV | Языки описания схем, 2023-2024. Комб схемы с обр связью, основные триггеры | 2 |
| 13:48, 10 октября 2023 | HDL VP 12.pdf (файл) | |
138 КБ | PodymovVV | небольшое уточнение терминологии | 4 |
| 12:32, 2 марта 2023 | MMSC VP 03.pdf (файл) | |
139 КБ | PodymovVV | Исправлена ошибка в последнем примере | 4 |
| 19:10, 17 марта 2023 | DAS VP 20.pdf (файл) | |
139 КБ | PodymovVV | и ещё опечатка | 3 |
| 18:58, 2 апреля 2024 | DA VP 30.pdf (файл) | |
139 КБ | PodymovVV | опечатки | 2 |
| 19:22, 10 марта 2024 | DA VP S04.pdf (файл) | |
139 КБ | PodymovVV | распределённые алгоритмы, семинар 4 | 1 |
| 13:25, 4 апреля 2022 | Mathlog 318 seminar natural inference.pdf (файл) | |
139 КБ | PodymovVV | Расширил список задач, теперь оно на два семинара. | 6 |
| 11:44, 24 октября 2023 | HDL VP s03.pdf (файл) | |
140 КБ | PodymovVV | опечатка | 2 |
| 12:25, 9 марта 2023 | MMSC VP 09.pdf (файл) | |
140 КБ | PodymovVV | ой, залил битый файл. поправил | 3 |
| 17:35, 10 сентября 2023 | Verif VP 06.pdf (файл) | |
140 КБ | PodymovVV | 2023-2024. Теперь тут про возможности автоматизации дедуктивного анализа программ и про слабейшее предусловие | 3 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
