Вклад участника
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)
- 18:29, 12 февраля 2024 (разн. | история) . . (+86) . . Н Файл:DA VP 06.pdf (Распределённые алгоритмы, 521, весна 2023-2024, блок 6) (текущая)
- 18:29, 12 февраля 2024 (разн. | история) . . (+86) . . Н Файл:DA VP 05.pdf (Распределённые алгоритмы, 521, весна 2023-2024, блок 5) (текущая)
- 18:29, 12 февраля 2024 (разн. | история) . . (+86) . . Н Файл:DA VP 04.pdf (Распределённые алгоритмы, 521, весна 2023-2024, Блок 4) (текущая)
- 18:28, 12 февраля 2024 (разн. | история) . . (0) . . Файл:DA VP 02.pdf (PodymovVV загружена новая версия «Файл:DA VP 02.pdf») (текущая)
- 18:28, 12 февраля 2024 (разн. | история) . . (0) . . Файл:DA VP 01.pdf (PodymovVV загружена новая версия «Файл:DA VP 01.pdf») (текущая)
- 10:41, 12 февраля 2024 (разн. | история) . . (+534) . . Распределённые алгоритмы
- 10:40, 12 февраля 2024 (разн. | история) . . (+86) . . Н Файл:DA VP 03.pdf (Распределённые алгоритмы, 521, весна 2023-2024, блок 3) (текущая)
- 10:39, 12 февраля 2024 (разн. | история) . . (+86) . . Н Файл:DA VP 02.pdf (Распределённые алгоритмы, 521, весна 2023-2024, блок 2)
- 10:39, 12 февраля 2024 (разн. | история) . . (+87) . . Н Файл:DA VP 01.pdf (Распределённые алгоритмы, группа 521, весна 2023-2024)
- 08:00, 12 февраля 2024 (разн. | история) . . (-496) . . Распределённые алгоритмы
- 07:53, 12 февраля 2024 (разн. | история) . . (-18) . . м Распределенные алгоритмы (Перенаправление на Распределённые алгоритмы) (текущая)
- 07:53, 12 февраля 2024 (разн. | история) . . (+7555) . . Н Распределённые алгоритмы (Новая страница: «Категория:Лекционные курсы кафедры МК Обязательный курс для студентов группы 521. Курс…»)
- 07:53, 12 февраля 2024 (разн. | история) . . (-7472) . . Распределенные алгоритмы и системы (Перенаправление на Распределённые алгоритмы) (текущая)
- 16:44, 11 февраля 2024 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 16:43, 11 февраля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b3.pdf») (текущая)
- 16:43, 11 февраля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b2.pdf») (текущая)
- 16:43, 11 февраля 2024 (разн. | история) . . (0) . . Файл:Mathlog 318 b1.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 b1.pdf») (текущая)
- 19:35, 10 февраля 2024 (разн. | история) . . (0) . . м Математическая логика (318, 319/2, 241, 242)
- 19:05, 10 февраля 2024 (разн. | история) . . (+253) . . Математическая логика (318, 319/2, 241, 242)
- 17:52, 9 февраля 2024 (разн. | история) . . (+103) . . Заглавная страница (→Информация)
- 12:30, 9 февраля 2024 (разн. | история) . . (+81) . . Н Про2 (Перенаправление на Просеминар для 2-го курса) (текущая)
- 12:28, 9 февраля 2024 (разн. | история) . . (+8) . . Просеминар для 2-го курса
- 10:59, 9 февраля 2024 (разн. | история) . . (0) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем (текущая)
- 16:33, 25 января 2024 (разн. | история) . . (-2) . . м Распределенные алгоритмы и системы
- 11:02, 22 января 2024 (разн. | история) . . (-167) . . Математические методы верификации схем и программ (текущая)
- 11:01, 22 января 2024 (разн. | история) . . (0) . . Файл:Verif VP all.pdf (PodymovVV загружена новая версия «Файл:Verif VP all.pdf») (текущая)
- 00:07, 22 января 2024 (разн. | история) . . (0) . . Математические методы верификации схем и программ (→Правила проведения экзамена)
- 16:59, 6 января 2024 (разн. | история) . . (-124) . . Математическая логика и логическое программирование (3-й поток) (текущая)
- 16:58, 6 января 2024 (разн. | история) . . (0) . . Файл:MLLP VP all.pdf (PodymovVV загружена новая версия «Файл:MLLP VP all.pdf») (текущая)
- 16:33, 12 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 58.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 58.pdf») (текущая)
- 16:33, 12 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 57.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 57.pdf») (текущая)
- 16:33, 12 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 56.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 56.pdf») (текущая)
- 16:26, 12 декабря 2023 (разн. | история) . . (0) . . Файл:Verif VP 40.pdf (PodymovVV загружена новая версия «Файл:Verif VP 40.pdf») (текущая)
- 16:26, 12 декабря 2023 (разн. | история) . . (0) . . Файл:Verif VP 38.pdf (PodymovVV загружена новая версия «Файл:Verif VP 38.pdf») (текущая)
- 14:32, 12 декабря 2023 (разн. | история) . . (0) . . Файл:HDL VP 24.pdf (PodymovVV загружена новая версия «Файл:HDL VP 24.pdf») (текущая)
- 10:36, 11 декабря 2023 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток)
- 10:35, 11 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 58.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 58.pdf»)
- 10:34, 11 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 57.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 57.pdf»)
- 10:34, 11 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 56.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 56.pdf»)
- 10:08, 11 декабря 2023 (разн. | история) . . (+1032) . . Математические методы верификации схем и программ
- 10:03, 11 декабря 2023 (разн. | история) . . (+88) . . Н Файл:Verif VP 40.pdf (методы верификации программ, 2023-2024. блок 40. bmc -> sat)
- 10:03, 11 декабря 2023 (разн. | история) . . (+81) . . Н Файл:Verif VP 39.pdf (методы верификации программ, 2023-2024. блок 39. sat) (текущая)
- 10:02, 11 декабря 2023 (разн. | история) . . (+81) . . Н Файл:Verif VP 38.pdf (методы верификации программ, 2023-2024. блок 38. bmc)
- 10:01, 11 декабря 2023 (разн. | история) . . (+118) . . Н Файл:Verif VP 37.pdf (методы верификации программ, 2023-2024. блок 37. абстракция и редукция) (текущая)
- 10:01, 11 декабря 2023 (разн. | история) . . (+133) . . Н Файл:Verif VP 36.pdf (методы верификации программ, 2023-2024. блок 36. алгоритм проверки бисимул экв) (текущая)
- 10:00, 11 декабря 2023 (разн. | история) . . (+122) . . Н Файл:Verif VP 35.pdf (методы верификации программ, 2023-2024. блок 35. симуляция и бисимуляция) (текущая)
- 09:59, 11 декабря 2023 (разн. | история) . . (+153) . . Н Файл:Verif VP 34.pdf (методы верификации программ, 2023-2024. блок 34. алгоритм для тиситиэль, системы регионов) (текущая)
- 13:09, 7 декабря 2023 (разн. | история) . . (0) . . Файл:HDL VP R06.pdf (PodymovVV загружена новая версия «Файл:HDL VP R06.pdf») (текущая)
- 13:08, 7 декабря 2023 (разн. | история) . . (0) . . Файл:HDL VP 17.pdf (PodymovVV загружена новая версия «Файл:HDL VP 17.pdf») (текущая)
- 19:22, 4 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 54.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 54.pdf») (текущая)
- 19:22, 4 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 53.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 53.pdf») (текущая)
- 19:22, 4 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 52.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 52.pdf») (текущая)
- 10:43, 4 декабря 2023 (разн. | история) . . (-178) . . Математические методы верификации схем и программ
- 10:34, 4 декабря 2023 (разн. | история) . . (0) . . Файл:Verif VP Prac Uppaal.pdf (PodymovVV загружена новая версия «Файл:Verif VP Prac Uppaal.pdf») (текущая)
- 20:31, 3 декабря 2023 (разн. | история) . . (+17) . . Математическая логика и логическое программирование (3-й поток)
- 20:30, 3 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 55.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 55.pdf») (текущая)
- 20:27, 3 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 55.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 55.pdf»)
- 20:27, 3 декабря 2023 (разн. | история) . . (0) . . Файл:MLLP VP 54.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 54.pdf»)
- 13:17, 3 декабря 2023 (разн. | история) . . (+130) . . Н Методы верификации программ (Перенаправление на Математические методы верификации схем и программ) (текущая)
- 12:31, 3 декабря 2023 (разн. | история) . . (+249) . . Математические методы верификации схем и программ
- 12:30, 3 декабря 2023 (разн. | история) . . (+111) . . Н Файл:Verif VP 33.pdf (Методы верификации программ, 2023-2024. Сети временных автоматов) (текущая)
- 12:29, 3 декабря 2023 (разн. | история) . . (0) . . Файл:Verif VP 32.pdf (PodymovVV загружена новая версия «Файл:Verif VP 32.pdf») (текущая)
- 11:30, 28 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP 29.pdf (PodymovVV загружена новая версия «Файл:Verif VP 29.pdf») (текущая)
- 11:30, 28 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP 28.pdf (PodymovVV загружена новая версия «Файл:Verif VP 28.pdf») (текущая)
- 12:50, 27 ноября 2023 (разн. | история) . . (-47) . . Спецкурсы
- 12:49, 27 ноября 2023 (разн. | история) . . (-176) . . м Спецкурсы
- 12:47, 27 ноября 2023 (разн. | история) . . (-8) . . Спецкурсы
- 21:00, 26 ноября 2023 (разн. | история) . . (+1019) . . Шаблон:Important Announcements (→Объявления)
- 20:53, 26 ноября 2023 (разн. | история) . . (+188) . . Языки описания схем (текущая)
- 20:52, 26 ноября 2023 (разн. | история) . . (+182) . . Н Файл:HDL VP R06.pdf (языки описания схем. 2023-2024. кое-что ещё 6: эспиай для произвольного числа устройтсв, высокий импеданс)
- 20:37, 26 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 53.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 53.pdf»)
- 20:15, 26 ноября 2023 (разн. | история) . . (0) . . Математическая логика и логическое программирование (3-й поток)
- 20:14, 26 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 53.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 53.pdf»)
- 20:14, 26 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 52.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 52.pdf»)
- 20:14, 26 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 51.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 51.pdf») (текущая)
- 20:13, 26 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 50.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 50.pdf») (текущая)
- 20:13, 26 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 49.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 49.pdf») (текущая)
- 20:13, 26 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 48.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 48.pdf») (текущая)
- 17:27, 26 ноября 2023 (разн. | история) . . (-1479) . . Математические методы верификации схем и программ
- 17:25, 26 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP 31.pdf (PodymovVV загружена новая версия «Файл:Verif VP 31.pdf») (текущая)
- 17:25, 26 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP 30.pdf (PodymovVV загружена новая версия «Файл:Verif VP 30.pdf») (текущая)
- 17:24, 26 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP 29.pdf (PodymovVV загружена новая версия «Файл:Verif VP 29.pdf»)
- 17:23, 26 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP 29.pdf (PodymovVV загружена новая версия «Файл:Verif VP 29.pdf»)
- 14:30, 25 ноября 2023 (разн. | история) . . (0) . . Файл:HDL VP R03.pdf (PodymovVV загружена новая версия «Файл:HDL VP R03.pdf») (текущая)
- 14:29, 25 ноября 2023 (разн. | история) . . (0) . . Файл:HDL VP R02.pdf (PodymovVV загружена новая версия «Файл:HDL VP R02.pdf») (текущая)
- 14:29, 25 ноября 2023 (разн. | история) . . (0) . . Файл:HDL VP R01.pdf (PodymovVV загружена новая версия «Файл:HDL VP R01.pdf») (текущая)
- 19:18, 24 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP Review Nusmv.pdf (PodymovVV загружена новая версия «Файл:Verif VP Review Nusmv.pdf») (текущая)
- 15:16, 19 ноября 2023 (разн. | история) . . (+537) . . Языки описания схем
- 15:05, 19 ноября 2023 (разн. | история) . . (0) . . Математические методы верификации схем и программ
- 15:05, 19 ноября 2023 (разн. | история) . . (+120) . . Н Файл:HDL VP R05.pdf (языки описания схем. 2023-2024. кое-что ещё 5: эспиай для двух устройств) (текущая)
- 15:05, 19 ноября 2023 (разн. | история) . . (+150) . . Н Файл:HDL VP R04.pdf (языки описания схем. 2023-2024. кое-что ещё 4: классификация протоколов передачи данных) (текущая)
- 15:04, 19 ноября 2023 (разн. | история) . . (+74) . . Н Файл:HDL VP R03.pdf (языки описания схем. 2023-2024. приёмник юарт)
- 15:03, 19 ноября 2023 (разн. | история) . . (+142) . . Н Файл:HDL VP R02.pdf (языки описания схем. 2023-2024. кое-что ещё 2: передатчик юарт, автоматы с таймерами)
- 15:00, 19 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP Prac Nusmv.pdf (PodymovVV загружена новая версия «Файл:Verif VP Prac Nusmv.pdf») (текущая)
- 14:57, 19 ноября 2023 (разн. | история) . . (0) . . Файл:Verif VP Review Nusmv.pdf (PodymovVV загружена новая версия «Файл:Verif VP Review Nusmv.pdf»)
- 15:30, 16 ноября 2023 (разн. | история) . . (+1) . . м Сот (текущая)
- 18:23, 15 ноября 2023 (разн. | история) . . (+38) . . Спецсеминары
- 19:55, 13 ноября 2023 (разн. | история) . . (+166) . . Языки описания схем
- 19:54, 13 ноября 2023 (разн. | история) . . (+151) . . Н Файл:HDL VP R01.pdf (языки описания схем, кое-что ещё, 1. протоколы передачи данных. общее описание юарта)
- 19:51, 13 ноября 2023 (разн. | история) . . (0) . . Файл:MLLP VP 46.pdf (PodymovVV загружена новая версия «Файл:MLLP VP 46.pdf») (текущая)
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)