Search
 
 
  Engleski
 
 
 
Open in this window (click to change)
Forum@DeGiorgi: Početna
Forum za podršku nastavi na PMF-MO
Login Registracija FAQ Smajlići Članstvo Pretražnik Forum@DeGiorgi: Početna

Izborni kolegiji ("stari" studiji) (studij)
Idite na Prethodno  1, 2, 3, 4, 5, 6, 7, 8  Sljedeće
Moja sarma
 
Započnite novu temu   Ova tema je zaključana: ne možete uređivati postove niti odgovarati.   printer-friendly view    Forum@DeGiorgi: Početna -> Ostalo - ozbiljno -> Opća pitanja i rasprave o studiju
Prethodna tema :: Sljedeća tema  
Autor/ica Poruka
vsego
Site Admin
Site Admin


Pridružen/a: 06. 10. 2002. (22:07:09)
Postovi: (3560)16
Spol: zombi
Sarma = la pohva - posuda
854 = 1068 - 214
Lokacija: /sbin/init

PostPostano: 0:48 ned, 15. 7. 2007    Naslov: Citirajte i odgovorite

Ah, mea culpa, bilo je to na drugom topicu. :oops: Dakle, [url=http://degiorgi.math.hr/forum/viewtopic.php?t=4791]Euklidski prostori i Modeli geometrije[/url]. :)

Inace, tesko da su i[color=red]n[/color]terativne metode; mozda iterativne (ili interaktivne, ali sumnjam). ;)
Ah, mea culpa, bilo je to na drugom topicu. Embarassed Dakle, Euklidski prostori i Modeli geometrije. Smile

Inace, tesko da su interativne metode; mozda iterativne (ili interaktivne, ali sumnjam). Wink



_________________
U pravilu ignoriram pitanja u krivim topicima i kodove koji nisu u [code]...[/code] blokovima.
Takodjer, OBJASNITE sto vas muci! "Sto mi je krivo?", bez opisa u cemu je problem, rijetko ce zadobiti moju paznju.
Drzim prodike
[Vrh]
Korisnički profil Pošaljite privatnu poruku
Melkor
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 07. 10. 2004. (18:48:00)
Postovi: (291)16
Spol: kućni ljubimac
Sarma = la pohva - posuda
140 = 152 - 12
Lokacija: Void

PostPostano: 0:52 ned, 15. 7. 2007    Naslov: Citirajte i odgovorite

[quote="tihana"]nažalost, ne piše ništa o kolegijima :arrow: interativne metode, markovljevi lanci, euklidski prostori, modeli geometrije, uvod u dif.geometriju, fourierovi redovi i primjene (ako ipak nešto piše, isprike)

možda su neki od navedenih novi kolegiji pa možda nema vijesti o tim kolegijima? :([/quote]
Tako je, uglavnom su novi predmeti. Za njih jedino što mogu reći je neka okvirna klasifikacija: iterativne metode imaju veze s numeričkom matematikom, markovljevi lanci s vjerojatnosti, fourierovi redovi i primjene s analizom.

Ja sam slušao na 2. godini Modele geometrije kod prof. Polonija (vidim da je sad drugi predavač...). Uglavnom, to je bio prilično zanimljiv kolegij, čak i za nekog tko ne voli geometriju. Temeljio se na knjizi Patrick J. Ryan: Euclidean and Non-Euclidean Geometry (An Analytic Approach). Prvo se obradi klasična euklidska ravnina, a zatim se čovjek upozna sa sfernom, projektivnom i hiperboličkom ravninom. Zanima te ravnina u kojoj se svaka dva pravca sijeku? Ili ravnina u kojoj za zadani pravac kroz zadanu točku prolazi više od jednog paralelnog pravca? Ako je odgovor da, onda je ovo kolegij za tebe. :)
tihana (napisa):
nažalost, ne piše ništa o kolegijima Arrow interativne metode, markovljevi lanci, euklidski prostori, modeli geometrije, uvod u dif.geometriju, fourierovi redovi i primjene (ako ipak nešto piše, isprike)

možda su neki od navedenih novi kolegiji pa možda nema vijesti o tim kolegijima? Sad

Tako je, uglavnom su novi predmeti. Za njih jedino što mogu reći je neka okvirna klasifikacija: iterativne metode imaju veze s numeričkom matematikom, markovljevi lanci s vjerojatnosti, fourierovi redovi i primjene s analizom.

Ja sam slušao na 2. godini Modele geometrije kod prof. Polonija (vidim da je sad drugi predavač...). Uglavnom, to je bio prilično zanimljiv kolegij, čak i za nekog tko ne voli geometriju. Temeljio se na knjizi Patrick J. Ryan: Euclidean and Non-Euclidean Geometry (An Analytic Approach). Prvo se obradi klasična euklidska ravnina, a zatim se čovjek upozna sa sfernom, projektivnom i hiperboličkom ravninom. Zanima te ravnina u kojoj se svaka dva pravca sijeku? Ili ravnina u kojoj za zadani pravac kroz zadanu točku prolazi više od jednog paralelnog pravca? Ako je odgovor da, onda je ovo kolegij za tebe. Smile



_________________
I don't know half of you half as well as I should like; and I like less than half of you half as well as you deserve.
[Vrh]
Korisnički profil Pošaljite privatnu poruku Posjetite Web stranice
Tvrtko
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 21. 10. 2006. (12:12:34)
Postovi: (10A)16
Sarma = la pohva - posuda
26 = 65 - 39
Lokacija: CCP 4345 / PMF-MO 225

PostPostano: 9:04 ned, 15. 7. 2007    Naslov: Citirajte i odgovorite

Markovljevi lanci su se dosada proucavali u kolegiju slucajni procesi.
Ukratko: radi se o tome da imas skup stanja i neke vjerojatnosti prijelaza
između tih stanja. Proučavaju se onda razna pitanja tipa vjerojatnost
ako krenes iz jednog stanja da zavrsis u drugom stanju, koliko
je ocekivano vrijeme da ces tamo zavrsiti, koliko ces puta pritom
proci kroz neko 3. stanje... Onda recimo svakom stanju pridruzis
neku nagradu, pa te zanima koliko ces dugorocno zaraditi...
Zvuci zabavno, ali ima posla.

Fourierovi redovi su se radili na PDJ-u. Promatras
vektorski prostor funkcija i zelis preko neke ortnormirane
baze izraziti neku funkciju, promatras za koje je to
funkcje moguce, racunas koefcijente. U pdj-u su rjesenja nekih jednadzbi
prikazivale preko takvih redova, a onda usporedjujuci rubne
uvjete su se racunali koeficijenti.
Meni je recimo zao zasto mi predbolonjski studenti to ne mozemo upisati
(mozda cemo te stvari radit jos negdje).
Markovljevi lanci su se dosada proucavali u kolegiju slucajni procesi.
Ukratko: radi se o tome da imas skup stanja i neke vjerojatnosti prijelaza
između tih stanja. Proučavaju se onda razna pitanja tipa vjerojatnost
ako krenes iz jednog stanja da zavrsis u drugom stanju, koliko
je ocekivano vrijeme da ces tamo zavrsiti, koliko ces puta pritom
proci kroz neko 3. stanje... Onda recimo svakom stanju pridruzis
neku nagradu, pa te zanima koliko ces dugorocno zaraditi...
Zvuci zabavno, ali ima posla.

Fourierovi redovi su se radili na PDJ-u. Promatras
vektorski prostor funkcija i zelis preko neke ortnormirane
baze izraziti neku funkciju, promatras za koje je to
funkcje moguce, racunas koefcijente. U pdj-u su rjesenja nekih jednadzbi
prikazivale preko takvih redova, a onda usporedjujuci rubne
uvjete su se racunali koeficijenti.
Meni je recimo zao zasto mi predbolonjski studenti to ne mozemo upisati
(mozda cemo te stvari radit jos negdje).


[Vrh]
Korisnički profil Pošaljite privatnu poruku Posjetite Web stranice
ivanas
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 17. 05. 2005. (14:15:57)
Postovi: (1E)16
Sarma = la pohva - posuda
= 6 - 1

PostPostano: 9:45 ned, 15. 7. 2007    Naslov: Citirajte i odgovorite

š.Ungar Uvod u topologiju
M. Polonijo Odabrana poglavlja geometrije
Z. Čerin Odabrana poglavlja topologije

jel netko zna nesto o ovim kolegijima?
Hvala! :?
š.Ungar Uvod u topologiju
M. Polonijo Odabrana poglavlja geometrije
Z. Čerin Odabrana poglavlja topologije

jel netko zna nesto o ovim kolegijima?
Hvala! Confused



_________________
Ivana
[Vrh]
Korisnički profil Pošaljite privatnu poruku
marijap
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 21. 06. 2006. (19:04:40)
Postovi: (209)16
Spol: žensko
Sarma = la pohva - posuda
33 = 49 - 16
Lokacija: zg

PostPostano: 14:20 ned, 15. 7. 2007    Naslov: Citirajte i odgovorite

hm, recimo da se ja još dvoumim između Računarstva i Financijske...
razmišljala sam uzeti Markovljeve lance i Objektno programiranje (C++), ali mi se sviđa i sadržaj kolegija
Odabrane primjene vjerojatnosti i statistike :?
a Fourierove vidim da će predavati prof. H.Šikić pa se da i o njima razmisliti...:shock:
razmišljala sam i o opciji da jedan izborni uzmem kao kolegij za nadopunu znanja (ako bi bilo moguće), ali se ne bi htjela nadopudno pretrpati u ljetnom semestru :? ...

recimo da se po ovome mogu orijentirati što se tiče profesora/asistenata...
http://www.math.hr/Default.aspx?art=3113&sec=216

što se tiče markovljevih lanaca, u bioinf-u su se model kockarnice i biološki model poravnjavanja više nizova zasnivali na HMM, tj. skrivenom markovljevom modelu, tako da je i to povezano, barem kao neki primjeri ili uvod u temu...

a jedna iterativna metoda je bila jacobijeva metoda u numeričkoj, zar ne?
hm, recimo da se ja još dvoumim između Računarstva i Financijske...
razmišljala sam uzeti Markovljeve lance i Objektno programiranje (C++), ali mi se sviđa i sadržaj kolegija
Odabrane primjene vjerojatnosti i statistike Confused
a Fourierove vidim da će predavati prof. H.Šikić pa se da i o njima razmisliti...Shocked
razmišljala sam i o opciji da jedan izborni uzmem kao kolegij za nadopunu znanja (ako bi bilo moguće), ali se ne bi htjela nadopudno pretrpati u ljetnom semestru Confused ...

recimo da se po ovome mogu orijentirati što se tiče profesora/asistenata...
http://www.math.hr/Default.aspx?art=3113&sec=216

što se tiče markovljevih lanaca, u bioinf-u su se model kockarnice i biološki model poravnjavanja više nizova zasnivali na HMM, tj. skrivenom markovljevom modelu, tako da je i to povezano, barem kao neki primjeri ili uvod u temu...

a jedna iterativna metoda je bila jacobijeva metoda u numeričkoj, zar ne?




Zadnja promjena: marijap; 19:50 ned, 15. 7. 2007; ukupno mijenjano 2 put/a.
[Vrh]
Korisnički profil Pošaljite privatnu poruku
Johnny Casino
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 11. 05. 2003. (17:56:59)
Postovi: (10F)16
Spol: muško
Sarma = la pohva - posuda
= 21 - 15
Lokacija: location, location!

PostPostano: 18:04 ned, 15. 7. 2007    Naslov: Citirajte i odgovorite

Mene logika ne zanima bas previse, a pogotovo tome ne ide u prilog opis od mislim Nesi.
Iterativne metode isto.
Euklidski prostori isto.
Znaci ostaju markovljevi lanci. Jedino me plasi ova recenica:
[quote="Tvrtko"]Zvuci zabavno, ali ima posla.[/quote]



Za drugi semestar mi se cini da je puno bolja ponuda.
Fourierovi redovi - predaje prof. Sikic - dosta da udje u uzi izbor 8)
Uvod u Teoriju brojeva - gradivo se cini interesantno, a opet, teorija brojeva se bavi cijelim brojevima (ili :-k ?), pa mi se zbog toga cini da mozda nije pretesko (ili :-k ?)
Recimo modeli geometrije su mi se po opisu ucinili zanimljivi
Uvod u diferencijalnu geometriju - hm hm
Odabrane primjene vjerojatnosti i statistike - cini se zanimljivo
Objektno programiranje c++ - mhm

Bilo bi dobro kad bi se neki kolegiji, npr. modeli geometrije ili neki drugi od ovih 'zanimljivijih' prebacili u 1. (tj. 5.) semestar, tako da se semestri izjednace po 'ukupnoj zanimljivosti', ili barem po broju izbornih.
Mene logika ne zanima bas previse, a pogotovo tome ne ide u prilog opis od mislim Nesi.
Iterativne metode isto.
Euklidski prostori isto.
Znaci ostaju markovljevi lanci. Jedino me plasi ova recenica:
Tvrtko (napisa):
Zvuci zabavno, ali ima posla.




Za drugi semestar mi se cini da je puno bolja ponuda.
Fourierovi redovi - predaje prof. Sikic - dosta da udje u uzi izbor Cool
Uvod u Teoriju brojeva - gradivo se cini interesantno, a opet, teorija brojeva se bavi cijelim brojevima (ili Think ?), pa mi se zbog toga cini da mozda nije pretesko (ili Think ?)
Recimo modeli geometrije su mi se po opisu ucinili zanimljivi
Uvod u diferencijalnu geometriju - hm hm
Odabrane primjene vjerojatnosti i statistike - cini se zanimljivo
Objektno programiranje c++ - mhm

Bilo bi dobro kad bi se neki kolegiji, npr. modeli geometrije ili neki drugi od ovih 'zanimljivijih' prebacili u 1. (tj. 5.) semestar, tako da se semestri izjednace po 'ukupnoj zanimljivosti', ili barem po broju izbornih.



_________________
Ima jedan broj, a djeljiv je sa pet
U nizu brojeva, djeljivih sa šest.
...

A to je dva, dva, dva do Žitnjaka
[Vrh]
Korisnički profil Pošaljite privatnu poruku
Melkor
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 07. 10. 2004. (18:48:00)
Postovi: (291)16
Spol: kućni ljubimac
Sarma = la pohva - posuda
140 = 152 - 12
Lokacija: Void

PostPostano: 18:58 ned, 15. 7. 2007    Naslov: Citirajte i odgovorite

[quote="Johnny Casino"]Bilo bi dobro kad bi se neki kolegiji, npr. modeli geometrije ili neki drugi od ovih 'zanimljivijih' prebacili u 1. (tj. 5.) semestar, tako da se semestri izjednace po 'ukupnoj zanimljivosti', ili barem po broju izbornih.[/quote]
Nadam se da i sam shvaćaš da je zanimljivost vrlo subjektivan kriterij.

Uglavnom, iz Uvoda u teoriju brojeva postoji skripta, možeš je naći na sajtu prof. Dujelle:
[url]http://web.math.hr/~duje/utb.html[/url]

UTB je na glasu kao lagan kolegij, zato ga je dosad redovito upisivala hrpetina studenata. Ja sam ga položio i mogu reći da meni nije bio težak, ali nije baš bio ni sasvim trivijalan. Priprema za kolokvij mi je oduzela zbilja mnogo vremena, značajno više nego za neki prosječan jednosemestralni kolegij. Ne bavi se samo cijelim brojevima, ima tu i racionalnih i realnih. :)

I da, ako je negdje riječ o cijelim brojevima, ne znači nužno da se radi o nečem laganom. Kao što valjda znaš, postoji dosta otvorenih problema vezanih uz cijele brojeve. Npr. distribucija prostih brojeva. Baci pogled na poglavlje skripte o aritmetičkim funkcijama pa vidi jel ti se još čini da nije preteško. :)
Johnny Casino (napisa):
Bilo bi dobro kad bi se neki kolegiji, npr. modeli geometrije ili neki drugi od ovih 'zanimljivijih' prebacili u 1. (tj. 5.) semestar, tako da se semestri izjednace po 'ukupnoj zanimljivosti', ili barem po broju izbornih.

Nadam se da i sam shvaćaš da je zanimljivost vrlo subjektivan kriterij.

Uglavnom, iz Uvoda u teoriju brojeva postoji skripta, možeš je naći na sajtu prof. Dujelle:
http://web.math.hr/~duje/utb.html

UTB je na glasu kao lagan kolegij, zato ga je dosad redovito upisivala hrpetina studenata. Ja sam ga položio i mogu reći da meni nije bio težak, ali nije baš bio ni sasvim trivijalan. Priprema za kolokvij mi je oduzela zbilja mnogo vremena, značajno više nego za neki prosječan jednosemestralni kolegij. Ne bavi se samo cijelim brojevima, ima tu i racionalnih i realnih. Smile

I da, ako je negdje riječ o cijelim brojevima, ne znači nužno da se radi o nečem laganom. Kao što valjda znaš, postoji dosta otvorenih problema vezanih uz cijele brojeve. Npr. distribucija prostih brojeva. Baci pogled na poglavlje skripte o aritmetičkim funkcijama pa vidi jel ti se još čini da nije preteško. Smile



_________________
I don't know half of you half as well as I should like; and I like less than half of you half as well as you deserve.
[Vrh]
Korisnički profil Pošaljite privatnu poruku Posjetite Web stranice
goranm
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 12. 11. 2002. (20:09:12)
Postovi: (906)16
Spol: kućni ljubimac
Sarma = la pohva - posuda
218 = 249 - 31

PostPostano: 19:04 ned, 15. 7. 2007    Naslov: Citirajte i odgovorite

[quote="ivanas"]š.Ungar Uvod u topologiju[/quote]
Predaje se na 4. godini teorijske matematike, predavanja možeš pregledati ovdje
http://web.math.hr/~ungar/nastava.html

[quote]Z. Čerin Odabrana poglavlja topologije[/quote]
Radi se po knjizi J. Nagate, Modern General Topology. Obrađuju se neki osnovni pojmovi topologije, npr. inverzni sistemi, mreže, aproksimativni inverzni sistemi, aksiomi separacije, normalni i potpuno normalni prostori itd. itd. Polaže se putem usmenog ispita, pismenog ispita nema.

Možda bi bilo besmisleno upisati odabrana poglavlja topologije i uvod u topologiju istovremeno, radije prvo odabrana poglavlja pa onda iduće godine uvod u topologiju.
ivanas (napisa):
š.Ungar Uvod u topologiju

Predaje se na 4. godini teorijske matematike, predavanja možeš pregledati ovdje
http://web.math.hr/~ungar/nastava.html

Citat:
Z. Čerin Odabrana poglavlja topologije

Radi se po knjizi J. Nagate, Modern General Topology. Obrađuju se neki osnovni pojmovi topologije, npr. inverzni sistemi, mreže, aproksimativni inverzni sistemi, aksiomi separacije, normalni i potpuno normalni prostori itd. itd. Polaže se putem usmenog ispita, pismenog ispita nema.

Možda bi bilo besmisleno upisati odabrana poglavlja topologije i uvod u topologiju istovremeno, radije prvo odabrana poglavlja pa onda iduće godine uvod u topologiju.



_________________
The Dude Abides
[Vrh]
Korisnički profil Pošaljite privatnu poruku Pošaljite e-mail
Nesi
Inventar Foruma
(Moderator)
Inventar Foruma<br>(Moderator)


Pridružen/a: 14. 10. 2002. (14:27:35)
Postovi: (E68)16
Spol: kućni ljubimac
Sarma: -

PostPostano: 22:43 ned, 15. 7. 2007    Naslov: Citirajte i odgovorite

[quote="Johnny Casino"]Mene logika ne zanima bas previse, a pogotovo tome ne ide u prilog opis od mislim Nesi. [/quote]

ja nisam nista pametnoga rekla... ali cinjenica je da je logika zahtjevna za pokopcati i za izborni bi ju trebalo birati ako ju zbilja zelite....
mislim, u stogod ulozis volje i truda nije tesko ;-)

ja sam u djelomicno slusala, djelomicno ucila za kolokvije i zadaci su mi bili ok
ali ju nisam jos polozila, tako da nemam cijelu sliku o kolegiju

ali jednosemestralna logika (koja se vama bolonjcima nudi) bi mogao biti samo prvi semestar dosadasnje dvosemestralne - a to je u pravilu ok, jos ako posvetis dovoljno vremena za zadatke i uhvatis grif, mislim da ne bi trebalo biti pretesko

a tesko je sve kad se toga nagomila ;-)

tako da, logiku preporucam upisati ako ju zelite, a ne iz hobija ili zato sto nije bilo drugog izbora - jer vam vjerojatno nece biti dovoljno zanimljiva da bi ulozili dovoljno truda u njeno polaganje ;-)
samo to ;-)
Johnny Casino (napisa):
Mene logika ne zanima bas previse, a pogotovo tome ne ide u prilog opis od mislim Nesi.


ja nisam nista pametnoga rekla... ali cinjenica je da je logika zahtjevna za pokopcati i za izborni bi ju trebalo birati ako ju zbilja zelite....
mislim, u stogod ulozis volje i truda nije tesko Wink

ja sam u djelomicno slusala, djelomicno ucila za kolokvije i zadaci su mi bili ok
ali ju nisam jos polozila, tako da nemam cijelu sliku o kolegiju

ali jednosemestralna logika (koja se vama bolonjcima nudi) bi mogao biti samo prvi semestar dosadasnje dvosemestralne - a to je u pravilu ok, jos ako posvetis dovoljno vremena za zadatke i uhvatis grif, mislim da ne bi trebalo biti pretesko

a tesko je sve kad se toga nagomila Wink

tako da, logiku preporucam upisati ako ju zelite, a ne iz hobija ili zato sto nije bilo drugog izbora - jer vam vjerojatno nece biti dovoljno zanimljiva da bi ulozili dovoljno truda u njeno polaganje Wink
samo to Wink


[Vrh]
Korisnički profil Pošaljite privatnu poruku Posjetite Web stranice
marijap
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 21. 06. 2006. (19:04:40)
Postovi: (209)16
Spol: žensko
Sarma = la pohva - posuda
33 = 49 - 16
Lokacija: zg

PostPostano: 22:58 ned, 15. 7. 2007    Naslov: Citirajte i odgovorite

koliko sam ja shvatila, jednosemestralni kolegij Mat.logika je obavezni kolegij na diplomskom studiju Računarstvo i matematika, ali postoji i izborni kolegij Mat.logika u računarstvu u sklopu tog dipl.studija...
jesu li ta dva kao taj vaš dvosemestralni? :?
koliko sam ja shvatila, jednosemestralni kolegij Mat.logika je obavezni kolegij na diplomskom studiju Računarstvo i matematika, ali postoji i izborni kolegij Mat.logika u računarstvu u sklopu tog dipl.studija...
jesu li ta dva kao taj vaš dvosemestralni? Confused


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Nesi
Inventar Foruma
(Moderator)
Inventar Foruma<br>(Moderator)


Pridružen/a: 14. 10. 2002. (14:27:35)
Postovi: (E68)16
Spol: kućni ljubimac
Sarma: -

PostPostano: 4:05 pon, 16. 7. 2007    Naslov: Citirajte i odgovorite

ne znam
za jednosemetralne pogledaj na webu plan predavanja ili kako god da se to zove
a dvosemestralna ima sadrzaj: (kopipejst iz pdfa)

[quote="prva skripta = 1. semestar + dio 2. semestra"]
Uvod 1
1 Logika sudova 9
1.1 Uvod . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2 Jezik logike sudova . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3 Interpretacije . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.4 Normalne forme . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.4.1 Propozicionalni veznici . . . . . . . . . . . . . . . . . . . . 30
1.5 Testovi valjanosti . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.6 Račun sudova (Frege–Lukasiewiczev sistem). . . . . . . . . . . . 43
1.6.1 Sistem RS . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
1.6.2 Konzistentnost . . . . . . . . . . . . . . . . . . . . . . . . 54
1.6.3 Potpuni skupovi formula . . . . . . . . . . . . . . . . . . . 59
1.6.4 Teorem potpunosti . . . . . . . . . . . . . . . . . . . . . . 62
1.6.5 Teorem kompaktnosti . . . . . . . . . . . . . . . . . . . . 62
1.7 Prirodna dedukcija . . . . . . . . . . . . . . . . . . . . . . . . . . 77
1.8 Alternativne aksiomatizacije logike sudova . . . . . . . . . . . . . 102
1.9 Neke neklasične logike sudova . . . . . . . .. . . . . . . . . . . . 108
1.9.1 Intuicionistička logika . . . . . . . . . . . . . . . . . . . . 108
1.9.2 Modalna logika . . . . . . . . . . . . . . . . . . . . . . . . 112
2 Logika prvog reda 121
2.1 Uvod . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
2.2 Jezik teorija prvog reda . . . . . . . . . . . . . . . . . . . . . . . 124
2.3 Interpretacije i modeli . . . . . . . . . . . . . . . . . . . . . . . . 130
2.4 Preneksna normalna forma . . . . . . . . . . . . . . . . . . . . . 146
2.5 Glavni test . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
2.6 Račun teorija prvog reda . . . . . . . . . . . . . . . . . . . . . . . 172
2.6.1 Osnovne definicije . . . . . . . . . . . . . . . . . . . . . . 172
2.6.2 Metateoremi o teorijama prvog reda . . . . . . . . . . . . 176
2.6.3 Sistem prirodne dedukcije za logiku prvog reda . . . . . . 185
2.7 Teorem potpunosti i posljedice . . . . . . . . . . . . . . . . . . . 188
2.7.1 Konzistentnost . . . . . . . . . . . . . . . . . . . . . . . . 188
2.7.2 Generalizirani teorem potpunosti . . . . . . . . . . . . . . 193
2.7.3 Posljedice generaliziranog teorema potpunosti . . . . . . . 198
2.7.4 Ograničenja logike prvog reda . . . . . . . . . .. . . . . . 206
2.7.5 Kategoričnost teorija . . . . . . . . . . . . . . .. . . . . . 208
2.8 Primjeri teorija prvog reda . . . . . . . . . . . . . . . . . . . . . . 211
2.8.1 Teorije s jednakošću . . . . . . . . . . . . . . .. . . . . . 211
2.8.2 Peanova aritmetika . . . . . . . . . . . . . . . . . . . . . . 221
2.8.3 Zermelo–Fraenkelova teorija skupova . . . . . .. . . . . . 226
2.9 Ultraprodukti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 230
Bibliografija 241
Indeks 244
[/quote]

[quote="nastavak 2. semestra"]
1 Izračunljivost 5
1.1 Uvod . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.1 Opisne definicije osnovnih pojmova . . . . . . . . . . . . . 10
1.1.2 Termini i oznake . . . . . . . . . . . . . . . . . . . . . . . 11
1.2 RAM–stroj . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3 Rekurzivne funkcije . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.4 Kodiranje konačnih nizova. Primjene . .. . . . . . . . . . . . . 49
1.5 Indeksi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
1.6 Teorem o parametru . . . . . . . . . . . . . . . . . . . . . . . . . 68
1.7 Churchova teza . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
1.8 Aritmetička hijerahija . . . . . . . . . . .. . . . . . . . . . . . . 77
1.9 Rekurzivno prebro jivi skupovi . . . . . . . . . . . . . . . . . . . . 84
1.10 Dodatak: Ackermannova funkcija . . . . . . . . . . . . . . . . . . 97
Indeks 106
Bibliografija 109
[/quote]
ne znam
za jednosemetralne pogledaj na webu plan predavanja ili kako god da se to zove
a dvosemestralna ima sadrzaj: (kopipejst iz pdfa)

prva skripta = 1. semestar + dio 2. semestra (napisa):

Uvod 1
1 Logika sudova 9
1.1 Uvod . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2 Jezik logike sudova . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3 Interpretacije . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.4 Normalne forme . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.4.1 Propozicionalni veznici . . . . . . . . . . . . . . . . . . . . 30
1.5 Testovi valjanosti . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.6 Račun sudova (Frege–Lukasiewiczev sistem). . . . . . . . . . . . 43
1.6.1 Sistem RS . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
1.6.2 Konzistentnost . . . . . . . . . . . . . . . . . . . . . . . . 54
1.6.3 Potpuni skupovi formula . . . . . . . . . . . . . . . . . . . 59
1.6.4 Teorem potpunosti . . . . . . . . . . . . . . . . . . . . . . 62
1.6.5 Teorem kompaktnosti . . . . . . . . . . . . . . . . . . . . 62
1.7 Prirodna dedukcija . . . . . . . . . . . . . . . . . . . . . . . . . . 77
1.8 Alternativne aksiomatizacije logike sudova . . . . . . . . . . . . . 102
1.9 Neke neklasične logike sudova . . . . . . . .. . . . . . . . . . . . 108
1.9.1 Intuicionistička logika . . . . . . . . . . . . . . . . . . . . 108
1.9.2 Modalna logika . . . . . . . . . . . . . . . . . . . . . . . . 112
2 Logika prvog reda 121
2.1 Uvod . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
2.2 Jezik teorija prvog reda . . . . . . . . . . . . . . . . . . . . . . . 124
2.3 Interpretacije i modeli . . . . . . . . . . . . . . . . . . . . . . . . 130
2.4 Preneksna normalna forma . . . . . . . . . . . . . . . . . . . . . 146
2.5 Glavni test . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
2.6 Račun teorija prvog reda . . . . . . . . . . . . . . . . . . . . . . . 172
2.6.1 Osnovne definicije . . . . . . . . . . . . . . . . . . . . . . 172
2.6.2 Metateoremi o teorijama prvog reda . . . . . . . . . . . . 176
2.6.3 Sistem prirodne dedukcije za logiku prvog reda . . . . . . 185
2.7 Teorem potpunosti i posljedice . . . . . . . . . . . . . . . . . . . 188
2.7.1 Konzistentnost . . . . . . . . . . . . . . . . . . . . . . . . 188
2.7.2 Generalizirani teorem potpunosti . . . . . . . . . . . . . . 193
2.7.3 Posljedice generaliziranog teorema potpunosti . . . . . . . 198
2.7.4 Ograničenja logike prvog reda . . . . . . . . . .. . . . . . 206
2.7.5 Kategoričnost teorija . . . . . . . . . . . . . . .. . . . . . 208
2.8 Primjeri teorija prvog reda . . . . . . . . . . . . . . . . . . . . . . 211
2.8.1 Teorije s jednakošću . . . . . . . . . . . . . . .. . . . . . 211
2.8.2 Peanova aritmetika . . . . . . . . . . . . . . . . . . . . . . 221
2.8.3 Zermelo–Fraenkelova teorija skupova . . . . . .. . . . . . 226
2.9 Ultraprodukti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 230
Bibliografija 241
Indeks 244


nastavak 2. semestra (napisa):

1 Izračunljivost 5
1.1 Uvod . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.1 Opisne definicije osnovnih pojmova . . . . . . . . . . . . . 10
1.1.2 Termini i oznake . . . . . . . . . . . . . . . . . . . . . . . 11
1.2 RAM–stroj . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3 Rekurzivne funkcije . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.4 Kodiranje konačnih nizova. Primjene . .. . . . . . . . . . . . . 49
1.5 Indeksi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
1.6 Teorem o parametru . . . . . . . . . . . . . . . . . . . . . . . . . 68
1.7 Churchova teza . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
1.8 Aritmetička hijerahija . . . . . . . . . . .. . . . . . . . . . . . . 77
1.9 Rekurzivno prebro jivi skupovi . . . . . . . . . . . . . . . . . . . . 84
1.10 Dodatak: Ackermannova funkcija . . . . . . . . . . . . . . . . . . 97
Indeks 106
Bibliografija 109


[Vrh]
Korisnički profil Pošaljite privatnu poruku Posjetite Web stranice
GauSs_
Moderator
Moderator


Pridružen/a: 28. 01. 2004. (21:01:17)
Postovi: (53C)16
Spol: muško
Sarma = la pohva - posuda
72 = 110 - 38
Lokacija: 231

PostPostano: 13:39 pon, 16. 7. 2007    Naslov: Citirajte i odgovorite

[quote="marijap"]
razmišljala sam uzeti Markovljeve lance i Objektno programiranje (C++), ali mi se sviđa i sadržaj kolegija
[/quote]
to ti je jako dobar izbor. primijenjena vjerojatnost/statistika i dobro poznavanje C/C++ odlican je spoj.
[quote="marijap"]
Odabrane primjene vjerojatnosti i statistike :?
[/quote]
Ako te zanima primjena definitvno upisi ovaj kolegij. Mozes ti upisati i vise izbornih ;)
marijap (napisa):

razmišljala sam uzeti Markovljeve lance i Objektno programiranje (C++), ali mi se sviđa i sadržaj kolegija

to ti je jako dobar izbor. primijenjena vjerojatnost/statistika i dobro poznavanje C/C++ odlican je spoj.
marijap (napisa):

Odabrane primjene vjerojatnosti i statistike Confused

Ako te zanima primjena definitvno upisi ovaj kolegij. Mozes ti upisati i vise izbornih Wink



_________________
The purpose of life is to end
Malo sam lose volje...

Prosle su godine kolokviji bili laksi, zar ne?
[Vrh]
Korisnički profil Pošaljite privatnu poruku Posjetite Web stranice
marijap
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 21. 06. 2006. (19:04:40)
Postovi: (209)16
Spol: žensko
Sarma = la pohva - posuda
33 = 49 - 16
Lokacija: zg

PostPostano: 13:43 pon, 16. 7. 2007    Naslov: Citirajte i odgovorite

Znam da mogu, ali ja sam po bolonji, predviđeno je izabrati po jedan izborni za svaki semestar, pa ako upisujem dodatni izborni, moram pisati molbu za upis kolegija za nadopunu znanja, ako sam dobro shvatila...još ću se raspitati u referadi...
Znam da mogu, ali ja sam po bolonji, predviđeno je izabrati po jedan izborni za svaki semestar, pa ako upisujem dodatni izborni, moram pisati molbu za upis kolegija za nadopunu znanja, ako sam dobro shvatila...još ću se raspitati u referadi...


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Mr.Doe
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 11. 01. 2005. (21:20:57)
Postovi: (21A)16
Sarma = la pohva - posuda
20 = 50 - 30

PostPostano: 16:43 pon, 16. 7. 2007    Naslov: Citirajte i odgovorite

Molio bih da mi kazete nesta o kolegijima:

Kompaktni operatori
Algebra
Odabrana poglavlja teorije reprezentacija
Diferencijalna geometrija
Teorija funkcija (o ovome znam nesta, no htio cuti druge studente)
Molio bih da mi kazete nesta o kolegijima:

Kompaktni operatori
Algebra
Odabrana poglavlja teorije reprezentacija
Diferencijalna geometrija
Teorija funkcija (o ovome znam nesta, no htio cuti druge studente)


[Vrh]
Korisnički profil Pošaljite privatnu poruku
MB
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 01. 07. 2005. (12:35:21)
Postovi: (224)16
Spol: muško
Sarma = la pohva - posuda
62 = 80 - 18
Lokacija: Molvice

PostPostano: 20:32 uto, 17. 7. 2007    Naslov: Citirajte i odgovorite

Kompaktni op. i Uvod u t. repja su kolegiji koje drzi prof. Kraljevic. Kolegiji su jako zanimljivi, jako se puno toga nauci i treba puno raditi.
Na kompaktnim operatorima se dobije dosta dobar uvod u funkcionalnu analizu, pa mozes potraziti bilo koju knjigu ili skriptu s tim sadrzajem da vidis o cemu se radi.
Ono sto je karakteristicno za kolegije kod prof. Kraljevica je da nema usmenog i da se umjesto toga svaki tjedan pisu domace zadace koje se sastoje od 5-6 zadataka kroz koje se prodje gradivo. Zadaci su dovrsit neki teorem i sl, neki su lagani, neki nesto tezi. Profesor za sve svoje kolegije ima super napisanu skriptu, a svaki sat donose iskopiran onaj dio koji ispredaje taj sat.
Na vjezbama smo imali jako dobre asistente, koji su nam dosta priblizili neke stvari koje nisu bile razumljive, a i za kolokvije su nas dobro pripremili i bili susretljivi pa nije nikad bilo problema.
Ocjena se dobije na temelju aritmeticke sredine postotka rijesenih zadataka i postotka rijesenosti kolokvija.
Preporucam svima koji se zele malo vise bavit teorijskom matematikom i imaju volje posvetiti vrijeme rjesavanju tih zadataka.

Algebra i dif. geometrija su obavezni na 4. god, nisam ih jos slusao, pa ti mozda jos netko stariji dopuni ovo..
Algebra je po starom programu dvosemestralni predmet na kojem se ponovi puno toga sa alg. struktura, samo opsirnije i vise u dubinu.
Kompaktni op. i Uvod u t. repja su kolegiji koje drzi prof. Kraljevic. Kolegiji su jako zanimljivi, jako se puno toga nauci i treba puno raditi.
Na kompaktnim operatorima se dobije dosta dobar uvod u funkcionalnu analizu, pa mozes potraziti bilo koju knjigu ili skriptu s tim sadrzajem da vidis o cemu se radi.
Ono sto je karakteristicno za kolegije kod prof. Kraljevica je da nema usmenog i da se umjesto toga svaki tjedan pisu domace zadace koje se sastoje od 5-6 zadataka kroz koje se prodje gradivo. Zadaci su dovrsit neki teorem i sl, neki su lagani, neki nesto tezi. Profesor za sve svoje kolegije ima super napisanu skriptu, a svaki sat donose iskopiran onaj dio koji ispredaje taj sat.
Na vjezbama smo imali jako dobre asistente, koji su nam dosta priblizili neke stvari koje nisu bile razumljive, a i za kolokvije su nas dobro pripremili i bili susretljivi pa nije nikad bilo problema.
Ocjena se dobije na temelju aritmeticke sredine postotka rijesenih zadataka i postotka rijesenosti kolokvija.
Preporucam svima koji se zele malo vise bavit teorijskom matematikom i imaju volje posvetiti vrijeme rjesavanju tih zadataka.

Algebra i dif. geometrija su obavezni na 4. god, nisam ih jos slusao, pa ti mozda jos netko stariji dopuni ovo..
Algebra je po starom programu dvosemestralni predmet na kojem se ponovi puno toga sa alg. struktura, samo opsirnije i vise u dubinu.



_________________
Trcim u krug od srece!


Zadnja promjena: MB; 16:08 čet, 19. 7. 2007; ukupno mijenjano 1 put.
[Vrh]
Korisnički profil Pošaljite privatnu poruku Posjetite Web stranice
MB
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 01. 07. 2005. (12:35:21)
Postovi: (224)16
Spol: muško
Sarma = la pohva - posuda
62 = 80 - 18
Lokacija: Molvice

PostPostano: 22:10 uto, 17. 7. 2007    Naslov: Citirajte i odgovorite

jel mi moze itko reci nesto vise o kolegijima s fizike koji su ponudjeni kao izborni?
kakvi su profesori koji ih drze?
treba li kakvo predznanje? pise da mogu upisat samo primjenjenci (ne znam koje su oni predmete odslusali koji bi cinili razliku sto se tice predznanja)
jel mi moze itko reci nesto vise o kolegijima s fizike koji su ponudjeni kao izborni?
kakvi su profesori koji ih drze?
treba li kakvo predznanje? pise da mogu upisat samo primjenjenci (ne znam koje su oni predmete odslusali koji bi cinili razliku sto se tice predznanja)



_________________
Trcim u krug od srece!
[Vrh]
Korisnički profil Pošaljite privatnu poruku Posjetite Web stranice
Nesi
Inventar Foruma
(Moderator)
Inventar Foruma<br>(Moderator)


Pridružen/a: 14. 10. 2002. (14:27:35)
Postovi: (E68)16
Spol: kućni ljubimac
Sarma: -

PostPostano: 1:15 sri, 18. 7. 2007    Naslov: Citirajte i odgovorite

[quote="MB"]Ono sto je karakteristicno za kolegije kod prof. Kraljevica je da [color=#9933FF]nema zadaca[/color] i da se [color=#ff0066]umjesto toga svaki tjedan pisu domace zadace[/color] koje se sastoje od 5-6 zadataka kroz koje se prodje gradivo. [/quote]

:-k ;)

mislim da bi trebalo necime zamijeniti ovaj ljubicasti 'nema zadaca' ;-)
MB (napisa):
Ono sto je karakteristicno za kolegije kod prof. Kraljevica je da nema zadaca i da se umjesto toga svaki tjedan pisu domace zadace koje se sastoje od 5-6 zadataka kroz koje se prodje gradivo.


Think Wink

mislim da bi trebalo necime zamijeniti ovaj ljubicasti 'nema zadaca' Wink


[Vrh]
Korisnički profil Pošaljite privatnu poruku Posjetite Web stranice
pecina
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 19. 01. 2005. (14:15:23)
Postovi: (157)16
Spol: kućni ljubimac
Sarma = la pohva - posuda
62 = 85 - 23
Lokacija: Happily traveling through space since 1986!

PostPostano: 1:34 sri, 18. 7. 2007    Naslov: Citirajte i odgovorite

Nema pismeni i usmeni AFAIK :P
Nema pismeni i usmeni AFAIK Razz



_________________
-- space available for rent --
[Vrh]
Korisnički profil Pošaljite privatnu poruku
Braslav
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 18. 10. 2005. (19:47:44)
Postovi: (ED)16
Spol: muško
Sarma = la pohva - posuda
39 = 49 - 10

PostPostano: 9:41 sri, 18. 7. 2007    Naslov: Citirajte i odgovorite

Teorija funkcija je jako zanimljiv kolegij u kojem je glavno formlirati problem postavljanja kabla ili zice na dno mora, te dokazati da rjesenje postoji uz jedan zadatak po seminaru gdje numrickim metodama se rijesi jedan konkretan primjer, ali profesor nece odrzavati kolegij ukoliko se se ne skupi barem 3 slusatalja inace samo daje literturu koja je na francuskom.
Teorija funkcija je jako zanimljiv kolegij u kojem je glavno formlirati problem postavljanja kabla ili zice na dno mora, te dokazati da rjesenje postoji uz jedan zadatak po seminaru gdje numrickim metodama se rijesi jedan konkretan primjer, ali profesor nece odrzavati kolegij ukoliko se se ne skupi barem 3 slusatalja inace samo daje literturu koja je na francuskom.


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Mr.Doe
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 11. 01. 2005. (21:20:57)
Postovi: (21A)16
Sarma = la pohva - posuda
20 = 50 - 30

PostPostano: 11:09 sri, 18. 7. 2007    Naslov: Citirajte i odgovorite

Hvala puno svima :D !

@MB: imam pitanje oko dokazivanja teorema; kako to izgleda (?), jer mi se to cini dosta tesko , pogotovo ako ne dobijemo upute za dokazivanje ili ukoliko je neki tezi teorem.
Hvala puno svima Very Happy !

@MB: imam pitanje oko dokazivanja teorema; kako to izgleda (?), jer mi se to cini dosta tesko , pogotovo ako ne dobijemo upute za dokazivanje ili ukoliko je neki tezi teorem.


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Prethodni postovi:   
Započnite novu temu   Ova tema je zaključana: ne možete uređivati postove niti odgovarati.   printer-friendly view    Forum@DeGiorgi: Početna -> Ostalo - ozbiljno -> Opća pitanja i rasprave o studiju Vremenska zona: GMT + 01:00.
Idite na Prethodno  1, 2, 3, 4, 5, 6, 7, 8  Sljedeće
Stranica 7 / 8.

 
Forum(o)Bir:  
Ne možete otvarati nove teme.
Ne možete odgovarati na postove.
Ne možete uređivati Vaše postove.
Ne možete izbrisati Vaše postove.
Ne možete glasovati u anketama.
You cannot attach files in this forum
You can download files in this forum


Powered by phpBB © 2001, 2002 phpBB Group
Theme created by Vjacheslav Trushkin
HR (Cro) by Ančica Sečan