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

Версия 16:14, 15 октября 2023

Мат. лог. и лог. прог., 3 поток. Блок 35. ХЛП: полнота операционной семантики

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

	Дата/время	Размеры	Участник	Примечание
текущий	16:40, 23 октября 2023	(177 КБ)	PodymovVV (обсуждение \| вклад)	опечатки
	16:14, 15 октября 2023	(177 КБ)	PodymovVV (обсуждение \| вклад)	2023-2024, без существенных изменений
	14:22, 25 октября 2022	(177 КБ)	PodymovVV (обсуждение \| вклад)	Исправлены опечатки, улучшено представление одного из доказательств (добавлена картинка, которую рисовал на лекции)
	17:35, 23 октября 2022	(177 КБ)	PodymovVV (обсуждение \| вклад)	Мат. лог. и лог. прог., 3 поток. Блок 35. ХЛП: полнота операционной семантики

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

Версия 14:22, 25 октября 2022 (просмотреть исходный код) PodymovVV (обсуждение \| вклад) (PodymovVV загружена новая версия «Файл:MLLP VP 35.pdf») ← Предыдущая правка	Версия 16:14, 15 октября 2023 (просмотреть исходный код) PodymovVV (обсуждение \| вклад) (PodymovVV загружена новая версия «Файл:MLLP VP 35.pdf») Следующая правка →
(нет различий)