Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 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»
- 19:42, 18 декабря 2020 Root (обсуждение | вклад) автоматически отпатрулировал версию 7903 страницы Шаблон:Important Announcements
- 19:21, 18 декабря 2020 Root (обсуждение | вклад) автоматически отпатрулировал версию 7902 страницы Шаблон:Important Announcements
- 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»