λ Programske paradigme
Početna
Knjiga
4. Predikatska logika
4. Predikatska logika
Potkategorije
U ovom poglavlju
1 Uvod
1 Uvod
2 Svojstva i funkcije
3 Kvantifikacija
2 Sintaksa i semantika logike prvog reda
1 Elementi sintakse i semantike
2 Zapis
3 Slobodne i vezane promenljive
4 Interpretacija formule i domeni
5 Istinitosna vrednost rečenica i valuacija
6 Valjanost, zadovoljivost i ekvivalentnost
3 Normalne forme
1 Negaciona normalna forma - NNF
2 Prenex normalna forma
3 Pravila transformacija
Primer 1
Primer 2
Primer 3
Sadržaj
1. Uvod
2. Iskazna logika
1. Baratanje iskazima
2. Normalne forme i minimizacija
3. Problem zadovoljivosti
4. Uslovni iskazi i pravila zaključivanja
5. Iskazna logika i skupovi
3. Veštačka inteligencija
4. Predikatska logika
1 Uvod
2 Sintaksa i semantika logike prvog reda
3 Normalne forme
5. Logičko programiranje
Pretraži
Pretraži