Disciplina vizează însuşirea cunoştinţelor de
bază din logica matematică şi înţelegerea modului în care logica matematică poate fi folosită în informatica aplicată, cu exemplificare în
Prolog.
- Profesor: Alexandru Ciobanu
- Profesor: Lavinia Eugenia Ferariu
- Profesor: Tudose Laura
- Profesor: Floria Sabina
- Profesor: Sauciuc Teodor-Andrei
- Profesor: Bute Viorel Gabriel
