Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (250 более новые | 250 более старые) (20 | 50 | 100 | 250 | 500)- 22:22, 24 ноября 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-19-2 311-319.pdf»
- 14:05, 23 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture aux 01.pdf» (суть та же, что и в прошлой версии, но сделано чуть более подробно, наглядно и красиво)
- 15:30, 22 ноября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture aux 01.pdf» (языки описания схем. лекция 1 не для зачёта. протоколы передачи данных. общее описание протокола uart.)
- 15:25, 22 ноября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 23.pdf» (языки описания схем. последняя лекция: автоматы с приостановкой выполнения переходов)
- 11:52, 22 ноября 2019 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Specsem 221119.pdf»
- 13:38, 20 ноября 2019 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 10.pdf»
- 10:45, 20 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf» (2019. обновил год, остальное то же)
- 20:25, 19 ноября 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l9-selezn.pdf»
- 20:24, 19 ноября 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivtg-3-l9-selezn.pdf»
- 18:04, 14 ноября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl practice 06.pdf» (языки описания схем. практика: операционный и управляющий автоматы в verilog)
- 18:02, 14 ноября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 22.pdf» (языки описания схем. как дополнить операционный автомат управляющим)
- 18:01, 14 ноября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 21.pdf» (языки описания схем. как спроектировать операционный автомат)
- 17:18, 13 ноября 2019 AlekseevVB (обсуждение | вклад) загрузил «Файл:ВКА 2019.docx»
- 12:20, 13 ноября 2019 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 9.pdf»
- 18:02, 12 ноября 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Gip-asp-l9-selezn.pdf»
- 18:02, 12 ноября 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Gip-asp-l8-selezn.pdf»
- 18:01, 12 ноября 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Gip-asp-l7-selezn.pdf»
- 15:56, 11 ноября 2019 ZakharovVA (обсуждение | вклад) загрузил «Файл:Colloquium-2019.pdf»
- 21:23, 10 ноября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Программа ДГДМК 2019-2020.pdf»
- 19:03, 10 ноября 2019 KonovodovV (обсуждение | вклад) загрузил «Файл:Pbscpp problem2 2019.pdf»
- 15:18, 8 ноября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl practice 05.pdf» (языки описания схем. Практика: автоматы)
- 15:15, 8 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 20.pdf» (2019. Операционный и управляющий автоматы)
- 15:15, 8 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 19.pdf» (2019. Символьные автоматы на языке Verilog)
- 20:33, 7 ноября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 191108.pdf»
- 20:33, 7 ноября 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specem 191108.pdf»
- 20:32, 7 ноября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 191108.pdf»
- 23:39, 6 ноября 2019 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture 8 test task1.pdf»
- 11:52, 6 ноября 2019 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 8.pdf»
- 21:38, 5 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 8.pdf» (2019. обновил год, остальное то же)
- 23:12, 4 ноября 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-19-2-T3.pdf»
- 23:09, 4 ноября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:GR-S-19-2-P2.pdf»
- 23:09, 4 ноября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:GR-S-19-2-P12.pdf»
- 23:08, 4 ноября 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-19-2-P1.pdf»
- 23:04, 4 ноября 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-19-2-T3.pdf»
- 10:22, 4 ноября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Cyb-19-2-T3.pdf»
- 21:34, 1 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 18.pdf» (2019. Символьные автоматы)
- 21:34, 1 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 17.pdf» (2019. Соответствие между схемами и автоматами)
- 21:33, 1 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 16.pdf» (2019. Напоминание, что такое автоматы)
- 19:42, 31 октября 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ОК Задачи 2019-2.pdf»
- 18:23, 30 октября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Optimal Circuits Database 2019-2.pdf»
- 18:23, 30 октября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:ALM Exact Synthesis Problem Statement.pdf»
- 14:39, 30 октября 2019 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 7.pdf»
- 14:42, 29 октября 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l6-selezn.pdf»
- 14:05, 26 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (2019. Пара мелких визуальных правок)
- 14:04, 26 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 7.pdf» (2019. Добавил пару картинок)
- 11:23, 25 октября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl practice 04.pdf» (языки описания схем. практический блок 4: verilog и продвинутый синтаксис (параметры, массивы, генерация))
- 11:22, 25 октября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl practice 03.pdf» (языки описания схем. практический блок 3: verilog и процедуры)
- 11:19, 25 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 15.pdf» (2019. теперь здесь собран синтаксический сахар для verilog)
- 00:58, 25 октября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:GR-19-2-AL.pdf»
- 00:58, 25 октября 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-2-AS.pdf»
- 21:33, 24 октября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций Ч4 2019-2.pdf»
- 21:33, 24 октября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций Ч3 2019-2.pdf»
- 21:33, 24 октября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций Ч2 2019-2.pdf»
- 21:21, 24 октября 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l6-selezn.pdf»
- 21:18, 24 октября 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Gip-asp-l6-selezn.pdf»
- 21:17, 24 октября 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Gip-asp-l5-selezn.pdf»
- 21:16, 24 октября 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l6-selezn.pdf»
- 21:16, 24 октября 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l5-selezn.pdf»
- 20:39, 24 октября 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specsem 191025.pdf»
- 19:56, 24 октября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 191025.pdf»
- 22:08, 23 октября 2019 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:Lecture pbscpp 6.pdf»
- 13:08, 23 октября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:GR-19-2-AS.pdf»
- 13:07, 23 октября 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-19-2-P1.pdf»
- 12:23, 23 октября 2019 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 6.pdf»
- 04:16, 23 октября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:GR-S-19-2-P1.pdf»
- 16:34, 22 октября 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l2-selezn.pdf»
- 16:33, 22 октября 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l1-selezn.pdf»
- 16:24, 22 октября 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Gip-asp-l4-selezn.pdf»
- 16:24, 22 октября 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Gip-asp-l3-selezn.pdf»
- 08:23, 22 октября 2019 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:Pbscpp task3.pdf»
- 19:34, 21 октября 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-19-2-T2.pdf»
- 10:25, 21 октября 2019 KonovodovV (обсуждение | вклад) загрузил «Файл:Pbscpp task3.pdf»
- 18:08, 20 октября 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-asp-l2-selezn.pdf»
- 18:06, 20 октября 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l2-selezn.pdf»
- 22:17, 19 октября 2019 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:Pbscpp problem1 2019.pdf»
- 22:16, 19 октября 2019 KonovodovV (обсуждение | вклад) загрузил «Файл:Pbscpp problem1 2019.pdf»
- 21:19, 18 октября 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-19-2-T2.pdf»
- 00:41, 18 октября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Cyb-19-2-T2.pdf»
- 00:11, 18 октября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 191018.pdf»
- 14:59, 16 октября 2019 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 5.pdf»
- 11:12, 16 октября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:ИзбрГлавыДискрМатем 2015.pdf»
- 17:58, 15 октября 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l4-selezn.pdf»
- 12:30, 14 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf» (обновил год, наполнение то же)
- 22:08, 13 октября 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l4-selezn.pdf»
- 22:03, 13 октября 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l4-selezn.pdf»
- 12:09, 11 октября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl practice 02.pdf» (языки описания схем, задания для практических занятий. Verilog + assign)
- 12:05, 11 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 14.pdf» (поправил опечатку в титуле (номер блока))
- 12:03, 11 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 13.pdf» (поправил опечатку в титуле (номер блока))
- 12:00, 11 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 14.pdf» (2019. теперь это про синтезируемый always в верилоге)
- 11:59, 11 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 13.pdf» (2019. теперь это про ветвления и выборы в verilog и около того)
- 12:58, 10 октября 2019 Root (обсуждение | вклад) автоматически отпатрулировал версию 6336 страницы Участник:SapozhenkoAA
- 12:58, 10 октября 2019 Root (обсуждение | вклад) автоматически отпатрулировал версию 6335 страницы Сапоженко Александр Антонович
- 12:57, 10 октября 2019 Root (обсуждение | вклад) автоматически отпатрулировал версию 6334 страницы Участник:SapozhenkoAA
- 09:10, 10 октября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 191011.pdf»
- 09:09, 10 октября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 190927.pdf»
- 09:06, 10 октября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 191011.pdf»
- 13:56, 8 октября 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Gip-asp-l2-selezn.pdf»
- 13:55, 8 октября 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Gip-asp-l1-selezn.pdf»
- 13:33, 8 октября 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l5-selezn.pdf»
- 13:33, 8 октября 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l4-selezn.pdf»
- 09:40, 8 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 3.pdf» (поменялся год, остальное как было)
- 20:29, 4 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 12.pdf» (2019. поддерживаемые, игнорируемые и неподдерживаемые конструкции)
- 20:26, 4 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (поправил опечатку в синтаксисе задержки+непр.присв.)
- 21:22, 3 октября 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ОК Задачи 2019-2.pdf»
- 18:28, 3 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (поправил опечатку в заголовке одного слайда)
- 18:19, 3 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (перестроил поток мыслей)
- 08:17, 3 октября 2019 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:Lecture pbscpp 4.pdf»
- 13:32, 2 октября 2019 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 4.pdf»
- 19:59, 30 сентября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Dmseminar 191004.pdf»
- 14:54, 27 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 10.pdf» (поправлена пара опечаток)
- 12:46, 27 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (2019. симуляция в verilog)
- 12:45, 27 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 10.pdf» (2019. начала рассказа про verilog)
- 21:14, 26 сентября 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-19-2-T1.pdf»
- 18:23, 26 сентября 2019 KonovodovV (обсуждение | вклад) загрузил «Файл:Pbscpp task2.pdf»
- 13:55, 25 сентября 2019 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 3.pdf»
- 12:23, 24 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 2.pdf» (осень 2019. перестановка условий, несколько мелких правок)
- 20:23, 23 сентября 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-19-2-T1.pdf»
- 15:51, 23 сентября 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-19-2-T1.pdf»
- 15:47, 23 сентября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Cyb-19-2-T1.pdf»
- 16:08, 22 сентября 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l1-selezn.pdf»
- 15:53, 22 сентября 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l1-selezn.pdf»
- 15:48, 22 сентября 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l2-selezn.pdf»
- 15:47, 22 сентября 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l1-selezn.pdf»
- 19:51, 20 сентября 2019 KonovodovV (обсуждение | вклад) загрузил «Файл:Pbscpp task1.pdf»
- 15:31, 19 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 09.pdf» (теперь это: шины, регистры, rtl)
- 15:13, 18 сентября 2019 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 2.pdf»
- 12:43, 13 сентября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl practice 01.pdf» (практические задания: последовательные схемы)
- 16:29, 12 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 09.pdf» (теперь это шины и регистры)
- 16:29, 12 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf» (теперь это последовательные схемы)
- 16:28, 12 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 07.pdf» (теперь это обсуждение триггеров)
- 16:28, 12 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf» (теперь это комб.схемы с обратной связью и основные триггеры)
- 21:34, 11 сентября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Задачи 2019-2.pdf»
- 14:23, 11 сентября 2019 KonovodovV (обсуждение | вклад) загрузил «Файл:Lecture pbscpp 1.pdf»
- 17:08, 10 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 1.pdf» (осень 2019, поменял последовательность задач)
- 16:46, 10 сентября 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-exam2-2019.pdf»
- 18:42, 6 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 03.pdf» (опечатка в рисунке в конце)
- 12:33, 6 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf» (теперь это база про последовательные схемы)
- 12:32, 6 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 05.pdf» (теперь это про сфэз)
- 12:31, 6 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 04.pdf» (теперь это про комбинационные схемы)
- 12:29, 6 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 2.pdf» (снова мелкие правки)
- 09:09, 4 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 03.pdf» (2019 год, по переработанному плану)
- 09:08, 4 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 02.pdf» (2019 год, по переработанному плану)
- 09:08, 4 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 01.pdf» (2019 год, по переработанному плану)
- 21:41, 3 сентября 2019 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 1.pdf»
- 20:24, 3 сентября 2019 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 1.pdf»
- 15:12, 3 сентября 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivtg3-l9-selezn.pdf»
- 15:11, 3 сентября 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivtg3-l8-selezn.pdf»
- 15:11, 3 сентября 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivtg3-l7-selezn.pdf»
- 15:10, 3 сентября 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivtg3-l6-selezn.pdf»
- 15:10, 3 сентября 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivtg3-l5-selezn.pdf»
- 15:09, 3 сентября 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivtg3-l4-selezn.pdf»
- 15:09, 3 сентября 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivtg3-l3-selezn.pdf»
- 15:09, 3 сентября 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivtg3-l2-selezn.pdf»
- 15:06, 3 сентября 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l1-selezn.pdf»
- 15:05, 3 сентября 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivtg3-l1-selezn.pdf»
- 01:41, 2 сентября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций Ч1 2019-2.pdf»
- 01:40, 2 сентября 2019 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций В 2019-2.pdf»
- 20:18, 31 августа 2019 ZakharovVA (обсуждение | вклад) загрузил «Файл:People who made logic.pdf»
- 20:03, 31 августа 2019 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:LectLog 1.pdf»
- 20:01, 31 августа 2019 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:LectLog 1.pdf»
- 13:15, 30 августа 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК-19-2 311-319.pdf»
- 16:50, 26 августа 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l7-selezn.pdf»
- 16:32, 26 августа 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l4-selezn.pdf»
- 16:06, 26 августа 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l2-selezn.pdf»
- 15:50, 26 августа 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l11-selezn.pdf»
- 15:49, 26 августа 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l10-selezn.pdf»
- 15:49, 26 августа 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l9-selezn.pdf»
- 15:48, 26 августа 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l8-selezn.pdf»
- 15:48, 26 августа 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l7-selezn.pdf»
- 15:47, 26 августа 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l6-selezn.pdf»
- 15:46, 26 августа 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l5-selezn.pdf»
- 15:45, 26 августа 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l4-selezn.pdf»
- 15:45, 26 августа 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l3-selezn.pdf»
- 15:44, 26 августа 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l2-selezn.pdf»
- 15:41, 26 августа 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l1-selezn.pdf»
- 20:50, 14 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ЭТСНДУС 2019.pdf»
- 10:39, 14 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Вопросы ЭТДУС 2019.pdf»
- 10:39, 14 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Программа ЭТДУС 2019.pdf»
- 10:23, 14 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Программа ЭТДУС 2019.pdf»
- 10:23, 14 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Вопросы ЭТДУС 2019.pdf»
- 09:45, 14 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Вопросы ЭТДУС 2019.pdf»
- 20:18, 13 июня 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Программа ЭТДУС 2019.pdf»
- 20:18, 13 июня 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Вопросы ЭТДУС 2019.pdf»
- 19:58, 13 июня 2019 DanilovB (обсуждение | вклад) загрузил «Файл:ЭТСНДУС 2019.pdf»
- 00:30, 13 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-S-PA.pdf»
- 00:07, 13 июня 2019 DanilovB (обсуждение | вклад) загрузил «Файл:ЭТСНиКДУС 2019.pdf»
- 20:25, 12 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-A.pdf»
- 20:24, 12 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-S-PA.pdf»
- 20:24, 12 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-S-P3.pdf»
- 20:24, 12 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-S-P2.pdf»
- 20:24, 12 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-S-P1.pdf»
- 20:23, 12 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-19-1-T3.pdf»
- 20:21, 12 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-19-1-T2.pdf»
- 20:21, 12 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-19-1-T1.pdf»
- 20:40, 10 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-S-PA.pdf»
- 20:39, 10 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-S-P3.pdf»
- 20:39, 10 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-19-1-T3.pdf»
- 04:06, 9 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-A.pdf»
- 04:05, 9 июня 2019 DanilovB (обсуждение | вклад) загрузил «Файл:GR-19-1-S-PA.pdf»
- 04:05, 9 июня 2019 DanilovB (обсуждение | вклад) загрузил «Файл:GR-19-1-S-P3.pdf»
- 04:04, 9 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-S-P2.pdf»
- 04:03, 9 июня 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-S-P1.pdf»
- 04:02, 9 июня 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Cyb-19-1-T3.pdf»
- 16:44, 31 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 15.pdf» (поправлена нехорошая опечатка на слайде 14 (22))
- 23:31, 30 мая 2019 ShupletsovMS (обсуждение | вклад) загрузил «Файл:MMMSBIS 2019.pdf»
- 22:01, 21 мая 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-A.pdf»
- 22:01, 21 мая 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-19-1-T2.pdf»
- 22:00, 21 мая 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-S-P2.pdf»
- 21:58, 21 мая 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-19-1-T2.pdf»
- 01:59, 21 мая 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-A.pdf»
- 01:59, 21 мая 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-S-P2.pdf»
- 01:58, 21 мая 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-S-P1.pdf»
- 01:58, 21 мая 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-19-1-T2.pdf»
- 01:58, 21 мая 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-19-1-T1.pdf»
- 03:45, 14 мая 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Cyb-19-1-T2.pdf»
- 03:45, 14 мая 2019 DanilovB (обсуждение | вклад) загрузил «Файл:GR-19-1-S-P2.pdf»
- 03:44, 14 мая 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-19-1-A.pdf»
- 18:03, 13 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 17.pdf» (поправлены опечатки)
- 18:03, 13 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 16.pdf» (поправлены опечатки)
- 16:31, 12 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 17.pdf» (суперобновлённый вариант. 2018/2019 учебный год. табличный алгоритм model checking для ltl)
- 16:30, 12 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 16.pdf» (суперобновлённый вариант. 2018/2019 учебный год. ltl для формальной верификации)
- 02:11, 12 мая 2019 RomanovDS (обсуждение | вклад) загрузил «Файл:CurriculumETSNK.pdf»
- 02:09, 12 мая 2019 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 320-328 19 .doc»
- 12:24, 10 мая 2019 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Kursovaja 2019.zip»
- 13:44, 6 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 15.pdf» (поправлены опечатки)
- 20:22, 5 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 15.pdf» (суперобновлённый вариант. программа 2018/2019 учебного года. логика Хоара)
- 14:32, 28 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 14.pdf» (матлогика 318, программа 2018/2019 года. модальные логики)
- 16:04, 25 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf» (суперобновлённая версия (программа 2018/2019 учебного года))
- 11:35, 25 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (опечатка была плохо поправлена, а теперь хорошо)
- 11:32, 25 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (исправлена нехорошая опечатка в правилах натурального вывода)
- 14:03, 23 апреля 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l-selezn.pdf»
- 12:20, 23 апреля 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dvm-ex1.pdf»
- 16:15, 22 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (исправлены опечатки)
- 14:34, 22 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 12.pdf» (поправлены опечатки)
- 20:17, 21 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (программа 2018/2019 учебного года: конец рассказа про исчисления)
- 20:17, 21 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 12.pdf» (программа 2018/2019 учебного года: начало рассказа про исчисления)
- 21:55, 18 апреля 2019 DanilovB (обсуждение | вклад) загрузил «Файл:GR-19-1-A.pdf»
- 21:55, 18 апреля 2019 DanilovB (обсуждение | вклад) загрузил «Файл:GR-19-1-S-P1.pdf»
- 21:53, 18 апреля 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Cyb-19-1-T1.pdf»
- 10:49, 16 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 seminar definability.pdf» (немного поменял последние пункты упражнения 2)
- 00:04, 12 апреля 2019 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 320-328 19 .doc»
- 16:11, 11 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 seminar definability.pdf»
- 15:39, 11 апреля 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 190412.pdf»
- 15:38, 11 апреля 2019 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specsem 120412.pdf»
- 15:37, 11 апреля 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 120412.pdf»
- 15:35, 11 апреля 2019 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 12apr.pdf»
- 13:58, 11 апреля 2019 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:DSA2018.pdf»
- 13:56, 11 апреля 2019 SeleznevaSN (обсуждение | вклад) загрузил «Файл:DSA2019.pdf»
- 16:42, 10 апреля 2019 ZakharovVA (обсуждение | вклад) загрузил «Файл:Exam-418-2019.pdf»
- 19:58, 8 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (поправлены опечатки)