Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 19:35, 14 сентября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l2-selezn.pdf»
- 19:33, 14 сентября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l2-selezn.pdf»
- 19:27, 14 сентября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l2-selezn.pdf»
- 19:25, 14 сентября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l1-selezn.pdf»
- 19:22, 14 сентября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l2-selezn.pdf»
- 19:12, 14 сентября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l3-selezn.pdf»
- 17:55, 13 сентября 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dfvo-l2-selezn.pdf»
- 11:38, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP sem01.pdf» (Методы верификации (618, 621). Семинар 1, дедуктивная верификация императивных программ)
- 11:38, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 05.pdf» (Методы верификации (618, 621). Блок 5, автоматизация, слабейшее предусловие)
- 11:37, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 04.pdf» (Методы верификации (618, 621). Блок 4, аннотированные программы)
- 11:36, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 03.pdf» (Методы верификации (618, 621). Блок 3, постановка задачи дедуктивной верификации императивных программ, логика Хоара)
- 08:02, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 07.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 7, логика предикатов: невозможность проверки общезначимости перебором)
- 08:01, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 06.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 6, логика предикатов: выполнимые и общезначимые формулы, модели, логическое следствие, проблема общезнач…)
- 08:00, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 05.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 5, логика высказываний: выполнимые и общезначимые формулы)
- 07:59, 12 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 04.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 4, логика предикатов (пример формализации на языке предикатов))
- 01:42, 7 сентября 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-22-2 311-319.pdf»
- 01:39, 7 сентября 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-22-2 311-319.pdf»
- 20:11, 5 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (Уточнение "инструкция-команда" в синтаксисе программ)
- 20:10, 5 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 01.pdf» (Исправлены опечатки)
- 13:33, 5 сентября 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Программа ДГДМК 2022-2023.pdf»
- 13:22, 5 сентября 2022 Root (обсуждение | вклад) удалил страницу Файл:Verif VP 01.pdf (Удалена старая версия 20220905102144!Verif_VP_01.pdf: неверный титульный слайд)
- 13:21, 5 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 01.pdf» (Методы верификации (618, 621). Блок 1, вводный)
- 13:18, 5 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 02.pdf» (Методы верификации (618, 621). Блок 2, синтаксис и семантика модельных императивных программ)
- 13:18, 5 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 01.pdf» (Методы верификации (618, 621). Блок 1, вводный)
- 12:44, 5 сентября 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Программа ДГДМК семинары 2022-2023.pdf»
- 12:09, 5 сентября 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК-22-2 311-319.pdf»
- 10:36, 5 сентября 2022 Root (обсуждение | вклад) удалил страницу Файл:MLLP VP 03.pdf (Удалена старая версия 20220905073330!MLLP_VP_03.pdf: был загружен не тот файл)
- 10:36, 5 сентября 2022 Root (обсуждение | вклад) удалил страницу Файл:MLLP VP 02.pdf (Удалена старая версия 20220905073302!MLLP_VP_02.pdf: был загружен не тот файл)
- 10:36, 5 сентября 2022 Root (обсуждение | вклад) удалил страницу Файл:MLLP VP 01.pdf (Удалена старая версия 20220905073234!MLLP_VP_01.pdf: был загружен не тот файл)
- 10:33, 5 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 03.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 3, логика предикатов (синтаксис, семантика))
- 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»