Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 17:31, 10 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (опечатки)
- 16:49, 3 сентября 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (2023/2024, теперь здесь собрано всё напоминание про логику предикатов)
- 12:31, 16 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.)
- 21:16, 25 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (Поправлены плохо отображающиеся полужирные буквы в математике)
- 20:11, 5 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (Уточнение "инструкция-команда" в синтаксисе программ)
- 13:18, 5 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 02.pdf» (Методы верификации (618, 621). Блок 2, синтаксис и семантика модельных императивных программ)