Matematinės logikos kursas supažindina su pagrindinėmis logikos operacijomis ir dėsniais, teiginio ir predikato sąvokomis. Formuoja samprotavimų formalizavimo įgūdžius. Moko taikyti natūraliosios dedukcijos teorijos taisykles. Pateikia natūraliosios dedukcijos taikymo samprotavimų analizėje pavyzdžių.
Kursas skirtas informatikos ir matematikos specialybių bakalauro studijų programos dalyviams.
- Dėstytojas: Dalia Baziukė