Журнал загрузок
Ниже представлен список последних загрузок файлов. См. также галерею новых файлов, где сведения о новых загрузках представлены в более наглядном виде.
(новейшие | старейшие) Просмотреть (250 более новые | 250 более старые) (20 | 50 | 100 | 250 | 500)- 16:13, 15 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 30.pdf» (2023-2024, без существенных изменений)
- 16:12, 15 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 29.pdf» (2023-2024, без существенных изменений)
- 15:47, 11 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 23.pdf» (опечатки)
- 15:47, 11 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 22.pdf» (опечатки)
- 15:46, 11 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 27.pdf» (опечатки)
- 15:46, 11 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 19.pdf» (опечатки)
- 15:21, 11 октября 2023 Root (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 19.pdf» (Возврат к версии от 19:44, 24 сентября 2023)
- 15:20, 11 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 19.pdf» (опечатки)
- 13:59, 10 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP s02.pdf» (теперь это называется не "основные процедуры", а "основы")
- 13:58, 10 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP s02.pdf» (Языки описания схем 2023-2024. Практика: верилог, основные процедуры)
- 13:54, 10 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 23.pdf» (Языки описания схем 2023-2024. верилог - поддерживаемое использование постоянной процедуры)
- 13:52, 10 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 22.pdf» (Языки описания схем 2023-2024. верилог - основные процедурные команды и использование задержек)
- 13:51, 10 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 21.pdf» (Языки описания схем 2023-2024. верилог - основные виды процессов)
- 13:49, 10 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 20.pdf» (Языки описания схем 2023-2024. Как устроена симуляция в верилоге)
- 13:48, 10 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 12.pdf» (небольшое уточнение терминологии)
- 13:48, 10 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 12.pdf» (небольшое уточнение терминологии)
- 00:19, 10 октября 2023 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 231011.pdf»
- 22:36, 8 октября 2023 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций Ч1 2023-2.pdf»
- 22:35, 8 октября 2023 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций В 2023-2.pdf»
- 22:27, 8 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Spin.pdf» (2023-2024. без особых изменений)
- 22:27, 8 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Spin.pdf» (2023-2024. без особых изменений)
- 16:38, 5 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Выставка кафедр Информационный лист.pdf» (больше qr-кодов!)
- 12:40, 5 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Выставка кафедр Информационный лист.pdf» (Для выставки 2023)
- 15:51, 4 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 19.pdf» (опечатки)
- 15:51, 4 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 18.pdf» (опечатки)
- 15:51, 4 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 17.pdf» (опечатки)
- 15:51, 4 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 16.pdf» (опечатки)
- 15:50, 4 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 15.pdf» (опечатки)
- 15:50, 4 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 13.pdf» (опечатки)
- 22:53, 3 октября 2023 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 241004.pdf»
- 14:08, 3 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 19.pdf» (языки описания схем 2023-2024. verilog - примеры комбинационных схем с assign)
- 14:07, 3 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 18.pdf» (языки описания схем 2023-2024. verilog - комбинационные выражения и операции)
- 14:06, 3 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 17.pdf» (языки описания схем 2023-2024. verilog - константы)
- 14:01, 3 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 16.pdf» (языки описания схем 2023-2024. verilog - арифметическая трактовка, знаковость, расширение-сужение)
- 14:01, 3 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 15.pdf» (языки описания схем 2023-2024. verilog - логические значения)
- 14:00, 3 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 14.pdf» (Языки описания схем 2023-2024. verilog helloworld с диаграммами сигналов)
- 13:59, 3 октября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP14.pdf»
- 13:32, 3 октября 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-10-06.pdf»
- 10:25, 2 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 20.pdf» (2023-2024. теперь уточненная схема автоматного алгоритма для лтл)
- 10:24, 2 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 19.pdf» (2023-2024. теперь автоматы бюхи для лтл-формул)
- 10:24, 2 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 18.pdf» (2023-2024. теперь автоматы бюхи для моделей крипке)
- 10:24, 2 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 17.pdf» (2023-2024. теперь проверка пустоты автоматов бюхи)
- 10:23, 2 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 16.pdf» (2023-2024. теперь пересечение автоматов бюхи)
- 10:23, 2 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 15.pdf» (2023-2024. теперь автоматы бюхи и обобщенные)
- 10:22, 2 октября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 14.pdf» (2023-2024. теперь общая схема автоматного алгоритма для лтл)
- 12:37, 28 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 13.pdf» (улучшенный вариант)
- 12:36, 28 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 12.pdf» (улучшенный вариант)
- 12:36, 28 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 16.pdf» (опечатки)
- 12:35, 28 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 15.pdf» (опечатки)
- 12:34, 28 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 12.pdf» (опечатки)
- 12:34, 28 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 11.pdf» (опечатки)
- 14:30, 26 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 13.pdf» (Языки описания схем, 2023-2024. V hello world со схемами)
- 14:29, 26 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 12.pdf» (Языки описания схем, 2023-2024. V hello world без схем)
- 14:29, 26 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 11.pdf» (Языки описания схем 2023-2024. V Общие слова)
- 22:48, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 28.pdf» (2023-2024. без существенных изменений)
- 22:47, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 27.pdf» (2023-2024. без существенных изменений)
- 22:47, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 26.pdf» (2023-2024. без существенных изменений)
- 22:46, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 25.pdf» (2023-2024. без существенных изменений)
- 22:46, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 24.pdf» (2023-2024. без существенных изменений)
- 22:46, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 23.pdf» (2023-2024. без существенных изменений)
- 22:45, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 22.pdf» (2023-2024. без существенных изменений)
- 22:45, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 21.pdf» (2023-2024. теперь тут монотонность и транзитивность логического следования)
- 22:44, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 20.pdf» (2023-2024. теперь тут алгоритм унификации)
- 22:44, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 19.pdf» (2023-2024. теперь тут композиция подстановок и постановка задачи унификации)
- 22:43, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 18.pdf» (2023-2024. теперь тут системы дизъюнктов)
- 22:43, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 17.pdf» (2023-2024. теперь тут ссф)
- 22:43, 24 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 16.pdf» (2023-2024. теперь тут пнф)
- 10:08, 24 сентября 2023 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2023-2024.pdf»
- 18:42, 23 сентября 2023 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2023-2024.pdf»
- 11:55, 23 сентября 2023 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2023-2024.pdf»
- 19:54, 22 сентября 2023 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2023-2024.pdf» (Изменены планы семинаров и задачи к экзамену)
- 14:10, 21 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem02.pdf» (2023-2024. ничего нового)
- 14:06, 21 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (уточнение)
- 13:53, 21 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 13.pdf» (2023-2024. теперь тут про справедливость в целом и в ltl)
- 13:52, 21 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 12.pdf» (2023-2024. теперь тут ltl и ltl-mc)
- 13:51, 21 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 11.pdf» (опечатки)
- 13:51, 21 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (уточнения и опечатки)
- 19:10, 18 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 12.pdf» (опечатки)
- 19:10, 18 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 11.pdf» (опечатки)
- 19:10, 18 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 08.pdf» (ошибка в определении таблицы (не сверхкритичная, но влияет на экстремальный случай в теоремах про произвольные таблицы))
- 19:03, 18 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (опечатки)
- 12:25, 18 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (опечатки)
- 18:48, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 10.pdf» (мелкие технические шероховатости)
- 18:47, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 03.pdf» (опечатки)
- 11:53, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 15.pdf» (2023-2024. теперь здесь равносильность формул)
- 11:53, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 14.pdf» (2023-2024. теперь тут общая схема метода резолюций)
- 11:52, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 13.pdf» (2023-2024. теперь тут левенгейм-сколем, мальцев и автоматизация доказательств)
- 11:46, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 11.pdf» (2023-2024. Теперь тут свойства трасс, живость и безопасность)
- 11:45, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (2023-2024. Теперь тут нотация для последовательностей)
- 11:45, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (2023-2024. Теперь тут особенности моделирования систем)
- 11:44, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 08.pdf» (2023-2024. Теперь тут модели Крипке)
- 11:15, 16 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 06.pdf» (опечатки, уточнения)
- 22:38, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP s01.pdf» (Языки описания схем, 2023-2024. Практика: комб и послед схемы)
- 22:34, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 10.pdf» (Языки описания схем, 2023-2024. Шины, регистры, RTL)
- 22:34, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 09.pdf» (Языки описания схем, 2023-2024. Послед схемы)
- 22:33, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 08.pdf» (Языки описания схем, 2023-2024. Ещё о триггерах)
- 22:33, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 07.pdf» (Языки описания схем, 2023-2024. Терминология для сигналов)
- 22:32, 11 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 06.pdf» (Языки описания схем, 2023-2024. Комб схемы с обр связью, основные триггеры)
- 22:32, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 06.pdf»
- 22:32, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 05.pdf» (Языки описания схем, 2023-2024. СФЭЗ)
- 22:31, 11 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 04.pdf» (Языки описания схем, 2023-2024. Лог вентили и комб схемы)
- 16:40, 11 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 08.pdf» (опечатки)
- 16:31, 11 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 03.pdf» (опечатки)
- 17:50, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 12.pdf» (2023-2024. Теперь здесь про полноту табличного вывода)
- 17:49, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 11.pdf» (2023-2024. Теперь здесь про корректность табличного вывода)
- 17:49, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 10.pdf» (2023-2024. Теперь здесь про табличный вывод)
- 17:49, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 09.pdf» (2023-2024. Теперь здесь про подстановки)
- 17:48, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 08.pdf» (2023-2024. Теперь здесь про семантические таблицы (в ЛП))
- 17:48, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 07.pdf» (2023-2024. Без существенных изменений)
- 17:47, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 06.pdf» (2023-2024. Без существенных изменений)
- 17:46, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 05.pdf» (2023-2024. Без существенных изменений)
- 17:44, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 04.pdf» (опечатки)
- 17:44, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 03.pdf» (Опечатки, уточнения)
- 17:38, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem01.pdf» (2023-2024. Без существенных изменений)
- 17:35, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 07.pdf» (2023-2024. Теперь тут общая схема метода модел чекин)
- 17:35, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 06.pdf» (2023-2024. Теперь тут про возможности автоматизации дедуктивного анализа программ и про слабейшее предусловие)
- 17:34, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 05.pdf» (2023-2024. Теперь тут про аннотированные программы)
- 17:34, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 04.pdf» (2023-2024. Теперь тут про дедуктивную верификацию программ в целом и про логику Хоара)
- 17:33, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 03.pdf» (2023-2024. Теперь тут про общие принципы дедуктивной верификации и про императивные программы)
- 17:31, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (опечатки)
- 14:32, 5 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 03.pdf» (Языки описания схем, блок 3. Физика и КМОП)
- 14:31, 5 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 02.pdf» (Языки описания схем, блок 2. Напоминания: БФ, СФЭ)
- 14:31, 5 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 01.pdf» (Языки описания схем, блок 1 (оргвопросы))
- 00:02, 4 сентября 2023 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК-23-2 311-319.pdf»
- 23:40, 3 сентября 2023 ZhukovVV (обсуждение | вклад) загрузил «Файл:Pbscpp.pdf»
- 16:49, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (2023/2024, теперь здесь собрано всё напоминание про логику предикатов)
- 16:49, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 01.pdf» (2023/2024, без сверхсущественных изменений)
- 16:41, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 03.pdf» (2023/2024, без существенных изменений)
- 16:41, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 04.pdf» (2023/2024, без существенных изменений)
- 16:40, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 02.pdf» (2023/2024, без существенных изменений)
- 16:39, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 01.pdf» (2023/2024, без существенных изменений)
- 17:14, 30 августа 2023 SavitskiyIV (обсуждение | вклад) загрузил «Файл:Программа ДГДМК 2023-2024.pdf»
- 20:51, 20 июня 2023 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:5 prez.pdf»
- 20:51, 20 июня 2023 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:4 prez.pdf»
- 20:51, 20 июня 2023 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:3 prez.pdf»
- 20:50, 20 июня 2023 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:2 prez.pdf»
- 20:50, 20 июня 2023 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:1 prez.pdf»
- 18:58, 31 мая 2023 ShupletsovMS (обсуждение | вклад) загрузил «Файл:MMMSBIS 2023.pdf»
- 10:57, 16 мая 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-05-19.pdf»
- 14:31, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos4.pdf» (ох и ещё опечатка в титуле)
- 14:31, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos3.pdf» (ох и ещё опечатка в титуле)
- 11:50, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos4.pdf» (опечатка в титуле)
- 11:50, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos3.pdf» (опечатка в титуле)
- 11:48, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos4.pdf» (опечатка в титуле)
- 11:47, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos3.pdf» (опечатка в титуле)
- 11:44, 13 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP gos4.pdf» (Материалы билета 4 госэкзамена по курсу логики (хорновские логические программы))
- 11:44, 13 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP gos3.pdf» (Материалы для билета 3 госэкзамена (логика предикатов и метод резолюций))
- 10:49, 12 мая 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos7-selezn.pdf»
- 10:49, 12 мая 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos6-selezn.pdf»
- 10:48, 12 мая 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos5-selezn.pdf»
- 10:47, 12 мая 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos4-selezn.pdf»
- 10:47, 12 мая 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos3-selezn.pdf»
- 10:46, 12 мая 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos2-selezn.pdf»
- 10:45, 12 мая 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos1-selezn.pdf»
- 20:01, 10 мая 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-05-12.pdf»
- 18:54, 8 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b53.pdf» (Математическая логика для 318, блок 53. Алгоритм model checking для ctl)
- 18:54, 8 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b52.pdf» (Математическая логика для 318, блок 52. Темпоральные формулы как спецификации)
- 18:53, 8 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b51.pdf» (Математическая логика для 318, блок 51. Системы переходов)
- 18:53, 8 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b50.pdf» (Математическая логика для 318, блок 50. Верификация распределённых систем. Вступление про model checking)
- 18:51, 8 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b49.pdf» (перекинул один слайд в 48)
- 18:51, 8 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b48.pdf» (перекинул один слайд из 49)
- 14:36, 4 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b40.pdf» (опечатка)
- 14:35, 4 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b42.pdf» (опечатка)
- 14:32, 4 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b44.pdf» (помарка)
- 14:12, 4 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b49.pdf» (Математическая логика и логическое программирование 318. Весна 2022/2023. Логика Хоара.)
- 14:05, 4 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b48.pdf» (Весна 2022/2023. Теперь тут про императивные программы и их частичную корректность)
- 14:05, 4 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b47.pdf» (Весна 2022/2023. Теперь тут вступление про формальную верификацию)
- 15:58, 2 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b46.pdf» (Весна 2022-2023. Теперь тут интуиционистская логика)
- 15:57, 2 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» (Весна 2022-2023. Темы те же)
- 11:44, 2 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 43.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 43. Paxos)
- 11:44, 2 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 42.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 42. Задача консенсуса)
- 11:42, 2 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 41.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 41. Отказоустойчивость, неисправности, принятие решения)
- 16:12, 27 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b44.pdf» (Весна 2022-2023. Темы те же, исправлены некоторые ошибки)
- 16:12, 27 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b43.pdf» (Весна 2022-2023. Темы те же, слегка поправлена форма изложения)
- 23:51, 25 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 33.pdf» (опечатка)
- 18:53, 25 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 39.pdf» (опечатка)
- 18:51, 25 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 38.pdf» (была ошибка в обосновании корректности)
- 13:16, 25 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l21.pdf»
- 12:47, 25 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-04-28.pdf»
- 22:57, 24 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 40.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 40. Обнаружение завершения вычислений: алгоритм возвращения кредита)
- 22:56, 24 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 39.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 39. Обнаружение завершения вычислений: алгоритм Шави-Франчеза)
- 22:56, 24 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 38.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 38. Обнаружение завершения вычислений: алгоритм Дейкстры-Шолтена)
- 22:55, 24 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 37.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 37. Задача обнаружения завершения вычислений)
- 13:40, 24 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 34.pdf» (Опечатка в нумерации домашних задач)
- 21:02, 20 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l20.pdf»
- 21:01, 20 апреля 2023 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-1-selezn-l19.pdf»
- 21:00, 20 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-l19-selezn.pdf»
- 20:58, 20 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l19.pdf»
- 11:46, 20 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b42.pdf» (Весна 2022-2023. Темы те же)
- 11:45, 20 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b41.pdf» (Весна 2022-2023, темы те же)
- 19:05, 18 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b11.pdf» (опечатка)
- 18:56, 18 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b40.pdf» (опечатки)
- 18:46, 18 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 33.pdf» (опечатка)
- 18:38, 18 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 35.pdf» (опечатки)
- 18:38, 18 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 34.pdf» (опечатки)
- 18:31, 18 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 33.pdf» (Опечатка)
- 17:08, 18 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b40.pdf» (Весна 2022-2023)
- 02:52, 18 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 35.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 35. Алгоритм Чанди-Лэмпорта (сохранение снимка))
- 02:49, 18 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 36.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 36. Алгоритм Лаи-Янга (сохранение снимка))
- 02:49, 18 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:35 hand.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 35. Алгоритм Чанди-Лэмпорта (сохранение снимка))
- 02:48, 18 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 34.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 34. Задача сохранения снимка)
- 20:32, 17 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-23-04-21.pdf»
- 15:56, 13 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 25.pdf» (опечатки разной степени грубости)
- 15:56, 13 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 24.pdf» (опечатки)
- 00:47, 13 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 25.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 25. Рекурсия в системах процессов)
- 00:46, 13 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 24.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 24. Консервативные расширения систем процессов)
- 19:01, 11 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 33.pdf» (опечатки)
- 17:08, 11 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 33.pdf» (опечатки)
- 17:08, 11 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 32.pdf» (опечатки)
- 13:26, 11 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 33.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 33. Избрание лидера: алгоритм Галладжера-Хамблета-Спиры (GHS))
- 13:25, 11 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 32.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 32. Избрание лидера: нижние оценки)
- 12:28, 11 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l18.pdf»
- 12:28, 11 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l17.pdf»
- 20:30, 6 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l16.pdf»
- 18:29, 6 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b38.pdf» (ошибка в примере (была неправильная формула, различающая две интерпретации теории частичных порядков))
- 13:06, 6 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b39.pdf» (Весенний семестр 2022-2023. Темы те же)
- 13:05, 6 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b38.pdf» (Весенний семестр 2022-2023. Темы те же)
- 13:05, 6 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b37.pdf» (Весенний семестр 2022-2023. Темы те же)
- 12:42, 6 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 23.pdf» (опечатки)
- 12:41, 6 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 22.pdf» (опечатки)
- 12:41, 6 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 21.pdf» (опечатки)
- 12:41, 6 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 20.pdf» (опечатки)
- 10:29, 6 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 23.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 23. Бисимуляция процессов)
- 10:28, 6 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 22.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 22. ACP)
- 10:28, 6 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 21.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 21. PAP)
- 10:28, 6 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MMSC VP 20.pdf» (Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 20. Алгебра процессов, BPA)
- 09:55, 5 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b36.pdf» (опечатки)
- 09:55, 5 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b34.pdf» (опечатки)
- 22:28, 4 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l15.pdf»
- 22:28, 4 апреля 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l14.pdf»
- 18:50, 4 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 31.pdf» (опечатки)
- 18:50, 4 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 30.pdf» (опечатки)
- 18:50, 4 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DAS VP 29.pdf» (опечатки)
- 10:47, 4 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 31.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 31. Лидер и угасание)
- 10:46, 4 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 30.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 30. Избрание лидера в кольце: Ле-Ланн, Чень-Робертс)
- 10:45, 4 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 29.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 29. Избрание лидера в дереве)
- 10:45, 4 апреля 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 28.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 28. Алгоритмы избрания лидера (определения, допущения, волны))
- 23:19, 3 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b37.pdf» (Весенний семестр 2022-2023. Темы те же)
- 23:19, 3 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b36.pdf» (Весенний семестр 2022-2023. Темы те же)
- 23:18, 3 апреля 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b35.pdf» (Весенний семестр 2022-2023)
- 10:30, 31 марта 2023 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-selezn-l13.pdf»
- 23:25, 30 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b32.pdf» (опечатки)
- 23:25, 30 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b31.pdf» (опечатки, чуть улучшено изложение примера)
- 18:08, 30 марта 2023 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem20230404.pdf»
- 12:25, 30 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b34.pdf» (Весенний семестр 2022-2023. Темы те же)
- 12:24, 30 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b33.pdf» (Весенний семестр 2022-2023. Темы те же.)
- 12:24, 30 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b32.pdf» (Весенний семестр 2022-2023. Темы те же)
- 12:21, 30 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 19.pdf» (опечатки)
- 12:21, 30 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 18.pdf» (опечатки)
- 12:20, 30 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MMSC VP 17.pdf» (опечатки)