Forum@DeGiorgi :: Pogledajte temu

through

[^/[Print]\]
Idite na Prethodno 1, 2, 3 ... 17, 18, 19, 20, 21 Sljedeće :| |:
Forum@DeGiorgi -> Matematički kolegiji

#341: Autor/ica: interista,

Postano: 10:57 uto, 15. 1. 2013
—
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.

#342: Autor/ica: Gost,

Postano: 15:11 uto, 15. 1. 2013
—
jel tko mozda zna zadnji zadatak iz bilo kojeg drugog kolokvija???? Samo mi treba jedan primjer rjesen. Hvala

#343: Autor/ica: shapudl,

Postano: 22:46 uto, 15. 1. 2013
—
Molim vas ako netko zna rijesiti prirodne dedukcije sa ovogodisnjeg zadnjeg blica

#344: Autor/ica: Gost,

Postano: 23:07 uto, 15. 1. 2013
—
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?

#345: Autor/ica: Gost,

Postano: 23:16 uto, 15. 1. 2013
—
Sorry, evo ti nacrtano valjda ce se bolje razumjeti
http://postimage.org/image/m8o5w1gy9/
http://postimage.org/image/9g1kbb1y3/

#346: Autor/ica: Gost,

Postano: 15:40 sri, 16. 1. 2013
—
Da li itko zna rjesenje 4og zadatka???

#347: Autor/ica: Gost,

Postano: 13:20 uto, 22. 1. 2013
—
rezultati kolokvija, termini usmenih, rezultati zadnjeg blica za grupu asistenta Iljazovica..
ima li ikakvih novosti, informacija??

#348: Autor/ica: Junky099, Lokacija: Novi Zagreb

Postano: 11:02 čet, 24. 1. 2013
—
Baš bi bilo super da dobijemo nekakvu informaciju kada su usmeni.

#349: Autor/ica: Gost,

Postano: 13:56 čet, 24. 1. 2013
—

Junky099 (napisa):

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

Usmeni su danas, sutra i u ponedjeljak. Kod profesora na vratima je lista na koju se trebalo upisati. Ne znam jel ima još koji slobodan termin za sutra, pon je cijeli popunjen Confused

#350: Autor/ica: Junky099, Lokacija: Novi Zagreb

Postano: 15:14 čet, 24. 1. 2013
—
Wow, PREZAKON im je sustav obavještavanja! Jako sam impresioniran Smile

#351: Autor/ica: krki,

Postano: 19:04 čet, 24. 1. 2013
—
Zafrkavate ili ozbiljno?

#352: Autor/ica: Gost,

Postano: 19:09 čet, 24. 1. 2013
—

krki (napisa):

Zafrkavate ili ozbiljno?

Dobro su rekli, samo mislim da nema više ni za sutra slobodnih termina. Pošalji mail profesoru

#353: Autor/ica: Zenon, Lokacija: [tex]\pm\infty[/tex]

Postano: 4:14 pet, 25. 1. 2013
—

krki (napisa):

Zafrkavate ili ozbiljno?

Ozbiljni su. Da nisam počeo raspitivati tokom tjedna, ni ja ne bih znao da je tako.

#354: Autor/ica: fenki,

Postano: 19:45 pet, 25. 1. 2013
—
Da li itko zna kako se rjesavaju zadnji zadaci?
Dakle dokazi da konačne strukture jesu/nisu modeli za neku formulu.
Lijepo zahvaljujem

#355: Autor/ica: kkarlo,

Postano: 19:59 pet, 25. 1. 2013
—
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?

#356: Autor/ica: Gost,

Postano: 18:40 pon, 4. 2. 2013
—
Jel se zna kad su usmeni za one koji su prosli popravni?

#357: Autor/ica: Gost,

Postano: 20:20 pon, 4. 2. 2013
—
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)

#358: Autor/ica: Phoenix,

Postano: 20:55 uto, 1. 10. 2013
—
Lijepi pozdrav! Smile

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! Very Happy

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! Very Happy

#359: Autor/ica: Phoenix,

Postano: 10:50 ned, 27. 10. 2013
—
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. Smile

#360: Autor/ica: dp,

Postano: 20:04 ned, 27. 10. 2013
—
je li moguće u srijedu bilo kad izmedu 13 i 16 ?

Forum@DeGiorgi -> Matematički kolegiji

output generated using printer-friendly topic mod. Vremenska zona: GMT + 01:00.

Idite na Prethodno 1, 2, 3 ... 17, 18, 19, 20, 21 Sljedeće :| |: Stranica 18 / 21.