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

Logika (3)

  
 
 
123
Aprašymas

Sutrumpintos teisingumo lentelės. Pagrindinės išplaukimo taisyklės. Teiginių logikos taikymas natūraliai kalbai. Natūralios kalbos sakinių užrašymas matematinės logikos kalba. Logika. Samprotavimų analizė. Teiginių logikos metodai. Sakinių pervedimas į logikos kalbą. Įrodymų teorija. Formalusis įrodymas ir formalusis išvedimas. Išvedamumo santykio savybės. Dedukcijos teorema. Teorijos neprieštaringumas. Loginių operatorių įvedimo ir pašalinimo taisyklės. Teorijos "L" pilnumas. Predikatų skaičiavimas. Kintamųjų apibrėžimo sritis. Tapatusis teisingumas.

Rašto darbo duomenys
Tinklalapyje paskelbta2005-12-20
DalykasLogikos špera
KategorijaLogika
TipasŠperos
Apimtis19 puslapių 
Literatūros šaltiniai0
Dydis40.18 KB
AutoriusSjuke
Viso autoriaus darbų4 darbai
Metai2005 m
Klasė/kursas12
Švietimo institucijaLazdijų r. savivaldybės Veisiejų vidurinė mokykla
Failo pavadinimasMicrosoft Word Logikos teorija [speros.lt].doc
 

Panašūs darbai

Komentarai

Komentuoti

 

 
[El. paštas nebus skelbiamas]

 
 
  • Šperos
  • 19 puslapių 
  • Lazdijų r. savivaldybės Veisiejų vidurinė mokykla / 12 Klasė/kursas
  • 2005 m
Ar šis darbas buvo naudingas?
Taip
Ne
0
-1
Pasidalink su draugais
Pranešk apie klaidą