Išplėstinė paieška
 
 
 
Pradžia>Logika>Logika (10)
   
   
   
-1
naudingas 0 / nenaudingas -1

Logika (10)

  
 
 
123456789101112131415161718192021222324252627
Aprašymas

Elementarių logikos užduočių pratybos. Teiginių logika. Sudėtingų loginių išraiškų teisingumo reikšmių nustatymas ir lentelių sudarymas. Loginių santykių nustatymas. Kalbos tekstų formalizavimas teiginių logikos priemonėmis. Simbolinių išraiškų skaitymas ir užrašymas. Teiginių logikos dėsniai. Samprotavimų pagrįstumo nustatymas. Išraiškų užrašymas disjunkyviąja ir konjunktyviąja normaliąja forma. Savybių logika. Kalbos tekstų formalizavimas savybių logikos priemonėmis. Simbolinių išraiškų skaitymas ir užrašymas savybių logikoje. Dualumo principo taikymas savybių logikos išraiškoms. Savybių logikos išraiškų pertvarkymas. Būtinų ir pakankamų sąlygų užrašymas. Santykių logika. Kalbos tekstų formalizavimas santykių logikos priemonėmis. Veiksmai su santykiais – šeimyninių santykių apibrėžimai. Apibrėžimas santykių, kaip Dekarto sandaugos poaibių. Santykių savybės. Klasių logika. Kategorinių teiginių formalizavimas. Klasių skirstymas ir apibrėžimai. Informacijos, esančios hierarchinėje klasifikacijoje, simbolinis užrašymas.

Rašto darbo duomenys
Tinklalapyje paskelbta2006-04-18
DalykasLogikos konspektas
KategorijaLogika
TipasKonspektai
Apimtis25 puslapiai 
Literatūros šaltiniai0
Dydis48.54 KB
AutoriusGitana
Viso autoriaus darbų2 darbai
Metai2006 m
Klasė/kursas1
Švietimo institucijaVytauto Didžiojo Universitetas
Failo pavadinimasMicrosoft Word logikos pratybos [speros.lt].doc
 

Panašūs darbai

Komentarai

Komentuoti

 

 
[El. paštas nebus skelbiamas]

 
 
  • Konspektai
  • 25 puslapiai 
  • Vytauto Didžiojo Universitetas / 1 Klasė/kursas
  • 2006 m
Ar šis darbas buvo naudingas?
Taip
Ne
0
-1
Pasidalink su draugais
Pranešk apie klaidą