Вклад участника
(новейшие | старейшие) Просмотреть (500 более новые | 500 более старые) (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, 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) . . Математические методы верификации схем и программ
- 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, 319/2, 241, 242)
- 14:47, 1 июля 2020 (разн. | история) . . (0) . . Файл:Test.txt (PodymovVV загружена новая версия «Файл:Test.txt») (текущая)
- 23:52, 28 июня 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 10:17, 28 июня 2020 (разн. | история) . . (+9) . . Математическая логика (318, 319/2, 241, 242)
- 20:46, 23 июня 2020 (разн. | история) . . (0) . . Файл:Test.txt (PodymovVV загружена новая версия «Файл:Test.txt»)
- 18:20, 28 мая 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 16:03, 28 мая 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 23:38, 26 мая 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 19:08, 24 мая 2020 (разн. | история) . . (+12) . . Математическая логика (318, 319/2, 241, 242)
- 19:03, 24 мая 2020 (разн. | история) . . (+17) . . Математическая логика (318, 319/2, 241, 242)
- 19:02, 24 мая 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 17.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 17.pdf») (текущая)
- 18:26, 18 мая 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 15:41, 17 мая 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 12:00, 17 мая 2020 (разн. | история) . . (-1274) . . Математическая логика (318, 319/2, 241, 242)
- 11:46, 17 мая 2020 (разн. | история) . . (+4) . . Математическая логика (318, 319/2, 241, 242)
- 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, 319/2, 241, 242)
- 19:39, 14 мая 2020 (разн. | история) . . (-8415) . . м Математическая логика (318, 319/2, 241, 242)
- 19:34, 14 мая 2020 (разн. | история) . . (-230) . . Математическая логика (318, 319/2, 241, 242)
- 19:28, 14 мая 2020 (разн. | история) . . (-3) . . Математическая логика (318, 319/2, 241, 242)
- 19:27, 14 мая 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 14.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 14.pdf»)
- 16:02, 13 мая 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 15:21, 9 мая 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 11:46, 8 мая 2020 (разн. | история) . . (+87) . . Математическая логика (318, 319/2, 241, 242)
- 22:01, 3 мая 2020 (разн. | история) . . (-34) . . Математическая логика (318, 319/2, 241, 242)
- 18:02, 3 мая 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 seminar natural inference.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf»)
- 11:27, 3 мая 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 12 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 12 13.pdf») (текущая)
- 11:35, 29 апреля 2020 (разн. | история) . . (+82) . . Математическая логика (318, 319/2, 241, 242)
- 19:30, 27 апреля 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 11:28, 27 апреля 2020 (разн. | история) . . (0) . . м Математическая логика (318, 319/2, 241, 242)
- 11:28, 27 апреля 2020 (разн. | история) . . (+585) . . Математическая логика (318, 319/2, 241, 242)
- 02:00, 27 апреля 2020 (разн. | история) . . (+290) . . Математическая логика (318, 319/2, 241, 242)
- 01:58, 27 апреля 2020 (разн. | история) . . (+113) . . Н Файл:Mathlog 318 lecture 12 13.pdf (2020, весна. Всё про исчисления, кроме общих слов (они в лекции 11).)
- 11:39, 21 апреля 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 11.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 11.pdf») (текущая)
- 12:51, 20 апреля 2020 (разн. | история) . . (-1) . . м Математическая логика (318, 319/2, 241, 242)
- 12:50, 20 апреля 2020 (разн. | история) . . (+85) . . Математическая логика (318, 319/2, 241, 242)
- 12:25, 19 апреля 2020 (разн. | история) . . (-4) . . м Математическая логика (318, 319/2, 241, 242)
- 15:58, 17 апреля 2020 (разн. | история) . . (+5) . . м Математическая логика (318, 319/2, 241, 242)
- 15:57, 17 апреля 2020 (разн. | история) . . (-25) . . Математическая логика (318, 319/2, 241, 242)
- 15:53, 17 апреля 2020 (разн. | история) . . (+72) . . Математическая логика (318, 319/2, 241, 242)
- 15:49, 17 апреля 2020 (разн. | история) . . (-687) . . Математическая логика (318, 319/2, 241, 242)
- 15:35, 17 апреля 2020 (разн. | история) . . (+984) . . Математическая логика (318, 319/2, 241, 242)
- 15:26, 17 апреля 2020 (разн. | история) . . (-53) . . Математическая логика (318, 319/2, 241, 242)
- 15:24, 17 апреля 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 11.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 11.pdf»)
- 12:49, 14 апреля 2020 (разн. | история) . . (-643) . . Математическая логика (318, 319/2, 241, 242)
- 16:06, 13 апреля 2020 (разн. | история) . . (+95) . . Математическая логика (318, 319/2, 241, 242)
- 16:04, 13 апреля 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 10.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 10.pdf») (текущая)
- 18:36, 11 апреля 2020 (разн. | история) . . (+2472) . . Математическая логика (318, 319/2, 241, 242)
- 18:11, 11 апреля 2020 (разн. | история) . . (-588) . . м Математическая логика (318, 319/2, 241, 242)
- 18:10, 11 апреля 2020 (разн. | история) . . (-294) . . Математическая логика (318, 319/2, 241, 242)
- 18:08, 11 апреля 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 10.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 10.pdf»)
- 13:43, 2 апреля 2020 (разн. | история) . . (-101) . . м Математическая логика (318, 319/2, 241, 242)
- 13:20, 2 апреля 2020 (разн. | история) . . (+373) . . Математическая логика (318, 319/2, 241, 242)
- 13:18, 2 апреля 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 9.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 9.pdf») (текущая)
- 11:27, 2 апреля 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 15:54, 31 марта 2020 (разн. | история) . . (+124) . . Математическая логика (318, 319/2, 241, 242)
- 12:07, 30 марта 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 7.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 7.pdf») (текущая)
- 12:49, 22 марта 2020 (разн. | история) . . (+7) . . Математическая логика (318, 319/2, 241, 242)
- 12:47, 22 марта 2020 (разн. | история) . . (+14) . . Математическая логика (318, 319/2, 241, 242)
- 12:43, 22 марта 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 8.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 8.pdf») (текущая)
- 12:43, 22 марта 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 7.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 7.pdf»)
- 13:12, 16 марта 2020 (разн. | история) . . (-28) . . Математическая логика (318, 319/2, 241, 242)
- 12:59, 16 марта 2020 (разн. | история) . . (-704) . . Математическая логика (318, 319/2, 241, 242)
- 12:58, 16 марта 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 6.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 6.pdf») (текущая)
- 11:04, 4 марта 2020 (разн. | история) . . (+710) . . Математическая логика (318, 319/2, 241, 242)
- 10:59, 4 марта 2020 (разн. | история) . . (+249) . . Н Файл:Mathlog 318 lecture 4 5.pdf (мат.логика и логическая программирование у групп 318, 241, 242. Лекции 4 и 5 (от определения общезначимости до корректности табличного вывода).) (текущая)
- 11:58, 23 февраля 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 11:28, 18 февраля 2020 (разн. | история) . . (-88) . . Математическая логика (318, 319/2, 241, 242)
- 11:27, 18 февраля 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 3.pdf») (текущая)
- 16:17, 13 февраля 2020 (разн. | история) . . (+122) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 16:17, 13 февраля 2020 (разн. | история) . . (+53) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 16:16, 13 февраля 2020 (разн. | история) . . (-6778) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 10:13, 11 февраля 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf») (текущая)
- 13:03, 10 февраля 2020 (разн. | история) . . (+435) . . Математическая логика (318, 319/2, 241, 242)
- 13:00, 10 февраля 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»)
- 12:59, 10 февраля 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 1.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 1.pdf») (текущая)
- 10:49, 2 января 2020 (разн. | история) . . (0) . . м Языки описания схем
- 10:49, 2 января 2020 (разн. | история) . . (+207) . . Языки описания схем
- 10:48, 2 января 2020 (разн. | история) . . (+178) . . Н Файл:Hdl lecture aux 05.pdf (языки описания схем. протокол spi для произвольного числа устройств. состояние высокого импеданса)
- 16:09, 20 декабря 2019 (разн. | история) . . (+13) . . Дискретный анализ (лекционный курс) (текущая)
- 16:06, 20 декабря 2019 (разн. | история) . . (+12) . . Просеминар для 2-го курса
- 16:06, 20 декабря 2019 (разн. | история) . . (+12) . . Дискретный анализ (текущая)
- 16:19, 13 декабря 2019 (разн. | история) . . (+392) . . Языки описания схем
- 16:18, 13 декабря 2019 (разн. | история) . . (+117) . . Н Файл:Hdl lecture aux 04.pdf (языки описания схем. кое-что еще 4: протокол spi для двух устройств)
- 16:17, 13 декабря 2019 (разн. | история) . . (+139) . . Н Файл:Hdl lecture aux 03.pdf (языки описания схем. кое-что еще 3: классификация протоколов передачи данных)
- 16:17, 13 декабря 2019 (разн. | история) . . (+121) . . Н Файл:Hdl lecture aux 02.pdf (языки описания схем. кое-что еще 2: схемная реализация протокола UART)
- 12:33, 29 ноября 2019 (разн. | история) . . (-7) . . Математические методы верификации схем и программ
- 12:33, 29 ноября 2019 (разн. | история) . . (0) . . Файл:Lecture Verification 10.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 10.pdf») (текущая)
- 21:20, 23 ноября 2019 (разн. | история) . . (+289) . . Вечер кафедр 2019 (текущая)
- 14:05, 23 ноября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture aux 01.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 01.pdf»)
- 15:33, 22 ноября 2019 (разн. | история) . . (+306) . . Языки описания схем
- 15:30, 22 ноября 2019 (разн. | история) . . (+181) . . Н Файл:Hdl lecture aux 01.pdf (языки описания схем. лекция 1 не для зачёта. протоколы передачи данных. общее описание протокола uart.)
- 15:25, 22 ноября 2019 (разн. | история) . . (+157) . . Н Файл:Hdl lecture 23.pdf (языки описания схем. последняя лекция: автоматы с приостановкой выполнения переходов)
- 10:47, 20 ноября 2019 (разн. | история) . . (-14) . . Математические методы верификации схем и программ
- 10:45, 20 ноября 2019 (разн. | история) . . (0) . . Файл:Lecture Verification 9.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 9.pdf») (текущая)
- 18:05, 14 ноября 2019 (разн. | история) . . (+422) . . Языки описания схем
- 18:04, 14 ноября 2019 (разн. | история) . . (+134) . . Н Файл:Hdl practice 06.pdf (языки описания схем. практика: операционный и управляющий автоматы в verilog)
- 18:02, 14 ноября 2019 (разн. | история) . . (+126) . . Н Файл:Hdl lecture 22.pdf (языки описания схем. как дополнить операционный автомат управляющим)
- 18:01, 14 ноября 2019 (разн. | история) . . (+113) . . Н Файл:Hdl lecture 21.pdf (языки описания схем. как спроектировать операционный автомат)
- 15:16, 13 ноября 2019 (разн. | история) . . (+373) . . Шаблон:Important Announcements
- 15:13, 13 ноября 2019 (разн. | история) . . (+1907) . . Н Вечер кафедр 2019 (Новая страница: «На этой странице размещена информация о вечере кафедр математической кибернетики и инф…»)
- 15:20, 8 ноября 2019 (разн. | история) . . (+87) . . Языки описания схем
- 15:18, 8 ноября 2019 (разн. | история) . . (+72) . . Н Файл:Hdl practice 05.pdf (языки описания схем. Практика: автоматы)
- 15:15, 8 ноября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 20.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 20.pdf»)
- 15:15, 8 ноября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 19.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 19.pdf»)
- 21:38, 5 ноября 2019 (разн. | история) . . (0) . . Файл:Seminar Verification 8.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 8.pdf») (текущая)
- 21:35, 1 ноября 2019 (разн. | история) . . (-76) . . Языки описания схем
- 21:34, 1 ноября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 18.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 18.pdf»)
- 21:34, 1 ноября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 17.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 17.pdf»)
- 21:33, 1 ноября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 16.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 16.pdf»)
- 14:05, 26 октября 2019 (разн. | история) . . (0) . . Файл:Seminar Verification 7.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 7.pdf») (текущая)
- 14:04, 26 октября 2019 (разн. | история) . . (0) . . Файл:Lecture Verification 7.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 7.pdf») (текущая)
- 11:24, 25 октября 2019 (разн. | история) . . (+215) . . Языки описания схем
- 11:23, 25 октября 2019 (разн. | история) . . (+184) . . Н Файл:Hdl practice 04.pdf (языки описания схем. практический блок 4: verilog и продвинутый синтаксис (параметры, массивы, генерация))
- 11:22, 25 октября 2019 (разн. | история) . . (+104) . . Н Файл:Hdl practice 03.pdf (языки описания схем. практический блок 3: verilog и процедуры)
- 11:19, 25 октября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 15.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 15.pdf»)
- 12:30, 14 октября 2019 (разн. | история) . . (0) . . Файл:Seminar Verification 4.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 4.pdf») (текущая)
- 12:10, 11 октября 2019 (разн. | история) . . (0) . . Языки описания схем
- 12:09, 11 октября 2019 (разн. | история) . . (+135) . . Языки описания схем
- 12:09, 11 октября 2019 (разн. | история) . . (+117) . . Н Файл:Hdl practice 02.pdf (языки описания схем, задания для практических занятий. Verilog + assign)
- 12:05, 11 октября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 14.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 14.pdf»)
- 12:03, 11 октября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 13.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 13.pdf»)
- 12:01, 11 октября 2019 (разн. | история) . . (+55) . . Языки описания схем
- 12:00, 11 октября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 14.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 14.pdf»)
- 11:59, 11 октября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 13.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 13.pdf»)
- 11:34, 10 октября 2019 (разн. | история) . . (+17) . . м Участник:PodymovVV
- 11:33, 10 октября 2019 (разн. | история) . . (-113) . . Участник:PodymovVV
- 09:40, 8 октября 2019 (разн. | история) . . (0) . . Файл:Seminar Verification 3.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 3.pdf») (текущая)
- 20:30, 4 октября 2019 (разн. | история) . . (-29) . . Языки описания схем
- 20:29, 4 октября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 12.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 12.pdf»)
- 20:26, 4 октября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 11.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 11.pdf»)
- 18:28, 3 октября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 11.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 11.pdf»)
- 18:20, 3 октября 2019 (разн. | история) . . (+4) . . м Языки описания схем
- 18:19, 3 октября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 11.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 11.pdf»)
- 10:18, 1 октября 2019 (разн. | история) . . (+91) . . Математические методы верификации схем и программ
- 14:54, 27 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 10.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 10.pdf»)
- 12:47, 27 сентября 2019 (разн. | история) . . (+29) . . Языки описания схем
- 12:46, 27 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 11.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 11.pdf»)
- 12:45, 27 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 10.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 10.pdf»)
- 12:23, 24 сентября 2019 (разн. | история) . . (0) . . Файл:Seminar Verification 2.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 2.pdf») (текущая)
- 15:31, 19 сентября 2019 (разн. | история) . . (+1) . . м Языки описания схем
- 15:31, 19 сентября 2019 (разн. | история) . . (+59) . . Языки описания схем
- 15:31, 19 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 09.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 09.pdf»)
- 12:44, 13 сентября 2019 (разн. | история) . . (+139) . . Языки описания схем
- 12:43, 13 сентября 2019 (разн. | история) . . (+84) . . Н Файл:Hdl practice 01.pdf (практические задания: последовательные схемы)
- 16:30, 12 сентября 2019 (разн. | история) . . (-21) . . Языки описания схем
- 16:29, 12 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 09.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 09.pdf»)
- 16:29, 12 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 08.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 08.pdf»)
- 16:28, 12 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 07.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 07.pdf»)
- 16:28, 12 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 06.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 06.pdf»)
- 17:08, 10 сентября 2019 (разн. | история) . . (0) . . Файл:Seminar Verification 1.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 1.pdf») (текущая)
- 17:05, 10 сентября 2019 (разн. | история) . . (-36) . . Математические методы верификации схем и программ
- 18:42, 6 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 03.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 03.pdf»)
- 12:34, 6 сентября 2019 (разн. | история) . . (+187) . . Языки описания схем
- 12:33, 6 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 06.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 06.pdf»)
- 12:32, 6 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 05.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 05.pdf»)
- 12:31, 6 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 04.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 04.pdf»)
- 12:29, 6 сентября 2019 (разн. | история) . . (0) . . Файл:Lecture Verification 2.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 2.pdf») (текущая)
- 09:22, 4 сентября 2019 (разн. | история) . . (-5709) . . Языки описания схем
- 09:09, 4 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 03.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 03.pdf»)
- 09:08, 4 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 02.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 02.pdf»)
- 09:08, 4 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 01.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 01.pdf»)
- 20:44, 8 июля 2019 (разн. | история) . . (-15) . . Участник:PodymovVV
- 18:42, 19 июня 2019 (разн. | история) . . (+68) . . м Математическая логика (318, 319/2, 241, 242)
- 17:22, 19 июня 2019 (разн. | история) . . (+70) . . Математическая логика (318, 319/2, 241, 242)
- 14:16, 19 июня 2019 (разн. | история) . . (+35) . . Математическая логика (318, 319/2, 241, 242)
- 13:47, 19 июня 2019 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 21:36, 18 июня 2019 (разн. | история) . . (-1603) . . Математическая логика (318, 319/2, 241, 242)
- 23:37, 12 июня 2019 (разн. | история) . . (+137) . . Математические модели и методы физического синтеза сверхбольших интегральных схем
- 17:21, 31 мая 2019 (разн. | история) . . (-522) . . Математическая логика (318, 319/2, 241, 242)
- 16:44, 31 мая 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 15.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 15.pdf»)
- 15:44, 20 мая 2019 (разн. | история) . . (+1580) . . Математическая логика (318, 319/2, 241, 242)
- 10:42, 20 мая 2019 (разн. | история) . . (+35) . . Математическая логика (318, 319/2, 241, 242)
- 20:29, 17 мая 2019 (разн. | история) . . (+35) . . Математическая логика (318, 319/2, 241, 242)
- 19:44, 17 мая 2019 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 18:18, 15 мая 2019 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 18:03, 13 мая 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 17.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 17.pdf»)
- 18:03, 13 мая 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 16.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 16.pdf»)
- 18:00, 13 мая 2019 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 16:25, 13 мая 2019 (разн. | история) . . (+57) . . м Математическая логика (318, 319/2, 241, 242)
- 16:23, 13 мая 2019 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 16:43, 12 мая 2019 (разн. | история) . . (+96) . . Математическая логика (318, 319/2, 241, 242)
- 16:34, 12 мая 2019 (разн. | история) . . (+523) . . Математическая логика (318, 319/2, 241, 242)
- 16:31, 12 мая 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 17.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 17.pdf»)
- 16:30, 12 мая 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 16.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 16.pdf»)
- 13:44, 6 мая 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 15.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 15.pdf»)
- 13:37, 6 мая 2019 (разн. | история) . . (+35) . . Математическая логика (318, 319/2, 241, 242)
- 20:33, 5 мая 2019 (разн. | история) . . (+784) . . Математическая логика (318, 319/2, 241, 242)
- 20:23, 5 мая 2019 (разн. | история) . . (+349) . . Математическая логика (318, 319/2, 241, 242)
- 20:22, 5 мая 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 15.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 15.pdf»)
- 14:40, 28 апреля 2019 (разн. | история) . . (-839) . . Математическая логика (318, 319/2, 241, 242)
- 14:32, 28 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 14.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 14.pdf»)
- 17:16, 26 апреля 2019 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 16:56, 26 апреля 2019 (разн. | история) . . (-60) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 16:17, 26 апреля 2019 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 09:18, 26 апреля 2019 (разн. | история) . . (-7) . . м Математическая логика (318, 319/2, 241, 242)
- 09:17, 26 апреля 2019 (разн. | история) . . (-220) . . м Математическая логика (318, 319/2, 241, 242)
- 16:04, 25 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 seminar natural inference.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf»)
- 11:35, 25 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf») (текущая)
- 11:32, 25 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»)
- 16:15, 22 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»)
- 16:08, 22 апреля 2019 (разн. | история) . . (-41) . . Математическая логика (318, 319/2, 241, 242)
- 14:34, 22 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 12.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 12.pdf») (текущая)
- 20:25, 21 апреля 2019 (разн. | история) . . (+53) . . Математическая логика (318, 319/2, 241, 242)
- 20:20, 21 апреля 2019 (разн. | история) . . (+501) . . Математическая логика (318, 319/2, 241, 242)
- 20:17, 21 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»)
- 20:17, 21 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 12.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 12.pdf»)
- 10:49, 16 апреля 2019 (разн. | история) . . (0) . . Файл:Mllp 318 seminar definability.pdf (PodymovVV загружена новая версия «Файл:Mllp 318 seminar definability.pdf»)
- 13:11, 15 апреля 2019 (разн. | история) . . (+1233) . . Математическая логика (318, 319/2, 241, 242)
- 12:39, 15 апреля 2019 (разн. | история) . . (0) . . м Математическая логика (318, 319/2, 241, 242)
- 16:13, 11 апреля 2019 (разн. | история) . . (+76) . . м Математическая логика (318, 319/2, 241, 242)
- 16:11, 11 апреля 2019 (разн. | история) . . (0) . . Файл:Mllp 318 seminar definability.pdf (PodymovVV загружена новая версия «Файл:Mllp 318 seminar definability.pdf»)
- 19:58, 8 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 11.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 11.pdf»)
- 21:03, 7 апреля 2019 (разн. | история) . . (+1007) . . Математическая логика (318, 319/2, 241, 242)
- 20:52, 7 апреля 2019 (разн. | история) . . (+627) . . Математическая логика (318, 319/2, 241, 242)
- 20:49, 7 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 11.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 11.pdf»)
- 20:48, 7 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 10.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 10.pdf»)
- 08:56, 29 марта 2019 (разн. | история) . . (+127) . . Математическая логика (318, 319/2, 241, 242)
- 12:14, 24 марта 2019 (разн. | история) . . (0) . . м Математическая логика (318, 319/2, 241, 242)
- 09:27, 18 марта 2019 (разн. | история) . . (+133) . . м Математическая логика (318, 319/2, 241, 242)
- 20:25, 10 марта 2019 (разн. | история) . . (-115) . . Математическая логика (318, 319/2, 241, 242)
- 20:22, 10 марта 2019 (разн. | история) . . (+70) . . Математическая логика (318, 319/2, 241, 242)
- 20:19, 10 марта 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 8.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 8.pdf»)
- 20:19, 10 марта 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 7.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 7.pdf»)
- 19:11, 3 марта 2019 (разн. | история) . . (-99) . . Математическая логика (318, 319/2, 241, 242)
- 19:08, 3 марта 2019 (разн. | история) . . (-37) . . Математическая логика (318, 319/2, 241, 242)
- 19:06, 3 марта 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 6.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 6.pdf»)
- 13:13, 2 марта 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 5.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 5.pdf») (текущая)
- 17:55, 23 февраля 2019 (разн. | история) . . (-796) . . Математическая логика (318, 319/2, 241, 242)
- 17:48, 23 февраля 2019 (разн. | история) . . (+2) . . Математическая логика (318, 319/2, 241, 242)
- 17:46, 23 февраля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 5.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 5.pdf»)
- 17:46, 23 февраля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 4.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 4.pdf») (текущая)
- 15:57, 20 февраля 2019 (разн. | история) . . (0) . . м Избранные вопросы теории графов
- 14:03, 18 февраля 2019 (разн. | история) . . (+13) . . Основы кибернетики (418 группа) (текущая)
- 14:01, 18 февраля 2019 (разн. | история) . . (+13) . . Дополнительные главы кибернетики и теории управляющих систем (текущая)
- 13:10, 18 февраля 2019 (разн. | история) . . (+13) . . Элементарные рекурсивные функции (текущая)
- 13:09, 18 февраля 2019 (разн. | история) . . (+13) . . Частичные булевы функции (текущая)
- 13:09, 18 февраля 2019 (разн. | история) . . (+13) . . Функциональные уравнения многозначной логики (текущая)
- 13:08, 18 февраля 2019 (разн. | история) . . (+13) . . Предполные классы многозначной логики (текущая)
- 13:08, 18 февраля 2019 (разн. | история) . . (+13) . . Предикатное определение замкнутых классов (текущая)
- 13:08, 18 февраля 2019 (разн. | история) . . (+13) . . Основы теории алгоритмов (текущая)
- 13:07, 18 февраля 2019 (разн. | история) . . (+13) . . Операторы замыкания в многозначной логике (текущая)
- 13:07, 18 февраля 2019 (разн. | история) . . (+13) . . Однородные функции (текущая)
- 12:27, 18 февраля 2019 (разн. | история) . . (+13) . . Некоторые вопросы теории управляющих систем (текущая)
- 12:26, 18 февраля 2019 (разн. | история) . . (-211) . . Категория:Спецсеминары кафедры математической кибернетики (текущая)
- 12:26, 18 февраля 2019 (разн. | история) . . (+1) . . Категория:Архив спецсеминаров кафедры математической кибернетики (текущая)
- 09:55, 17 февраля 2019 (разн. | история) . . (+12) . . Дополнительные главы дискретной математики (2-й поток) (текущая)
- 17:27, 16 февраля 2019 (разн. | история) . . (+81) . . Математическая логика (318, 319/2, 241, 242)
- 17:25, 16 февраля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 3.pdf»)
- 11:22, 15 февраля 2019 (разн. | история) . . (0) . . Файл:LectEng2.pdf (PodymovVV загружена новая версия «Файл:LectEng2.pdf») (текущая)
- 21:43, 14 февраля 2019 (разн. | история) . . (0) . . Файл:LectEng2.pdf (PodymovVV загружена новая версия «Файл:LectEng2.pdf»)
- 16:53, 11 февраля 2019 (разн. | история) . . (+50) . . м Категория:Спецкурсы кафедры МК (архив) (текущая)
- 12:19, 11 февраля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»)
- 20:38, 9 февраля 2019 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 20:37, 9 февраля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»)
- 20:36, 9 февраля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 1.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 1.pdf»)
- 12:20, 7 февраля 2019 (разн. | история) . . (-77) . . м Математическая логика (318, 319/2, 241, 242)
- 12:19, 7 февраля 2019 (разн. | история) . . (-76) . . м Математическая логика и теория алгоритмов (текущая)
- 12:19, 7 февраля 2019 (разн. | история) . . (+207) . . Н Математическая логика (группы 318, 241) (Перенаправление на Математическая логика и логическое программирование (группа 318))
- 14:02, 5 февраля 2019 (разн. | история) . . (-190) . . Математическая логика (318, 319/2, 241, 242)
- 11:24, 5 февраля 2019 (разн. | история) . . (-1587) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 13:58, 11 декабря 2018 (разн. | история) . . (0) . . Файл:Otchet pattern618-2018.zip (PodymovVV загружена новая версия «Файл:Otchet pattern618-2018.zip») (текущая)
- 13:57, 11 декабря 2018 (разн. | история) . . (0) . . Файл:Otchet pattern418-2018.zip (PodymovVV загружена новая версия «Файл:Otchet pattern418-2018.zip») (текущая)
- 12:20, 28 ноября 2018 (разн. | история) . . (-14) . . м Математические методы верификации схем и программ
- 12:19, 28 ноября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 10.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 10.pdf») (текущая)
- 11:18, 28 ноября 2018 (разн. | история) . . (0) . . Файл:Lecture Verification 10.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 10.pdf»)
- 23:01, 27 ноября 2018 (разн. | история) . . (-83) . . м Математические методы верификации схем и программ
- 23:00, 27 ноября 2018 (разн. | история) . . (0) . . Файл:Lecture Verification 10.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 10.pdf»)
(новейшие | старейшие) Просмотреть (500 более новые | 500 более старые) (20 | 50 | 100 | 250 | 500)