ISBN: Ostalo
Godina izdanja: 1998.
Autor: Domaći
Jezik: Srpski

Beograd 1998. Mek povez, 251 strana.
Knjiga je odlično očuvana.
R15



Sadržaj:
Predgovor
Iskazni veznici i deduktivno zaključivanje
- Uvod
- Zaključivanje
- Pravila dedukcije
- Istinitost i lažnost
- Dokazivanje
- Implikacija
- Ostali veznici
Formalni jezik
- Uvod
- Formalni jezik
- Interpretacija
- Konstante i promenljive
- Induktivne definicije i dokazi
- Objektjezik i metajezik
- Eksplicitne definicije
Neki matematički pojmovi
- Skupovi
- Relacije
- Funkcije
- Prirodni brojevi
- Poredak i dobro uređenje
- Ordinali
- Kardinali
- Aksioma izbora
Algebra iskaza
- Jezik algebre iskaza
- Drveta
- Zadovoljavanje
- Istinitosne tablice
- Istinitosna drveta
- Istinitosne funkcije
- Savršene normalne forme
- Baze
- Interpolacija
- Definabilnost
- Kompaktnost
- Zadaci
Iskazni račun
- Uvod
- Aksiomatski sistem
- Sistem IR1
- Teorema dedukcije
- Sistem IR2
- Zamena ekvivalenata
- Dualnost
- Teoreme i tautologije
- Teoreme i istinitosna drveta
- Neprotivrečnost
- Maksimalno neprotivrečne teorije
- Sintaktička potpunost
- Nezavisnost
- Odlučivost
- Zadaci
Račun iskaza i Bulove algebre
- Mreže
- Bulove algebre
- Iskazni račun i Bulove algebre
- Zadaci
Relacije kvantifikatori i dedukcija
- Relacioni iskazi
- Kvantifikatori
- Relacijsko-operacijska struktura
- Jezik prvoga reda
- Termi
- Elementarne formule
- Formule
- Slobodne i vezane promenljive
- Relacija zadovoljavanja
- Valajanost i zadovoljivost
- Istinitosne tablice
- Istinitosna drveta
- Zadaci
Račun predikata (I)
- Sistem RP
- Zamena ekvivalenata
- Pravila zamene promenljivih
- Dualnost
- Preneksna normalna forma
- Teoreme i istinitosna drveta
-:Potpunost
- Robinsonov dokaz teoreme potpunosti
- Dokaz Rasiove i Sikorskog
- Zadaci
Račun predikata (II)
- Eliminisanje i definisanje konstanti
- Interpretacije
- Čisti račun predikata
- Skulemova normalna forma
- Gedelov dokaz potpunosti
- Skulemizacija
- Erbranova teorema
- Račun predikata RPQ
- Relativizacija
- Višesortni predikatski račun
- Silogistika
- Zadaci
- Bibliografija