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

Версия 15:21, 11 октября 2023

Мат. лог. и лог. прог., 3 поток. Блок 19. Системы дизъюнктов

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

	Дата/время	Размеры	Участник	Примечание
текущий	14:29, 7 октября 2024	(165 КБ)	PodymovVV (обсуждение \| вклад)	переформулировал одно определение
	17:31, 26 сентября 2024	(165 КБ)	PodymovVV (обсуждение \| вклад)	2024-2025, без существенных изменений
	15:21, 11 октября 2023	(165 КБ)	Root (обсуждение \| вклад)	Возврат к версии от 19:44, 24 сентября 2023
	22:44, 24 сентября 2023	(165 КБ)	PodymovVV (обсуждение \| вклад)	2023-2024. теперь тут композиция подстановок и постановка задачи унификации
	14:30, 13 октября 2022	(158 КБ)	PodymovVV (обсуждение \| вклад)	Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным
	07:56, 3 октября 2022	(229 КБ)	PodymovVV (обсуждение \| вклад)	Мат. лог. и лог. прог., 3 поток. Блок 19. Системы дизъюнктов

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

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