Výučba s použitím CL

Prebiehajúca výučba

• 1-AIN-470 Špecifikácia a verifikácia programov LS 2022/23

Všetky naše kurzy na FMFI

• 1-AIN-470 Špecifikácia a verifikácia programov
• 2-AIN-266 Deklaratívne programovanie
• 2-AIN-285 Symbolické programovanie a LISP

Bakalárske a magisterské práce

• Ponúkané témy bakalárskych a magisterských prác
• Dokončené práce

Predošlé bakalárske a magisterské štúdium

• 1-AIN-425 Deklaratívne programovanie webovských aplikácií
• 1-AIN-506 Úvod do deklaratívneho programovania
• 1-AIN-616 Symbolické programovanie a LISP
• 1-AIN-625 Úvod do matematickej logiky pre programátorov
• 1-INF-450 Logika pre informatikov
• 1-INF-465 Deklaratívne programovanie
• 2-INF-121 Teória vypočítateľnosti
• 2-INF-264 Teória deklaratívneho programovania

Predošlé bakalárske a magisterské štúdium (do AR 2008/09)

• M-INAA-026 Logika pre informatikov 1
• M-INAA-045 Logika pre informatikov 2
• M-INAA-046 Špecifikácia a verifikácia programov
• M-INBP-004 Teória vypočítateľnosti pre programátorov

Inde

• V zimnom semestri roku 2002 študenti Kodaňskej univerzity používali CL v rámci kurzu Metamathematics of Computer Programming prednášaného doc. Pavlom J. Vodom.