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

CL využívame pri výučbe štyroch predmetov:

• Úvod do deklaratívneho programovania (druhý semester bakalárskeho štúdia), ktorého predchodcom bola Logika pre informatikov 1.

• Logika pre informatikov 2 (tretí semester) -- predikátová logika a Peanova artimetika.

• Špecifikácia a verifikácia programov (štvrtý semester)

• Teória vypočítateľnosti pre programátorov (tretí/štvrtý ročník)

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