Referatai Kursiniai Diplominiai


Teiginių logika


Teiginių logika  puslapis 1
1
Teiginių logika  puslapis 2
2

Istorija. TEIGINIŲ LOGIKA. TEIGINIAI IR LOGINĖS OPERACIJOS. Neigimas. Implikacija. Disjungcija. Konjunkcija. Ekvivalencija. Formalizavimo procedūra. Skliaustų rašymo taisyklės. Kalba ir metakalba. Formulių teisingumo lentelių sudarymas. Formulių ekvivalentiškumas. Teisingumo funkcijos. Formulių klasifikacija. Svarbiausios tapačiai teisingų formulių savybės. Loginio operatoriaus ivedimo ir pasalinimo schemos. Loginiu operaciju isreiskimas kitomis. Perstatomumo (komutatyvumo) desnis. Jungiamumo (asociatyvumo) desnis. Idempotentumo desnis. Absorbcijos desnis. Loginiu operaciju neigimo desnis. Tradicines logikos tapatybes. Suklijavimo desniai. Kiti dazniau naudojami logikos desniai. TEISINGUMO FUKCIJU TOBULOSIOS IR NORMALIOSIOS FORMULES. PILNOSIOS TEISINGUMO F-JU SISTEMOS. IMPLIKACIJOS IR EKVIVALENCIJOS SAVYBES. Tapačiai teisingų formulių nustatymo metodai. Modelių teorija – dualumas. T. Dualumo dėsnis. Dualių formulių savybės. Sutrumpintos teisingumo lentelės. Pagrindinės išplaukimo taisyklės. Teiginių logikos taikymas natūraliai kalbai. Natūralios kalbos sakinių užrašymas matematinės logikos kalba. Samprotavimų analizė.

Pagrindiniai šperos duomenys
Dalykas Matematikos špera/ paruoštukė
Kategorija Matematika
Tipas Paruoštukės
Apimtis 2 puslapiai
Literatūros šaltiniai 0
Švietimo institucija Kauno Technologijos Universitetas
Kursas / Klasė 1
Autorius Nežinomas
Pristatymo metai 2003
Šperos bylos formatas tipas Microsoft Word
Šperos bylos dydis (zip) dydis46 KB
Šperos kalba Lietuvių

Susiję darbai

DARBO PARSIUNTIMO INSTRUKCIJA

1. Parašykite žinutės laukelyje:
R
E
F
1
4
5
3


2. Siųskite šią žinutę trumpuoju numeriu 1654
3. Gautą saugos kodą įrašykite mūsų formoje
http://www.e-referatai.lt/parsisiusti/
4. Norimas darbas yra jau jūsų
Kaina – 0,58 €. TELE2, OMNITEL, BITĖS tinklų vartotojams
Raktažodžiai
Logika, logikos konspektai