λ Programske paradigme
  1. Početna
  2. Knjiga
  3. 5. Logičko programiranje

5. Logičko programiranje

Članci
1. Prolog
2. Pisanje koda
3. Činjenice
4. Pravila
5. Upiti
6. Sintaksni elementi Prologa
7. Primeri
8. Liste
9. Binarno stablo

U ovom poglavlju

  • 5. Logičko programiranje
    • 1. Prolog
    • 2. Pisanje koda
    • 3. Činjenice
    • 4. Pravila
    • 5. Upiti
    • 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

Content on this site is licensed under a Creative Commons Attribution 4.0 International license. Icons by The Noun Project.

CC BY-NC-ND