Aibių teorija ir logika

Aibių teorijos ir logikos pradžiamokslis. Įvadas. Teiginių logika. Teiginio apibrėžimas ir pavyzdžiai. Elementarieji ir sudėtiniai teiginiai ir jų pavyzdžiai. Loginės operacijos su teiginiais. Teisingumo reikšmių funkcija ir lentelės. Loginės formos ir jų ekvivalentumas. Predikatas. Aibė apibrėžiama predikatu. Predikatinės formos. Predikatinių formų ekvivalentumas. Aibių algebra. Aibė, poaibis, aibių lygybė. Veiksmai su aibėmis. Oilerio - Veno diagramos. Aibių skirtumas. Papildinys. De Morgano dėsniai aibių algebroje. Kvantoriai. Aibių Dekarto daugyba.