Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 12:11, 29 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (Исправлено несколько опечаток)
- 12:05, 29 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 08.pdf» (Исправлено несколько опечаток)
- 18:55, 26 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 13.pdf» (Исправлено несколько опечаток в доказательстве)
- 14:12, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP sem02.pdf» (Методы верификации (618, 621). Семинар 2. Модели Крипке, LTL, безопасность и живость, справедливость.)
- 14:09, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 10.pdf» (Методы верификации (618, 621). Блок 10. Размеченные системы переходов. Справедливость в целом и в LTL.)
- 14:09, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 09.pdf» (Методы верификации (618, 621). Блок 9. LTL - синтаксис, семантика, постановка задачи верификации)
- 14:08, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 08.pdf» (Методы верификации (618, 621). Блок 8. Свойства трасс. Безопасность и живость.)
- 07:21, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 16.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 16. Равносильность формул логики предикатов)
- 07:20, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 15.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 16. Общая схема метода резолюций)
- 07:19, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 14.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 14. Метод семантических таблиц в логике предикатов: лёвенгейм-сколем, мальцев, автоматизация доказательс…)
- 07:18, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 13.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 13. Метод семантических таблиц в логике предикатов: полнота табличного вывода)
- 07:18, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 12.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 12. Метод семантических таблиц в логике предикатов: корректность табличного вывода)
- 07:17, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 11.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 11. Метод семантических таблиц в логике предикатов: табличный вывод)
- 07:16, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 10.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 10. Подстановки (основные определения))
- 07:15, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 09.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 9. Метод семантических таблиц в логике предикатов: семантические таблицы)
- 21:18, 25 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem01.pdf» (Поправлены плохо отображающиеся полужирные буквы в математике)
- 21:17, 25 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 07.pdf» (Поправлены плохо отображающиеся полужирные буквы в математике)
- 21:17, 25 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 05.pdf» (Поправлены плохо отображающиеся полужирные буквы в математике)
- 21:16, 25 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 04.pdf» (Поправлены плохо отображающиеся полужирные буквы в математике)
- 21:16, 25 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 03.pdf» (Поправлены плохо отображающиеся полужирные буквы в математике)
- 21:16, 25 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (Поправлены плохо отображающиеся полужирные буквы в математике)
- 19:57, 19 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 07.pdf» (Исправил пару опечаток)
- 19:53, 19 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 06.pdf» (Исправил пример невыполнимой формулы и использование не введённого ещё сокращения для цепочки кванторов)
- 09:54, 19 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 07.pdf» (Методы верификации (618, 621). Блок 7, модели Крипке и особенности моделирования систем)
- 09:53, 19 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 06.pdf» (Методы верификации (618, 621). Блок 6, общая схема model checking)
- 01:07, 19 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 04.pdf» (Поправлена опечатка в одной формуле)
- 19:44, 17 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 08.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 8. Метод семантических таблиц в логике высказываний)
- 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, логика предикатов (пример формализации на языке предикатов))
- 20:11, 5 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (Уточнение "инструкция-команда" в синтаксисе программ)
- 20:10, 5 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл: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, вводный)
- 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, вводный)
- 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. Теперь тут общие слова про формальную верификацию)
