Logika (12)

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.
2 atsiliepimai
Apimtis
10 puslapių
Kategorija
Logikos špera
Logika (12) 1 puslapis
1 puslapis
Svarbu! Žemiau pateiktos nuotraukos yra sumažintos kokybės. Norėdami matyti visos kokybės darbą spustelkite parsisiųsti.

Darbo ištrauka

Darbo lygis Universitetinis
Kursas 2 kursas
Darbo tipas Šperos
Failas egzui spera logikos.doc (33.88 KB)

Kiti mokslo darbai

Argumentuotas tekstas: Leidimas homoseksualioms poroms įsivaikinti = suluošintas gyvenimas ar nauja laiminga šeima?
2 atsiliepimų
Parsisiųsti
Logikos argumentuotas tekstas (2)
Logikos argumentuotas tekstas (2)
  • Analizės »
  • Logikos analizė

Argumentuotas tekstas. Privalomoji karo tarnyba.

2 atsiliepimų
Parsisiųsti
Logikos argumentuotas tekstas (3)
Logikos argumentuotas tekstas (3)
  • Analizės »
  • Logikos analizė

Logikos argumentuotas tekstas. Geros darbo sąlygos UAB "Emilekstoje" – būtinos.

2 atsiliepimų
Parsisiųsti
Logikos argumentuotas tekstas: Aštuonių darbo valandų grafikas geriau nei slenkantis
Logikos argumentuotas tekstas: Aštuonių darbo valandų grafikas geriau nei slenkantis
  • Analizės »
  • Logikos analizė

Logikos argumentuotas tekstas: Aštuonių darbo valandų grafikas geriau nei slenkantis. Išvados.

2 atsiliepimų
Parsisiųsti
Aibių teorija ir logika
Aibių teorija ir logika
  • Konspektai »
  • Logikos konspektas

Aibių teorijos ir logikos pradžiamokslis. Įvadas. Teiginių logika. Teiginio apibrėžimas ir pavyzdžiai. Elementariej...

2 atsiliepimų
Parsisiųsti