Вклад участника

(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)

• 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»)
• 12:33, 16 октября 2022 (разн. | история) . . (0)‎ . . Файл:Verif VP 14.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 14.pdf»)
• 12:32, 16 октября 2022 (разн. | история) . . (0)‎ . . Файл:Verif VP 13.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 13.pdf»)
• 12:32, 16 октября 2022 (разн. | история) . . (0)‎ . . Файл:Verif VP 12.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 12.pdf»)
• 12:32, 16 октября 2022 (разн. | история) . . (0)‎ . . Файл:Verif VP 11.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 11.pdf»)
• 12:32, 16 октября 2022 (разн. | история) . . (0)‎ . . Файл:Verif VP 10.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 10.pdf»)
• 12:32, 16 октября 2022 (разн. | история) . . (0)‎ . . Файл:Verif VP 09.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 09.pdf»)
• 12:32, 16 октября 2022 (разн. | история) . . (0)‎ . . Файл:Verif VP 08.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 08.pdf»)
• 12:32, 16 октября 2022 (разн. | история) . . (0)‎ . . Файл:Verif VP 07.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 07.pdf»)
• 12:31, 16 октября 2022 (разн. | история) . . (0)‎ . . Файл:Verif VP 06.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 06.pdf»)
• 12:31, 16 октября 2022 (разн. | история) . . (0)‎ . . Файл:Verif VP 05.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 05.pdf»)
• 12:31, 16 октября 2022 (разн. | история) . . (0)‎ . . Файл:Verif VP 04.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 04.pdf»)
• 12:31, 16 октября 2022 (разн. | история) . . (0)‎ . . Файл:Verif VP 03.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 03.pdf»)
• 12:31, 16 октября 2022 (разн. | история) . . (0)‎ . . Файл:Verif VP 02.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 02.pdf»)
• 12:31, 16 октября 2022 (разн. | история) . . (0)‎ . . Файл:Verif VP 01.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP 01.pdf»)
• 11:43, 14 октября 2022 (разн. | история) . . (0)‎ . . Файл:Verif VP Review Spin.pdf ‎ (PodymovVV загружена новая версия «Файл:Verif VP Review Spin.pdf»)
• 14:31, 13 октября 2022 (разн. | история) . . (0)‎ . . Файл:MLLP VP 25.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 25.pdf»)
• 14:31, 13 октября 2022 (разн. | история) . . (0)‎ . . Файл:MLLP VP 24.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 24.pdf»)
• 14:31, 13 октября 2022 (разн. | история) . . (0)‎ . . Файл:MLLP VP 23.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 23.pdf»)
• 14:30, 13 октября 2022 (разн. | история) . . (0)‎ . . Файл:MLLP VP 22.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 22.pdf»)
• 14:30, 13 октября 2022 (разн. | история) . . (0)‎ . . Файл:MLLP VP 21.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 21.pdf»)
• 14:30, 13 октября 2022 (разн. | история) . . (0)‎ . . Файл:MLLP VP 20.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 20.pdf»)
• 14:30, 13 октября 2022 (разн. | история) . . (0)‎ . . Файл:MLLP VP 19.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 19.pdf»)
• 14:29, 13 октября 2022 (разн. | история) . . (0)‎ . . Файл:MLLP VP 18.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 18.pdf»)
• 14:29, 13 октября 2022 (разн. | история) . . (0)‎ . . Файл:MLLP VP 17.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 17.pdf»)
• 14:29, 13 октября 2022 (разн. | история) . . (0)‎ . . Файл:MLLP VP 16.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 16.pdf»)
• 14:29, 13 октября 2022 (разн. | история) . . (0)‎ . . Файл:MLLP VP 15.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 15.pdf»)
• 14:29, 13 октября 2022 (разн. | история) . . (0)‎ . . Файл:MLLP VP 14.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 14.pdf»)
• 14:29, 13 октября 2022 (разн. | история) . . (0)‎ . . Файл:MLLP VP 13.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 13.pdf»)
• 14:28, 13 октября 2022 (разн. | история) . . (0)‎ . . Файл:MLLP VP 12.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 12.pdf»)
• 14:28, 13 октября 2022 (разн. | история) . . (0)‎ . . Файл:MLLP VP 11.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 11.pdf»)
• 14:28, 13 октября 2022 (разн. | история) . . (0)‎ . . Файл:MLLP VP 10.pdf ‎ (PodymovVV загружена новая версия «Файл:MLLP VP 10.pdf»)

(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)