λ Programske paradigme
Početna
Knjiga
2. Iskazna logika
2. Iskazna logika
Potkategorije
U ovom poglavlju
1. Baratanje iskazima
Iskazna logika
Iskaz
Iskazna algebra
Sintaksa i semantika iskazne logike
Zapis složene iskazne formule, infiksna i prefiksna notacija, stablo
Istinitosna vrednost iskazne formule
Logička ekvivalentnost iskaznih formula
Logički ekvivalentni iskazi
Algebarske strukture logike
Zadaci
2. Normalne forme i minimizacija
Normalne forme
7-segmentni displej
Indeksni zapis KNF i DNF
Dont-care vrednosti u kombinacionoj tabeli
Neke osobine iskaznih formula, DNF i KNF
Pretvaranje u DNF i KNF
Primer 1
Primer 2
Minimizacija logičkih funkcija i Karnoove mape
Optimizacija logičkih iskaza u procesu kompajliranja i zašto to može da bude baš loše ako nemate sreće
Zadaci
3. Problem zadovoljivosti
Problem zadovoljivosti, B-SAT
DPLL algoritam
Primer 1
Primer 2
Primer 3
Zadaci
4. Uslovni iskazi i pravila zaključivanja
Aksiomatski sistemi: argumenti i dokazi
5. Iskazna logika i skupovi
Iskazna logika i skupovi
Primer 1
Primer 2
Primer 3
Definisanje (opisivanje) skupa
Logičke funkcije nad ne-logičkim tipovima parametara
Svi i neki
Druge logike
Osvrt na objektno orijentisano programiranje
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