Вклад участника
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
- 23:24, 1 ноября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 39.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 39.pdf»)
- 17:57, 31 октября 2022 (разн. | история) . . (0) . . Файл:Verif VP 21.pdf (PodymovVV загружена новая версия «Файл:Verif VP 21.pdf»)
- 17:46, 31 октября 2022 (разн. | история) . . (+824) . . Математическая логика и логическое программирование (3-й поток)
- 17:44, 31 октября 2022 (разн. | история) . . (+94) . . Н Файл:MLLP VP 39.pdf (Мат. лог. и лог. прог., 3 поток. Блок 39. Машины Тьюринга)
- 17:43, 31 октября 2022 (разн. | история) . . (+192) . . Н Файл:MLLP VP 38.pdf (Мат. лог. и лог. прог., 3 поток. Блок 38. ХЛП: деревья вычислений, стратегии вычисления, стандартная стратегия)
- 17:40, 31 октября 2022 (разн. | история) . . (+258) . . Н Файл:MLLP VP 37.pdf (Мат. лог. и лог. прог., 3 поток. Блок 37. ХЛП: переключательная лемма, сильная полнота операционной семантики, стандартное правило выбора подц…)
- 17:40, 31 октября 2022 (разн. | история) . . (+108) . . Н Файл:MLLP VP 36.pdf (Мат. лог. и лог. прог., 3 поток. Блок 36. ХЛП, сравнение семантик)
- 14:40, 31 октября 2022 (разн. | история) . . (+194) . . Математические методы верификации схем и программ
- 14:39, 31 октября 2022 (разн. | история) . . (+197) . . Н Файл:Verif VP 21.pdf (Методы верификации (618, 621). Блок 21. Символьный алгоритм для CTL, преобразователи предикатов, неподвижные точки)
- 13:34, 27 октября 2022 (разн. | история) . . (+50) . . Спецсеминары
- 16:56, 26 октября 2022 (разн. | история) . . (-23) . . Математические методы верификации схем и программ
- 16:53, 26 октября 2022 (разн. | история) . . (+123) . . Н Файл:Verif VP sem03.pdf (Методы верификации (618, 621). Семинар 3. CTL, базовый алгоритм model checking, BDD.)
- 15:13, 25 октября 2022 (разн. | история) . . (0) . . Файл:Verif VP 20.pdf (PodymovVV загружена новая версия «Файл:Verif VP 20.pdf»)
- 15:13, 25 октября 2022 (разн. | история) . . (0) . . Файл:Verif VP 19.pdf (PodymovVV загружена новая версия «Файл:Verif VP 19.pdf»)
- 14:22, 25 октября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 35.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 35.pdf»)
- 14:21, 25 октября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 33.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 33.pdf»)
- 14:21, 25 октября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 32.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 32.pdf»)
- 14:20, 25 октября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 31.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 31.pdf»)
- 13:04, 24 октября 2022 (разн. | история) . . (+218) . . Математические методы верификации схем и программ
- 13:04, 24 октября 2022 (разн. | история) . . (+64) . . Н Файл:Verif VP 20.pdf (Методы верификации (618, 621). Блок 20. BDD)
- 13:03, 24 октября 2022 (разн. | история) . . (+123) . . Н Файл:Verif VP 19.pdf (Методы верификации (618, 621). Блок 19. Символьные представления моделей)
- 17:38, 23 октября 2022 (разн. | история) . . (+891) . . Математическая логика и логическое программирование (3-й поток)
- 17:35, 23 октября 2022 (разн. | история) . . (+131) . . Н Файл:MLLP VP 35.pdf (Мат. лог. и лог. прог., 3 поток. Блок 35. ХЛП: полнота операционной семантики)
- 17:34, 23 октября 2022 (разн. | история) . . (+141) . . Н Файл:MLLP VP 34.pdf (Мат. лог. и лог. прог., 3 поток. Блок 34. ХЛП: корректность операционной семантики)
- 17:34, 23 октября 2022 (разн. | история) . . (+155) . . Н Файл:MLLP VP 33.pdf (Мат. лог. и лог. прог., 3 поток. Блок 33. ХЛП: операционная семантика, SLD-вычислимые ответы)
- 17:33, 23 октября 2022 (разн. | история) . . (+85) . . Н Файл:MLLP VP 32.pdf (Мат. лог. и лог. прог., 3 поток. Блок 32. ХЛП: списки)
- 17:32, 23 октября 2022 (разн. | история) . . (+173) . . Н Файл:MLLP VP 31.pdf (Мат. лог. и лог. прог., 3 поток. Блок 31. ХЛП: синтаксис, декларативная семантика, правильные ответы)
- 17:29, 17 октября 2022 (разн. | история) . . (0) . . Файл:Verif VP 18.pdf (PodymovVV загружена новая версия «Файл:Verif VP 18.pdf»)
- 17:28, 17 октября 2022 (разн. | история) . . (0) . . Файл:Verif VP 17.pdf (PodymovVV загружена новая версия «Файл:Verif VP 17.pdf»)
- 17:28, 17 октября 2022 (разн. | история) . . (0) . . Файл:Verif VP 16.pdf (PodymovVV загружена новая версия «Файл:Verif VP 16.pdf»)
- 17:23, 17 октября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 30.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 30.pdf»)
- 17:23, 17 октября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 29.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 29.pdf»)
- 09:57, 17 октября 2022 (разн. | история) . . (+392) . . Математические методы верификации схем и программ
- 09:56, 17 октября 2022 (разн. | история) . . (+96) . . Н Файл:Verif VP 18.pdf (Методы верификации (618, 621). Блок 18. Справедливость и CTL)
- 09:55, 17 октября 2022 (разн. | история) . . (+118) . . Н Файл:Verif VP 17.pdf (Методы верификации (618, 621). Блок 17. Базовый алгоритм model checking для CTL)
- 09:55, 17 октября 2022 (разн. | история) . . (+231) . . Н Файл:Verif VP 16.pdf (Методы верификации (618, 621). Блок 16. Логика деревьев вычислений (CTL). Постановка заачи верификации моделей Крипке относительно CTL.)
- 00:19, 17 октября 2022 (разн. | история) . . (+45) . . м Математическая логика и логическое программирование (3-й поток)
- 00:18, 17 октября 2022 (разн. | история) . . (+596) . . Математическая логика и логическое программирование (3-й поток)
- 00:16, 17 октября 2022 (разн. | история) . . (+148) . . Н Файл:MLLP VP 30.pdf (Мат. лог. и лог. прог., 3 поток. Блок 30. Вычислительные возможности метода резолюций)
- 00:16, 17 октября 2022 (разн. | история) . . (+39) . . Н Файл:MLLP VP 29.pdf (Хорновские дизъюнкты)
- 00:15, 17 октября 2022 (разн. | история) . . (+147) . . Н Файл:MLLP VP 28.pdf (Мат. лог. и лог. прог., 3 поток. Блок 28. Даша, Саша, Паша, пиво и методы сем таб и резол)
- 00:15, 17 октября 2022 (разн. | история) . . (+123) . . Н Файл:MLLP VP 27.pdf (Мат. лог. и лог. прог., 3 поток. Блок 27. Стратегии резолютивного вывода)
- 00:14, 17 октября 2022 (разн. | история) . . (+142) . . Н Файл:MLLP VP 26.pdf (Мат. лог. и лог. прог., 3 поток. Блок 26. Иллюстрация полноты резолютивного вывода)
- 21:40, 16 октября 2022 (разн. | история) . . (0) . . Файл:Verif VP 10.pdf (PodymovVV загружена новая версия «Файл:Verif VP 10.pdf»)
- 16:23, 16 октября 2022 (разн. | история) . . (0) . . Файл:Verif VP 09.pdf (PodymovVV загружена новая версия «Файл:Verif VP 09.pdf»)
- 12:34, 16 октября 2022 (разн. | история) . . (0) . . Файл:Verif VP Prac Spin.pdf (PodymovVV загружена новая версия «Файл:Verif VP Prac Spin.pdf»)
- 12:33, 16 октября 2022 (разн. | история) . . (0) . . Файл:Verif VP Review Spin.pdf (PodymovVV загружена новая версия «Файл:Verif VP Review Spin.pdf»)
- 12:33, 16 октября 2022 (разн. | история) . . (0) . . Файл:Verif VP sem02.pdf (PodymovVV загружена новая версия «Файл:Verif VP sem02.pdf»)
- 12:33, 16 октября 2022 (разн. | история) . . (0) . . Файл:Verif VP sem01.pdf (PodymovVV загружена новая версия «Файл:Verif VP sem01.pdf»)
- 12:33, 16 октября 2022 (разн. | история) . . (0) . . Файл:Verif VP 15.pdf (PodymovVV загружена новая версия «Файл:Verif VP 15.pdf»)
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)