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

Logika (13)

  
 
 
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293
Aprašymas

Loginė minties struktūra. Formalizavimas. Logika. Pastovūs ir kintamieji loginiai dydžiai. Kas yra logika kaip mokslas? Logika ir filosofija. Logikos reikšmė. Teiginių logika. Teiginiai ir gramatiniai sakiniai. Loginis neigimas. Konjunkcija. Prieštaravimo dėsnis. Disjunkcija. Negalimo trečiojo dėsnis. Implikacija. Loginis ekvivališkumas (lygiavertiškumas). Simbolinio žymėjimo sistemos. Sudėtinių teiginių neigimas. Teiginių formalizavimas. Sudėtinio teiginio teisingumo reikšmės nustatymas, žinant paprastų teiginių teisingumo reikšmes. Loginių jungčių pakeitimas. Dvejybiškumas. Teiginių logikos dėsniai. Teiginių logikos taikymas samprotavimuose. Šnekamosios kalbos formalizavimas. Išsprendžiamumo problema. Išsprendžiamumo problemos sprendimas matricų metodu. Išsprendžiamumo problemos sprendimas, suteikiant loginėms išraiškoms normaliąją formą. Išraiškos konjunktyvi normalioji forma. Disjunktyvi normalioji logika. Teiginių logikos taikymas technikoje. Predikatų logika. Savybių teorija. Kvantoriai ir kintamieji savybių teorijoje. Savybių teorijos dėsniai. Išraiškų pertvarkymas savybių teorijoje. Formalioji implikacija. Santykių teorija. Santykių samprata. Veiksmai su santykiais. Santykio sudėtis. Santykių daugyba. Santykių kompozicija. Specialios loginės santykių savybės. Tapatybės santykis. Santykių teorijos dėsniai. Santykių išreiškimas savybių teorijos terminais. Išsprendžiamumo problema predikatų logikoje. Predikatų logikos taikymas filosofijoje. Loginių klasių teorija. Loginė klasė ir jos struktūra. Izomorfizmas ir homomorfizmas.

Rašto darbo duomenys
Tinklalapyje paskelbta2006-10-03
DalykasLogikos konspektas
KategorijaLogika
TipasKonspektai
Apimtis92 puslapiai 
Literatūros šaltiniai0
Dydis272.38 KB
Autoriusmante
Viso autoriaus darbų24 darbai
Metai2006 m
Klasė/kursas1
Švietimo institucijaVilniaus Gedimino Technikos Universitetas
Failo pavadinimasMicrosoft Word Logika-Birzys1 [speros.lt].doc
 

Panašūs darbai

Komentarai

Komentuoti

 

 
[El. paštas nebus skelbiamas]

 
 
  • Konspektai
  • 92 puslapiai 
  • Vilniaus Gedimino Technikos Universitetas / 1 Klasė/kursas
  • 2006 m
Ar šis darbas buvo naudingas?
Taip
Ne
0
0
Pasidalink su draugais
Pranešk apie klaidą