Cerc studențesc de programare în limbajul C

Disciplină clasică a domeniului Calculatoare și Tehnologia Informației, care dezvoltă aptitudinea de a formula specificații executabile într-un limbaj logic (standard Prolog, Sictus Prolog). Disciplina permite asimilarea de cunoștințe și acumularea de competente utile altor discipline (din familia Inteligentei Artificiale), și utile în cercetarea fundamental/aplicativă. Formează abilitatea de a analiza specificațiile și soluția într-un context unitar, urmărind corectitudinea parțială, totală și eficientă.

Disciplina este fundamentala în domeniul Calculatoare și Tehnologia Informației, conținutul ei fiind de notorietate, familiarizând studenții cu principiile de proiectare și analiză a algoritmilor.