λ Programske paradigme
Početna
Knjiga
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
U ovom poglavlju
1 Uvod
1 Uvod
2 Svojstva i funkcije
3 Kvantifikacija
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
1. Uvod
2 Podsetnik
4 Prirodni i veštački jezici
5 Sintaksa i semantika
6 Programski jezik i računarski program
1 Uvod
3 O (programskim) jezicima
7 Podela programskih jezika
8 Nastanak i karakteristike pojedinih programskih paradigmi
9 Paradigme programiranja
10 Razvoj i evolucija programskih jezika
11 Logički i funkcionalni programski jezici
12 Rezime uvodnog dela
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
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 Normalne forme
1 Negaciona normalna forma - NNF
2 Prenex normalna forma
3 Pravila transformacija
Primer 1
Primer 2
Primer 3
3. Problem zadovoljivosti
Problem zadovoljivosti, B-SAT
DPLL algoritam
Primer 1
Primer 2
Primer 3
Zadaci
3. Veštačka inteligencija
Kratak uvod u agente
Vumpus - Agent implementiran na iskaznoj logici
Minesweeper
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
5. Logičko programiranje
1. Prolog
2. Pisanje koda
3. Činjenice
5. Upiti
4. Pravila
6. Sintaksni elementi Prologa
7. Primeri
8. Liste
9. Binarno stablo
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