|
Sąvokų simboliniai pažymėjimai. Teiginių logikos pažymėjimai. Loginių klasių teorijos simboliniai pažymėjimai. Teisingumo lentelės. Ekvivalentiškumo tautologijos. Disjunktyvioji ir konjunktyvioji normalioji forma. Veiksmai su loginėmis klasėmis. Elementarūs klausimai. Loginių santykių nustatymas. Teiginių logikos dėsniai. Kalbos tekstų formalizavimas savybių logikos priemonėmis. Simbolinių išraiškų skaitymas ir užrašymas savybių logikoje. Veiksmai su santykiais – šeimyninių santykių apibrėžimai. Klasių logika.
|
 1 puslapis |
| Darbo lygis | Universitetinis |
|---|---|
| Kursas | 2 kursas |
| Darbo tipas | Šperos |
| Failas | egzui spera logikos.doc (33.88 KB) |
Argumentuotas tekstas logikos paskaitoms.
Argumentuotas tekstas. Privalomoji karo tarnyba.
Logikos argumentuotas tekstas. Geros darbo sąlygos UAB "Emilekstoje" – būtinos.
Logikos argumentuotas tekstas: Aštuonių darbo valandų grafikas geriau nei slenkantis. Išvados.
Aibių teorijos ir logikos pradžiamokslis. Įvadas. Teiginių logika. Teiginio apibrėžimas ir pavyzdžiai. Elementariej...
