Вклад участника
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)
- 18:07, 7 ноября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 40.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 40.pdf»)
- 22:24, 5 ноября 2022 (разн. | история) . . (-82) . . Математические методы верификации схем и программ
- 22:23, 5 ноября 2022 (разн. | история) . . (+71) . . Н Файл:Verif VP Prac Nusmv.pdf (Методы верификации (618, 621). Задачи по NuSMV)
- 22:00, 5 ноября 2022 (разн. | история) . . (+87) . . Математические методы верификации схем и программ
- 21:59, 5 ноября 2022 (разн. | история) . . (+78) . . Н Файл:Verif VP Review Nusmv.pdf (Методы верификации (618, 621). Блок О2. Обзор NuSMV)
- 18:22, 5 ноября 2022 (разн. | история) . . (+801) . . Математическая логика и логическое программирование (3-й поток)
- 18:19, 5 ноября 2022 (разн. | история) . . (+188) . . Н Файл:MLLP VP 45.pdf (Мат. лог. и лог. прог., 3 поток. Блок 45. Логические программы: управление вычислениями, оператор отсечения)
- 18:18, 5 ноября 2022 (разн. | история) . . (+143) . . Н Файл:MLLP VP 44.pdf (Мат. лог. и лог. прог., 3 поток. Блок 44. Логические программы: стековые вычисления)
- 18:18, 5 ноября 2022 (разн. | история) . . (+163) . . Н Файл:MLLP VP 43.pdf (Мат. лог. и лог. прог., 3 поток. Блок 43. Логические программы: встроенные предикаты и функции)
- 18:17, 5 ноября 2022 (разн. | история) . . (+90) . . Н Файл:MLLP VP 42.pdf (Мат. лог. и лог. прог., 3 поток. Блок 42. Теорема Чёрча)
- 18:17, 5 ноября 2022 (разн. | история) . . (+167) . . Н Файл:MLLP VP 41.pdf (Мат. лог. и лог. прог., 3 поток. Блок 41. Задачи и проблемы, алгоритмы, разрешимость, m-сводимость)
- 18:16, 5 ноября 2022 (разн. | история) . . (+165) . . Н Файл:MLLP VP 40.pdf (Мат. лог. и лог. прог., 3 поток. Блок 40. Моделирование машин Тьюринга логическими программами)
- 21:44, 2 ноября 2022 (разн. | история) . . (+606) . . Математическая логика и логическое программирование (3-й поток)
- 21:35, 2 ноября 2022 (разн. | история) . . (+101) . . Н Файл:MLLP VP lections colloq.pdf (Мат. лог. и лог. прог., 3 поток. Все лекции для коллоквиума)
- 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. ХЛП: переключательная лемма, сильная полнота операционной семантики, стандартное правило выбора подц…)
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)