Файл:Verif VP 02.pdf — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Методы верификации (618, 621). Блок 2, синтаксис и семантика модельных императивных программ)
 
(PodymovVV загружена новая версия «Файл:Verif VP 02.pdf»)
(нет различий)

Версия 20:11, 5 сентября 2022

Методы верификации (618, 621). Блок 2, синтаксис и семантика модельных императивных программ

История файла

Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.

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

Следующая 1 страница ссылается на данный файл: