2. PARADIGME - LOGIČKE PARADIGME I ISKAZNA LOGIKA

Logičko programiranje je paradigma programiranja koja se zasniva na ?

• Modalnoj logici

• Formalnoj logici

• Klasičnoj logici

• Biologici

Dokazivač teorema u programskom jeziku Prolog radi na sledećim principima:
(moguće više tačnih odgovora)

• Rekurzija

• Simbolizacija

• Modus Ponens

• Unifikacija

• Rezolucija

Kako se naziva metoda opovrgavanja — kojom, da bismo dokazali da je formula valjana, dokazujemo da njena negacija nije ispunjiva?
(mala slova latinice)

(a)  

Koje od navedenih ličnosti su značajne za razvoj logičkog programiranja?
(moguće je više tačnih odgovora)

• Aristotel

• Arhimed

• George Boole

• Hugo Klein

• Augustus De Morgan

Jedan od ljudi koji su razvili Prolog jeste

• Aristotel

• Kurt Gödel

• Alain Colmerauer

• Bertrand Russell

Pored Prologa, poznati programski jezici logičke paradigme su i
(moguće više tačnih odgovora)

• ASP

• Datlog

• Mathlog

• Prologic++

Za šta se koristi, a za šta ne logičko programiranje?

Groups:

(a) KORISTI SE

,

(b) NE KORISTI SE

• Edukacija

• Veštačka inteligencija

• Obrada prirodnog jezika

• I/O algoritmi

• Grafka

• Numerički algoritmi

(a)   je rečenica koja može imati jasno definisanu istinitosnu vrednost: ili je tačna ili je netačna, ali ne može biti oba istovremeno.
(jedna reč malim slovima latinice)

Šta jesu, a šta nisu iskazi?

Groups:

(a) ISKAZI

,

(b) NISU ISKAZI

• Marko je lep

• Danas je toplo

• Danas je temperatura 25°C

• 3 + 3 = 7

• Skoči u bazen!

• 2 + 2 = 4

Upari osnovne logičke operacije sa njihovim znakom

• Disjunkcija

• ↔

• Ekvivalencija

• ¬

• Implikacija

• →

• Negacija

• ∨

• Konjukcija

• ∧