Diff for doc/statnica-matematika/04-diskretna-matematika.tex between version 1.3 and 1.4
| version 1.3, 2005/01/18 10:24:47 |
version 1.4, 2005/02/03 09:44:18 |
|
|
| % 2005-01-15 - created |
% 2005-01-15 - created |
| % |
% |
| |
|
| % $Platon: doc/statnica-matematika/04-diskretna-matematika.tex,v 1.2 2005/01/17 18:59:35 nepto Exp $ |
% $Platon: doc/statnica-matematika/04-diskretna-matematika.tex,v 1.3 2005/01/18 10:24:47 nepto Exp $ |
| |
|
| \chapter{Diskrétna matematika} |
\chapter{Diskrétna matematika} |
| |
|
|
|
| \section{Relácie} % /* |
\section{Relácie} % /* |
| |
|
| \begin{defn} |
\begin{defn} |
| Relácia $\varphi$ je \underline{reláciou ekvivalencie} na $A$, ak spĺňa nasledujúce vlasnosti: |
Relácia $\varphi$ je \underline{reláciou ekvivalencie} na $A$, ak spĺňa nasledujúce vlastnosti: |
| \begin{enumerate} |
\begin{enumerate} |
| \item \underline{reflexívnosť}: $\forall a \in A: (a, a) \in \varphi$ |
\item \underline{reflexívnosť}: $\forall a \in A: (a, a) \in \varphi$ |
| \item \underline{symetrickosť}: $\forall a, b \in A: (a, b) \in \varphi \Leftrightarrow (b, a) |
\item \underline{symetrickosť}: $\forall a, b \in A: (a, b) \in \varphi \Leftrightarrow (b, a) |
|
|
| \section{Cantorova veta} % /* |
\section{Cantorova veta} % /* |
| |
|
| \begin{veta}[Cantorova] |
\begin{veta}[Cantorova] |
| Pre každú množinu $X$ platí $|X| < |P(X)|$, kde $P(X) = \{ Y ~|~ Y \in X \}$. |
Pre každú množinu $X \ne \emptyset$ platí $|X| < |P(X)|$, kde $P(X) = \{ Y ~|~ Y \subset X \}$. |
| |
|
| (TODO masakralna blbost, neplati pre $\emptyset$ navyše $P(X)$ je zle zadefinovane) |
|
| \end{veta} |
\end{veta} |
| |
|
| \begin{dosledok} |
\begin{dosledok} |
Platon Group <platon@platon.org> http://platon.org/
|
|
Login
Registration
Slovak
![[BACK]](http://cvsweb.platon.sk/icons/back.gif){kind=icon}
![[TXT]](http://cvsweb.platon.sk/icons/text.gif){kind=icon}
![[DIR]](http://cvsweb.platon.sk/icons/dir.gif){kind=icon}
Up to