Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 10:33, 5 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 02.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 2, логика высказываний (синтаксис, семантика))
- 10:32, 5 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 01.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 1, вводный)
- 10:24, 5 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 03.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 3, логика предикатов (синтаксис, семантика))
- 10:23, 5 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 02.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 2, логика высказываний (синтаксис, семантика))
- 10:22, 5 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 01.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 1, вводный)
- 13:29, 30 августа 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l1-selezn.pdf»
- 11:50, 30 августа 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l2-selezn.pdf»
- 11:49, 30 августа 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l1-selezn.pdf»
- 16:57, 28 августа 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l1-selezn.pdf»
- 15:17, 13 июня 2022 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 320-328 2022 06 14.pdf»
- 14:33, 13 июня 2022 RomanovDS (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 320-328 2022 06 14.pdf»
- 13:15, 13 июня 2022 RomanovDS (обсуждение | вклад) загрузил «Файл:5 prez.pdf»
- 13:14, 13 июня 2022 RomanovDS (обсуждение | вклад) загрузил «Файл:4 prez.pdf»
- 13:14, 13 июня 2022 RomanovDS (обсуждение | вклад) загрузил «Файл:3 prez.pdf»
- 13:14, 13 июня 2022 RomanovDS (обсуждение | вклад) загрузил «Файл:2 prez.pdf»
- 13:14, 13 июня 2022 RomanovDS (обсуждение | вклад) загрузил «Файл:1 prez.pdf»
- 13:07, 13 июня 2022 RomanovDS (обсуждение | вклад) загрузил «Файл:Курс ОК 320-328 2022 06 14.pdf»
- 13:23, 11 июня 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Example-dm-kf-exam.pdf»
- 12:07, 4 июня 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Mk-2022-618.jpg»
- 12:06, 4 июня 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mk-2022-618.jpg»
- 09:49, 17 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b48.pdf» (Исправил несколько опечаток)
- 19:12, 15 мая 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b48.pdf» (Курс мат.логики для группы 318 и остальных. Блок 48. Проверка моделей относительно CTL)
- 19:11, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b47.pdf» (Весна 2022. Теперь тут про императивные программы и логику Хоара)
- 19:10, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b46.pdf» (Весна 2022. Теперь тут общие слова про формальную верификацию)
- 19:09, 15 мая 2022 Root (обсуждение | вклад) удалил страницу Файл:Mathlog 318 b45.pdf (Удалена старая версия 20220515160701!Mathlog_318_b45.pdf: дубль)
- 19:09, 15 мая 2022 Root (обсуждение | вклад) удалил страницу Файл:Mathlog 318 b45.pdf (Удалена старая версия 20220515160836!Mathlog_318_b45.pdf: загружено по ошибке)
- 19:08, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» (Весна 2022. Теперь тут темпоральные логики)
- 19:07, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» (Весна 2022. Формальная верификация)
- 19:06, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» (Весна 2022. Теперь тут темпоральные логики)
- 19:05, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b44.pdf» (Весна 2022. Теперь тут эпистемичекие логики)
- 20:18, 11 мая 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Курсовая работа - титульный лист.doc» (Титульный лист курсовой работы 2022)
- 20:17, 11 мая 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Курсовая работа - требования.pdf» (Требования к курсовой работе 2022)
- 19:02, 29 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b43.pdf» (Исправлено несколько опечаток)
- 19:02, 29 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b42.pdf» (Поправлено несколько опечаток)
- 14:49, 29 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-gos7-selezn.pdf»
- 13:14, 29 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-gos5-selezn.pdf»
- 13:01, 29 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-gos4-selezn.pdf»
- 12:45, 29 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-gos1-selezn.pdf»
- 12:43, 29 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-gos1-selezn.pdf»
- 20:32, 26 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-kf-l15-selezn.pdf»
- 17:36, 24 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b43.pdf» (Весна 2022. Теперь тут про модальные логики)
- 17:36, 24 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b42.pdf» (Весна 2022. Теперь тут про арифметику Пресбургера)
- 18:31, 21 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l21-selezn.pdf»
- 18:31, 21 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-l20-selezn.pdf»
- 18:36, 20 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b41.pdf» (Исправлена пара опечаток)
- 18:36, 20 апреля 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b38.pdf» (Исправлена пара опечаток)
- 10:59, 20 апреля 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-kf-l14-selezn.pdf»
- 17:43, 19 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm1-kf-l14-selezn.pdf»
- 10:56, 19 апреля 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-04-29.pdf»
- 22:27, 18 апреля 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ЭТСНКДУС-22-1.pdf»