Referatai Kursiniai Diplominiai


Teiginių logika

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ė.

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

Susiję darbai

DARBO PARSIUNTIMO INSTRUKCIJA

1. Parašykite žinutės laukelyje REF 1453
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 – 2,00 Lt. TELE2, OMNITEL, BITĖS tinklų vartotojams
Raktažodžiai
Logika, logikos konspektai