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

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

• 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) ‎ (текущая)
• 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) ‎
• 20:40, 2 мая 2021 (разн. | история) . . (+57)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 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) ‎
• 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) ‎
• 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) ‎
• 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) ‎
• 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) ‎
• 14:47, 4 апреля 2021 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 14:47, 4 апреля 2021 (разн. | история) . . (+1089)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 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) ‎
• 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) ‎
• 22:01, 21 марта 2021 (разн. | история) . . (+966)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 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) ‎
• 21:22, 14 марта 2021 (разн. | история) . . (+331)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 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) ‎
• 15:30, 5 марта 2021 (разн. | история) . . (+27)‎ . . м Спецсеминары ‎ (текущая)
• 23:40, 28 февраля 2021 (разн. | история) . . (+656)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 23:24, 28 февраля 2021 (разн. | история) . . (+712)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 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) ‎
• 12:36, 20 февраля 2021 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b8.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b8.pdf») (текущая)
• 19:02, 19 февраля 2021 (разн. | история) . . (+1143)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 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) ‎
• 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) ‎
• 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) ‎
• 16:02, 4 февраля 2021 (разн. | история) . . (+4)‎ . . Математическая логика и логическое программирование (группа 318) ‎ (Страница подготовлена к весеннему семестру 2021)
• 16:01, 4 февраля 2021 (разн. | история) . . (+104)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 15:39, 4 февраля 2021 (разн. | история) . . (-2677)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 12:29, 4 февраля 2021 (разн. | история) . . (-33)‎ . . м Практикум по дискретным структурам ‎
• 21:50, 3 февраля 2021 (разн. | история) . . (+37)‎ . . м Математическая логика и логическое программирование (группа 318) ‎
• 17:03, 3 февраля 2021 (разн. | история) . . (-2537)‎ . . м Математическая логика и логическое программирование (группа 318) ‎
• 16:57, 3 февраля 2021 (разн. | история) . . (+211)‎ . . м Математическая логика и логическое программирование (группа 318) ‎ (начало подготовки страницы к семестру 2021-весна)
• 01:05, 3 февраля 2021 (разн. | история) . . (-76)‎ . . м Математическая логика (группы 318, 241) ‎ (текущая)
• 01:05, 3 февраля 2021 (разн. | история) . . (+207)‎ . . Н Математическая логика (318, 319/2, 241, 242) ‎ (Перенаправление на Математическая логика и логическое программирование (группа 318)) (текущая)
• 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)‎ . . Математические методы верификации схем и программ ‎
• 14:19, 20 октября 2020 (разн. | история) . . (+207)‎ . . Н Файл:Lecture Verification 7 eng.pdf ‎ (Курс методов верификации, 2020. Английский перевод лекции 7 про табличный и автоматный алгоритмы верификации для ltl) (текущая)
• 16:09, 19 октября 2020 (разн. | история) . . (-11)‎ . . Математические методы верификации схем и программ ‎
• 16:08, 19 октября 2020 (разн. | история) . . (+184)‎ . . Н Файл:Seminar Verification 4 eng.pdf ‎ (2020. английская версия семинара 4 по курсу мат.методов верификации схем и программ (обзор средства NuSMV)) (текущая)
• 18:57, 16 октября 2020 (разн. | история) . . (+153)‎ . . Заглавная страница ‎
• 19:41, 15 октября 2020 (разн. | история) . . (+39)‎ . . м Выставка кафедр 2020 ‎ (текущая)
• 20:22, 14 октября 2020 (разн. | история) . . (+1)‎ . . Выставка кафедр 2020 ‎
• 19:41, 14 октября 2020 (разн. | история) . . (+336)‎ . . Выставка кафедр 2020 ‎
• 19:29, 14 октября 2020 (разн. | история) . . (+3884)‎ . . Н Выставка кафедр 2020 ‎ (Новая страница: «На этой странице собраны ссылки на материалы, которые обычно демонстрируются на ежегодн…»)
• 19:10, 14 октября 2020 (разн. | история) . . (+15)‎ . . Н Файл:Выставка кафедр Задачки (миниатюра).png ‎ (Осень 2020) (текущая)
• 19:09, 14 октября 2020 (разн. | история) . . (+15)‎ . . Н Файл:Выставка кафедр Информационный лист (миниатюра).png ‎ (Осень 2020) (текущая)
• 18:48, 14 октября 2020 (разн. | история) . . (+15)‎ . . Н Файл:Постер кафедры (миниатюра).png ‎ (Осень 2020) (текущая)
• 17:59, 14 октября 2020 (разн. | история) . . (+15)‎ . . Н Файл:Постер кафедры.jpg ‎ (Осень 2020) (текущая)
• 17:57, 14 октября 2020 (разн. | история) . . (0)‎ . . Н Файл:Постер кафедры.png ‎ (текущая)
• 17:51, 14 октября 2020 (разн. | история) . . (+15)‎ . . Н Файл:Выставка кафедр Задачки.pdf ‎ (Осень 2020) (текущая)
• 17:29, 14 октября 2020 (разн. | история) . . (+15)‎ . . Н Файл:Выставка кафедр Информационный лист.pdf ‎ (Осень 2020) (текущая)
• 17:28, 14 октября 2020 (разн. | история) . . (0)‎ . . Н Файл:Постер кафедры.pdf ‎ (текущая)
• 15:32, 14 октября 2020 (разн. | история) . . (+46)‎ . . Языки описания цифровых схем ‎
• 15:31, 14 октября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 12.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 12.pdf») (текущая)
• 15:31, 14 октября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 11.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 11.pdf») (текущая)
• 20:44, 6 октября 2020 (разн. | история) . . (+1395)‎ . . Шаблон:Current Seminars ‎ (→‎Доклады на спецсеминарах)
• 20:25, 6 октября 2020 (разн. | история) . . (-1455)‎ . . Шаблон:Current Seminars ‎ (→‎Доклады на спецсеминарах)
• 20:24, 6 октября 2020 (разн. | история) . . (+27)‎ . . Спецсеминары ‎
• 20:23, 6 октября 2020 (разн. | история) . . (+1528)‎ . . Шаблон:Current Seminars ‎ (→‎Доклады на спецсеминарах)
• 20:04, 6 октября 2020 (разн. | история) . . (+1435)‎ . . Дискретная математика и математическая кибернетика ‎ (→‎Расписание докладов)
• 17:38, 6 октября 2020 (разн. | история) . . (-47)‎ . . Математические методы верификации схем и программ ‎
• 17:37, 6 октября 2020 (разн. | история) . . (+123)‎ . . Н Файл:Seminar Verification 3 eng.pdf ‎ (курс методов верификации, 2020. перевод "Seminar_Verification_3.pdf" на английский) (текущая)
• 20:07, 5 октября 2020 (разн. | история) . . (-23)‎ . . м Языки описания цифровых схем ‎
• 16:27, 30 сентября 2020 (разн. | история) . . (+67)‎ . . Н Лаборатория дискретных управляющих систем и их приложений ‎ (Новая страница: «Пока что на этой странице ничего нет.») (текущая)
• 22:51, 28 сентября 2020 (разн. | история) . . (-112)‎ . . Спецсеминары ‎
• 22:45, 28 сентября 2020 (разн. | история) . . (+319)‎ . . м Спецсеминары ‎
• 22:29, 28 сентября 2020 (разн. | история) . . (+81)‎ . . м Спецсеминары ‎
• 22:20, 28 сентября 2020 (разн. | история) . . (0)‎ . . Заглавная страница ‎
• 22:17, 28 сентября 2020 (разн. | история) . . (-87)‎ . . Заглавная страница ‎
• 22:17, 28 сентября 2020 (разн. | история) . . (+1935)‎ . . Н Спецсеминары ‎ (Новая страница: «''Если хотите связаться с преподавателем, но не можете, то напишите Подымов Владислав Ва…»)
• 22:03, 28 сентября 2020 (разн. | история) . . (-59)‎ . . Заглавная страница ‎
• 22:02, 28 сентября 2020 (разн. | история) . . (-86)‎ . . м Категория:Спецкурсы кафедры МК ‎ (Полностью удалено содержимое страницы) (текущая)
• 22:01, 28 сентября 2020 (разн. | история) . . (+2168)‎ . . Н Спецкурсы ‎ (Новая страница: «''Если хотите связаться с преподавателем, но не можете, то напишите Подымов Владислав Ва…») (текущая)
• 13:09, 27 сентября 2020 (разн. | история) . . (+139)‎ . . Языки описания цифровых схем ‎
• 13:06, 27 сентября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl practice 01.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl practice 01.pdf») (текущая)
• 12:42, 27 сентября 2020 (разн. | история) . . (+170)‎ . . Языки описания цифровых схем ‎
• 12:39, 27 сентября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 10.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 10.pdf») (текущая)
• 12:38, 27 сентября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 09.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 09.pdf») (текущая)
• 12:37, 27 сентября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 08.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 08.pdf») (текущая)
• 12:23, 27 сентября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 07.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 07.pdf») (текущая)
• 12:21, 27 сентября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 06.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 06.pdf») (текущая)
• 16:01, 22 сентября 2020 (разн. | история) . . (-15)‎ . . Математические методы верификации схем и программ ‎
• 15:59, 22 сентября 2020 (разн. | история) . . (+136)‎ . . Н Файл:Seminar Verification 2 eng.pdf ‎ (Английский перевод версии 2019 года (то же без "eng") с косметическими правками) (текущая)
• 14:31, 16 сентября 2020 (разн. | история) . . (0)‎ . . Языки описания цифровых схем ‎
• 14:31, 16 сентября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 06.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 06.pdf»)
• 14:30, 16 сентября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 05.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 05.pdf») (текущая)
• 19:00, 14 сентября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 04.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 04.pdf») (текущая)
• 10:56, 12 сентября 2020 (разн. | история) . . (0)‎ . . м Языки описания цифровых схем ‎
• 10:55, 12 сентября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 04.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 04.pdf»)
• 23:45, 8 сентября 2020 (разн. | история) . . (-38)‎ . . Математические методы верификации схем и программ ‎
• 23:44, 8 сентября 2020 (разн. | история) . . (+134)‎ . . Н Файл:Seminar Verification 1 eng.pdf ‎ (курс методов верификации. осень 2020. семинар по логике хоара на английском) (текущая)
• 11:14, 8 сентября 2020 (разн. | история) . . (-164)‎ . . Математические методы верификации схем и программ ‎
• 11:11, 8 сентября 2020 (разн. | история) . . (+116)‎ . . Н Файл:Lecture Verification 2 eng.pdf ‎ (магистерский курс методов верификации, лекция про логику Хоара) (текущая)
• 21:53, 4 сентября 2020 (разн. | история) . . (+6)‎ . . м Языки описания цифровых схем ‎
• 21:52, 4 сентября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 03.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 03.pdf») (текущая)
• 21:52, 4 сентября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 02.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 02.pdf») (текущая)
• 21:51, 4 сентября 2020 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 01.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 01.pdf») (текущая)
• 23:56, 1 сентября 2020 (разн. | история) . . (+9)‎ . . м Языки описания цифровых схем ‎
• 23:52, 1 сентября 2020 (разн. | история) . . (+39)‎ . . м Математические методы верификации схем и программ ‎
• 01:01, 3 июля 2020 (разн. | история) . . (+22)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 14:47, 1 июля 2020 (разн. | история) . . (0)‎ . . Файл:Test.txt ‎ (PodymovVV загружена новая версия «Файл:Test.txt») (текущая)
• 23:52, 28 июня 2020 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 10:17, 28 июня 2020 (разн. | история) . . (+9)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 20:46, 23 июня 2020 (разн. | история) . . (0)‎ . . Файл:Test.txt ‎ (PodymovVV загружена новая версия «Файл:Test.txt»)
• 18:20, 28 мая 2020 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 16:03, 28 мая 2020 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 23:38, 26 мая 2020 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 19:08, 24 мая 2020 (разн. | история) . . (+12)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 19:03, 24 мая 2020 (разн. | история) . . (+17)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 19:02, 24 мая 2020 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 lecture 17.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 17.pdf») (текущая)
• 18:26, 18 мая 2020 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 15:41, 17 мая 2020 (разн. | история) . . (0)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 12:00, 17 мая 2020 (разн. | история) . . (-1274)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 11:46, 17 мая 2020 (разн. | история) . . (+4)‎ . . Математическая логика и логическое программирование (группа 318) ‎
• 11:42, 17 мая 2020 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 lecture 16.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 16.pdf») (текущая)
• 11:41, 17 мая 2020 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 lecture 15.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 15.pdf») (текущая)
• 10:41, 16 мая 2020 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 lecture 14.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 14.pdf») (текущая)
• 19:40, 14 мая 2020 (разн. | история) . . (0)‎ . . м Математическая логика и логическое программирование (группа 318) ‎

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