\documentclass{ib102}
\usepackage[shorthands=off,czech]{babel}

% vim: fo+=t tw=80 spell spelllang=cs
% gen: ready

\assignment{11}
\exercise{2}
\points{2}
\duedate{12. 12. 2016}

%%% ZDE NAPISTE SVOJE UCO, JMENO A SKUPINU
\name{}
\group{}
\uco{}


\begin{document}
\begin{zadani}
	Nechť $\Sigma$ je libovolná abeceda a $A, B, C, D \subseteq \Sigma^*$ jsou libovolné jazyky nad touto abecedou. O každém z následujících tvrzení rozhodněte, zda je pravdivé, a vaše tvrzení dokažte:
	\begin{enumerate}
		\item[a)] $A \le_{m} \{a\} \iff A \text{ je rekurzivní}$
		\item[b)] $A \le_{m} B \text{ a } C \le_{m} D  \implies A \cap C \le_{m} B \cap D$
	\end{enumerate}
\end{zadani}

\begin{reseni}
%%% SEM PISTE SVE RESENI
\end{reseni}

\end{document}
