λ Programske paradigme
Početna
Knjiga
4. Predikatska logika
3 Normalne forme
3 Normalne forme
Članci
1 Negaciona normalna forma - NNF
2 Prenex normalna forma
3 Pravila transformacija
Primer 1
Primer 2
Primer 3
U ovom poglavlju
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