Список файлов
Эта служебная страница показывает все загруженные файлы.
Дата | Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
---|---|---|---|---|---|---|
22:45, 24 сентября 2023 | MLLP VP 22.pdf (файл) | 184 КБ | PodymovVV | 2023-2024. без существенных изменений | 3 | |
22:45, 24 сентября 2023 | MLLP VP 21.pdf (файл) | 120 КБ | PodymovVV | 2023-2024. теперь тут монотонность и транзитивность логического следования | 3 | |
22:44, 24 сентября 2023 | MLLP VP 20.pdf (файл) | 272 КБ | PodymovVV | 2023-2024. теперь тут алгоритм унификации | 3 | |
22:43, 24 сентября 2023 | MLLP VP 18.pdf (файл) | 151 КБ | PodymovVV | 2023-2024. теперь тут системы дизъюнктов | 3 | |
22:43, 24 сентября 2023 | MLLP VP 17.pdf (файл) | 176 КБ | PodymovVV | 2023-2024. теперь тут ссф | 4 | |
14:10, 21 сентября 2023 | Verif VP sem02.pdf (файл) | 165 КБ | PodymovVV | 2023-2024. ничего нового | 3 | |
14:06, 21 сентября 2023 | Verif VP 10.pdf (файл) | 104 КБ | PodymovVV | уточнение | 7 | |
19:10, 18 сентября 2023 | MLLP VP 12.pdf (файл) | 188 КБ | PodymovVV | опечатки | 4 | |
19:10, 18 сентября 2023 | MLLP VP 11.pdf (файл) | 191 КБ | PodymovVV | опечатки | 4 | |
19:10, 18 сентября 2023 | MLLP VP 08.pdf (файл) | 149 КБ | PodymovVV | ошибка в определении таблицы (не сверхкритичная, но влияет на экстремальный случай в теоремах про произвольные таблицы) | 5 | |
19:03, 18 сентября 2023 | Verif VP 09.pdf (файл) | 347 КБ | PodymovVV | опечатки | 8 | |
18:48, 16 сентября 2023 | HDL VP 10.pdf (файл) | 135 КБ | PodymovVV | мелкие технические шероховатости | 2 | |
18:47, 16 сентября 2023 | HDL VP 03.pdf (файл) | 341 КБ | PodymovVV | опечатки | 2 | |
11:53, 16 сентября 2023 | MLLP VP 14.pdf (файл) | 177 КБ | PodymovVV | 2023-2024. теперь тут общая схема метода резолюций | 3 | |
11:52, 16 сентября 2023 | MLLP VP 13.pdf (файл) | 214 КБ | PodymovVV | 2023-2024. теперь тут левенгейм-сколем, мальцев и автоматизация доказательств | 4 | |
11:44, 16 сентября 2023 | Verif VP 08.pdf (файл) | 267 КБ | PodymovVV | 2023-2024. Теперь тут модели Крипке | 5 | |
11:15, 16 сентября 2023 | MLLP VP 06.pdf (файл) | 208 КБ | PodymovVV | опечатки, уточнения | 5 | |
22:38, 11 сентября 2023 | HDL VP s01.pdf (файл) | 126 КБ | PodymovVV | Языки описания схем, 2023-2024. Практика: комб и послед схемы | 1 | |
22:34, 11 сентября 2023 | HDL VP 09.pdf (файл) | 94 КБ | PodymovVV | Языки описания схем, 2023-2024. Послед схемы | 1 | |
22:33, 11 сентября 2023 | HDL VP 08.pdf (файл) | 153 КБ | PodymovVV | Языки описания схем, 2023-2024. Ещё о триггерах | 1 | |
22:33, 11 сентября 2023 | HDL VP 07.pdf (файл) | 80 КБ | PodymovVV | Языки описания схем, 2023-2024. Терминология для сигналов | 1 | |
22:32, 11 сентября 2023 | HDL VP 06.pdf (файл) | 138 КБ | PodymovVV | Языки описания схем, 2023-2024. Комб схемы с обр связью, основные триггеры | 2 | |
22:32, 11 сентября 2023 | HDL VP 05.pdf (файл) | 102 КБ | PodymovVV | Языки описания схем, 2023-2024. СФЭЗ | 1 | |
22:31, 11 сентября 2023 | HDL VP 04.pdf (файл) | 156 КБ | PodymovVV | Языки описания схем, 2023-2024. Лог вентили и комб схемы | 1 | |
16:31, 11 сентября 2023 | Verif VP 03.pdf (файл) | 187 КБ | PodymovVV | опечатки | 5 | |
17:49, 10 сентября 2023 | MLLP VP 10.pdf (файл) | 160 КБ | PodymovVV | 2023-2024. Теперь здесь про табличный вывод | 3 | |
17:49, 10 сентября 2023 | MLLP VP 09.pdf (файл) | 167 КБ | PodymovVV | 2023-2024. Теперь здесь про подстановки | 3 | |
17:48, 10 сентября 2023 | MLLP VP 07.pdf (файл) | 125 КБ | PodymovVV | 2023-2024. Без существенных изменений | 3 | |
17:46, 10 сентября 2023 | MLLP VP 05.pdf (файл) | 85 КБ | PodymovVV | 2023-2024. Без существенных изменений | 3 | |
17:44, 10 сентября 2023 | MLLP VP 04.pdf (файл) | 171 КБ | PodymovVV | опечатки | 4 | |
17:44, 10 сентября 2023 | MLLP VP 03.pdf (файл) | 291 КБ | PodymovVV | Опечатки, уточнения | 4 | |
17:38, 10 сентября 2023 | Verif VP sem01.pdf (файл) | 161 КБ | PodymovVV | 2023-2024. Без существенных изменений | 4 | |
17:35, 10 сентября 2023 | Verif VP 07.pdf (файл) | 70 КБ | PodymovVV | 2023-2024. Теперь тут общая схема метода модел чекин | 6 | |
17:35, 10 сентября 2023 | Verif VP 06.pdf (файл) | 140 КБ | PodymovVV | 2023-2024. Теперь тут про возможности автоматизации дедуктивного анализа программ и про слабейшее предусловие | 3 | |
17:34, 10 сентября 2023 | Verif VP 05.pdf (файл) | 215 КБ | PodymovVV | 2023-2024. Теперь тут про аннотированные программы | 4 | |
17:34, 10 сентября 2023 | Verif VP 04.pdf (файл) | 200 КБ | PodymovVV | 2023-2024. Теперь тут про дедуктивную верификацию программ в целом и про логику Хоара | 5 | |
17:31, 10 сентября 2023 | Verif VP 02.pdf (файл) | 206 КБ | PodymovVV | опечатки | 6 | |
14:31, 5 сентября 2023 | HDL VP 02.pdf (файл) | 177 КБ | PodymovVV | Языки описания схем, блок 2. Напоминания: БФ, СФЭ | 1 | |
14:31, 5 сентября 2023 | HDL VP 01.pdf (файл) | 132 КБ | PodymovVV | Языки описания схем, блок 1 (оргвопросы) | 1 | |
16:49, 3 сентября 2023 | Verif VP 01.pdf (файл) | 188 КБ | PodymovVV | 2023/2024, без сверхсущественных изменений | 4 | |
16:40, 3 сентября 2023 | MLLP VP 02.pdf (файл) | 167 КБ | PodymovVV | 2023/2024, без существенных изменений | 3 | |
16:39, 3 сентября 2023 | MLLP VP 01.pdf (файл) | 172 КБ | PodymovVV | 2023/2024, без существенных изменений | 3 | |
18:54, 8 мая 2023 | Mathlog 318 b53.pdf (файл) | 192 КБ | PodymovVV | Математическая логика для 318, блок 53. Алгоритм model checking для ctl | 1 | |
18:54, 8 мая 2023 | Mathlog 318 b52.pdf (файл) | 153 КБ | PodymovVV | Математическая логика для 318, блок 52. Темпоральные формулы как спецификации | 1 | |
18:53, 8 мая 2023 | Mathlog 318 b51.pdf (файл) | 116 КБ | PodymovVV | Математическая логика для 318, блок 51. Системы переходов | 1 | |
18:53, 8 мая 2023 | Mathlog 318 b50.pdf (файл) | 133 КБ | PodymovVV | Математическая логика для 318, блок 50. Верификация распределённых систем. Вступление про model checking | 1 | |
18:51, 8 мая 2023 | Mathlog 318 b49.pdf (файл) | 254 КБ | PodymovVV | перекинул один слайд в 48 | 2 | |
11:44, 2 мая 2023 | DAS VP 43.pdf (файл) | 131 КБ | PodymovVV | Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 43. Paxos | 1 | |
11:44, 2 мая 2023 | DAS VP 42.pdf (файл) | 88 КБ | PodymovVV | Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 42. Задача консенсуса | 1 | |
11:42, 2 мая 2023 | DAS VP 41.pdf (файл) | 77 КБ | PodymovVV | Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 41. Отказоустойчивость, неисправности, принятие решения | 1 |
Первая страница |
Предыдущая страница |
Следующая страница |
Последняя страница |