Logikos teorija |
|
SUTRUMPINTOS TEISINGUMO LENTELĖS. TEIGINIŲ LOGIKOS TAIKYMAS NATŪRALIAI KALBAI. NATŪRALIOS KALBOS SAKINIŲ UŽRAŠYMAS MATEMATINĖS LOGIKOS KALBA. PAGRINDINĖS IŠPLAUKIMO TAISYKLĖS. LOGIKA. SAMPROTAVIMŲ ANALIZĖ. TEIGINIŲ LOGIKOS METODAI. Sakinių pervedimas į logikos kalbą. ĮRODYMŲ TEORIJA. Formalusis įrodymas ir formalusis išvedimas. Išvedamumo santykio savybės. ĮRODYMŲ TEORIJA. DEDUKCIJOS TEOREMA. TEORIJOS NEPRIEŠTARINGUMAS. LOGINIŲ OPERATORIŲ ĮVEDIMO IR PAŠALINIMO TAISYKLĖS. TEORIJOS ‘L’ PILNUMAS. Redikatu skaiciavimas. Kintamuju apibrezimo sritis. Tapatusis teisingumas. |
|
|
|
| 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ė | 2 |
| Autorius | Nežinomas |
| Pristatymo metai | 2004 |
| Darbo bylos formatas | |
| Darbo bylos dydis (zip) | |
| Darbo kalba | Lietuvių |
Susiję darbai
|
|
|
DARBO PARSIUNTIMO INSTRUKCIJA 1. Parašykite žinutės laukelyje: R E F 1 4 5 4 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 paruoštukė | |
----
(c) 2009. E-referatai.lt