Programske paradigme

1,Objasni pojam paradigme.

2.Šta su programske paradigme?

3. Objasni odnos programske paradigme i konkretnog programskog jezika.

4. Navedi osnovne programske paradigme

5.Za svaku od paradigmi navedi osnovne karakteristike i po jedan programski jezik koji joj pripada.

---------------------------------------------------------------

1.Podela programskih jezika prema načinu rešavanja problema

2.Objasni pristup koji u rešavanj problema imaju proceduralni programski jezici.

3.Objasni pristup koji u rešavanj problema imaju deklarativni programski jezici.

4.Navedi podgrupe deklarativnih programskih jezika.

5. Koji pristup rešavanju problema koriste objektno orijentisani programski jezici?

-----------------------------------------------------------------------------------------------

1.Šta je rezonovanje?

2.Šta je automatsko rezonovanje"

3.Kada se argumentacija smatra ispravnom?

4.Osnovni pojmovi iskazne logike.

5.Definiši iskazne formule

6.Objasni pojmove valjanosti, zadovoljivosti, nezadovoljivosti i porecivosti iskaznih formula.

Objasni pojmove:

7.Konjuktivna normalna forma

8.Disjuktivna normalna forma

9.Klauza

10.Kako se iskazne formule prebacuju u konjuktivnu normalnu formu?

Objasni značenje skraćenica:

11.SAT

12.DPLL procedura.

13.Opiši način rešavanja problema korišćenjem iskazne logike.

-----------------------------------------------------------------------

1.Šta je logika prvog reda?

2. Šta znači da je problem ispitivanja valjanosti za predikatsku logiku poluodlučiv?

3. Kada su dve formule ekvivalentne?

4.Šta je prenex normalna forma?

5. Šta je skolemova normalna forma?

6.Da li uklanjanje egzistencijalnih kvantifikatora utiče na ekvivalentnost?

7. Kako izgleda formula u klauzalnoj formi?