Вклад участника
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)
- 07:17, 26 сентября 2022 (разн. | история) . . (+183) . . Н Файл:MLLP VP 11.pdf (Мат. лог. и лог. прог., 3 поток. Блок 11. Метод семантических таблиц в логике предикатов: табличный вывод)
- 07:16, 26 сентября 2022 (разн. | история) . . (+129) . . Н Файл:MLLP VP 10.pdf (Мат. лог. и лог. прог., 3 поток. Блок 10. Подстановки (основные определения))
- 07:15, 26 сентября 2022 (разн. | история) . . (+194) . . Н Файл:MLLP VP 09.pdf (Мат. лог. и лог. прог., 3 поток. Блок 9. Метод семантических таблиц в логике предикатов: семантические таблицы)
- 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, дедуктивная верификация императивных программ)
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)