Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 17:50, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 12.pdf» (2023-2024. Теперь здесь про полноту табличного вывода)
- 17:49, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 11.pdf» (2023-2024. Теперь здесь про корректность табличного вывода)
- 17:49, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 10.pdf» (2023-2024. Теперь здесь про табличный вывод)
- 17:49, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 09.pdf» (2023-2024. Теперь здесь про подстановки)
- 17:48, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 08.pdf» (2023-2024. Теперь здесь про семантические таблицы (в ЛП))
- 17:48, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 07.pdf» (2023-2024. Без существенных изменений)
- 17:47, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 06.pdf» (2023-2024. Без существенных изменений)
- 17:46, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 05.pdf» (2023-2024. Без существенных изменений)
- 17:44, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 04.pdf» (опечатки)
- 17:44, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 03.pdf» (Опечатки, уточнения)
- 17:38, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem01.pdf» (2023-2024. Без существенных изменений)
- 17:35, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 07.pdf» (2023-2024. Теперь тут общая схема метода модел чекин)
- 17:35, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 06.pdf» (2023-2024. Теперь тут про возможности автоматизации дедуктивного анализа программ и про слабейшее предусловие)
- 17:34, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 05.pdf» (2023-2024. Теперь тут про аннотированные программы)
- 17:34, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 04.pdf» (2023-2024. Теперь тут про дедуктивную верификацию программ в целом и про логику Хоара)
- 17:33, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 03.pdf» (2023-2024. Теперь тут про общие принципы дедуктивной верификации и про императивные программы)
- 17:31, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (опечатки)
- 14:32, 5 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 03.pdf» (Языки описания схем, блок 3. Физика и КМОП)
- 14:31, 5 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 02.pdf» (Языки описания схем, блок 2. Напоминания: БФ, СФЭ)
- 14:31, 5 сентября 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:HDL VP 01.pdf» (Языки описания схем, блок 1 (оргвопросы))
- 16:49, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (2023/2024, теперь здесь собрано всё напоминание про логику предикатов)
- 16:49, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 01.pdf» (2023/2024, без сверхсущественных изменений)
- 16:41, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 03.pdf» (2023/2024, без существенных изменений)
- 16:41, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 04.pdf» (2023/2024, без существенных изменений)
- 16:40, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 02.pdf» (2023/2024, без существенных изменений)
- 16:39, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 01.pdf» (2023/2024, без существенных изменений)
- 14:31, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos4.pdf» (ох и ещё опечатка в титуле)
- 14:31, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos3.pdf» (ох и ещё опечатка в титуле)
- 11:50, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos4.pdf» (опечатка в титуле)
- 11:50, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos3.pdf» (опечатка в титуле)
- 11:48, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos4.pdf» (опечатка в титуле)
- 11:47, 13 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos3.pdf» (опечатка в титуле)
- 11:44, 13 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP gos4.pdf» (Материалы билета 4 госэкзамена по курсу логики (хорновские логические программы))
- 11:44, 13 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP gos3.pdf» (Материалы для билета 3 госэкзамена (логика предикатов и метод резолюций))
- 18:54, 8 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b53.pdf» (Математическая логика для 318, блок 53. Алгоритм model checking для ctl)
- 18:54, 8 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b52.pdf» (Математическая логика для 318, блок 52. Темпоральные формулы как спецификации)
- 18:53, 8 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b51.pdf» (Математическая логика для 318, блок 51. Системы переходов)
- 18:53, 8 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b50.pdf» (Математическая логика для 318, блок 50. Верификация распределённых систем. Вступление про model checking)
- 18:51, 8 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b49.pdf» (перекинул один слайд в 48)
- 18:51, 8 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b48.pdf» (перекинул один слайд из 49)
- 14:36, 4 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b40.pdf» (опечатка)
- 14:35, 4 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b42.pdf» (опечатка)
- 14:32, 4 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b44.pdf» (помарка)
- 14:12, 4 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b49.pdf» (Математическая логика и логическое программирование 318. Весна 2022/2023. Логика Хоара.)
- 14:05, 4 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b48.pdf» (Весна 2022/2023. Теперь тут про императивные программы и их частичную корректность)
- 14:05, 4 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b47.pdf» (Весна 2022/2023. Теперь тут вступление про формальную верификацию)
- 15:58, 2 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b46.pdf» (Весна 2022-2023. Теперь тут интуиционистская логика)
- 15:57, 2 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» (Весна 2022-2023. Темы те же)
- 11:44, 2 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 43.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 43. Paxos)
- 11:44, 2 мая 2023 PodymovVV (обсуждение | вклад) загрузил «Файл:DAS VP 42.pdf» (Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 42. Задача консенсуса)
