Вклад участника
(новейшие | старейшие) Просмотреть (500 более новые | 500 более старые) (20 | 50 | 100 | 250 | 500)
- 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)
- 20:47, 9 октября 2022 (разн. | история) . . (+77) . . Н Файл:Verif VP Review Spin.pdf (Методы верификации (618, 621). Блок О1. Обзор Spin)
- 10:40, 7 октября 2022 (разн. | история) . . (-12) . . м Выставка кафедр
- 10:37, 7 октября 2022 (разн. | история) . . (+35) . . м Участник:PodymovVV (текущая)
- 20:27, 3 октября 2022 (разн. | история) . . (0) . . Файл:Verif VP 15.pdf (PodymovVV загружена новая версия «Файл:Verif VP 15.pdf»)
- 20:25, 3 октября 2022 (разн. | история) . . (0) . . Файл:Verif VP 14.pdf (PodymovVV загружена новая версия «Файл:Verif VP 14.pdf»)
- 20:23, 3 октября 2022 (разн. | история) . . (0) . . Файл:Verif VP 13.pdf (PodymovVV загружена новая версия «Файл:Verif VP 13.pdf»)
- 20:19, 3 октября 2022 (разн. | история) . . (0) . . Файл:Verif VP 12.pdf (PodymovVV загружена новая версия «Файл:Verif VP 12.pdf»)
- 14:12, 3 октября 2022 (разн. | история) . . (+659) . . Математические методы верификации схем и программ
- 14:07, 3 октября 2022 (разн. | история) . . (+157) . . Н Файл:Verif VP 15.pdf (Методы верификации (618, 621). Блок 15. Автоматный алгоритм model checking для LTL: уточнённая схема)
- 14:07, 3 октября 2022 (разн. | история) . . (+141) . . Н Файл:Verif VP 14.pdf (Методы верификации (618, 621). Блок 14. Автоматы Бюхи для моделей Крипке и ltl-формул)
- 14:06, 3 октября 2022 (разн. | история) . . (+146) . . Н Файл:Verif VP 13.pdf (Методы верификации (618, 621). Блок 13. Пересечение и проверка пустоты автоматов Бюхи)
- 14:05, 3 октября 2022 (разн. | история) . . (+126) . . Н Файл:Verif VP 12.pdf (Методы верификации (618, 621). Блок 12. Автоматы Бюхи, обычные и обобщённые)
- 14:05, 3 октября 2022 (разн. | история) . . (+147) . . Н Файл:Verif VP 11.pdf (Методы верификации (618, 621). Блок 11. Автоматный алгоритм model checking для LTL: общая схема)
- 13:48, 3 октября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 17.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 17.pdf»)
- 08:00, 3 октября 2022 (разн. | история) . . (+545) . . Математическая логика и логическое программирование (3-й поток)
- 07:57, 3 октября 2022 (разн. | история) . . (+102) . . Н Файл:MLLP VP 21.pdf (Мат. лог. и лог. прог., 3 поток. Блок 21. Алгоритм унификации)
- 07:57, 3 октября 2022 (разн. | история) . . (+166) . . Н Файл:MLLP VP 20.pdf (Мат. лог. и лог. прог., 3 поток. Блок 20. Композиция подстановок. Задача унификации (постановка))
- 07:56, 3 октября 2022 (разн. | история) . . (+100) . . Н Файл:MLLP VP 19.pdf (Мат. лог. и лог. прог., 3 поток. Блок 19. Системы дизъюнктов)
- 07:55, 3 октября 2022 (разн. | история) . . (+71) . . Н Файл:MLLP VP 18.pdf (Мат. лог. и лог. прог., 3 поток. Блок 18. ССФ)
- 07:55, 3 октября 2022 (разн. | история) . . (+71) . . Н Файл:MLLP VP 17.pdf (Мат. лог. и лог. прог., 3 поток. Блок 17. ПНФ)
- 18:55, 1 октября 2022 (разн. | история) . . (0) . . Файл:Verif VP 08.pdf (PodymovVV загружена новая версия «Файл:Verif VP 08.pdf»)
- 18:54, 1 октября 2022 (разн. | история) . . (0) . . Файл:Verif VP 07.pdf (PodymovVV загружена новая версия «Файл:Verif VP 07.pdf»)
- 12:17, 29 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 10.pdf (PodymovVV загружена новая версия «Файл:Verif VP 10.pdf»)
- 12:11, 29 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 09.pdf (PodymovVV загружена новая версия «Файл:Verif VP 09.pdf»)
- 12:05, 29 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 08.pdf (PodymovVV загружена новая версия «Файл:Verif VP 08.pdf»)
- 18:55, 26 сентября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 13.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 13.pdf»)
- 14:13, 26 сентября 2022 (разн. | история) . . (+566) . . Математические методы верификации схем и программ
- 14:12, 26 сентября 2022 (разн. | история) . . (+171) . . Н Файл:Verif VP sem02.pdf (Методы верификации (618, 621). Семинар 2. Модели Крипке, LTL, безопасность и живость, справедливость.)
- 14:09, 26 сентября 2022 (разн. | история) . . (+172) . . Н Файл:Verif VP 10.pdf (Методы верификации (618, 621). Блок 10. Размеченные системы переходов. Справедливость в целом и в LTL.)
- 14:09, 26 сентября 2022 (разн. | история) . . (+162) . . Н Файл:Verif VP 09.pdf (Методы верификации (618, 621). Блок 9. LTL - синтаксис, семантика, постановка задачи верификации)
- 14:08, 26 сентября 2022 (разн. | история) . . (+132) . . Н Файл:Verif VP 08.pdf (Методы верификации (618, 621). Блок 8. Свойства трасс. Безопасность и живость.)
- 07:26, 26 сентября 2022 (разн. | история) . . (+1237) . . Математическая логика и логическое программирование (3-й поток)
- 07:21, 26 сентября 2022 (разн. | история) . . (+140) . . Н Файл:MLLP VP 16.pdf (Мат. лог. и лог. прог., 3 поток. Блок 16. Равносильность формул логики предикатов)
- 07:20, 26 сентября 2022 (разн. | история) . . (+118) . . Н Файл:MLLP VP 15.pdf (Мат. лог. и лог. прог., 3 поток. Блок 16. Общая схема метода резолюций)
- 07:19, 26 сентября 2022 (разн. | история) . . (+258) . . Н Файл:MLLP VP 14.pdf (Мат. лог. и лог. прог., 3 поток. Блок 14. Метод семантических таблиц в логике предикатов: лёвенгейм-сколем, мальцев, автоматизация доказательс…)
- 07:18, 26 сентября 2022 (разн. | история) . . (+202) . . Н Файл:MLLP VP 13.pdf (Мат. лог. и лог. прог., 3 поток. Блок 13. Метод семантических таблиц в логике предикатов: полнота табличного вывода)
- 07:18, 26 сентября 2022 (разн. | история) . . (+212) . . Н Файл:MLLP VP 12.pdf (Мат. лог. и лог. прог., 3 поток. Блок 12. Метод семантических таблиц в логике предикатов: корректность табличного вывода)
- 07:17, 26 сентября 2022 (разн. | история) . . (+183) . . Н Файл:MLLP VP 11.pdf (Мат. лог. и лог. прог., 3 поток. Блок 11. Метод семантических таблиц в логике предикатов: табличный вывод)
- 07:16, 26 сентября 2022 (разн. | история) . . (+129) . . Н Файл:MLLP VP 10.pdf (Мат. лог. и лог. прог., 3 поток. Блок 10. Подстановки (основные определения))
- 07:15, 26 сентября 2022 (разн. | история) . . (+194) . . Н Файл:MLLP VP 09.pdf (Мат. лог. и лог. прог., 3 поток. Блок 9. Метод семантических таблиц в логике предикатов: семантические таблицы)
- 21:18, 25 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP sem01.pdf (PodymovVV загружена новая версия «Файл:Verif VP sem01.pdf»)
- 21:17, 25 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 07.pdf (PodymovVV загружена новая версия «Файл:Verif VP 07.pdf»)
- 21:17, 25 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 05.pdf (PodymovVV загружена новая версия «Файл:Verif VP 05.pdf»)
- 21:16, 25 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 04.pdf (PodymovVV загружена новая версия «Файл:Verif VP 04.pdf»)
- 21:16, 25 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 03.pdf (PodymovVV загружена новая версия «Файл:Verif VP 03.pdf»)
- 21:16, 25 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 02.pdf (PodymovVV загружена новая версия «Файл:Verif VP 02.pdf»)
- 19:57, 19 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 07.pdf (PodymovVV загружена новая версия «Файл:Verif VP 07.pdf»)
- 19:53, 19 сентября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 06.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 06.pdf»)
- 09:56, 19 сентября 2022 (разн. | история) . . (+202) . . Математические методы верификации схем и программ
- 09:54, 19 сентября 2022 (разн. | история) . . (+151) . . Н Файл:Verif VP 07.pdf (Методы верификации (618, 621). Блок 7, модели Крипке и особенности моделирования систем)
- 09:53, 19 сентября 2022 (разн. | история) . . (+96) . . Н Файл:Verif VP 06.pdf (Методы верификации (618, 621). Блок 6, общая схема model checking)
- 01:07, 19 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 04.pdf (PodymovVV загружена новая версия «Файл:Verif VP 04.pdf»)
- 19:46, 17 сентября 2022 (разн. | история) . . (+2) . . м Математическая логика и логическое программирование (3-й поток)
- 19:45, 17 сентября 2022 (разн. | история) . . (+130) . . Математическая логика и логическое программирование (3-й поток)
- 19:44, 17 сентября 2022 (разн. | история) . . (+155) . . Н Файл:MLLP VP 08.pdf (Мат. лог. и лог. прог., 3 поток. Блок 8. Метод семантических таблиц в логике высказываний)
- 11:50, 12 сентября 2022 (разн. | история) . . (+1331) . . Математические методы верификации схем и программ
- 11:38, 12 сентября 2022 (разн. | история) . . (+153) . . Н Файл:Verif VP sem01.pdf (Методы верификации (618, 621). Семинар 1, дедуктивная верификация императивных программ)
- 11:38, 12 сентября 2022 (разн. | история) . . (+129) . . Н Файл:Verif VP 05.pdf (Методы верификации (618, 621). Блок 5, автоматизация, слабейшее предусловие)
- 11:37, 12 сентября 2022 (разн. | история) . . (+107) . . Н Файл:Verif VP 04.pdf (Методы верификации (618, 621). Блок 4, аннотированные программы)
- 11:36, 12 сентября 2022 (разн. | история) . . (+206) . . Н Файл:Verif VP 03.pdf (Методы верификации (618, 621). Блок 3, постановка задачи дедуктивной верификации императивных программ, логика Хоара)
- 08:04, 12 сентября 2022 (разн. | история) . . (+761) . . Математическая логика и логическое программирование (3-й поток)
- 08:02, 12 сентября 2022 (разн. | история) . . (+190) . . Н Файл:MLLP VP 07.pdf (Мат. лог. и лог. прог., 3 поток. Блок 7, логика предикатов: невозможность проверки общезначимости перебором)
- 08:01, 12 сентября 2022 (разн. | история) . . (+264) . . Н Файл:MLLP VP 06.pdf (Мат. лог. и лог. прог., 3 поток. Блок 6, логика предикатов: выполнимые и общезначимые формулы, модели, логическое следствие, проблема общезнач…)
- 08:00, 12 сентября 2022 (разн. | история) . . (+166) . . Н Файл:MLLP VP 05.pdf (Мат. лог. и лог. прог., 3 поток. Блок 5, логика высказываний: выполнимые и общезначимые формулы)
- 07:59, 12 сентября 2022 (разн. | история) . . (+174) . . Н Файл:MLLP VP 04.pdf (Мат. лог. и лог. прог., 3 поток. Блок 4, логика предикатов (пример формализации на языке предикатов))
- 11:42, 7 сентября 2022 (разн. | история) . . (0) . . м Языки описания схем
- 20:11, 5 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 02.pdf (PodymovVV загружена новая версия «Файл:Verif VP 02.pdf»)
- 20:10, 5 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 01.pdf (PodymovVV загружена новая версия «Файл:Verif VP 01.pdf»)
- 13:23, 5 сентября 2022 (разн. | история) . . (+414) . . Математические методы верификации схем и программ
- 13:21, 5 сентября 2022 (разн. | история) . . (0) . . Файл:Verif VP 01.pdf (PodymovVV загружена новая версия «Файл:Verif VP 01.pdf»)
- 13:18, 5 сентября 2022 (разн. | история) . . (+161) . . Н Файл:Verif VP 02.pdf (Методы верификации (618, 621). Блок 2, синтаксис и семантика модельных императивных программ)
- 13:18, 5 сентября 2022 (разн. | история) . . (+74) . . Н Файл:Verif VP 01.pdf (Методы верификации (618, 621). Блок 1, вводный)
- 10:35, 5 сентября 2022 (разн. | история) . . (+437) . . Математическая логика и логическое программирование (3-й поток)
- 10:33, 5 сентября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 03.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 03.pdf»)
- 10:33, 5 сентября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 02.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 02.pdf»)
- 10:32, 5 сентября 2022 (разн. | история) . . (0) . . Файл:MLLP VP 01.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 01.pdf»)
- 10:24, 5 сентября 2022 (разн. | история) . . (+138) . . Н Файл:MLLP VP 03.pdf (Мат. лог. и лог. прог., 3 поток. Блок 3, логика предикатов (синтаксис, семантика))
- 10:23, 5 сентября 2022 (разн. | история) . . (+142) . . Н Файл:MLLP VP 02.pdf (Мат. лог. и лог. прог., 3 поток. Блок 2, логика высказываний (синтаксис, семантика))
- 10:22, 5 сентября 2022 (разн. | история) . . (+78) . . Н Файл:MLLP VP 01.pdf (Мат. лог. и лог. прог., 3 поток. Блок 1, вводный)
- 20:36, 3 сентября 2022 (разн. | история) . . (-2018) . . Математические методы верификации схем и программ
- 20:04, 3 сентября 2022 (разн. | история) . . (-9) . . м Математическая логика и логическое программирование (3-й поток)
- 19:57, 3 сентября 2022 (разн. | история) . . (-10 921) . . Математическая логика и логическое программирование (3-й поток)
- 17:00, 16 июня 2022 (разн. | история) . . (+442) . . Математическая логика (318, 319/2, 241, 242)
- 09:49, 17 мая 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b48.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b48.pdf»)
- 19:14, 15 мая 2022 (разн. | история) . . (-8) . . Математическая логика (318, 319/2, 241, 242)
- 19:12, 15 мая 2022 (разн. | история) . . (+149) . . Н Файл:Mathlog 318 b48.pdf (Курс мат.логики для группы 318 и остальных. Блок 48. Проверка моделей относительно CTL)
- 19:11, 15 мая 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b47.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b47.pdf»)
- 19:10, 15 мая 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b46.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b46.pdf»)
- 19:08, 15 мая 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b45.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b45.pdf»)
- 19:07, 15 мая 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b45.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b45.pdf»)
- 19:06, 15 мая 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b45.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b45.pdf»)
- 19:05, 15 мая 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b44.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b44.pdf»)
- 20:20, 11 мая 2022 (разн. | история) . . (+465) . . Шаблон:Important Announcements
- 20:18, 11 мая 2022 (разн. | история) . . (+62) . . Н Файл:Курсовая работа - титульный лист.doc (Титульный лист курсовой работы 2022) (текущая)
- 20:17, 11 мая 2022 (разн. | история) . . (+58) . . Н Файл:Курсовая работа - требования.pdf (Требования к курсовой работе 2022) (текущая)
- 19:02, 29 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b43.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b43.pdf»)
- 19:02, 29 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b42.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b42.pdf»)
- 17:37, 24 апреля 2022 (разн. | история) . . (+1) . . Математическая логика (318, 319/2, 241, 242)
- 17:36, 24 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b43.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b43.pdf»)
- 17:36, 24 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b42.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b42.pdf»)
- 18:36, 20 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b41.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b41.pdf»)
- 18:36, 20 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b38.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b38.pdf»)
- 08:12, 18 апреля 2022 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 08:09, 18 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b41.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b41.pdf»)
- 08:08, 18 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b40.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b40.pdf»)
- 08:07, 18 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b39.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b39.pdf»)
- 18:05, 14 апреля 2022 (разн. | история) . . (0) . . Файл:Dsa title.png (PodymovVV загружена новая версия «Файл:Dsa title.png») (текущая)
- 17:59, 14 апреля 2022 (разн. | история) . . (0) . . Информация для 2 курса
- 17:58, 14 апреля 2022 (разн. | история) . . (+182) . . Н Файл:DSA2022.pdf (Презентация о научно-образовательном направлении "Дискретные структуры и алгоритмы" кафедры МК, 2022) (текущая)
- 13:20, 14 апреля 2022 (разн. | история) . . (-12) . . м Информация для 2 курса
- 23:07, 13 апреля 2022 (разн. | история) . . (-3975) . . Спецсеминары
- 23:04, 13 апреля 2022 (разн. | история) . . (+3) . . м Шаблон:Current Seminars (→Доклады на спецсеминарах) (текущая)
- 23:04, 13 апреля 2022 (разн. | история) . . (-3241) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 23:01, 13 апреля 2022 (разн. | история) . . (+1749) . . Теоретические проблемы программирования (текущая)
- 22:52, 13 апреля 2022 (разн. | история) . . (+1255) . . Дискретные функции и сложность алгоритмов (текущая)
- 21:45, 10 апреля 2022 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 21:44, 10 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b38.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b38.pdf»)
- 21:44, 10 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b37.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b37.pdf»)
- 12:30, 7 апреля 2022 (разн. | история) . . (-2) . . м Шаблон:Important Announcements (→Объявления)
- 12:04, 7 апреля 2022 (разн. | история) . . (+526) . . Шаблон:Important Announcements
- 12:01, 7 апреля 2022 (разн. | история) . . (+101) . . Н Файл:Требования к МД 618.pdf (Требования к тексту магистерской диссертации в 2022 году)
- 12:00, 7 апреля 2022 (разн. | история) . . (+60) . . Н Файл:Требования к ВКР 418.pdf (Требования к тексту ВКР в 2022 году)
- 13:25, 4 апреля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 seminar natural inference.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf») (текущая)
- 08:37, 28 марта 2022 (разн. | история) . . (-40) . . Математическая логика (318, 319/2, 241, 242)
- 08:35, 28 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b36.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b36.pdf»)
- 08:35, 28 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b35.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b35.pdf»)
- 08:34, 28 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b34.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b34.pdf»)
- 16:48, 21 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b30.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b30.pdf»)
- 16:48, 21 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b28.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b28.pdf»)
- 21:50, 20 марта 2022 (разн. | история) . . (-2) . . Математическая логика (318, 319/2, 241, 242)
- 21:40, 20 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b33.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b33.pdf»)
- 21:39, 20 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b32.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b32.pdf»)
- 21:38, 20 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b31.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b31.pdf»)
- 21:38, 20 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b30.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b30.pdf»)
- 21:37, 20 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b29.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b29.pdf»)
- 21:36, 20 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b28.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b28.pdf»)
- 10:23, 14 марта 2022 (разн. | история) . . (+59) . . Математическая логика (318, 319/2, 241, 242)
- 10:22, 14 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b27.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b27.pdf»)
- 10:21, 14 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b26.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b26.pdf»)
- 11:58, 8 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b25.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b25.pdf»)
- 11:54, 8 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b24.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b24.pdf»)
- 11:52, 8 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b23.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b23.pdf»)
- 19:58, 6 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b23.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b23.pdf»)
- 19:57, 6 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b22.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b22.pdf»)
- 19:49, 6 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b21.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b21.pdf»)
- 19:46, 6 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b20.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b20.pdf»)
- 19:42, 6 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b16.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b16.pdf»)
- 21:03, 4 марта 2022 (разн. | история) . . (-1) . . Математическая логика (318, 319/2, 241, 242)
- 21:00, 4 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b25.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b25.pdf»)
- 21:00, 4 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b24.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b24.pdf»)
- 20:59, 4 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b23.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b23.pdf»)
- 20:59, 4 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b22.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b22.pdf»)
- 20:58, 4 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b21.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b21.pdf»)
- 11:37, 2 марта 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b5.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b5.pdf»)
- 08:48, 28 февраля 2022 (разн. | история) . . (+1) . . Математическая логика (318, 319/2, 241, 242)
- 08:47, 28 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b20.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b20.pdf»)
- 08:47, 28 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b19.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b19.pdf»)
- 08:46, 28 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b18.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b18.pdf»)
- 11:45, 25 февраля 2022 (разн. | история) . . (+1) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 11:45, 25 февраля 2022 (разн. | история) . . (0) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 11:44, 25 февраля 2022 (разн. | история) . . (0) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 11:40, 25 февраля 2022 (разн. | история) . . (+3212) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 23:07, 20 февраля 2022 (разн. | история) . . (+2) . . Математическая логика (318, 319/2, 241, 242)
- 23:04, 20 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b17.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b17.pdf»)
- 23:04, 20 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b16.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b16.pdf»)
- 23:03, 20 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b15.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b15.pdf»)
- 23:03, 20 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b14.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b14.pdf»)
- 23:02, 20 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b13.pdf»)
- 23:02, 20 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b12.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b12.pdf»)
- 23:01, 20 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b11.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b11.pdf»)
- 23:01, 20 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b10.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b10.pdf»)
- 23:00, 20 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b9.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b9.pdf»)
- 23:00, 20 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b8.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b8.pdf»)
- 22:59, 20 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b7.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b7.pdf»)
- 22:59, 20 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b6.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b6.pdf»)
- 22:59, 20 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b5.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b5.pdf»)
- 22:59, 20 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b4.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b4.pdf»)
- 22:58, 20 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b3.pdf»)
- 22:58, 20 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b2.pdf»)
- 22:58, 20 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b1.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b1.pdf»)
- 22:07, 15 февраля 2022 (разн. | история) . . (+5) . . м Математическая логика (318, 319/2, 241, 242)
- 18:36, 14 февраля 2022 (разн. | история) . . (+52) . . Математическая логика (318, 319/2, 241, 242)
- 19:05, 13 февраля 2022 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 19:01, 13 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b8.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b8.pdf»)
- 19:00, 13 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b7.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b7.pdf»)
- 18:59, 13 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b6.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b6.pdf»)
- 18:57, 13 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b5.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b5.pdf»)
- 18:56, 13 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b3.pdf»)
- 15:25, 10 февраля 2022 (разн. | история) . . (+32) . . м Спецкурсы
- 20:49, 9 февраля 2022 (разн. | история) . . (+123) . . Н Дискретная математика (КФ) (Новая страница: «Категория:Лекционные курсы кафедры МК ''Страница ещё готовится.''»)
- 13:22, 7 февраля 2022 (разн. | история) . . (+1611) . . Спецкурсы
- 19:58, 6 февраля 2022 (разн. | история) . . (0) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 18:29, 6 февраля 2022 (разн. | история) . . (+106) . . Математическая логика (318, 319/2, 241, 242)
- 18:27, 6 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b6.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b6.pdf»)
- 18:27, 6 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b5.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b5.pdf»)
- 18:26, 6 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b4.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b4.pdf»)
- 18:25, 6 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b3.pdf»)
- 18:25, 6 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b2.pdf»)
- 18:24, 6 февраля 2022 (разн. | история) . . (0) . . Файл:Mathlog 318 b1.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b1.pdf»)
- 18:22, 6 февраля 2022 (разн. | история) . . (+1829) . . Математическая логика (318, 319/2, 241, 242)
- 13:15, 27 декабря 2021 (разн. | история) . . (-107) . . м Языки описания схем (→Материалы занятий)
- 16:01, 9 декабря 2021 (разн. | история) . . (+1091) . . Шаблон:Important Announcements
- 10:36, 6 ноября 2021 (разн. | история) . . (0) . . м Языки описания схем
- 00:08, 29 октября 2021 (разн. | история) . . (0) . . Файл:Hdl lecture 16.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 16.pdf») (текущая)
- 00:08, 29 октября 2021 (разн. | история) . . (0) . . Файл:Hdl lecture 15.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 15.pdf») (текущая)
- 00:07, 29 октября 2021 (разн. | история) . . (0) . . Файл:Hdl lecture 14.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 14.pdf») (текущая)
- 00:07, 29 октября 2021 (разн. | история) . . (0) . . Файл:Hdl lecture 13.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 13.pdf») (текущая)
- 00:07, 29 октября 2021 (разн. | история) . . (0) . . Файл:Hdl lecture 12.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 12.pdf») (текущая)
- 00:07, 29 октября 2021 (разн. | история) . . (0) . . Файл:Hdl lecture 11.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 11.pdf») (текущая)
- 00:06, 29 октября 2021 (разн. | история) . . (0) . . Файл:Hdl practice 03.pdf (PodymovVV загружена новая версия «Файл:Hdl practice 03.pdf») (текущая)
- 00:06, 29 октября 2021 (разн. | история) . . (0) . . Файл:Hdl practice 02.pdf (PodymovVV загружена новая версия «Файл:Hdl practice 02.pdf») (текущая)
- 00:03, 29 октября 2021 (разн. | история) . . (0) . . м Языки описания схем
- 18:04, 21 октября 2021 (разн. | история) . . (0) . . м Спецсеминары
- 23:19, 11 октября 2021 (разн. | история) . . (+27) . . Спецсеминары
- 20:12, 8 октября 2021 (разн. | история) . . (0) . . Файл:Выставка кафедр Информационный лист.pdf (PodymovVV загружена новая версия «Файл:Выставка кафедр Информационный лист.pdf»)
- 13:26, 8 октября 2021 (разн. | история) . . (0) . . Файл:Выставка кафедр Информационный лист.pdf (PodymovVV загружена новая версия «Файл:Выставка кафедр Информационный лист.pdf»)
- 12:21, 5 октября 2021 (разн. | история) . . (+70) . . м Выставка кафедр
- 12:20, 5 октября 2021 (разн. | история) . . (-39) . . м Выставка кафедр 2020 (текущая)
- 12:20, 5 октября 2021 (разн. | история) . . (+39) . . м Выставка кафедр
- 12:19, 5 октября 2021 (разн. | история) . . (0) . . Файл:Выставка кафедр Информационный лист.pdf (PodymovVV загружена новая версия «Файл:Выставка кафедр Информационный лист.pdf»)
- 11:08, 5 октября 2021 (разн. | история) . . (+4221) . . Н Выставка кафедр (Новая страница: «На этой странице собраны ссылки на материалы, которые обычно демонстрируются на ежегодн…»)
- 11:02, 5 октября 2021 (разн. | история) . . (+2041) . . Спецсеминары
- 18:48, 27 сентября 2021 (разн. | история) . . (-53) . . Математические методы верификации схем и программ
- 12:39, 24 сентября 2021 (разн. | история) . . (+5) . . м Языки описания схем
- 12:35, 24 сентября 2021 (разн. | история) . . (0) . . Языки описания схем
- 12:34, 24 сентября 2021 (разн. | история) . . (0) . . Файл:Hdl practice 01.pdf (PodymovVV загружена новая версия «Файл:Hdl practice 01.pdf») (текущая)
- 12:32, 24 сентября 2021 (разн. | история) . . (0) . . Файл:Hdl lecture 10.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 10.pdf») (текущая)
- 12:32, 24 сентября 2021 (разн. | история) . . (0) . . Файл:Hdl lecture 09.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 09.pdf») (текущая)
- 12:32, 24 сентября 2021 (разн. | история) . . (0) . . Файл:Hdl lecture 08.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 08.pdf») (текущая)
- 12:31, 24 сентября 2021 (разн. | история) . . (0) . . Файл:Hdl lecture 07.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 07.pdf») (текущая)
- 12:31, 24 сентября 2021 (разн. | история) . . (0) . . Файл:Hdl lecture 06.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 06.pdf») (текущая)
- 12:31, 24 сентября 2021 (разн. | история) . . (0) . . Файл:Hdl lecture 05.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 05.pdf») (текущая)
- 12:31, 24 сентября 2021 (разн. | история) . . (0) . . Файл:Hdl lecture 04.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 04.pdf») (текущая)
- 12:30, 24 сентября 2021 (разн. | история) . . (0) . . Файл:Hdl lecture 03.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 03.pdf») (текущая)
- 12:30, 24 сентября 2021 (разн. | история) . . (0) . . Файл:Hdl lecture 02.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 02.pdf») (текущая)
- 12:29, 24 сентября 2021 (разн. | история) . . (0) . . Файл:Hdl lecture 01.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 01.pdf») (текущая)
- 20:08, 2 сентября 2021 (разн. | история) . . (0) . . м Языки описания схем
- 18:27, 20 мая 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b39.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b39.pdf»)
- 20:52, 17 мая 2021 (разн. | история) . . (+384) . . Шаблон:Important Announcements
- 20:44, 17 мая 2021 (разн. | история) . . (0) . . Н Файл:Requirements-kurs-2021.zip (текущая)
- 03:09, 17 мая 2021 (разн. | история) . . (+1150) . . Математическая логика (318, 319/2, 241, 242)
- 02:58, 17 мая 2021 (разн. | история) . . (+195) . . Н Файл:Mathlog 318 b47.pdf (Математическая логика для 318, блок 47. Проверка моделей относительно логики деревьев вычислений (CTL model checking))
- 02:56, 17 мая 2021 (разн. | история) . . (+197) . . Н Файл:Mathlog 318 b46.pdf (Математическая логика для 318, блок 46. Императивные программы. Формальная верификация программ. Логика Хоара)
- 02:55, 17 мая 2021 (разн. | история) . . (+173) . . Н Файл:Mathlog 318 b45.pdf (Математическая логика для 318, блок 45. Что ещё интересного есть в логике. Формальная верификация)
- 14:48, 15 мая 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b42.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b42.pdf»)
- 14:43, 15 мая 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b41.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b41.pdf»)
- 14:40, 15 мая 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b40.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b40.pdf»)
- 14:35, 15 мая 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b39.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b39.pdf»)
- 14:29, 15 мая 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b37.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b37.pdf»)
- 14:22, 15 мая 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b36.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b36.pdf»)
- 08:31, 7 мая 2021 (разн. | история) . . (+30) . . Математическая логика (318, 319/2, 241, 242)
- 20:40, 2 мая 2021 (разн. | история) . . (+57) . . Математическая логика (318, 319/2, 241, 242)
- 20:31, 2 мая 2021 (разн. | история) . . (+104) . . Н Файл:Mathlog 318 b44.pdf (Математическая логика для 318, блок 44. Темпоральные логики)
- 20:31, 2 мая 2021 (разн. | история) . . (+108) . . Н Файл:Mathlog 318 b43.pdf (Математическая логика для 318, блок 43. Эпистемические логики)
- 20:30, 2 мая 2021 (разн. | история) . . (+98) . . Н Файл:Mathlog 318 b42.pdf (Математическая логика для 318, блок 42. Модальные логики)
- 21:01, 25 апреля 2021 (разн. | история) . . (-1049) . . Математическая логика (318, 319/2, 241, 242)
- 20:53, 25 апреля 2021 (разн. | история) . . (+110) . . Н Файл:Mathlog 318 b41.pdf (Математическая логика для 318, блок 41. Арифметика Пресбургера)
- 20:53, 25 апреля 2021 (разн. | история) . . (+161) . . Н Файл:Mathlog 318 b40.pdf (Математическая логика для 318, блок 40. Формальная арифметика и теорема Гёделя о неполноте)
- 17:16, 22 апреля 2021 (разн. | история) . . (+110) . . Математическая логика (318, 319/2, 241, 242)
- 17:14, 22 апреля 2021 (разн. | история) . . (0) . . Файл:Mllp 318 seminar definability.pdf (PodymovVV загружена новая версия «Файл:Mllp 318 seminar definability.pdf») (текущая)
- 10:55, 21 апреля 2021 (разн. | история) . . (+589) . . Шаблон:Important Announcements
- 10:51, 21 апреля 2021 (разн. | история) . . (0) . . Н Файл:К предзащите 618-2 2021.pdf (текущая)
- 10:51, 21 апреля 2021 (разн. | история) . . (0) . . Н Файл:К предзащите 418 2021.pdf (текущая)
- 22:26, 18 апреля 2021 (разн. | история) . . (+1700) . . Математическая логика (318, 319/2, 241, 242)
- 22:14, 18 апреля 2021 (разн. | история) . . (+115) . . Н Файл:Mathlog 318 b39.pdf (Математическая логика для 318, блок 39. Определения и выразимость)
- 22:13, 18 апреля 2021 (разн. | история) . . (+138) . . Н Файл:Mathlog 318 b38.pdf (Математическая логика для 318, блок 38. Арифметические интерпретации и теории)
- 22:11, 18 апреля 2021 (разн. | история) . . (+144) . . Н Файл:Mathlog 318 b37.pdf (Математическая логика для 318, блок 37. Основные свойства аксиоматических теорий)
- 22:11, 18 апреля 2021 (разн. | история) . . (+216) . . Н Файл:Mathlog 318 b36.pdf (Математическая логика для 318, блок 36. Аксиоматические теории первого порядка. Проблема общезначимости формул в теории)
- 22:00, 18 апреля 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b35.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b35.pdf»)
- 21:57, 18 апреля 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b33.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b33.pdf»)
- 20:57, 15 апреля 2021 (разн. | история) . . (+141) . . Заглавная страница (→Информация)
- 17:35, 11 апреля 2021 (разн. | история) . . (+362) . . Математическая логика (318, 319/2, 241, 242)
- 17:29, 11 апреля 2021 (разн. | история) . . (+92) . . Н Файл:Mathlog 318 b35.pdf (Математическая логика для 318, блок 35. Теорема Чёрча)
- 17:29, 11 апреля 2021 (разн. | история) . . (+96) . . Н Файл:Mathlog 318 b34.pdf (Математическая логика для 318, блок 32. Машины Тьюринга)
- 17:28, 11 апреля 2021 (разн. | история) . . (+148) . . Н Файл:Mathlog 318 b33.pdf (Математическая логика для 318, блок 33. Проблемы алгоритмы разрешимость сводимость)
- 15:52, 7 апреля 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 seminar natural inference.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf»)
- 15:49, 7 апреля 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 seminar natural inference.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf»)
- 15:49, 4 апреля 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b32.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b32.pdf»)
- 15:01, 4 апреля 2021 (разн. | история) . . (+67) . . м Математическая логика (318, 319/2, 241, 242)
- 14:47, 4 апреля 2021 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 14:47, 4 апреля 2021 (разн. | история) . . (+1089) . . Математическая логика (318, 319/2, 241, 242)
- 14:31, 4 апреля 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b31.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b31.pdf»)
- 14:28, 4 апреля 2021 (разн. | история) . . (+148) . . Н Файл:Mathlog 318 b32.pdf (Математическая логика для 318, блок 32. Натуральное исчисление предикатов (полнота))
- 14:28, 4 апреля 2021 (разн. | история) . . (+212) . . Н Файл:Mathlog 318 b31.pdf (Математическая логика для 318, блок 31. Гильбертовское исчисление предикатов. Теорема Гёделя о полноте (формулировка).)
- 14:26, 4 апреля 2021 (разн. | история) . . (+199) . . Н Файл:Mathlog 318 b30.pdf (Математическая логика для 318, блок 30. Натуральное исчисление предикатов (основные определения, корректность))
- 14:25, 4 апреля 2021 (разн. | история) . . (+152) . . Н Файл:Mathlog 318 b29.pdf (Математическая логика для 318, блок 29. Натуральное исчисление высказываний (полнота))
- 14:25, 4 апреля 2021 (разн. | история) . . (+162) . . Н Файл:Mathlog 318 b28.pdf (Математическая логика для 318, блок 28. Натуральное исчисление высказываний (корректность))
- 14:24, 4 апреля 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b27.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b27.pdf»)
- 23:01, 28 марта 2021 (разн. | история) . . (+528) . . Математическая логика (318, 319/2, 241, 242)
- 22:52, 28 марта 2021 (разн. | история) . . (+177) . . Н Файл:Mathlog 318 b27.pdf (Математическая логика для 318, блок 27. Натуральное исчисление высказываний (основные определения))
- 22:51, 28 марта 2021 (разн. | история) . . (+157) . . Н Файл:Mathlog 318 b26.pdf (Математическая логика для 318, блок 26. Устройство доказательств, логические исчисления)
- 22:50, 28 марта 2021 (разн. | история) . . (+140) . . Н Файл:Mathlog 318 b25.pdf (Математическая логика для 318, блок 25. Метод резолюций - заключительный пример)
- 22:03, 21 марта 2021 (разн. | история) . . (+19) . . м Математическая логика (318, 319/2, 241, 242)
- 22:01, 21 марта 2021 (разн. | история) . . (+966) . . Математическая логика (318, 319/2, 241, 242)
- 21:52, 21 марта 2021 (разн. | история) . . (+154) . . Н Файл:Mathlog 318 b24.pdf (Математическая логика для 318, блок 24. Полнота резолютивного вывода и теорема Эрбрана)
- 21:49, 21 марта 2021 (разн. | история) . . (+118) . . Н Файл:Mathlog 318 b23.pdf (Математическая логика для 318, блок 23. Эрбрановские интерпретации)
- 21:47, 21 марта 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b21.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b21.pdf»)
- 21:45, 21 марта 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b20.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b20.pdf»)
- 14:58, 18 марта 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b22.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b22.pdf»)
- 18:04, 15 марта 2021 (разн. | история) . . (+165) . . Математическая логика (318, 319/2, 241, 242)
- 21:22, 14 марта 2021 (разн. | история) . . (+331) . . Математическая логика (318, 319/2, 241, 242)
- 21:16, 14 марта 2021 (разн. | история) . . (+180) . . Н Файл:Mathlog 318 b22.pdf (Математическая логика для 318, блок 19. Пример обоснования общезначимости формулы методом резолюций)
- 21:15, 14 марта 2021 (разн. | история) . . (+137) . . Н Файл:Mathlog 318 b21.pdf (Математическая логика для 318, блок 21. Резолютивный вывод и его корректность)
- 21:13, 14 марта 2021 (разн. | история) . . (+136) . . Н Файл:Mathlog 318 b20.pdf (Математическая логика для 318, блок 19. Алгоритм унификации атомарных формул)
- 21:12, 14 марта 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b19.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b19.pdf»)
- 21:12, 14 марта 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b18.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b18.pdf»)
- 21:12, 14 марта 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b17.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b17.pdf»)
- 21:11, 14 марта 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b16.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b16.pdf»)
- 16:04, 8 марта 2021 (разн. | история) . . (+1069) . . Математическая логика (318, 319/2, 241, 242)
- 15:30, 5 марта 2021 (разн. | история) . . (+27) . . м Спецсеминары
- 23:40, 28 февраля 2021 (разн. | история) . . (+656) . . Математическая логика (318, 319/2, 241, 242)
- 23:24, 28 февраля 2021 (разн. | история) . . (+712) . . Математическая логика (318, 319/2, 241, 242)
- 23:21, 28 февраля 2021 (разн. | история) . . (+168) . . Н Файл:Mathlog 318 b19.pdf (Математическая логика для 318, блок 19. Композиция подстановок и постановка задачи унификации)
- 23:20, 28 февраля 2021 (разн. | история) . . (+102) . . Н Файл:Mathlog 318 b18.pdf (Математическая логика для 318, блок 18. Системы дизъюнктов)
- 23:19, 28 февраля 2021 (разн. | история) . . (+73) . . Н Файл:Mathlog 318 b17.pdf (Математическая логика для 318, блок 17. ССФ)
- 23:19, 28 февраля 2021 (разн. | история) . . (+73) . . Н Файл:Mathlog 318 b16.pdf (Математическая логика для 318, блок 16. ПНФ)
- 23:18, 28 февраля 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b15.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b15.pdf»)
- 23:18, 28 февраля 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b14.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b14.pdf»)
- 23:16, 28 февраля 2021 (разн. | история) . . (+108) . . Н Файл:Mathlog 318 b15.pdf (Математическая логика для 318, блок 15. равносильность формул)
- 23:15, 28 февраля 2021 (разн. | история) . . (+120) . . Н Файл:Mathlog 318 b14.pdf (Математическая логика для 318, блок 14. общая схема метода резолюций)
- 16:57, 28 февраля 2021 (разн. | история) . . (+13) . . Спецсеминары
- 16:23, 25 февраля 2021 (разн. | история) . . (+1853) . . Спецсеминары
- 19:24, 21 февраля 2021 (разн. | история) . . (-646) . . Математическая логика (318, 319/2, 241, 242)
- 12:36, 20 февраля 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b8.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b8.pdf»)
- 19:02, 19 февраля 2021 (разн. | история) . . (+1143) . . Математическая логика (318, 319/2, 241, 242)
- 18:54, 19 февраля 2021 (разн. | история) . . (+282) . . Н Файл:Mathlog 318 b13.pdf (Математическая логика для 318, блок 13. завершения рассказа про метод семантических таблиц: пара утверждений и возможности автоматизации п…)
- 18:53, 19 февраля 2021 (разн. | история) . . (+170) . . Н Файл:Mathlog 318 b12.pdf (Математическая логика для 318, блок 12. метод семантических таблиц в логике предикатов: полнота)
- 18:53, 19 февраля 2021 (разн. | история) . . (+180) . . Н Файл:Mathlog 318 b11.pdf (Математическая логика для 318, блок 11. метод семантических таблиц в логике предикатов: корректность)
- 18:52, 19 февраля 2021 (разн. | история) . . (+185) . . Н Файл:Mathlog 318 b10.pdf (Математическая логика для 318, блок 10. метод семантических таблиц в логике предикатов: табличный вывод)
- 18:52, 19 февраля 2021 (разн. | история) . . (+130) . . Н Файл:Mathlog 318 b9.pdf (Математическая логика для 318, блок 9. Подстановки (основные определения))
- 18:51, 19 февраля 2021 (разн. | история) . . (+169) . . Н Файл:Mathlog 318 b8.pdf (Математическая логика для 318, блок 8. метод семантических таблиц в логике предикатов: таблицы)
- 18:50, 19 февраля 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b7.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b7.pdf»)
- 18:50, 19 февраля 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b6.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b6.pdf»)
- 17:56, 19 февраля 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b3.pdf»)
- 17:54, 19 февраля 2021 (разн. | история) . . (0) . . Файл:Mathlog 318 b2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b2.pdf»)
- 00:55, 15 февраля 2021 (разн. | история) . . (+1096) . . Математическая логика (318, 319/2, 241, 242)
- 00:49, 15 февраля 2021 (разн. | история) . . (+157) . . Н Файл:Mathlog 318 b7.pdf (Математическая логика для 318, блок 7: метод семантических таблиц в логике высказываний)
- 00:48, 15 февраля 2021 (разн. | история) . . (+191) . . Н Файл:Mathlog 318 b6.pdf (Математическая логика для 318, блок 6: невозможно проверить общезначимость формул логики предикатов в лоб)
- 00:47, 15 февраля 2021 (разн. | история) . . (+197) . . Н Файл:Mathlog 318 b5.pdf (Математическая логика для 318, блок 5: логика предикатов - выполнимость, общезначимость, логическое следствие)
- 17:49, 10 февраля 2021 (разн. | история) . . (+96) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 01:11, 8 февраля 2021 (разн. | история) . . (+675) . . Математическая логика (318, 319/2, 241, 242)
- 01:04, 8 февраля 2021 (разн. | история) . . (+163) . . Н Файл:Mathlog 318 b4.pdf (Математическая логика для 318, блок 4: формализация утверждения на языке логики предикатов)
- 01:04, 8 февраля 2021 (разн. | история) . . (+187) . . Н Файл:Mathlog 318 b3.pdf (Математическая логика для 318, блок 3: базовые определения (синтаксис и семантика) для логики предикатов)
- 01:03, 8 февраля 2021 (разн. | история) . . (+148) . . Н Файл:Mathlog 318 b2.pdf (Математическая логика для 318, блок 2: базовые определения для логики высказываний)
- 01:03, 8 февраля 2021 (разн. | история) . . (+80) . . Н Файл:Mathlog 318 b1.pdf (Математическая логика для 318, блок 1: вводный)
- 16:03, 4 февраля 2021 (разн. | история) . . (-66) . . Математическая логика (318, 319/2, 241, 242)
- 16:02, 4 февраля 2021 (разн. | история) . . (+4) . . Математическая логика (318, 319/2, 241, 242) (Страница подготовлена к весеннему семестру 2021)
- 16:01, 4 февраля 2021 (разн. | история) . . (+104) . . Математическая логика (318, 319/2, 241, 242)
- 15:39, 4 февраля 2021 (разн. | история) . . (-2677) . . Математическая логика (318, 319/2, 241, 242)
- 12:29, 4 февраля 2021 (разн. | история) . . (-33) . . м Практикум по дискретным структурам
- 21:50, 3 февраля 2021 (разн. | история) . . (+37) . . м Математическая логика (318, 319/2, 241, 242)
- 17:03, 3 февраля 2021 (разн. | история) . . (-2537) . . м Математическая логика (318, 319/2, 241, 242)
- 16:57, 3 февраля 2021 (разн. | история) . . (+211) . . м Математическая логика (318, 319/2, 241, 242) (начало подготовки страницы к семестру 2021-весна)
- 01:05, 3 февраля 2021 (разн. | история) . . (-76) . . м Математическая логика (группы 318, 241) (текущая)
- 11:01, 17 декабря 2020 (разн. | история) . . (-68) . . Языки описания схем
- 11:01, 17 декабря 2020 (разн. | история) . . (0) . . Файл:Hdl lecture aux 05.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 05.pdf») (текущая)
- 11:01, 17 декабря 2020 (разн. | история) . . (0) . . Файл:Hdl lecture aux 04.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 04.pdf») (текущая)
- 11:00, 17 декабря 2020 (разн. | история) . . (0) . . Файл:Hdl lecture aux 03.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 03.pdf») (текущая)
- 11:00, 17 декабря 2020 (разн. | история) . . (0) . . Файл:Hdl lecture aux 02.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 02.pdf») (текущая)
- 18:51, 9 декабря 2020 (разн. | история) . . (0) . . Языки описания схем
- 18:51, 9 декабря 2020 (разн. | история) . . (0) . . Файл:Hdl lecture aux 02.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 02.pdf»)
- 18:50, 9 декабря 2020 (разн. | история) . . (0) . . Файл:Hdl lecture aux 01.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 01.pdf») (текущая)
- 14:43, 2 декабря 2020 (разн. | история) . . (-44) . . м Языки описания схем
- 22:14, 1 декабря 2020 (разн. | история) . . (-184) . . Математические методы верификации схем и программ
- 22:11, 1 декабря 2020 (разн. | история) . . (+118) . . Н Файл:Seminar Verification 10 eng.pdf (курс методов верификации, 2020. английский перевод семинара по UPPAAL) (текущая)
- 14:47, 1 декабря 2020 (разн. | история) . . (-151) . . Математические методы верификации схем и программ
- 14:45, 1 декабря 2020 (разн. | история) . . (+235) . . Н Файл:Lecture Verification 10 eng.pdf (курс методов верификации программ, 2020. английский перевод лекции про алгоритм верификации для tctl и про сети временных автоматов) (текущая)
- 15:30, 25 ноября 2020 (разн. | история) . . (0) . . м Языки описания схем
- 20:26, 24 ноября 2020 (разн. | история) . . (-133) . . Математические методы верификации схем и программ
- 20:24, 24 ноября 2020 (разн. | история) . . (+117) . . Н Файл:Lecture Verification 9 eng.pdf (курс методов верификации, 2020. лекция про временные автоматы и tctl) (текущая)
- 14:26, 20 ноября 2020 (разн. | история) . . (0) . . м Языки описания схем
- 14:22, 16 ноября 2020 (разн. | история) . . (-8) . . Языки описания схем
- 14:21, 16 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl practice 06.pdf (PodymovVV загружена новая версия «Файл:Hdl practice 06.pdf») (текущая)
- 14:20, 16 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl practice 05.pdf (PodymovVV загружена новая версия «Файл:Hdl practice 05.pdf») (текущая)
- 13:53, 16 ноября 2020 (разн. | история) . . (+133) . . Языки описания схем
- 13:52, 16 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 22.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 22.pdf») (текущая)
- 13:47, 16 ноября 2020 (разн. | история) . . (+103) . . Н Файл:Hdl lecture 24.pdf (языки описания схем, 2020. символьные автоматы с таймерами) (текущая)
- 13:47, 16 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 23.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 23.pdf») (текущая)
- 13:46, 16 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 22.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 22.pdf»)
- 13:46, 16 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 21.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 21.pdf») (текущая)
- 13:45, 16 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 20.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 20.pdf») (текущая)
- 13:44, 16 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 19.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 19.pdf») (текущая)
- 10:43, 13 ноября 2020 (разн. | история) . . (+8) . . Языки описания схем
- 10:40, 13 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl practice 04.pdf (PodymovVV загружена новая версия «Файл:Hdl practice 04.pdf») (текущая)
- 10:40, 13 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 18.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 18.pdf») (текущая)
- 10:39, 13 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 17.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 17.pdf») (текущая)
- 10:39, 13 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 16.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 16.pdf»)
- 19:30, 12 ноября 2020 (разн. | история) . . (0) . . м Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 18:44, 9 ноября 2020 (разн. | история) . . (-78) . . Математические методы верификации схем и программ
- 18:43, 9 ноября 2020 (разн. | история) . . (+127) . . Н Файл:Seminar Verification 8 eng.pdf (курс методов верификации, 2020. семинар с задачами по средству spin (англ.)) (текущая)
- 15:45, 4 ноября 2020 (разн. | история) . . (-22) . . м Языки описания схем
- 15:04, 3 ноября 2020 (разн. | история) . . (-104) . . Математические методы верификации схем и программ
- 15:03, 3 ноября 2020 (разн. | история) . . (+125) . . Н Файл:Seminar Verification 7 eng.pdf (курс методов верификации, 2020. английский перевод обзора средства spin.) (текущая)
- 20:21, 27 октября 2020 (разн. | история) . . (-78) . . Языки описания схем
- 20:15, 27 октября 2020 (разн. | история) . . (0) . . Файл:Hdl practice 03.pdf (PodymovVV загружена новая версия «Файл:Hdl practice 03.pdf»)
- 20:15, 27 октября 2020 (разн. | история) . . (0) . . Файл:Hdl practice 02.pdf (PodymovVV загружена новая версия «Файл:Hdl practice 02.pdf»)
- 16:16, 27 октября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 15.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 15.pdf»)
- 13:52, 23 октября 2020 (разн. | история) . . (+80) . . Языки описания схем
- 13:48, 23 октября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 15.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 15.pdf»)
- 13:48, 23 октября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 14.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 14.pdf»)
- 13:47, 23 октября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 13.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 13.pdf»)
- 18:28, 20 октября 2020 (разн. | история) . . (-78) . . Математические методы верификации схем и программ
- 18:28, 20 октября 2020 (разн. | история) . . (+159) . . Н Файл:Seminar Verification 5 eng.pdf (курс методов верификации, 2020. английский перевод семинара 5 (практические задачи по nusmv)) (текущая)
- 14:20, 20 октября 2020 (разн. | история) . . (-188) . . Математические методы верификации схем и программ
(новейшие | старейшие) Просмотреть (500 более новые | 500 более старые) (20 | 50 | 100 | 250 | 500)