Matematicka logika (informacija)

[interista]

Teorije T prvoga reda zadana je svojim jezikom (1), skupom aksioma (2) i pravilima izvoda (3).

(1) Smatramo da je definiran jezik teorije prvog reda ako smo definirali pripadni skup nelogickih simbola.

(2) Po definiciji smatramo da svaka teorije prvog reda sadrzi sve sheme aksioma sistema RP.
Aksiomi teorije T koji nisu valjane formule nazivaju se nelogicki aksiomi od T.
Smatramo da je zadan skup aksioma teorije T ako je zadan skup nelogickih aksioma.

(3) Jedina pravila izvoda teorije T su modus ponens i generalizacija.

[Gost]

jel tko mozda zna zadnji zadatak iz bilo kojeg drugog kolokvija???? Samo mi treba jedan primjer rjesen. Hvala

[shapudl]

Molim vas ako netko zna rijesiti prirodne dedukcije sa ovogodisnjeg zadnjeg blica

[Gost]

P Q
P->Q (P->Q)->R
R
Q->R

a drugi je
( !P-> !R)i!Q
!P-> !R !P
P !R
P ili !P P ili !R Pili!R


a dokaz za P ili !P ide ovako

P
!(P ili !P) P ili !P
!P
!P ili P !(P ili !P)
P ili !P

sorry ali ne znam baš dobro ovo pisati.
Da li mozda itko zna 4 iz bilo kojeg drugog kolokvija?

[Gost]

Sorry, evo ti nacrtano valjda ce se bolje razumjeti
http://postimage.org/image/m8o5w1gy9/
http://postimage.org/image/9g1kbb1y3/

[Gost]

Da li itko zna rjesenje 4og zadatka???

[Gost]

rezultati kolokvija, termini usmenih, rezultati zadnjeg blica za grupu asistenta Iljazovica..
ima li ikakvih novosti, informacija??

[Junky099]

Baš bi bilo super da dobijemo nekakvu informaciju kada su usmeni.

[Gost]

[Junky099]

Wow, PREZAKON im je sustav obavještavanja! Jako sam impresioniran

[krki]

Zafrkavate ili ozbiljno?

[Gost]

[Zenon]

[fenki]

Da li itko zna kako se rjesavaju zadnji zadaci?
Dakle dokazi da konačne strukture jesu/nisu modeli za neku formulu.
Lijepo zahvaljujem

[kkarlo]

Hoćemo li dobiti kakve dojmove od danas sa usmenog?
I ak je nekome profesor nudio ocjenu, koliko bodova je imao ukupno, a koliko ukupno iz teorije...
Koliko pitanja otprilike postavi profesor?
Da li je netko danas odgovarao za 2, pa ako je, da li se profesor držao onoga da pita samo definicije(+primjer) i iskaze teorema?

[Gost]

Jel se zna kad su usmeni za one koji su prosli popravni?

[Gost]

mislim da su usmeni u srijedu u 9 i 10h, u kojem točno rasporedu ne znam, piše na kabinetu profesora Vukovića. Koliko sam primjetio većina onih koji su prošli popravni mogu direktno dobiti ocjenu na upis, dok neki (pretpostavljam oni koji su lošije napisali teoriju moraju odgovarati)

[Phoenix]

Lijepi pozdrav!

Zovem se Mario Stipčić i tijekom zimskog semestra 2013./14. bit ću demonstrator iz kolegija Matematička logika.
Termin za koji sam se odlučio jest četvrtak, 12-14 sati. Za demonstrature je potrebno najaviti se najkasnije dan ranije i to na mail mstipcic [AT] student.math.hr, ovdje na forumu (možete i u inbox i ovdje) ili na bilo koji drugi način. Samo neka najava dođe do mene!

Svjestan sam da se ovaj termin demonstratura preklapa s nekim drugim izbornim kolegijima koje imate na svom studiju. Na žalost, kada se uzmu u obzir rasporedi svih studija koji imaju ovaj kolegij u ponudi, ne preostaje niti jedan dvosatni termin u kojem bih mogao držati demonstrature. Međutim, otvoren sam za dogovor pa mi se slobodno javite (dovoljno rano!) i dogovorit ćemo se za neki drugi termin tokom tjedna kada biste htjeli doći.
Isto tako, u slučaju nekih drugih (dovoljno opravdanih) obveza koje vas sprječavaju da dođete na demonstrature, javite mi se za dogovor.

Toliko za sada! Želim vam dobrodošlicu na ovom kolegiju te ugodno i uspješno polaganje!

[Phoenix]

Ovaj četvrtak, 31. 10., na žalost, nisam u stanju držati demonstrature.
Predlažem za alternativni termin srijedu, 10-12 sati. U slučaju kolizija s rasporedom ili drugim obvezama, slobodno predložite neki drugi termin koji vam odgovara.
Najave i prijedloge termina, molim vas, šaljite najkasnije dan ranije.

[dp]

je li moguće u srijedu bilo kad izmedu 13 i 16 ?