Журнал загрузок
Ниже представлен список последних загрузок файлов. См. также галерею новых файлов, где сведения о новых загрузках представлены в более наглядном виде.
(новейшие | старейшие) Просмотреть (250 более новые | 250 более старые) (20 | 50 | 100 | 250 | 500)- 13:45, 1 марта 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l7-selezn.pdf»
- 23:21, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b19.pdf» (Математическая логика для 318, блок 19. Композиция подстановок и постановка задачи унификации)
- 23:20, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b18.pdf» (Математическая логика для 318, блок 18. Системы дизъюнктов)
- 23:19, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b17.pdf» (Математическая логика для 318, блок 17. ССФ)
- 23:19, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b16.pdf» (Математическая логика для 318, блок 16. ПНФ)
- 23:18, 28 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b15.pdf» (прошлая версия была не handout. поправил)
- 23:18, 28 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b14.pdf» (прошлая версия была не handout. поправил)
- 23:16, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b15.pdf» (Математическая логика для 318, блок 15. равносильность формул)
- 23:15, 28 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b14.pdf» (Математическая логика для 318, блок 14. общая схема метода резолюций)
- 13:07, 26 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l5-selezn.pdf»
- 21:40, 25 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l5-selezn.pdf»
- 21:39, 25 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l4-selezn.pdf»
- 18:42, 25 февраля 2021 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 210226.pdf»
- 15:25, 22 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l6-selezn.pdf»
- 15:12, 22 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l4-selezn.pdf»
- 12:36, 20 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b8.pdf» (исправил ошибку в примерах таблиц)
- 18:54, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b13.pdf» (Математическая логика для 318, блок 13. завершения рассказа про метод семантических таблиц: пара утверждений и возможности автоматизации п…)
- 18:53, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b12.pdf» (Математическая логика для 318, блок 12. метод семантических таблиц в логике предикатов: полнота)
- 18:53, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b11.pdf» (Математическая логика для 318, блок 11. метод семантических таблиц в логике предикатов: корректность)
- 18:52, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b10.pdf» (Математическая логика для 318, блок 10. метод семантических таблиц в логике предикатов: табличный вывод)
- 18:52, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b9.pdf» (Математическая логика для 318, блок 9. Подстановки (основные определения))
- 18:51, 19 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b8.pdf» (Математическая логика для 318, блок 8. метод семантических таблиц в логике предикатов: таблицы)
- 18:50, 19 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b7.pdf» (не помню, менял ли тут чего, так что на всякий случай обновил)
- 18:50, 19 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b6.pdf» (причесал перед окончательным рассказом)
- 17:56, 19 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b3.pdf» ("счётно-бесконечный" -> "счётный")
- 17:54, 19 февраля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b2.pdf» ("счётно-бесконечный" -> "счётный")
- 15:55, 18 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l1-selezn.pdf»
- 14:30, 15 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-s2-selezn.pdf»
- 14:27, 15 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-s2-selezn.pdf»
- 14:26, 15 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-s1-selezn.pdf»
- 14:25, 15 февраля 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-s2-selezn.pdf»
- 00:49, 15 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b7.pdf» (Математическая логика для 318, блок 7: метод семантических таблиц в логике высказываний)
- 00:48, 15 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b6.pdf» (Математическая логика для 318, блок 6: невозможно проверить общезначимость формул логики предикатов в лоб)
- 00:47, 15 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b5.pdf» (Математическая логика для 318, блок 5: логика предикатов - выполнимость, общезначимость, логическое следствие)
- 20:43, 11 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l2-selezn.pdf»
- 18:58, 9 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l1-selezn.pdf»
- 18:57, 9 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l2-selezn.pdf»
- 21:27, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l4-selezn.pdf»
- 18:29, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-s1-selezn.pdf»
- 18:26, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l1-selezn.pdf»
- 18:23, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l6-selezn.pdf»
- 18:23, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l5-selezn.pdf»
- 18:23, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l4-selezn.pdf»
- 18:22, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l3-selezn.pdf»
- 18:22, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l2-selezn.pdf»
- 18:21, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l1-selezn.pdf»
- 18:21, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l1-selezn.pdf» (Возврат к версии от 17:44, 7 февраля 2019)
- 18:20, 8 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l1-selezn.pdf»
- 01:04, 8 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b4.pdf» (Математическая логика для 318, блок 4: формализация утверждения на языке логики предикатов)
- 01:04, 8 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b3.pdf» (Математическая логика для 318, блок 3: базовые определения (синтаксис и семантика) для логики предикатов)
- 01:03, 8 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b2.pdf» (Математическая логика для 318, блок 2: базовые определения для логики высказываний)
- 01:03, 8 февраля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b1.pdf» (Математическая логика для 318, блок 1: вводный)
- 23:05, 5 февраля 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dmus1-selezn.pdf»
- 18:26, 3 февраля 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-1-s.pdf»
- 18:37, 29 января 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Up-dsa-mk.pdf»
- 18:17, 3 января 2021 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mk-2019-418.jpg»
- 18:10, 3 января 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mk-2019-618.jpg»
- 18:05, 3 января 2021 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mk-2019-418.jpg»
- 19:05, 20 декабря 2020 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:Pbscpp content2020.pdf»
- 19:04, 20 декабря 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Pbscpp content2020.pdf»
- 17:31, 19 декабря 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 13 2020.pdf»
- 11:01, 17 декабря 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture aux 05.pdf» (2020. суть та же, форма немного другая)
- 11:01, 17 декабря 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture aux 04.pdf» (2020. суть та же, форма немного другая)
- 11:00, 17 декабря 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture aux 03.pdf» (2020. суть та же, форма немного другая)
- 11:00, 17 декабря 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture aux 02.pdf» (поправлена одна незначительная опечатка)
- 20:46, 16 декабря 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Dgdmcyb-part3-inf.pdf»
- 14:14, 16 декабря 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l12-selezn.pdf»
- 12:00, 12 декабря 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 12 2020.pdf»
- 13:36, 11 декабря 2020 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Logic synthesis 2020 exam questions.pdf»
- 13:35, 11 декабря 2020 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Logic synthesis 2020 exam rules.pdf»
- 20:00, 10 декабря 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l11-selezn.pdf»
- 22:43, 9 декабря 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 201211.pdf»
- 18:51, 9 декабря 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture aux 02.pdf»
- 18:50, 9 декабря 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture aux 01.pdf»
- 15:29, 9 декабря 2020 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ДГДМиК Слайды лекций 2020-2.pdf»
- 20:58, 6 декабря 2020 DanilovB (обсуждение | вклад) загрузил «Файл:ДГДМиК Слайды лекций 2020-2.pdf»
- 16:30, 2 декабря 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 201204.pdf»
- 22:11, 1 декабря 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 10 eng.pdf» (курс методов верификации, 2020. английский перевод семинара по UPPAAL)
- 14:45, 1 декабря 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 10 eng.pdf» (курс методов верификации программ, 2020. английский перевод лекции про алгоритм верификации для tctl и про сети временных автоматов)
- 16:41, 29 ноября 2020 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-20-2 311-319.pdf»
- 23:34, 28 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l4-selezn.pdf»
- 23:32, 28 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l5-selezn.pdf»
- 23:30, 28 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l6-selezn.pdf»
- 23:28, 28 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l7-selezn.pdf»
- 21:48, 28 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l11-selezn.pdf»
- 10:17, 28 ноября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 11 2020.pdf»
- 11:01, 26 ноября 2020 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specsem 201127.pdf»
- 10:58, 26 ноября 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 201127.pdf»
- 20:49, 25 ноября 2020 RomanovDS (обсуждение | вклад) загрузил «Файл:2020 11 27 Popkov KA.docx»
- 11:57, 25 ноября 2020 AlekseevVB (обсуждение | вклад) загрузил «Файл:ВКА 2020.docx»
- 20:24, 24 ноября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 9 eng.pdf» (курс методов верификации, 2020. лекция про временные автоматы и tctl)
- 22:48, 22 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l6-selezn.pdf»
- 22:48, 22 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l5-selezn.pdf»
- 22:15, 22 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l10-selezn.pdf»
- 21:49, 22 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l9-selezn.pdf»
- 21:48, 22 ноября 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivdm-lect9-selezn.pdf»
- 21:43, 22 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l9-selezn.pdf»
- 13:05, 21 ноября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 10 2020.pdf»
- 14:43, 20 ноября 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 201120.pdf»
- 20:12, 19 ноября 2020 RomanovDS (обсуждение | вклад) загрузил «Файл:Popkov 2018 k-krat testy proizv const prep2018 149.pdf»
- 14:21, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 06.pdf» (2020. косметические правки)
- 14:20, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 05.pdf» (2020. теперь тут задачки на параметры, массивы и генерацию в verilog)
- 13:52, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 22.pdf» (поправил опечатку на титульном слайде (неправильный номер блока))
- 13:47, 16 ноября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 24.pdf» (языки описания схем, 2020. символьные автоматы с таймерами)
- 13:47, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 23.pdf» (2020. теперь тут рассказ про то, как спроектировать управляющий автомат, когда операционный дан)
- 13:46, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 22.pdf» (2020. теперь тут рассказ про проектирование операционного автомата)
- 13:46, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 21.pdf» (2020. теперь тут рассказ про операционный и управляющий автоматы)
- 13:45, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 20.pdf» (2020. теперь тут типовая реализация автомата в verilog)
- 13:44, 16 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 19.pdf» (2020. теперь тут синтаксический сахар Verilog)
- 19:01, 14 ноября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 9 2020.pdf»
- 11:59, 14 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-s5-selezn.pdf»
- 11:49, 14 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l10-selezn.pdf»
- 10:40, 13 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 04.pdf» (2020. Теперь тут автоматы - а продвинутый синтаксис verilog оставлен на потом)
- 10:40, 13 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 18.pdf» (2020, суть та же)
- 10:39, 13 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 17.pdf» (2020, суть та же)
- 10:39, 13 ноября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 16.pdf» (2020, суть та же)
- 17:24, 11 ноября 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 201113.pdf»
- 18:43, 9 ноября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 8 eng.pdf» (курс методов верификации, 2020. семинар с задачами по средству spin (англ.))
- 22:17, 8 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l2-selezn.pdf»
- 22:15, 8 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l3-selezn.pdf»
- 22:12, 8 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l4-selezn.pdf»
- 22:10, 8 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l8-selezn.pdf»
- 22:09, 8 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l8-selezn.pdf»
- 22:05, 8 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l4-selezn.pdf»
- 22:02, 8 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l4-selezn.pdf»
- 15:17, 7 ноября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 8 2020.pdf»
- 11:18, 5 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l7-selezn.pdf»
- 11:18, 5 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l9-selezn.pdf»
- 15:03, 3 ноября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 7 eng.pdf» (курс методов верификации, 2020. английский перевод обзора средства spin.)
- 22:30, 1 ноября 2020 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-20-2 311-319.pdf»
- 20:29, 1 ноября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l7-selezn.pdf»
- 10:01, 31 октября 2020 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:Lec7pbs.pdf»
- 09:07, 31 октября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lec7pbs.pdf»
- 18:02, 29 октября 2020 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specem 201030.pdf»
- 11:29, 29 октября 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 201030.pdf»
- 23:29, 28 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-s4-selezn.pdf»
- 23:03, 28 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-s4-selezn.pdf»
- 20:15, 27 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 03.pdf» (обновился год, остальное то же)
- 20:15, 27 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 02.pdf» (Обновился год, остальное то же)
- 16:16, 27 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 15.pdf» (поправил незначительную опечатку в терминологии)
- 15:28, 27 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l8-selezn.pdf»
- 15:28, 27 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l7-selezn.pdf»
- 23:18, 25 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l3-selezn.pdf»
- 13:48, 23 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 15.pdf» (языки описания схем 2020. теперь это блок про синтезируемую постоянную процедуру (бывший 14))
- 13:48, 23 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 14.pdf» (языки описания схем 2020. теперь это блок про процедурные команды (бывший 13))
- 13:47, 23 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 13.pdf» (2020. теперь это блок про синтезируемость кода (бывший 12))
- 20:14, 22 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l7-selezn.pdf»
- 20:10, 22 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l7-selezn.pdf»
- 18:28, 20 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 5 eng.pdf» (курс методов верификации, 2020. английский перевод семинара 5 (практические задачи по nusmv))
- 14:19, 20 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 7 eng.pdf» (Курс методов верификации, 2020. Английский перевод лекции 7 про табличный и автоматный алгоритмы верификации для ltl)
- 16:08, 19 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 4 eng.pdf» (2020. английская версия семинара 4 по курсу мат.методов верификации схем и программ (обзор средства NuSMV))
- 12:50, 15 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l6-selezn.pdf»
- 12:46, 15 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l6-selezn.pdf»
- 00:21, 15 октября 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Программа ДГДМК 2020-2021.pdf»
- 23:30, 14 октября 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 201016.pdf»
- 19:10, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Выставка кафедр Задачки (миниатюра).png» (Осень 2020)
- 19:09, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Выставка кафедр Информационный лист (миниатюра).png» (Осень 2020)
- 18:48, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Постер кафедры (миниатюра).png» (Осень 2020)
- 17:59, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Постер кафедры.jpg» (Осень 2020)
- 17:57, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Постер кафедры.png»
- 17:51, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Выставка кафедр Задачки.pdf» (Осень 2020)
- 17:29, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Выставка кафедр Информационный лист.pdf» (Осень 2020)
- 17:28, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Постер кафедры.pdf»
- 15:31, 14 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 12.pdf» (2020. теперь это основы программной симуляции в verilog)
- 15:31, 14 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (2020. теперь это начало рассказа про verilog (вплоть до комбинационных схем в assign))
- 21:45, 13 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l2-selezn.pdf»
- 21:43, 13 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l2-selezn.pdf»
- 20:33, 10 октября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 6 2020.pdf»
- 14:09, 9 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l4-selezn.pdf»
- 09:25, 8 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l5-selezn.pdf»
- 01:42, 8 октября 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 201008.pdf»
- 21:14, 6 октября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 5 2020.pdf»
- 17:37, 6 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 3 eng.pdf» (курс методов верификации, 2020. перевод "Seminar_Verification_3.pdf" на английский)
- 11:43, 6 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l5-selezn.pdf»
- 11:42, 6 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l5-selezn.pdf»
- 20:31, 4 октября 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК-20-2 311-319.pdf»
- 10:14, 2 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l4-selezn.pdf»
- 18:24, 1 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-s2-selezn.pdf»
- 17:20, 1 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l4-selezn.pdf»
- 17:20, 1 октября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l3-selezn.pdf»
- 13:06, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 01.pdf» (задачки те же, поправлены детали представления)
- 12:57, 27 сентября 2020 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture Verification 4 eng.pdf»
- 12:53, 27 сентября 2020 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture Verification 3 eng.pdf»
- 12:39, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 10.pdf» (2020. теперь это "шины, регистры, RTL")
- 12:38, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 09.pdf» (теперь это "последовательные схемы")
- 12:37, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf» (теперь это "подробнее о триггерах")
- 12:23, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 07.pdf» (теперь это терминология для сигналов)
- 12:21, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf» (либо вообще без изменений, либо есть мелкие правки - лень думать)
- 22:21, 26 сентября 2020 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:Lecture pbscpp 4 2020.pdf»
- 08:19, 26 сентября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 4 2020.pdf»
- 12:24, 25 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l3-selezn.pdf»
- 10:10, 25 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l3-selezn.pdf»
- 22:24, 24 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l3-selezn.pdf»
- 22:13, 24 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l3-selezn.pdf»
- 15:59, 22 сентября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 2 eng.pdf» (Английский перевод версии 2019 года (то же без "eng") с косметическими правками)
- 12:09, 19 сентября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 3 2020.pdf»
- 14:31, 16 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf» (материал тот же, чуть-чуть улучшено представление)
- 14:30, 16 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 05.pdf» (материал тот же, чуть-чуть улучшено представление)
- 19:00, 14 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 04.pdf» (исправил терминологию. фронты не "передний" и "задний", а "положительный" и "отрицательный". а "передний" и "задний" - это leading и trailing, которые н…)
- 20:53, 13 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l1-selezn.pdf»
- 10:55, 12 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 04.pdf» (обновился год, остальное то же)
- 10:35, 12 сентября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 2 2020.pdf»
- 17:05, 11 сентября 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v3.pdf» (Возврат к версии от 07:47, 4 июля 2020)
- 17:05, 11 сентября 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v2.pdf» (Возврат к версии от 07:47, 4 июля 2020)
- 17:04, 11 сентября 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v1.pdf» (Возврат к версии от 07:48, 4 июля 2020)
- 16:40, 11 сентября 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v3.pdf» (Возврат к версии от 13:16, 11 сентября 2020)
- 16:39, 11 сентября 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v3.pdf» (Возврат к версии от 07:47, 4 июля 2020)
- 16:16, 11 сентября 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v3.pdf»
- 16:16, 11 сентября 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v2.pdf»
- 16:16, 11 сентября 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v1.pdf»
- 12:24, 11 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l1-selezn.pdf»
- 13:03, 10 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l3-selezn.pdf»
- 13:02, 10 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l2-selezn.pdf»
- 12:59, 10 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l3-selezn.pdf»
- 12:59, 10 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l2-selezn.pdf»
- 12:58, 10 сентября 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dfvo-l1-selezn.pdf»
- 23:44, 8 сентября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 1 eng.pdf» (курс методов верификации. осень 2020. семинар по логике хоара на английском)
- 11:11, 8 сентября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 2 eng.pdf» (магистерский курс методов верификации, лекция про логику Хоара)
- 13:49, 6 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l6-selezn.pdf»
- 13:49, 6 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l5-selezn.pdf»
- 13:49, 6 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l4-selezn.pdf»
- 13:49, 6 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l3-selezn.pdf»
- 13:48, 6 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l2-selezn.pdf»
- 13:48, 6 сентября 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l1-selezn.pdf»
- 10:17, 5 сентября 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 1 2020.pdf»
- 21:52, 4 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 03.pdf» (Сменился год, остальное то же)
- 21:52, 4 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 02.pdf» (сменился год, поправились опечатки)
- 21:51, 4 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 01.pdf» (сменился год, остальное то же)
- 14:39, 29 августа 2020 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:LectLog 2.pdf»
- 14:37, 29 августа 2020 ZakharovVA (обсуждение | вклад) загрузил «Файл:LectLog 2.pdf»
- 15:15, 28 августа 2020 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture Verification 1 eng.pdf»
- 10:48, 4 июля 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v1.pdf» (Возврат к версии от 06:47, 2 июля 2020)
- 10:47, 4 июля 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v2.pdf» (Возврат к версии от 06:47, 2 июля 2020)
- 10:47, 4 июля 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v3.pdf» (Возврат к версии от 06:46, 2 июля 2020)
- 10:47, 4 июля 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v4.pdf» (Возврат к версии от 06:46, 2 июля 2020)
- 10:47, 4 июля 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v5.pdf» (Возврат к версии от 06:46, 2 июля 2020)
- 09:56, 4 июля 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v5.pdf»
- 09:55, 4 июля 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v4.pdf»
- 09:55, 4 июля 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v3.pdf»
- 09:54, 4 июля 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v2.pdf»
- 09:54, 4 июля 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v1.pdf»
- 09:47, 2 июля 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v1.pdf» (Возврат к версии от 19:52, 30 июня 2020)
- 09:47, 2 июля 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v2.pdf» (Возврат к версии от 19:53, 30 июня 2020)
- 09:46, 2 июля 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v3.pdf» (Возврат к версии от 20:04, 30 июня 2020)
- 09:46, 2 июля 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v4.pdf» (Возврат к версии от 20:06, 30 июня 2020)
- 09:46, 2 июля 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v5.pdf» (Возврат к версии от 20:06, 30 июня 2020)
- 09:45, 2 июля 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v5.pdf» (Возврат к версии от 20:06, 30 июня 2020)
- 16:15, 1 июля 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v5.pdf»
- 16:15, 1 июля 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v4.pdf»
- 16:14, 1 июля 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v3.pdf»