Вклад участника
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
- 21:18, 25 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP sem01.pdf (PodymovVV загружена новая версия «Файл:Verif VP sem01.pdf»)
- 21:17, 25 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 07.pdf (PodymovVV загружена новая версия «Файл:Verif VP 07.pdf»)
- 21:17, 25 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 05.pdf (PodymovVV загружена новая версия «Файл:Verif VP 05.pdf»)
- 21:16, 25 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 04.pdf (PodymovVV загружена новая версия «Файл:Verif VP 04.pdf»)
- 21:16, 25 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 03.pdf (PodymovVV загружена новая версия «Файл:Verif VP 03.pdf»)
- 21:16, 25 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 02.pdf (PodymovVV загружена новая версия «Файл:Verif VP 02.pdf»)
- 19:57, 19 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 07.pdf (PodymovVV загружена новая версия «Файл:Verif VP 07.pdf»)
- 19:53, 19 сентября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 06.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 06.pdf»)
- 09:56, 19 сентября 2022 (разн. | история) . . (+202) . . Математические методы верификации схем и программ
- 09:54, 19 сентября 2022 (разн. | история) . . (+151) . . Н Файл:Verif VP 07.pdf (Методы верификации (618, 621). Блок 7, модели Крипке и особенности моделирования систем)
- 09:53, 19 сентября 2022 (разн. | история) . . (+96) . . Н Файл:Verif VP 06.pdf (Методы верификации (618, 621). Блок 6, общая схема model checking)
- 01:07, 19 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 04.pdf (PodymovVV загружена новая версия «Файл:Verif VP 04.pdf»)
- 19:46, 17 сентября 2022 (разн. | история) . . (+2) . . м Математическая логика и логическое программирование (3-й поток)
- 19:45, 17 сентября 2022 (разн. | история) . . (+130) . . Математическая логика и логическое программирование (3-й поток)
- 19:44, 17 сентября 2022 (разн. | история) . . (+155) . . Н Файл:MLLP VP 08.pdf (Мат. лог. и лог. прог., 3 поток. Блок 8. Метод семантических таблиц в логике высказываний)
- 11:50, 12 сентября 2022 (разн. | история) . . (+1331) . . Математические методы верификации схем и программ
- 11:38, 12 сентября 2022 (разн. | история) . . (+153) . . Н Файл:Verif VP sem01.pdf (Методы верификации (618, 621). Семинар 1, дедуктивная верификация императивных программ)
- 11:38, 12 сентября 2022 (разн. | история) . . (+129) . . Н Файл:Verif VP 05.pdf (Методы верификации (618, 621). Блок 5, автоматизация, слабейшее предусловие)
- 11:37, 12 сентября 2022 (разн. | история) . . (+107) . . Н Файл:Verif VP 04.pdf (Методы верификации (618, 621). Блок 4, аннотированные программы)
- 11:36, 12 сентября 2022 (разн. | история) . . (+206) . . Н Файл:Verif VP 03.pdf (Методы верификации (618, 621). Блок 3, постановка задачи дедуктивной верификации императивных программ, логика Хоара)
- 08:04, 12 сентября 2022 (разн. | история) . . (+761) . . Математическая логика и логическое программирование (3-й поток)
- 08:02, 12 сентября 2022 (разн. | история) . . (+190) . . Н Файл:MLLP VP 07.pdf (Мат. лог. и лог. прог., 3 поток. Блок 7, логика предикатов: невозможность проверки общезначимости перебором)
- 08:01, 12 сентября 2022 (разн. | история) . . (+264) . . Н Файл:MLLP VP 06.pdf (Мат. лог. и лог. прог., 3 поток. Блок 6, логика предикатов: выполнимые и общезначимые формулы, модели, логическое следствие, проблема общезнач…)
- 08:00, 12 сентября 2022 (разн. | история) . . (+166) . . Н Файл:MLLP VP 05.pdf (Мат. лог. и лог. прог., 3 поток. Блок 5, логика высказываний: выполнимые и общезначимые формулы)
- 07:59, 12 сентября 2022 (разн. | история) . . (+174) . . Н Файл:MLLP VP 04.pdf (Мат. лог. и лог. прог., 3 поток. Блок 4, логика предикатов (пример формализации на языке предикатов))
- 11:42, 7 сентября 2022 (разн. | история) . . (0) . . м Языки описания схем
- 20:11, 5 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 02.pdf (PodymovVV загружена новая версия «Файл:Verif VP 02.pdf»)
- 20:10, 5 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 01.pdf (PodymovVV загружена новая версия «Файл:Verif VP 01.pdf»)
- 13:23, 5 сентября 2022 (разн. | история) . . (+414) . . Математические методы верификации схем и программ
- 13:21, 5 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 01.pdf (PodymovVV загружена новая версия «Файл:Verif VP 01.pdf»)
- 13:18, 5 сентября 2022 (разн. | история) . . (+161) . . Н Файл:Verif VP 02.pdf (Методы верификации (618, 621). Блок 2, синтаксис и семантика модельных императивных программ)
- 13:18, 5 сентября 2022 (разн. | история) . . (+74) . . Н Файл:Verif VP 01.pdf (Методы верификации (618, 621). Блок 1, вводный)
- 10:35, 5 сентября 2022 (разн. | история) . . (+437) . . Математическая логика и логическое программирование (3-й поток)
- 10:33, 5 сентября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 03.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 03.pdf»)
- 10:33, 5 сентября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 02.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 02.pdf»)
- 10:32, 5 сентября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 01.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 01.pdf»)
- 10:24, 5 сентября 2022 (разн. | история) . . (+138) . . Н Файл:MLLP VP 03.pdf (Мат. лог. и лог. прог., 3 поток. Блок 3, логика предикатов (синтаксис, семантика))
- 10:23, 5 сентября 2022 (разн. | история) . . (+142) . . Н Файл:MLLP VP 02.pdf (Мат. лог. и лог. прог., 3 поток. Блок 2, логика высказываний (синтаксис, семантика))
- 10:22, 5 сентября 2022 (разн. | история) . . (+78) . . Н Файл:MLLP VP 01.pdf (Мат. лог. и лог. прог., 3 поток. Блок 1, вводный)
- 20:36, 3 сентября 2022 (разн. | история) . . (-2018) . . Математические методы верификации схем и программ
- 20:04, 3 сентября 2022 (разн. | история) . . (-9) . . м Математическая логика и логическое программирование (3-й поток)
- 19:57, 3 сентября 2022 (разн. | история) . . (-10 921) . . Математическая логика и логическое программирование (3-й поток)
- 17:00, 16 июня 2022 (разн. | история) . . (+442) . . Математическая логика (318, 319/2, 241, 242)
- 09:49, 17 мая 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b48.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b48.pdf»)
- 19:14, 15 мая 2022 (разн. | история) . . (-8) . . Математическая логика (318, 319/2, 241, 242)
- 19:12, 15 мая 2022 (разн. | история) . . (+149) . . Н Файл:Mathlog 318 b48.pdf (Курс мат.логики для группы 318 и остальных. Блок 48. Проверка моделей относительно CTL)
- 19:11, 15 мая 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b47.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b47.pdf»)
- 19:10, 15 мая 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b46.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b46.pdf»)
- 19:08, 15 мая 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b45.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b45.pdf»)
- 19:07, 15 мая 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b45.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b45.pdf»)
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
