λ Programske paradigme
Početna
Knjiga
4. Predikatska logika
1 Uvod
1 Uvod
Članci
1 Uvod
2 Svojstva i funkcije
3 Kvantifikacija
U ovom poglavlju
1 Uvod
1 Uvod
2 Svojstva i funkcije
3 Kvantifikacija
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