Staff View: Řešení a generování deterministických a nedeterministických logických úloh

Řešení a generování deterministických a nedeterministických logických úloh

Saved in:

Bibliographic Details
Main Author:	Vyhlídal, Pavel (Dissertant)
Other Authors:	Šenkeřík, Roman (Thesis advisor)
Format:	Manuscript
Language:	Czech
Published:	2013
Subjects:	logické úlohy zebra puzzle rekurze brain teaser recursion diplomová práce
Physical Description:	53 s.


LEADER	01222ntm a22003137u 4500
001	zp31309
041			\|a cze
100	1		\|a Vyhlídal, Pavel \|4 dis
245	1	0	\|a Řešení a generování deterministických a nedeterministických logických úloh
246			\|a The Solution and Generation of Deterministic and Nondeterministic Logical Tasks
260			\|c 2013
300			\|a 53 s.
500			\|a Studijní obor: Informační technologie
500			\|a Studijní obor: Information Technologies
500			\|a Ústav: Ústav informatiky a umělé inteligence
500			\|a Univerzita Tomáše Bati ve Zlíně. Fakulta aplikované informatiky
500			\|a Tomas Bata University in Zlín. Faculty of Applied Informatics
506			\|a Bez omezení
653			\|a logické úlohy
653			\|a zebra puzzle
653			\|a rekurze
653			\|a brain teaser
653			\|a zebra puzzle
653			\|a recursion
655		4	\|a diplomová práce
700	1		\|a Šenkeřík, Roman \|4 ths
710	2		\|a Univerzita Tomáše Bati ve Zlíně. Fakulta aplikované informatiky \|4 dgg
710	2		\|a Tomas Bata University in Zlín. Faculty of Applied Informatics \|4 dgg
856	4	0	\|u http://hdl.handle.net/10563/24346 \|y Plný text v Digitální knihovně UTB