Počet záznamů: 1
Nové příklady pro výuku PROLOGu
Údaje o názvu Nové příklady pro výuku PROLOGu [rukopis] / Tomáš Glír Další variantní názvy Nové příklady pro výuku PROLOGu Osobní jméno Glír, Tomáš (autor diplomové práce nebo disertace) Překl.náz New examples for PROLOG teaching Vyd.údaje 2014 Fyz.popis 60 s.(99 000 znaků) + CR ROM Poznámka Ved. práce Miroslav Kolařík Oponent Tomáš Kühr Dal.odpovědnost Kolařík, Miroslav (vedoucí diplomové práce nebo disertace) Kühr, Tomáš (oponent) Dal.odpovědnost Univerzita Palackého. Katedra informatiky (udelovatel akademické hodnosti) Klíč.slova PROLOG * logické programování * příklady * PROLOG * logic programming * examples Forma, žánr diplomové práce master's theses MDT (043)378.2 Země vyd. Česko Jazyk dok. čeština Druh dok. PUBLIKAČNÍ ČINNOST Titul Mgr. Studijní program Navazující Studijní program Informatika Studijní obor Informatika kniha
Kvalifikační práce Staženo Velikost datum zpřístupnění 00171336-271075965.pdf 43 1 MB 23.04.2014 Posudek Typ posudku 00171336-ved-269643265.pdf Posudek vedoucího 00171336-opon-611984514.pdf Posudek oponenta
Práce představuje programovací jazyk PROLOG (převážně pro implementaci SWI-Prolog) a její součástí je sbírka řešených příkladů pro jeho výuku. Text práce popisuje nejprve historický vývoj logického programování. Poté se věnuje teoretickým základům a popisu struktury PROLOGu. Na závěr je popsána implementace SWI-Prologu a několik reálných aplikací v různých implementacích z různých období. Praktická část se věnuje typickému užití jazyka, jeho vlastnostem a teoretickým omezením. Sbírka obsahuje klasické obměněné úlohy, netypické a nově vymyšlené příklady různé složitosti.This thesis presents PROLOG programming language (mainly for the implementation of SWI-Prolog) and includes a collection of exercises for his teaching. Text of thesis describes at first the historical development of logic programming. Then it deals with the theoretical foundations and describes the structure of PROLOG. Finally, it describes the implementation of SWI-Prolog and several real-world applications in different implementations from different periods. The practical part deals with the typical use of language, its characteristics and theoretical limitations. The collection includes classic modified examples, atypical and newly invented examples of varying complexity.
Počet záznamů: 1