Obiectivele cursului
Principalul obiectiv este introducerea limbajului logicii
ca un limbaj de lucru, un instrument practic pentru
informaticieni.
Prima parte a cursului motivează necesitatea studierii logicii, ca o
bază pentru știința calculatoarelor.
Urmează apoi studiul logicii predicatelor, a modului cum se poate raționa în cadrul acestei logici în contextul teoriilor cu egalitate, diferitelor domenii inductive, etc.
Ultima parte constă în studiul logicii propozițiilor și a aplicațiilor acesteia, în special pentru studiul circuitelor digitale.