Matematicka logika

Da li mi neko moze reci gdje mogu naci zadatke za vjezbu iz matematicke logike [I godina - PMF]. [neki sajt ili download nekog od Vas preporucenog .pdf dokumenta]

Za sada mi trebaju samo A,B,C zadaci... Dokazi Modus Ponensom, pretpostavkama i aksiomama iskaznog racuna...

Hvala unaprijed.

Ne znam za elektronske dokumente (verovatno ih ima), ali mogu da ti preporučim zbirku i knjigu prof. Slaviše Prešića. Ja sam radio po njima i položio Matematičku Logiku sa 4. godine beogradskog MATF-a. Potraži u biblioteci.

Sjajno. Hvala puno.

Koju zbirku od S. P. iz logike pominješ? Ja za takvu ne znam. Znam za knjigu "Elementi matematičke logike".

Potpis

Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.

Ima, ima... samo je ja nisam kopirao, već čitao direktno u čitaonici. Ne sme da se iznosi.

Cabo, imaju neke knjige od Presica ali nisu o logici... Moze da se potrazi u Centralnoj biblioteci. Kao narudzba. Ali traze tacan naziv knjige pa ako ti nije problem reci mi nazive knjige i zbirke. [Osim ako nisu Matematicka Logika i Zbirka zadataka iz matematicke logike :) ]

Jedna je ova što reče Neđo, „Elementi matematičke logike“, a drugoj sam zaboravio naslov. Svejedno, i „Elementi“ su prilično dobri.

Moguće je da Cabo misli na knjigu „Uvod u matematičku logiku: teorija i zadaci“, čiji su autori Marica Prešić i Slaviša Prešić.

Potpis

Ljubičice crvena, što si plava kô zelena trava.

Verovatno. Ne sećam se tačno naslova, to je bilo pre jedno dva-tri ispita!