λ Programske paradigme
Početna
Knjiga
2. Iskazna logika
4. Uslovni iskazi i pravila zaključivanja
4. Uslovni iskazi i pravila zaključivanja
Članci
Aksiomatski sistemi: argumenti i dokazi
U ovom poglavlju
4. Uslovni iskazi i pravila zaključivanja
Aksiomatski sistemi: argumenti i dokazi
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