Aibės nusakymo būdai. Poaibis. Aibių lygybė. Operacijos su aibėmis. Aibės išskaidymas. Aibės galia. Funkcija: surjekcija, injekcija, bijekcija, kompozicija. Teiginio sąvoka. Sudėtinis teiginys. Loginė operacija. Teiginių loginės operacijos. Teiginių klasifikacija. Sunorminti teiginiai. Ekvivalentūs teiginiai. Teiginių algebros funkcijos. Teiginių algebros funkcijų normaliosios formos. Teiginių algebros funkcijų minimizavimas. Ekvivalentūs pertvarkiai. Veičo diagramos. Predikato sąvoka. Kvantoriai. Laisvieji ir surištieji kintamieji. Ekvivalentūs predikatai.
167.25 KB
