Журнал загрузок
Ниже представлен список последних загрузок файлов. См. также галерею новых файлов, где сведения о новых загрузках представлены в более наглядном виде.
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 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)