Úvod do matematickej logiky pre programátorov 1-AIN-625

choď na zoznam všetkých predmetov...

Názov a kód predmetu: Úvod do matematickej logiky pre programátorov (1-AIN-625)
Prerekvizity: 1-AIN-505 (doporučený)
Vyučuje sa/odporúčaný ročník: Zimný semester / 2
Forma a # hodín/týždeň: P - prednáška (2), C - cvičenie (2)
Kredity: 6
Hodnotenie (semester/skúška): 40/60
Webstránka predmetu: http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-625-lpp/?lang=sk
Informačný list: Informačný list 1-AIN-625 (fakultná služba)
Vyučujúci: Ing. Ján Komara

Popis predmetu:

Vybudovať matematické základy deklaratívnych programovacích jazykov. 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. Problémy sa riešia na cvičeniach v programovacom jazyku CL.

Je časťou študijného programu: Povinne-voliteľný v Bakálarskom programe Aplikovaná informatika

Odporúčania: žiadne