%\documentclass[slideColor, colorBG, azure, pdf]{prosper}
\documentclass[slideColor, colorBG, blends, pdf]{prosper}
% "azure" je nazov stylu
% google: "prosper styles"
\usepackage{slovak}
\usepackage{color}
\usepackage{epsfig}
\usepackage{times}
\usepackage{pstricks,pst-node,pst-text,pst-3d}

\newenvironment{mslide}[2]{
\begin{slide}[#2]{\sf #1}

\sf 
}{

\end{slide}
}


\title{GEB: Chapters 3, 4}
\author{Michal Fori�ek}
\begin{document}
%\maketitle
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{Sonata for Unaccomp. Achilles}{Replace}

Rozhovor Achilla a korytna�ky bez korytna�ky
(alebo nie?) na t�mu FIGURE/GROUND.

\vspace{1cm}

J.S.Bach: Sonatas and Partitas for Unaccompanied Violin

\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{Mosaic II}{Replace}
\includegraphics[width=0.95\textwidth]{img/mosaic}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{�o u� m�me}{Replace}
\begin{itemize}
\item Form�lne syst�my MUI a p-q.
\item V r�mci syst�mu pou��vame typografick� oper�cie
(�o to presne znamen�?)
\end{itemize}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{Prvo��sla}{Replace}
Chceli by sme: form�lny syst�m s vetami
$$P\underbrace{--\cdots-}_{p}$$
kde $p$ je prvo��slo. D� sa ho v�bec zostroji�
pomocou trivi�lnych typografick�ch oper�ci�?
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{t-q syst�m}{Replace}
\begin{itemize}
\item Axi�my: $xt-qx$
\item Pravidlo: Ak $xtyqz$ je veta, 
aj $xty-qzx$ je veta.
\end{itemize}

Interpret�cia: $t$=times.
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{Zlo�en� ��sla}{Replace}
Pravidlo: Ak $x-ty-qz$, tak $Cz$ je veta.

\vspace{1cm}

(Teda $z$ je zlo�en�.)

\vspace{1cm}

Probl�m: Nevieme charakterizova� prvo��sla
syst�mom "ak $Cz$ nie je veta, $Pz$ je veta"
-- ako typograficky overi� "$Cz$ nie je veta"?

\vspace{1cm}

{\sl Vyp��te v�etky aut�, ktor� nem�me v evidencii?}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{Figure/Ground}{Replace}
\includegraphics[height=0.5\textheight]{img/vase}
\includegraphics[height=0.5\textheight]{img/saxofon}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{Figure?}{Replace}
\includegraphics[height=0.9\textheight]{img/lift}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{Odbo�ka: Figure!}{Replace}
\includegraphics[height=0.9\textheight]{img/dog}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{Figure/Figure}{Replace}
\includegraphics[height=0.9\textheight]{img/figure}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{Figure/Figure}{Replace}
\includegraphics[height=0.9\textheight]{img/figure2}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{Kurz�vne a rekurz�vne obr�zky}{Replace}
\begin{itemize}
\item Kurz�vne: ground je len doplnok
\item Rekurz�vne (2$\times$ kurz�vne): aj na ground 
  sa m��eme d�va� ako na figure
\end{itemize}

V CS: �iast. rekurz�vnos� vs. rekurz�vnos�
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\overlays{4}{
\begin{mslide}{Prvo��sla ako figure}{Replace}
\begin{itemize}
\item Axi�my: $xyDNDx$
\item Pravidlo: ak $xDNDy$ je veta, tak
aj $xDNDxy$ je veta.
\end{itemize}
\vspace{-0.5cm}
\fromSlide{2}{
\begin{itemize}
\item Pravidlo: Ak $--DNDz$ je veta, tak $zDF--$ je veta.
\item Pravidlo: Ak $zDFx$ je veta a $x-DNDz$, tak 
$zDFx-$ je veta.
\end{itemize}
}
\vspace{-0.5cm}
\fromSlide{3}{
\begin{itemize}
\item Pravidlo: Ak $z-DFz$ je veta, tak aj $Pz-$.
\end{itemize}
}
\fromSlide{4}{Cvi�enie: �o ch�ba?}
\end{mslide}
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{Z 3. kapitoly}{Replace}

Z�ver: Existuj� rekurz�vne vy��slite�n� mno�iny,
ktor� nie s� rekurz�vne -- nie je jedno, �i definujeme
mno�inu v pozit�vnom alebo negat�vnom zmysle.

\vspace{1cm}

Cvi�enie:

Postupnos�: 1 3 7 12 18 26 35 45 56 69
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{Contracrostipunctus}{Replace}
Op� dial�g Achilla s korytna�kou.

\begin{itemize}
\item gramof�ny
\item noty B,A,C,H v Bachovom poslednom diele
\item acrostics 
\end{itemize}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{Explicitn� a implicitn�}{Replace}
Dial�g ilustruje my�lienku za G\"odelovou vetou:

\vspace{1cm}

��m silnej�� gramof�n, t�m viac r�znych zvukov vie
vyda�, t�m je ale v��ia �anca, �e mu u�kodia.

\vspace{1cm}

(�plnos� $\Rightarrow$ spornos�!)
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{Nekonzistentnos�}{Replace}
Pridajme do p-q syst�mu axi�my: $xp-qx$.

\vspace{1cm}

\begin{itemize}
\item nekonzistentn� so svetom
\item vn�torne nekonzistentn�
\item ... alebo nie?
\end{itemize}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{Euklidovsk� geometria}{Replace}
Piaty postul�t a jeho dlh� story. Eliptick� a
hyperbolick� (Loba�evsk�ho) geometria. Pre 
zauj�mavos� modely (gu�a s dvojicami bodov a rovn�kmi,
vn�tro kruhu s bodmi a tetivami).
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{Idem spa�}{Replace}

{~}

\vspace{2cm}

{}~~~~~~~~~\dots lebo je ve�a hod�n. Dobr� noc.
\end{mslide}
\end{document}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{t-q syst�m}{Replace}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{t-q syst�m}{Replace}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{t-q syst�m}{Replace}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{t-q syst�m}{Replace}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{t-q syst�m}{Replace}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{t-q syst�m}{Replace}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{t-q syst�m}{Replace}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{t-q syst�m}{Replace}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{t-q syst�m}{Replace}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{t-q syst�m}{Replace}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{t-q syst�m}{Replace}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{t-q syst�m}{Replace}
\end{mslide}


\end{document}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{Prosper}{Split}

%�o je to? 

Trieda v latexu na tvorbu slideov.
\begin{itemize}
\item r�zne transition efekty
\item nieko�ko preddefinovan�ch �t�lov
\item mo�nos� vytvori� si vlastn� �t�l
\end{itemize}
Ofici�lna str�nka:


{\normalsize http://prosper.sourceforge.net/}

\vspace{3.3cm}

\begin{center}\footnotesize Split transition \end{center}
\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{mslide}{�trukt�ra dokumentu}{Blinds}

$\backslash$documentclass[options]\{prosper\}

$\backslash$begin\{document\}

$\backslash$begin\{slide\}[transition]\{title\}

   Prv� slide
   
$\backslash$end\{slide\}

$\backslash$end\{document\}

\vspace{4cm}
\begin{center}\footnotesize Blinds transition \end{center}

\end{mslide}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\overlays{2}{
\begin{mslide}{Itemize}{Box}
Viac druhov itemize 

\begin{itemize}
\item itemize - nezarovn�va text 
\item Itemize - zarovn�va text
\item itemstep - postupn� zobrazovanie polo�iek
\end{itemize}

%\begin{Itemize}
%\item Takto najako by mali vyzera� polo�ky 
%\item v prostred� Itemize, Itemize s ve�k�m I
%\end{Itemize}

%\begin{itemize}
%\item Takto najako by mali vyzera� polo�ky 
%\item v prostred� itemize, itemize s mal�m i
%\end{itemize}


\begin{itemstep}
\item itemstep zobrazuje polo�ky \dots 
\item \dots postupne
\end{itemstep}

\vspace{2cm}

\begin{center}\footnotesize Box transition \end{center}

\end{mslide}
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\overlays{3}{
\begin{mslide}{Overlays}{Wipe}
 Postupn� zobrazovanie a miznutie objektov na slide
 
\fromSlide{1}{$\backslash$overlays\{n\} - na ko�ko slideov to bude rozlo�en�}

\fromSlide{1}{\{$\backslash$begin\{slide\}}%

\onlySlide*{1}{$\backslash$fromSlide\{p\}\{\} objav� sa od p-teho slideu}%

\onlySlide*{2}{$\backslash$onlySlide\{p\}\{\} objav� sa len na p-tom slide}%

\onlySlide*{3}{$\backslash$untilSlide\{p\}\{\} - objav� sa od p-teho slideu}%

\fromSlide{1}{$\backslash$end\{slide\}\}}%

\vspace{3.5cm}

\begin{center}\footnotesize Wipe transition \end{center}

\end{mslide}
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\overlays{3}{
%\begin{mslide}{\LaTeX a viac}{Glitter}
%$$
%\onlySlide*{1}{{m+n \choose k}}
%\fromSlide*{2}{\rnode{NA}{\pscirclebox[linecolor=red,linestyle=none]{{m+n \choose k}}}}
%= \sum_{r} {m \choose r}{n\choose k}
%$$
%
%\begin{center}\footnotesize Glitter transition \end{center}
%
%\end{mslide}
%}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\overlays{3}{
\begin{mslide}{V�roba pdf}{Dissolve}
\begin{itemstep}
\item cslatex subor.tex
\item dvips -Ppdf -G0 subor.dvi -o subor.ps
\item dvi2pdf subor.ps
\end{itemstep}

\vspace{5cm}
\begin{center}\footnotesize Dissolve transition \end{center}

\end{mslide}
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\overlays{2}{
\begin{mslide}{Koniec}{Replace}
%\onlySlide{2}{Maj sa}

\vspace{2cm}
\begin{center}
\Large
�akujem za pozornos�!
\end{center}

%\vspace{\stretch{4}}
%\begin{center}\footnotesize Replace transition \end{center}

\end{mslide}
%}

\end{document}
