From b782fe9a251cf07e30525aac7fdc8c780a232dee Mon Sep 17 00:00:00 2001
From: Andrew Guschin <guschin.drew@gmail.com>
Date: Sat, 2 Apr 2022 08:18:10 +0400
Subject: =?UTF-8?q?=D0=9F=D0=B5=D1=80=D0=B5=D0=BC=D0=B5=D1=81=D1=82=D0=B8?=
 =?UTF-8?q?=D0=BB=20=D0=B2=D1=81=D0=B5=20=D0=BB=D0=B5=D0=BA=D1=86=D0=B8?=
 =?UTF-8?q?=D0=B8=20=D0=BF=D1=8F=D1=82=D0=BE=D0=B3=D0=BE=20=D1=81=D0=B5?=
 =?UTF-8?q?=D0=BC=D0=B5=D1=81=D1=82=D1=80=D0=B0=20=D0=B2=20=D0=BA=D0=BE?=
 =?UTF-8?q?=D1=80=D0=B5=D0=BD=D1=8C=20=D0=BF=D1=80=D0=BE=D0=B5=D0=BA=D1=82?=
 =?UTF-8?q?=D0=B0?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 sem5/universal-algebra/lectures/lecture1.tex | 50 ----------------------------
 1 file changed, 50 deletions(-)
 delete mode 100644 sem5/universal-algebra/lectures/lecture1.tex

(limited to 'sem5/universal-algebra/lectures/lecture1.tex')

diff --git a/sem5/universal-algebra/lectures/lecture1.tex b/sem5/universal-algebra/lectures/lecture1.tex
deleted file mode 100644
index 98db9dc..0000000
--- a/sem5/universal-algebra/lectures/lecture1.tex
+++ /dev/null
@@ -1,50 +0,0 @@
-% Лекция 1 (03.09.21)
-\section{Алгебра отношений}
-Обозначение множеств:
-\begin{itemize}
-  \item $A = \{ a : P(A) \}$
-  \item $[0, 1] = \{ x : x \in R \land 0 \leq x \leq 1 \}$
-  \item $A = \{ 0, 1, \dots, 10 \}$
-\end{itemize}
-
-Основные действия над множествами:
-\begin{itemize}
-  \item Сравнение множеств: $A = B$ означает, что $|A|=|B| \land \forall x \in A \iff x \in B$
-  \item Объединение: $A \cup B$ --- множество, состоящее из элементов $A$ или $B$. $A \cup B = \{ x : x \in A \lor x \in B \}$
-  \item Разность множеств: $A - B = \{ x : x \in A \land x \not\in B \}$
-\end{itemize}
-
-\begin{definition}
-  $\{ x, y \}$ называется неупорядоченной парой элементов $x$, $y$.
-\end{definition}
-
-\begin{definition}
-  Множество $(a, b) = \{ a, \{a, b\} \}$ называют упорядоченной парой.
-\end{definition}
-
-$A_1 \cdot \ldots \cdot A_n = \{ (a_1, a_2, \dots, a_n) : \dots \}$
-
-\dots
-
-\begin{definition}
-  Всюду определённое и однозначеное бинарное отношение $\phi \subset A \times B$ обозначается $\phi: A \to B$ и
-  называется отображением $A$ в $B$, или \textit{функцией} на множестве $A$ со значениями в множестве $B$.
-\end{definition}
-
-Для отображения $\phi: A \to B$:
-\begin{itemize}
-  \item Область определения $D_p = A$ 
-  \item Область значений $E_p = B$
-\end{itemize}
-
-\begin{definition}
-  Отображение $\phi: A \to B$ называется:
-  \begin{itemize}
-    \item \textit{Преобразованием} множества $A$, если $A = B$;
-    \item \textit{Отображением} множества $A$ на множество $B$, если $E_\phi = B$;
-    \item \textit{Взаимно однозначным отображением} множества $A$ в множество $B$, если оно является взаимно однозначным бинарным отношением;
-    \item \textit{Взаимно однозначным отображением} $A$ на $B$ если оно взаимно однозначно и $E_\phi = B$;
-    \item \textit{Перестановкой} множества $A$, если оно является взаимно однозначным отображением множества $A$ на себя.
-  \end{itemize}
-\end{definition}
-
-- 
cgit v1.2.3

