Úvod do deklaratívneho programovania
Z Matfyz.sk
- Kód predmetu: 1-AIN-505
- Prerekvizity: žiadne
- Forma: P1, C2
- Počet kreditov: 4
- Hodnotenie (semester/skúška): 60/40
- Prednáša: Paul J. Voda
- Cvičenia: Ján Kľuka a Paul J. Voda
Obsah |
[úprava] Cieľ predmetu
Oboznámiť sa so základnými technikami a dátovými štruktúrami deklaratívneho programovania. Získať iný pohľad na programovanie ako v bežnom imperatívnom programovaní.
[úprava] Obsah predmetu
Jazyk CL a jeho vývojové prostredie, Explicitné definície, Primitívna rekurzia, Chvostová rekurzia, Rekurzia na notácii čísel (binárnej, diadickej), Párovanie, zoznamy a zoznamová rekurzia, Kódovanie množín zoznamami a množinové operácie, Triedenie zoznamov, Binárne stromy, Všeobecné rekurzívne dátové štruktúry a ich korešpondencia s XML, Transformácia XML štruktúr.
[úprava] Priebeh predmetu
Výučba pozostáva z jednej prednášky a jedného cvičenia týždenne. Ak chcete na prednáške počúvať, oplatí sa sadnúť si do spodných radov v prednáškovej miestnosti. Ak počúvať nechcete, tak na prednášku ani nechoďte. Prednášajúci vyrušovanie vyslovene neznáša. Počas semestra sa píšu dva testy pri počítači. Každý je za 30 bodov. Ak ste test pokazili, alebo ste naň neprišli, dá sa nahradiť. Avšak nahradiť sa dá iba jeden z dvoch testov. Na konci semestra je skúška pri počítači za 40 bodov. Na skúške a testoch sú príklady veľmi podobné tým z cvičení, niekedy aj presne tie isté. Na cvičeniach sa nestíhajú urobiť všetky príklady, preto odporúčam si ich doma dorobiť.
[úprava] Bodovanie
Za čo sa dajú zíkať body:
- 2x test cez semester: 2x 30b - skúškový test: 40b
[úprava] Pohľad absolventa predmetu
Mnohí študenti po príchode na pôdu fakulty poznajú Pascal, C či iný imperatívny programovací jazyk. Pokročilejší možno základy objektovo orientovaného programovania (Delphi, Java, C++ atď). Implementácia rôznych algoritmických problémov je v týchto jazykoch pomerne odlišná. Nekladie sa pritom taký dôraz na problém samotný.
Deklaratívne programovanie sprístupňuje študenovi odlišný pohľad na programovanie, ktoré je blízke aj iným deklaratívnym, funkcionálnym či logickým jazykom.
Hlávnym kladom takéhoto prístupu k programovaniu je väčší priestor na pochopenie riešených problémov, základných algoritmických techník a dátových štruktúr, kedže v deklaratínvom jazyku píšete priamo čo má program robiť a nie detaily ako to má vykonať. Tento predmet mi pomohol lepšie pochopiť samotnú podstatu dátových štruktúr a operácií nad nimi.
Predmet je primerane náročný, t.zn. je dobré navštevovať prednášky a hlavne chodiť na cvičenia (Doporučujem uchovávať si zdrojové kódy vypracované na cvičeniach).
--Salvatore 19:38, 12. november 2008 (CET)
