Вклад участника
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)
- 12:31, 6 февраля 2023 (разн. | история) . . (-24 542) . . Математическая логика (318, 319/2, 241, 242)
- 10:50, 18 января 2023 (разн. | история) . . (+118) . . Математические методы верификации схем и программ
- 11:38, 11 января 2023 (разн. | история) . . (+125) . . Математическая логика и логическое программирование (3-й поток)
- 12:17, 29 декабря 2022 (разн. | история) . . (0) . . Файл:MLLP VP 49.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 49.pdf»)
- 17:22, 21 декабря 2022 (разн. | история) . . (+130) . . Математические методы верификации схем и программ
- 17:22, 21 декабря 2022 (разн. | история) . . (+163) . . Н Файл:Verif VP all.pdf (ММ верификации СиП, 618 и 621, все лекции 2022 для экзамена в одном файле (кроме обзоров Spin и NuSMV))
- 17:04, 21 декабря 2022 (разн. | история) . . (-385) . . Математическая логика и логическое программирование (3-й поток)
- 17:02, 21 декабря 2022 (разн. | история) . . (+114) . . Н Файл:MLLP VP all.pdf (Мат. лог. и лог. прог., 3 поток, все слайды лекций 2022 в одном файле)
- 22:00, 12 декабря 2022 (разн. | история) . . (0) . . Файл:Verif VP 32.pdf (PodymovVV загружена новая версия «Файл:Verif VP 32.pdf»)
- 21:59, 12 декабря 2022 (разн. | история) . . (0) . . Файл:Verif VP 31.pdf (PodymovVV загружена новая версия «Файл:Verif VP 31.pdf»)
- 21:59, 12 декабря 2022 (разн. | история) . . (0) . . Файл:Verif VP 30.pdf (PodymovVV загружена новая версия «Файл:Verif VP 30.pdf»)
- 21:58, 12 декабря 2022 (разн. | история) . . (0) . . Файл:MLLP VP 58.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 58.pdf»)
- 21:58, 12 декабря 2022 (разн. | история) . . (0) . . Файл:MLLP VP 57.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 57.pdf»)
- 23:07, 11 декабря 2022 (разн. | история) . . (+309) . . Математические методы верификации схем и программ
- 23:05, 11 декабря 2022 (разн. | история) . . (+136) . . Н Файл:Verif VP 31.pdf (Методы верификации (618, 621). Блок 31. Проблема выполнимости булевых формул (SAT))
- 23:04, 11 декабря 2022 (разн. | история) . . (+124) . . Н Файл:Verif VP 30.pdf (Методы верификации (618, 621). Блок 30. Bounded model checking (BMC), постановка задачи)
- 17:26, 10 декабря 2022 (разн. | история) . . (+84) . . Математическая логика и логическое программирование (3-й поток)
- 17:25, 10 декабря 2022 (разн. | история) . . (+107) . . Н Файл:MLLP VP 58.pdf (Мат. лог. и лог. прог., 3 поток. Блок 56. Алгоритм model checking для CTL)
- 15:26, 8 декабря 2022 (разн. | история) . . (+1021) . . Шаблон:Important Announcements (→Объявления)
- 15:30, 7 декабря 2022 (разн. | история) . . (+584) . . Математические методы верификации схем и программ
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)