%\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}