Diff for doc/statnica-teoria-prog/02-teoria-vypocitatelnosti.tex between version 1.2 and 1.3
| version 1.2, 2006/08/17 09:25:30 |
version 1.3, 2006/08/17 11:41:27 |
|
|
| % 2006-08-17 - created |
% 2006-08-17 - created |
| % |
% |
| |
|
| % $Platon: doc/statnica-teoria-prog/02-teoria-vypocitatelnosti.tex,v 1.1 2006-08-17 08:04:27 nepto Exp $ |
% $Platon: doc/statnica-teoria-prog/02-teoria-vypocitatelnosti.tex,v 1.2 2006-08-17 09:25:30 nepto Exp $ |
| |
|
| \chapter{Teória vypočítateľnosti} |
\chapter{Teória vypočítateľnosti} |
| |
|
| \section{Primitívna rekurzia} % /* |
\section{Primitívna rekurzia} % /* |
| |
|
| \begin{defn}[Projekia] |
\begin{defn}[Projekcia] |
| $n$-árnu funkciu $f$ nazývame $m$-tá {\it projekcia} na množine $\mathbb{X}$, ak $0 < m \le n$ |
$n$-árnu funkciu $f$ nazývame $m$-tá {\it projekcia} na množine $\mathbb{X}$, ak $0 < m \le n$ |
| a~platí: |
a~platí: |
| $$ |
$$ |
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