Font size
Worksheets2. PARADIGME - LOGIČKE PARADIGME I ISKAZNA LOGIKA
Total questions: 25
Worksheet time: 20mins
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?
Veštačka inteligencija
Obrada prirodnog jezika
Edukacija
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?
Danas je toplo
Danas je temperatura 25°C
2 + 2 = 4
3 + 3 = 7
Marko je lep
Skoči u bazen!
Upari osnovne logičke operacije sa njihovim znakom
¬
Negacija
∧
Konjukcija
∨
Disjunkcija
→
Implikacija
↔
Ekvivalencija
"Nosim naočare za sunce ako, i samo ako, sunčano je napolju."
Koja je ovo logička operacija?
(jedna reč, mala slova latinice)
(a)
Koliki će biti broj redova u istinitosnoj tablici sa četiri iskaza?
(upisati broj)
(a)
Ako su rezultati u tablici istinitosti svi sem jednog netačni, onda se to naziva kontradikcija ?
Ne
Da
"Kada pada kiša, onda lije."
Koji od ponuđenih je tačan zapis ove rečenice?
P ∨ Q
M∧S
P→Q
P↔Q
Kada neko zaključi da iz određenog skupa iskaza određeni iskaz ,,logički sledi“, to je onda (a) . Polazni iskazi se zovu (b) ili hipoteze, a iskaz koji iz njih sledi je (c) ili posledica.
Da li je sledeća definicija tačna ili netačna?
"Iskaz Q je valjani zaključak na osnovu premisa P1, P2 ,. . . Pn ako i samo
ako je iskaz (P1 ∧ P2 ∧ . . . Pn) ⇒ Q tautologija. "
Tačno
Netačno
Da li je sledeći izraz tautologija?
((P ⇒ K ) ∧ P ) = K
Ne
Da
Delimično
Iskaz (P∧(P→Q))→Q je poznato pravilo zaključivanja pod imenom?
(mala slova latinice)
(a)
Koja od sledećih pravila su osnovna logička pravila logičkog izvođenja?
(moguće više tačnih odgovora)
Modus Ponens
Zakon dvostruke negacije
De Morganovi zakoni
Konjukcija
P∨¬P je tautologija?
Da
Ne
Ako je iskaz "Ako je danas kišovito, onda ću nositi kišobran" tačan, koji iskaz je takođe tačan?
Ako ne nosim kišobran, onda nije kišovito.
Ako nosim kišobran, onda je kišovito.
Ako nije kišovito, onda ne nosim kišobran.
Ako je kišovito, onda ne nosim kišobran.
Razvrstaj programske jezike prema redosledu pojavljivanja (od najstarijeg ka novijima)
Fortran
Basic
Prolog
C++
Python
Upari programsku paradigmu sa izrazom koji na nju asocira
Logička
činjenice, pravila , rešenja
Funkcionalna
kuhinjski blender
OOP
atributi i metode
Konkurentna
računar izvršava više zadataka istovreme
Kako glasi prevod sljedeće rečenice na jezik iskazne logike: Ana uči logiku ili ne uči logiku ako i samo ako ide na trening.
Razvrstaj programske jezike prema vrsti programiranja kojoj pripadaju
SQL
Prolog
Haskell
HTML
C
Java
Fortran
Pascal
