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.
- Teacher: Alexandru Ciobanu
- Teacher: Lavinia Eugenia Ferariu
- Teacher: Tudose Laura
- Teacher: Floria Sabina
- Teacher: Sauciuc Teodor-Andrei
- Teacher: Bute Viorel Gabriel
