Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (250 более новые | 250 более старые) (20 | 50 | 100 | 250 | 500)- 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»
- 16:14, 1 июля 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v2.pdf»
- 16:13, 1 июля 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v1.pdf»
- 14:47, 1 июля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Test.txt»
- 23:07, 30 июня 2020 Emergency User (обсуждение | вклад) загрузил «Файл:Dm2v7.pdf»
- 23:07, 30 июня 2020 Emergency User (обсуждение | вклад) загрузил «Файл:Dm2v6.pdf»
- 23:06, 30 июня 2020 Emergency User (обсуждение | вклад) загрузил «Файл:Dm2v5.pdf»
- 23:06, 30 июня 2020 Emergency User (обсуждение | вклад) загрузил «Файл:Dm2v4.pdf»
- 23:04, 30 июня 2020 Emergency User (обсуждение | вклад) загрузил «Файл:Dm2v3.pdf»
- 22:53, 30 июня 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v2.pdf»
- 22:52, 30 июня 2020 Emergency User (обсуждение | вклад) загружена новая версия «Файл:Dm2v1.pdf»
- 22:49, 30 июня 2020 Emergency User (обсуждение | вклад) загрузил «Файл:Dm3.pdf»
- 22:46, 30 июня 2020 Emergency User (обсуждение | вклад) загрузил «Файл:Dm2v2.pdf»
- 22:42, 30 июня 2020 Emergency User (обсуждение | вклад) загрузил «Файл:Dm2v1.pdf»
- 10:39, 29 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var8.pdf»
- 10:39, 29 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var7.pdf»
- 10:39, 29 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var6.pdf»
- 10:39, 29 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var5.pdf»
- 10:39, 29 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var4.pdf»
- 10:38, 29 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var3.pdf»
- 10:38, 29 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var2.pdf»
- 10:38, 29 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var1.pdf»
- 09:55, 29 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var8.pdf»
- 09:55, 29 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var7.pdf»
- 09:55, 29 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var6.pdf»
- 09:55, 29 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var5.pdf»
- 09:55, 29 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var4.pdf»
- 09:54, 29 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var3.pdf»
- 09:54, 29 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var2.pdf»
- 09:54, 29 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var1.pdf»
- 21:20, 23 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var8.pdf»
- 21:19, 23 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var8.pdf»
- 21:18, 23 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Test.txt»
- 21:18, 23 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Test.txt»
- 20:46, 23 июня 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Test.txt»
- 20:33, 23 июня 2020 Root (обсуждение | вклад) загрузил «Файл:Test.txt» (бессмысленный файл для кое-какого тестирования)
- 19:06, 23 июня 2020 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:Оценки по ОК 2020 3 3 .xlsx»
- 16:14, 23 июня 2020 RomanovDS (обсуждение | вклад) загрузил «Файл:Оценки по ОК 2020 3 3 .xlsx»
- 15:07, 23 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var8.pdf»
- 15:07, 23 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var7.pdf»
- 15:06, 23 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var6.pdf»
- 15:05, 23 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var5.pdf»
- 15:05, 23 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var4.pdf»
- 15:04, 23 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var3.pdf»
- 15:04, 23 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var2.pdf»
- 15:02, 23 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var1.pdf»
- 12:21, 23 июня 2020 Root (обсуждение | вклад) удалил страницу Файл:Test.txt (кое-что тестировалось, теперь файл не нужен)
- 12:21, 23 июня 2020 Root (обсуждение | вклад) загружена новая версия «Файл:Test.txt»
- 12:20, 23 июня 2020 Root (обсуждение | вклад) загружена новая версия «Файл:Test.txt»
- 12:18, 23 июня 2020 Root (обсуждение | вклад) загрузил «Файл:Test.txt» (файл для тестирования кое-чего)
- 19:15, 22 июня 2020 RomanovDS (обсуждение | вклад) загрузил «Файл:Оценки по ОК 2020 3 3.xlsx»
- 13:25, 22 июня 2020 SavitskiyIV (обсуждение | вклад) загрузил «Файл:Var8.pdf» (Заглушка к экзамену по ДМ 3-го потока 2020)
- 13:25, 22 июня 2020 SavitskiyIV (обсуждение | вклад) загрузил «Файл:Var7.pdf» (Заглушка к экзамену по ДМ 3-го потока 2020)
- 13:25, 22 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var6.pdf» (Заглушка к экзамену по ДМ 3-го потока 2020)
- 13:25, 22 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var5.pdf» (Заглушка к экзамену по ДМ 3-го потока 2020)
- 13:25, 22 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var4.pdf» (Заглушка к экзамену по ДМ 3-го потока 2020)
- 13:25, 22 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var3.pdf» (Заглушка к экзамену по ДМ 3-го потока 2020)
- 13:25, 22 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var2.pdf» (Заглушка к экзамену по ДМ 3-го потока 2020)
- 13:24, 22 июня 2020 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Var1.pdf» (Заглушка к экзамену по ДМ 3-го потока 2020)
- 10:32, 22 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Example-dm1-exam.pdf»
- 10:32, 22 июня 2020 Root (обсуждение | вклад) создал учётную запись SavitskiyIV (обсуждение | вклад)
- 22:12, 21 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Example-dm1-exam.pdf»
- 17:21, 19 июня 2020 RomanovDS (обсуждение | вклад) загрузил «Файл:Ссылка на общую папку.docx»
- 12:17, 16 июня 2020 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ЭТСНДУС 2020.pdf»
- 10:48, 16 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var6.pdf»
- 10:48, 16 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var5.pdf»
- 10:48, 16 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var4.pdf»
- 10:48, 16 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var3.pdf»
- 10:47, 16 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var2.pdf»
- 10:47, 16 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var1.pdf»
- 09:59, 16 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var6.pdf»
- 09:58, 16 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var5.pdf»
- 09:58, 16 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var4.pdf»
- 09:57, 16 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var3.pdf»
- 09:57, 16 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var2.pdf»
- 09:56, 16 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var1.pdf»
- 01:41, 16 июня 2020 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ЭТСНДУС 2020.pdf»
- 23:12, 14 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l9-selezn.pdf»
- 23:10, 14 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l11-selezn.pdf»
- 23:09, 14 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l7-selezn.pdf»
- 23:08, 14 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l5-selezn.pdf»
- 23:07, 14 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l4-selezn.pdf»
- 23:05, 14 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l2-selezn.pdf»
- 23:03, 14 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l2-selezn.pdf»
- 18:37, 12 июня 2020 RomanovDS (обсуждение | вклад) загрузил «Файл:OK cons link.doc»
- 11:46, 12 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var6.pdf»
- 11:46, 12 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var5.pdf»
- 11:46, 12 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var4.pdf»
- 11:45, 12 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var3.pdf»
- 11:45, 12 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var2.pdf»
- 11:45, 12 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var1.pdf»
- 00:36, 12 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var1.pdf»
- 18:52, 11 июня 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Example-dm1-exam.pdf»
- 18:38, 11 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Var6.pdf»
- 18:34, 11 июня 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Var6.pdf»
- 18:34, 11 июня 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Var5.pdf»
- 18:34, 11 июня 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Var4.pdf»
- 18:34, 11 июня 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Var3.pdf»
- 18:33, 11 июня 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Var2.pdf»
- 18:33, 11 июня 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Var1.pdf»
- 18:12, 11 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Sm.pdf»
- 18:08, 11 июня 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Sm.pdf»
- 17:48, 9 июня 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-exam-task.pdf»
- 17:46, 9 июня 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-exam.pdf»
- 13:26, 8 июня 2020 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 320-328 2020 06 08 онлайн.doc»
- 13:25, 8 июня 2020 RomanovDS (обсуждение | вклад) загрузил «Файл:Курс ОК 320-328 2020 06 08 онлайн.doc»
- 19:51, 7 июня 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-exam.pdf»
- 19:02, 24 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 17.pdf» (Весна 2020. Минимальные изменения - пара правок в терминологии.)
- 13:38, 23 мая 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Konovodov ok sem 08.pdf»
- 23:03, 20 мая 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-gos4-selezn.pdf»
- 22:58, 20 мая 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos7-selezn.pdf»
- 22:57, 20 мая 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos6-selezn.pdf»
- 22:57, 20 мая 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos5-selezn.pdf»
- 22:56, 20 мая 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos4-selezn.pdf»
- 22:56, 20 мая 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos3-selezn.pdf»
- 22:56, 20 мая 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos2-selezn.pdf»
- 22:55, 20 мая 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-gos1-selezn.pdf»
- 11:42, 17 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 16.pdf» (весна 2020. ltl для формальной верификации)
- 11:41, 17 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 15.pdf» (весна 2020. логика хоара)
- 10:41, 16 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 14.pdf» (слегка подправил вводный слайд)
- 00:10, 16 мая 2020 NagornyAS (обсуждение | вклад) загрузил «Файл:РП Вероятностные методы в комбинаторике 2020.pdf»
- 00:46, 15 мая 2020 NagornyAS (обсуждение | вклад) загрузил «Файл:Лекция 13 Вероятностные методы в комбинаторике.pdf»
- 00:45, 15 мая 2020 NagornyAS (обсуждение | вклад) загрузил «Файл:Лекция 12 Вероятностные методы в комбинаторике.pdf»
- 21:33, 14 мая 2020 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:OK seminar 8 .pdf»
- 21:31, 14 мая 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:OK seminar 8 .pdf»
- 19:27, 14 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 14.pdf» (весна 2020. Темы те же, но чуть поправил форму изложения и подрезал.)
- 16:52, 14 мая 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-s12-selezn.pdf»
- 16:51, 14 мая 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l16-selezn.pdf»
- 13:24, 9 мая 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Konovodov ok sem 07.pdf»
- 17:24, 5 мая 2020 NagornyAS (обсуждение | вклад) загрузил «Файл:Лекция 11 Вероятностные методы в комбинаторике.pdf»
- 17:16, 5 мая 2020 NagornyAS (обсуждение | вклад) загрузил «Файл:Лекция 10 Вероятностные методы в комбинаторике.pdf»
- 16:57, 5 мая 2020 NagornyAS (обсуждение | вклад) загрузил «Файл:Лекция 9 Вероятностные методы в комбинаторике.pdf»
- 12:51, 5 мая 2020 RomanovDS (обсуждение | вклад) загрузил «Файл:OK seminar 7 .pdf»
- 18:42, 4 мая 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l16-selezn.pdf»
- 18:02, 3 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf» (Весна 2020 (улучшена матчасть, вырезаны аксиоматические теории))
- 11:27, 3 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 12 13.pdf» (поправлены опечатки)
- 13:34, 2 мая 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Konovodov ok sem 06.pdf»
- 13:21, 30 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l15-selezn.pdf»
- 17:36, 28 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-s11-selezn.pdf»
- 17:34, 28 апреля 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-s12-selezn.pdf»
- 17:32, 28 апреля 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-s11-selezn.pdf»
- 17:28, 28 апреля 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l16-selezn.pdf»
- 17:27, 28 апреля 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l15-selezn.pdf»
- 11:30, 28 апреля 2020 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture-DA-12.pdf»
- 01:06, 28 апреля 2020 RomanovDS (обсуждение | вклад) загрузил «Файл:Курс ОК 320-328 2020 04 28 онлайн.doc»
- 04:16, 27 апреля 2020 DanilovB (обсуждение | вклад) загрузил «Файл:ЭТСНДУС 2020.pdf»
- 02:47, 27 апреля 2020 RomanovDS (обсуждение | вклад) загрузил «Файл:OK seminar 7.pdf»
- 01:58, 27 апреля 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 12 13.pdf» (2020, весна. Всё про исчисления, кроме общих слов (они в лекции 11).)
- 20:13, 23 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l13-selezn.pdf»
- 20:11, 23 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l17-selezn.pdf»
- 20:10, 23 апреля 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l18-selezn.pdf»
- 19:59, 23 апреля 2020 DanilovB (обсуждение | вклад) загрузил «Файл:OK seminar 6 full.pdf»
- 14:42, 21 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l14-selezn.pdf»
- 14:39, 21 апреля 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-s10-selezn.pdf»
- 14:35, 21 апреля 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l17-selezn.pdf»
- 11:39, 21 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (поправил недочёты на последнем слайде (про исчисление дизъюнктов))
- 17:33, 19 апреля 2020 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Md618 2020.pdf»
- 17:33, 19 апреля 2020 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Vkr418 2020.pdf»
- 12:10, 19 апреля 2020 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture-DA-11.pdf»
- 13:43, 18 апреля 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Konovodov ok sem 05.pdf»
- 22:03, 17 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l12-selezn.pdf»
- 15:24, 17 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (весна 2020. теорема чёрча, машины тьюринга, вводные слова про логические исчисления)
- 17:47, 16 апреля 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l14-selezn.pdf»
- 16:29, 15 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l10-selezn.pdf»
- 16:20, 15 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-s9-selezn.pdf»
- 16:20, 15 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l10-selezn.pdf»
- 12:45, 15 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l13-selezn.pdf»
- 08:43, 15 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l13-selezn.pdf»
- 02:02, 15 апреля 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ЭТСНКДУС-20-1 318.pdf»
- 01:48, 15 апреля 2020 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ЭТДУС-20-1 318.pdf»
- 23:46, 14 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-s9-selezn.pdf»
- 23:37, 14 апреля 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-s9-selezn.pdf»
- 14:00, 14 апреля 2020 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l13-selezn.pdf»
- 16:04, 13 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (урезано согласно фактически прочитанному: машины Тьюринга будут в лекции 11)
- 13:41, 13 апреля 2020 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture-DA-10.pdf»
- 18:08, 11 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (весна 2020. полнота метода резолюций, и прелюдия к теореме чёрча)
- 12:23, 11 апреля 2020 KonovodovV (обсуждение | вклад) загрузил «Файл:Konovodov ok sem 04.pdf»
- 14:46, 10 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l11-selezn.pdf»
- 14:23, 10 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l12-selezn.pdf»
- 14:22, 10 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l12-selezn.pdf»
- 00:21, 10 апреля 2020 NagornyAS (обсуждение | вклад) загрузил «Файл:Лекция 8 Вероятностные методы в комбинаторике.pdf» ("Вероятностные методы в комбинаторике", лекция №8)
- 15:18, 9 апреля 2020 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-l12-selezn.pdf»