Cvičení z Neprocedurálního programování

Čtvrtek 9:00

V letním semestru 2020/2021 vedu cvičení z předmětu Neprocedurální programování [NPRG005] každý čtvrtek od 9:00 (v SU2 dá-li situace, jinak online).

Počítejte s možností, že se cvičení při lepší situaci může přepnout do prezenční formy!

Na dálková cvičení budeme používat Zoom, odkaz dostanete emailem na adresu, kterou máte nastavenou v SISu týden před začátkem semestru. Pokud odkaz nemáte, napište mi email!

Máte-li nějaký dotaz, či chcete-li si domluvit konzultaci, napište mi prosím email na adresu jiribenes+neproc@kam.mff.cuni.cz.

Podmínky zápočtu

Na získání zápočtu je potřeba:

  • zápočtový program
  • alespoň 100 bodů z úkolů, alespoň 50 bodů z každého jazyku (Prolog, Haskell)

Pozor, že na zkoušku je potřeba zápočet, doporučuji mít všechno vyřešené včas!

Zápočtový program

Součástí požadavků na zápočet je i vytvoření zápočtového programu.

Není potřeba, aby byl program přehnaně obsáhlý – stačí ukázat, že chápete logické/funkcionální programování a dokážete jej vhodně aplikovat. Stačí řádově sto řádků hezkého a efektivního kódu.

Prolog je obzvláště vhodný na umělou inteligenci a řešení hlavolamů. Haskell je vhodný hlavně na parsery, formátovače, překladače, interpretery, programy zpracovající data a tak podobně. Dá se v něm ale naprogramovat skoro vše kromě low-level programů.

Má oblíbená témata souvisí s programovacími jazyky — parsery, malé homemade programovací jazyky, type checkery, statické analyzátory (prográmky, které řeknou něco chytrého o kódu), interpretery, maličkaté virtuální stroje a tak podobně.

Deadliny
  • Téma zápočťáku musí být odesláno emailem do neděle 23. 5. 23:59:59.
  • Hotový zápočťák musí být odevzdán emailem do neděle 13. 6. 23:59:59.

Domácí úkoly

Na konci zhruba každého druhého cvičení bude zadán domácí úkol. Bude možné získat aspoň 160 bodů za domácí úkoly celkem a aspoň 80 bodů z každého jazyku celkem. Každý úkol lze řešit dva týdny od cvičení, na kterém byl úkol zadán.

Řešení domácích úkolů mi posílejte emailem na adresu jiribenes+neproc@kam.mff.cuni.cz.

K prvnímu úkolu mi napište i přezdívku (zapsatelnou Unicodem), abych mohl na stránce zveřejnit počet získaných bodů.

Bonusové body

Za aktivitu a bonusové úkoly půjdou získat bonusové body, které se přičítají k bodům z úkolů.

Co se dělalo na cvičení

  • 1. cvičení (4. 3.)Plán: Prolog jako databáze faktů

Užitečné odkazy