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

Текущая версия на 22:46, 28 сентября 2025

Мат. лог. и лог. прог., 3 поток. Блок 21. Алгоритм унификации

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

	Дата/время	Размеры	Участник	Примечание
текущий	22:46, 28 сентября 2025	(121 КБ)	PodymovVV (обсуждение \| вклад)	2025/2026, без существенных изменений
	17:31, 26 сентября 2024	(120 КБ)	PodymovVV (обсуждение \| вклад)	2024-2025, без существенных изменений
	22:45, 24 сентября 2023	(120 КБ)	PodymovVV (обсуждение \| вклад)	2023-2024. теперь тут монотонность и транзитивность логического следования
	14:30, 13 октября 2022	(270 КБ)	PodymovVV (обсуждение \| вклад)	Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным
	07:57, 3 октября 2022	(392 КБ)	PodymovVV (обсуждение \| вклад)	Мат. лог. и лог. прог., 3 поток. Блок 21. Алгоритм унификации

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

Версия 17:31, 26 сентября 2024 (просмотреть исходный код) PodymovVV (обсуждение \| вклад) (PodymovVV загружена новая версия «Файл:MLLP VP 21.pdf») ← Предыдущая правка	Текущая версия на 22:46, 28 сентября 2025 (просмотреть исходный код) PodymovVV (обсуждение \| вклад) (PodymovVV загружена новая версия «Файл:MLLP VP 21.pdf»)
(нет различий)