1-INF-465 Deklaratívne programovanie

Novinky

O kurze

Tu nájdete informačný list predmetu.

Cieľ predmetu

Úvod do deklaratívneho programovania. Programy sú definície rekurzívnych funkcií. Výpočtový model je založený na redukcií termov. Dátové štruktúry sa kódujú do prirodzených čísel. Jazyk formálnej aritmetiky sa používa na špecifikáciu problémov. Problémy sa riešia na cvičeniach v programovacom jazyku CL.

Stručná osnova predmetu

Prirodzené čísla. Explicitné definície. Primitivná rekurzia. Rekurzia s mierou. Definície predikátov. Chvostová rekurzia a iterácia. Rekurzia na notácií a binárna aritmetika. Dyadická aritmetika a slovné úlohy. Párovacia funkcia a kódovanie do prirodzených čísel (aritmetizácia).

Dátové štruktúry. Zoznamy. Operácie na zoznamoch. Kombinatorické funkcie na zoznamoch. Triedenie zoznamov. Aplikácie zoznamov. Polia. Binárne stromy. Binárne vyhľadávacie stromy. Braunove stromy a funkcionálne polia. Haldy a prioritné fronty. Obecné stromy. Symbolické výrazy. Výroková logika a rozpoznávanie tautológií. XHTML.

Literatúra

• J. Komara and P. J. Voda. Metamathematics of Computer Programming. 2001. (PostScript)(Adobe Acrobat Document)

Podmieňujúce predmety

Nadväzujúce predmety

• 1-INF-450 Logika pre informatikov
• 1-AIN-470 Špecifikácia a verifikácia programov
• 2-AIN-130 Teória vypočítateľnosti pre programátorov

Výučba

• Letný semester ak.r. 2005/06
• Letný semester ak.r. 2006/07
• Letný semester ak.r. 2007/08
• Letný semester ak.r. 2008/09
• Letný semester ak.r. 2010/11
• Letný semester ak.r. 2011/12
• Letný semester ak.r. 2012/13
• Letný semester ak.r. 2013/14
• Letný semester ak.r. 2014/15