Вклад участника
(новейшие | старейшие) Просмотреть (250 более новые | 250 более старые) (20 | 50 | 100 | 250 | 500)
- 17:24, 28 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 11.pdf (PodymovVV загружена новая версия «Файл:DAS VP 11.pdf») (текущая)
- 17:23, 28 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 10.pdf (PodymovVV загружена новая версия «Файл:DAS VP 10.pdf»)
- 17:13, 28 февраля 2023 (разн. | история) . . (+163) . . Распределенные алгоритмы и системы
- 17:13, 28 февраля 2023 (разн. | история) . . (+229) . . Н Файл:DAS VP 12.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 12. Особенности реализации симметричного протокола раздвижного окна) (текущая)
- 14:20, 28 февраля 2023 (разн. | история) . . (+353) . . Распределенные алгоритмы и системы
- 14:19, 28 февраля 2023 (разн. | история) . . (+210) . . Н Файл:DAS VP 11.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 11. Корректность симметричного протокола раздвижного окна)
- 14:19, 28 февраля 2023 (разн. | история) . . (+275) . . Н Файл:DAS VP 10.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 10. Как обосновывать корректность распределённых алгоритмов. Свойства безопасно…)
- 12:46, 28 февраля 2023 (разн. | история) . . (-505) . . Спецсеминары
- 13:42, 25 февраля 2023 (разн. | история) . . (+789) . . Просеминар для 2-го курса
- 14:08, 24 февраля 2023 (разн. | история) . . (+90) . . Просеминар для 2-го курса
- 12:19, 22 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b10.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b10.pdf»)
- 12:18, 22 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b9.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b9.pdf»)
- 20:40, 21 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 09.pdf (PodymovVV загружена новая версия «Файл:DAS VP 09.pdf»)
- 20:40, 21 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 08.pdf (PodymovVV загружена новая версия «Файл:DAS VP 08.pdf») (текущая)
- 20:39, 21 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 07.pdf (PodymovVV загружена новая версия «Файл:DAS VP 07.pdf») (текущая)
- 20:39, 21 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 06.pdf (PodymovVV загружена новая версия «Файл:DAS VP 06.pdf») (текущая)
- 18:44, 21 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 05.pdf (PodymovVV загружена новая версия «Файл:DAS VP 05.pdf») (текущая)
- 13:39, 21 февраля 2023 (разн. | история) . . (+404) . . Распределенные алгоритмы и системы
- 13:38, 21 февраля 2023 (разн. | история) . . (+180) . . Н Файл:DAS VP 09.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 9: симметричный протокол раздвижного окна)
- 13:37, 21 февраля 2023 (разн. | история) . . (+174) . . Н Файл:DAS VP 08.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 8: дополнительные допущения, сложность)
- 13:37, 21 февраля 2023 (разн. | история) . . (+136) . . Н Файл:DAS VP 07.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 7: логические часы)
- 13:36, 21 февраля 2023 (разн. | история) . . (+178) . . Н Файл:DAS VP 06.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 6: причинно-следственный порядок событий)
- 15:24, 20 февраля 2023 (разн. | история) . . (0) . . Информация для 2 курса (текущая)
- 15:23, 20 февраля 2023 (разн. | история) . . (0) . . Файл:Dusp title.png (PodymovVV загружена новая версия «Файл:Dusp title.png») (текущая)
- 15:22, 20 февраля 2023 (разн. | история) . . (+109) . . Н Файл:DCSA2023.pdf (Презентация магистерской программы ДУСП по состоянию на 2023) (текущая)
- 14:57, 20 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 05.pdf (PodymovVV загружена новая версия «Файл:DAS VP 05.pdf»)
- 14:57, 20 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 04.pdf (PodymovVV загружена новая версия «Файл:DAS VP 04.pdf») (текущая)
- 14:56, 20 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 03.pdf (PodymovVV загружена новая версия «Файл:DAS VP 03.pdf») (текущая)
- 14:56, 20 февраля 2023 (разн. | история) . . (-30) . . м Распределенные алгоритмы и системы
- 14:41, 20 февраля 2023 (разн. | история) . . (-271) . . Математическая логика (318, 319/2, 241, 242)
- 14:38, 20 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b11.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b11.pdf»)
- 14:38, 20 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b10.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b10.pdf»)
- 14:38, 20 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b9.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b9.pdf»)
- 14:36, 20 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b8.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b8.pdf»)
- 19:55, 19 февраля 2023 (разн. | история) . . (-158) . . Элементы теории синтеза, надежности и контроля дискретных управляющих систем
- 11:48, 17 февраля 2023 (разн. | история) . . (0) . . Файл:MMSC VP 04.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 04.pdf») (текущая)
- 11:48, 17 февраля 2023 (разн. | история) . . (0) . . Файл:MMSC VP 03.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 03.pdf»)
- 14:01, 16 февраля 2023 (разн. | история) . . (-8087) . . Просеминар для 2-го курса
- 13:35, 16 февраля 2023 (разн. | история) . . (-964) . . Информация для 2 курса
- 13:08, 16 февраля 2023 (разн. | история) . . (-48) . . Математическая логика (318, 319/2, 241, 242)
- 13:07, 16 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b8.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b8.pdf»)
- 13:07, 16 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b7.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b7.pdf»)
- 13:06, 16 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b6.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b6.pdf»)
- 13:05, 16 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b5.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b5.pdf»)
- 13:03, 16 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b3.pdf»)
- 10:33, 16 февраля 2023 (разн. | история) . . (+331) . . Математические модели последовательных вычислений
- 10:32, 16 февраля 2023 (разн. | история) . . (+192) . . Н Файл:MMSC VP 05.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 5. Задачи, проблемы, алгоритмы, разрешимость)
- 10:29, 16 февраля 2023 (разн. | история) . . (+244) . . Н Файл:MMSC VP 04.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 4. Ограниченность и безопасность сетей Петри. Деревья покрытия разметок)
- 13:06, 14 февраля 2023 (разн. | история) . . (+576) . . Распределенные алгоритмы и системы
- 13:05, 14 февраля 2023 (разн. | история) . . (+196) . . Н Файл:DAS VP 05.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 5: пример надёжной передачи через ненадёжный канал)
- 13:04, 14 февраля 2023 (разн. | история) . . (+135) . . Н Файл:DAS VP 04.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 4: справедливость)
- 13:03, 14 февраля 2023 (разн. | история) . . (+209) . . Н Файл:DAS VP 03.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 3: системы переходов, синхронная и асинхронная композиция)
- 12:44, 10 февраля 2023 (разн. | история) . . (-6) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 20:31, 9 февраля 2023 (разн. | история) . . (+4) . . Математическая логика и логическое программирование (3-й поток)
- 13:13, 9 февраля 2023 (разн. | история) . . (0) . . Файл:MMSC VP 03.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 03.pdf»)
- 13:13, 9 февраля 2023 (разн. | история) . . (0) . . Файл:MMSC VP 02.pdf (PodymovVV загружена новая версия «Файл:MMSC VP 02.pdf»)
- 13:05, 9 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 02.pdf (PodymovVV загружена новая версия «Файл:DAS VP 02.pdf») (текущая)
- 13:05, 9 февраля 2023 (разн. | история) . . (0) . . Файл:DAS VP 01.pdf (PodymovVV загружена новая версия «Файл:DAS VP 01.pdf») (текущая)
- 10:33, 9 февраля 2023 (разн. | история) . . (+350) . . Математические модели последовательных вычислений
- 10:32, 9 февраля 2023 (разн. | история) . . (+193) . . Н Файл:MMSC VP 03.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 3, примеры применения и свойства сетей Петри)
- 10:31, 9 февраля 2023 (разн. | история) . . (+151) . . Н Файл:MMSC VP 02.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 2, база про сети Петри)
- 10:30, 9 февраля 2023 (разн. | история) . . (+136) . . Н Файл:MMSC VP 01.pdf (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 1, оргвопросы) (текущая)
- 03:02, 9 февраля 2023 (разн. | история) . . (-6827) . . Математические модели последовательных вычислений
- 02:59, 9 февраля 2023 (разн. | история) . . (+10) . . м Распределенные алгоритмы и системы
- 13:15, 7 февраля 2023 (разн. | история) . . (+382) . . Распределенные алгоритмы и системы
- 13:12, 7 февраля 2023 (разн. | история) . . (+157) . . Н Файл:DAS VP 02.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 2: содержательное вступление.)
- 13:11, 7 февраля 2023 (разн. | история) . . (+128) . . Н Файл:DAS VP 01.pdf (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 1: оргвопросы.)
- 13:09, 7 февраля 2023 (разн. | история) . . (-2597) . . Распределенные алгоритмы и системы
- 12:35, 6 февраля 2023 (разн. | история) . . (-331) . . Математическая логика (318, 319/2, 241, 242)
- 12:33, 6 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b4.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b4.pdf»)
- 12:33, 6 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b3.pdf»)
- 12:33, 6 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b2.pdf»)
- 12:32, 6 февраля 2023 (разн. | история) . . (0) . . Файл:Mathlog 318 b1.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b1.pdf»)
- 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) . . Математические методы верификации схем и программ
- 15:28, 7 декабря 2022 (разн. | история) . . (+130) . . Н Файл:Verif VP 29.pdf (Методы верификации (618, 621). Блок 29. Редукция по конусу, абстракция данных)
- 15:27, 7 декабря 2022 (разн. | история) . . (+187) . . Н Файл:Verif VP 28.pdf (Методы верификации (618, 621). Блок 28. Бисимуляция состояний. Алгоритм проверки бисимуляции. Фактор-модель)
- 15:26, 7 декабря 2022 (разн. | история) . . (+105) . . Н Файл:Verif VP 27.pdf (Методы верификации (618, 621). Блок 27. Симуляция и бисимуляция)
- 09:55, 7 декабря 2022 (разн. | история) . . (0) . . Файл:MLLP VP 56.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 56.pdf»)
- 09:54, 7 декабря 2022 (разн. | история) . . (0) . . Файл:MLLP VP 54.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 54.pdf»)
- 09:54, 7 декабря 2022 (разн. | история) . . (0) . . Файл:MLLP VP 53.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 53.pdf»)
- 11:48, 4 декабря 2022 (разн. | история) . . (+408) . . Математическая логика и логическое программирование (3-й поток)
- 11:46, 4 декабря 2022 (разн. | история) . . (+134) . . Н Файл:MLLP VP 57.pdf (Мат. лог. и лог. прог., 3 поток. Блок 57. Темпоральные логики для спецификации)
- 11:43, 4 декабря 2022 (разн. | история) . . (+121) . . Н Файл:MLLP VP 56.pdf (Мат. лог. и лог. прог., 3 поток. Блок 56. Размеченные системы переходов)
- 11:42, 4 декабря 2022 (разн. | история) . . (+129) . . Н Файл:MLLP VP 55.pdf (Мат. лог. и лог. прог., 3 поток. Блок 55. Верификация распределённых систем)
- 14:18, 29 ноября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 54.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 54.pdf»)
- 14:18, 29 ноября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 53.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 53.pdf»)
- 17:15, 28 ноября 2022 (разн. | история) . . (0) . . Файл:Verif VP Prac Uppaal.pdf (PodymovVV загружена новая версия «Файл:Verif VP Prac Uppaal.pdf»)
- 20:11, 26 ноября 2022 (разн. | история) . . (-2) . . Математические методы верификации схем и программ
- 20:10, 26 ноября 2022 (разн. | история) . . (+104) . . Н Файл:Verif VP Prac Uppaal.zip (Методы верификации (618, 621). Доп. материалы к задачам по Uppaal) (текущая)
- 20:07, 26 ноября 2022 (разн. | история) . . (+72) . . Н Файл:Verif VP Prac Uppaal.pdf (Методы верификации (618, 621). Задачи по Uppaal)
- 16:20, 26 ноября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 49.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 49.pdf»)
- 16:19, 26 ноября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 47.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 47.pdf»)
- 16:12, 26 ноября 2022 (разн. | история) . . (+416) . . Математическая логика и логическое программирование (3-й поток)
- 16:11, 26 ноября 2022 (разн. | история) . . (+177) . . Н Файл:MLLP VP 54.pdf (Мат. лог. и лог. прог., 3 поток. Блок 54. Логика Хоара и автоматизация проверки правильности программ)
- 16:10, 26 ноября 2022 (разн. | история) . . (+202) . . Н Файл:MLLP VP 53.pdf (Мат. лог. и лог. прог., 3 поток. Блок 53. Модельные императивные программы. Постановка задачи верификации программ)
- 16:09, 26 ноября 2022 (разн. | история) . . (+108) . . Н Файл:MLLP VP 52.pdf (Мат. лог. и лог. прог., 3 поток. Блок 52. Формальная верификация)
- 18:13, 22 ноября 2022 (разн. | история) . . (+37) . . м Спецсеминары
- 22:04, 20 ноября 2022 (разн. | история) . . (+54) . . м Математические методы верификации схем и программ
- 19:57, 20 ноября 2022 (разн. | история) . . (+403) . . Математические методы верификации схем и программ
- 19:55, 20 ноября 2022 (разн. | история) . . (+107) . . Н Файл:Verif VP 26.pdf (Методы верификации (618, 621). Блок 26. Сети временных автоматов)
- 19:55, 20 ноября 2022 (разн. | история) . . (+172) . . Н Файл:Verif VP 25.pdf (Методы верификации (618, 621). Блок 25. Алгоритм model checking для TCTL. Временные регионы, системы регионов)
- 19:54, 20 ноября 2022 (разн. | история) . . (+178) . . Н Файл:Verif VP 24.pdf (Методы верификации (618, 621). Блок 24. Логика ветвящегося реального времени (TCTL). Задача model checking для TCTL)
- 19:53, 20 ноября 2022 (разн. | история) . . (+635) . . Математическая логика и логическое программирование (3-й поток)
- 19:51, 20 ноября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 47.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 47.pdf»)
- 19:48, 20 ноября 2022 (разн. | история) . . (+110) . . Н Файл:MLLP VP 51.pdf (Мат. лог. и лог. прог., 3 поток. Блок 51. Интуиционистская логика)
- 19:47, 20 ноября 2022 (разн. | история) . . (+102) . . Н Файл:MLLP VP 50.pdf (Мат. лог. и лог. прог., 3 поток. Блок 50. Темпоральные логики)
- 19:47, 20 ноября 2022 (разн. | история) . . (+106) . . Н Файл:MLLP VP 49.pdf (Мат. лог. и лог. прог., 3 поток. Блок 49. Эпистемические логики)
- 19:46, 20 ноября 2022 (разн. | история) . . (+96) . . Н Файл:MLLP VP 48.pdf (Мат. лог. и лог. прог., 3 поток. Блок 48. Модальные логики)
- 19:46, 20 ноября 2022 (разн. | история) . . (+107) . . Н Файл:MLLP VP 47.pdf (Мат. лог. и лог. прог., 3 поток. Блок 47. Оператор отрицания. SLDNF)
- 19:45, 20 ноября 2022 (разн. | история) . . (+106) . . Н Файл:MLLP VP 46.pdf (Мат. лог. и лог. прог., 3 поток. Блок 46. Отрицание в логпрог, cwa)
- 16:19, 17 ноября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 43.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 43.pdf»)
- 21:32, 13 ноября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 38.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 38.pdf»)
- 17:48, 13 ноября 2022 (разн. | история) . . (+373) . . Математические методы верификации схем и программ
- 17:47, 13 ноября 2022 (разн. | история) . . (+166) . . Н Файл:Verif VP 23.pdf (Методы верификации (618, 621). Блок 23. СРВ, временные автоматы и их неправдоподобные вычисления)
- 17:46, 13 ноября 2022 (разн. | история) . . (+96) . . Н Файл:Verif VP 22.pdf (Методы верификации (618, 621). Блок 22. CTL*, сравнение CTL и LTL)
- 12:18, 13 ноября 2022 (разн. | история) . . (0) . . Файл:Verif VP 09.pdf (PodymovVV загружена новая версия «Файл:Verif VP 09.pdf»)
- 18:27, 12 ноября 2022 (разн. | история) . . (0) . . Файл:Verif VP Review Nusmv.pdf (PodymovVV загружена новая версия «Файл:Verif VP Review Nusmv.pdf»)
- 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. ХЛП: переключательная лемма, сильная полнота операционной семантики, стандартное правило выбора подц…)
- 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»)
- 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»)
- 14:28, 13 октября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 09.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 09.pdf»)
- 14:28, 13 октября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 08.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 08.pdf»)
- 14:28, 13 октября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 07.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 07.pdf»)
- 14:27, 13 октября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 06.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 06.pdf»)
- 14:27, 13 октября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 05.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 05.pdf»)
- 14:27, 13 октября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 04.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 04.pdf»)
- 14:27, 13 октября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 03.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 03.pdf»)
- 14:27, 13 октября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 02.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 02.pdf»)
- 14:26, 13 октября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 01.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 01.pdf»)
- 20:43, 10 октября 2022 (разн. | история) . . (0) . . Файл:Verif VP Review Spin.pdf (PodymovVV загружена новая версия «Файл:Verif VP Review Spin.pdf»)
- 20:29, 10 октября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 25.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 25.pdf»)
- 21:15, 9 октября 2022 (разн. | история) . . (+595) . . Математическая логика и логическое программирование (3-й поток)
- 21:12, 9 октября 2022 (разн. | история) . . (+150) . . Н Файл:MLLP VP 25.pdf (Мат. лог. и лог. прог., 3 поток. Блок 25. Теорема Эрбрана. Полнота резолютивного вывода)
- 21:08, 9 октября 2022 (разн. | история) . . (+155) . . Н Файл:MLLP VP 24.pdf (Мат. лог. и лог. прог., 3 поток. Блок 24. Эрбрановские интерпретации. Теорема об эрбр. инт.)
- 21:07, 9 октября 2022 (разн. | история) . . (+180) . . Н Файл:MLLP VP 23.pdf (Мат. лог. и лог. прог., 3 поток. Блок 23. Обоснование общезначимости формулы методом резолюций (пример))
- 21:06, 9 октября 2022 (разн. | история) . . (+135) . . Н Файл:MLLP VP 22.pdf (Мат. лог. и лог. прог., 3 поток. Блок 22. Резолютивный вывод и его корректность)
- 20:54, 9 октября 2022 (разн. | история) . . (+49) . . Математические методы верификации схем и программ
- 20:52, 9 октября 2022 (разн. | история) . . (0) . . Файл:Verif VP Prac Spin.pdf (PodymovVV загружена новая версия «Файл:Verif VP Prac Spin.pdf»)
- 20:49, 9 октября 2022 (разн. | история) . . (+70) . . Н Файл:Verif VP Prac Spin.pdf (Методы верификации (618, 621). Задачи по Spin)
(новейшие | старейшие) Просмотреть (250 более новые | 250 более старые) (20 | 50 | 100 | 250 | 500)