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)

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

• Obrada prirodnog jezika

• Grafka

• Numerički algoritmi

• Veštačka inteligencija

• I/O algoritmi

• Edukacija

________________ 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 temperatura 25°C

• Danas je toplo

• Skoči u bazen!

• 2 + 2 = 4

• 3 + 3 = 7

Upari osnovne logičke operacije sa njihovim znakom

• Ekvivalencija

• ¬

• Negacija

• ∨

• Disjunkcija

• ∧

• Implikacija

• ↔

• Konjukcija

• →