Forum@DeGiorgi :: Pogledajte temu

through

[^/[Print]\]

Forum@DeGiorgi -> Matematički kolegiji

#1: Matematicka logika Autor/ica: Gost,

Postano: 8:01 sri, 6. 9. 2006
—
molim neku dobru dusu koja je bila na usmenom iz logike da napise koliko detaljno profesor pita i na koji dio gradiva najvise obraca paznju. ima toga dosta pa da skratim muke Smile

hvala

#2: Re: Matematicka logika Autor/ica: Gost,

Postano: 22:34 pon, 5. 2. 2007
—

Anonymous (napisa):

molim neku dobru dusu koja je bila na usmenom iz logike da napise koliko detaljno profesor pita i na koji dio gradiva najvise obraca paznju. ima toga dosta pa da skratim muke Smile

hvala

slicno i mene muci Laughing

takodjer bi molio da javite kada saznate kada ce biti usmeni na prvom roku

#3: Re: Matematicka logika Autor/ica: hermione,

Postano: 22:38 pon, 5. 2. 2007
—

Anonymous (napisa):

molim neku dobru dusu koja je bila na usmenom iz logike da napise koliko detaljno profesor pita i na koji dio gradiva najvise obraca paznju. ima toga dosta pa da skratim muke Smile

hvala

slicno i mene muci Laughing

takodjer bi molio da javite kada saznate kada ce biti usmeni na prvom roku

Za termine usmenih se dogovaramo s profesorom preko e-maila. Bio bi zadovoljan kada bi mu se javila grupica od par ljudi da bi oni odgovarali tad i tad... No, sve to je receno bilo na zadnjem predavanju!
A sto se tice usmenoga princip je analogan kao i na kolokviju!

#4: Autor/ica: Gost,

Postano: 22:44 pon, 5. 2. 2007
—
hvala Wink

hoces reci da ce pokrivati gradivo s kolokvija ili da ce bas ona pitanja sa kolokvija biti na usmenom(+dokazi)?

#5: Autor/ica: hermione,

Postano: 22:48 pon, 5. 2. 2007
—

Anonymous (napisa):

hvala

hoces reci da ce pokrivati gradivo s kolokvija ili da ce bas ona pitanja sa kolokvija biti na usmenom(+dokazi)?

Prof. obicno pita Tm s imenom, kao sto je bilo i na kolokvijima.

#6: Autor/ica: Romana,

Postano: 19:36 uto, 6. 2. 2007
—
Jel bi mogo neko napisat do kud smo točno došli s gradivom (u skripti)?

#7: Autor/ica: Gost,

Postano: 20:37 sri, 7. 2. 2007
—
godelov tm. potpunosti je na zadnjem satu obradjen, a zadnje je spomenut churchov tm

kada su rezultati pismenog? jel pisalo na papiru kada je usmeni?

#8: Autor/ica: Romana,

Postano: 0:37 čet, 8. 2. 2007
—
Hvala na odgovoru.
Rezultati pismenog su u petak u 15.00, nije pisalo ništa za usmeni.

#9: Autor/ica: Gost,

Postano: 16:08 pet, 9. 2. 2007
—
jel se zna kad su usmeni? jesu bili rezultati?

#10: Autor/ica: Romana,

Postano: 21:38 pet, 9. 2. 2007
—
za usmeni se dogovara s profesorom preko maila, to je pisalo na rezultatima.

#11: Autor/ica: Gost,

Postano: 19:11 sri, 14. 2. 2007
—
danas su navodno bili neki usmeni

kak je bilo? jel bio tko? sto je prof pitao?

#12: Autor/ica: hermione,

Postano: 0:54 uto, 20. 2. 2007
—
Tm. adekvatnosti za PD, RS i teoriju T, Craigeova lema, Tm.potpunosti, Tm. kompaktnosti, def dokaza u RS, sigma interpretacije

#13: Autor/ica: Mishika,

Postano: 11:50 pon, 26. 2. 2007
—
Evo još nekih pitanje s usmenog koja još nisu spominjana:
-teorem dedukcije+dokaz
-definicija stabla
-veza klasične logike sudova i inuicionističke logike(ovo je pitanje bilo za 5)

#14: Autor/ica: Gost,

Postano: 15:19 uto, 27. 2. 2007
—
- konkatenacija
- formula logike sudova
- relacija logičke posljedice
- DNF
- konzistentnost
- podriječ
- logički ekvivalentne formule
- valjana formula
- savršena KNF
- potpun skup

- tm o normalnoj formi (+dokaz)
- tm adekvatnosti u rs (+dokaz)
- tm dedukcije u rs (+dokaz)
- tm potpunosti u rs (+dokaz)
- jaki tm potpunosti u rs(+dokaz)
- Craigova lema u rs(+dokaz)
- svojstva konzistentnosti u rs(+dokaz)
- generalizirani tm potpunosti u rs(+dokaz)
- tm kompaktnosti u rs (+dokaz)

- stablo
- term
- srtuktura i interpretacija
- istinitost svaki x F
- konzistentan skup u rp
- stablo
- formula za T teoriju
- term slobodan za neku varijablu
- terojia T
- preneksna NF

- tm adekvatnosti u pd (+dokaz)
- tm o vezi rp i pd (+dokaz)
- tm dedukcije logike 1 reda (+dokaz)
- svojstva konzistentnosti u teoriji T (+dokaz)
- Gődelov tm
- tm potpunosti u pd (+dokaz)
- tm o preneksnoj NF (+dokaz)
- lema proširenja valuacije na skup terma (+dokaz)
- pravila za (ne svaki x F) i (ne postoji x F)
- tm dedukcije u RP (+dokaz)

#15: Autor/ica: Gost,

Postano: 12:29 sri, 28. 2. 2007
—
hvala puno na trudu Smile

sto iz izracunjivosti ne pita nista?

#16: Autor/ica: Nesi,

Postano: 16:08 sri, 28. 2. 2007
—
mislim da su ovo pitanja iz logike 1 (prof smjer), tj prvog semestra logike (ing smjer)

#17: Autor/ica: hermione,

Postano: 17:27 sri, 28. 2. 2007
—

Nesi (napisa):

mislim da su ovo pitanja iz logike 1 (prof smjer), tj prvog semestra logike (ing smjer)

I onih koji su logiku 1 upisali kao izborni!

#18: Autor/ica: Gost,

Postano: 13:56 pon, 16. 4. 2007
—
kad ce biti rezultati pismenog iz mat log 1 pisanih danas? da li se zna kada ce biti usmeni? (hoce li biti objavljeni s rezultatima?)

i jos dva pitanja u vezi usmenih: da li profesor inzistira na dokazima(da li pogleda kroz prste ako se ne bas svaki)? imam osjecaj da PD bas i ne pita, jel to istina?

unaprijed hvala

#19: Autor/ica: hermione,

Postano: 13:58 pon, 16. 4. 2007
—

Anonymous (napisa):

imam osjecaj da PD bas i ne pita, jel to istina?

unaprijed hvala

NE!

#20: Autor/ica: Gost,

Postano: 10:02 uto, 17. 4. 2007
—
Netko je napisao da je zadnje sto se radilo na predavanjima Godelov teorem potpunosti. Jel to tocno i jel profesor mozda neke stvari iz skripte prije tog teorema preskocio?

#21: Autor/ica: hermione,

Postano: 11:18 uto, 17. 4. 2007
—

Anonymous (napisa):

Netko je napisao da je zadnje sto se radilo na predavanjima Godelov teorem potpunosti. Jel to tocno i jel profesor mozda neke stvari iz skripte prije tog teorema preskocio?

Zadnje je bio Skolemov tm na dole i na gore. I da istina je da je su neke stvari preskocene.

#22: Autor/ica: Lana,

Postano: 12:41 uto, 17. 4. 2007
—
Jel bi netko mozda mogao napisati sto je tocno preskoceno?

#23: Autor/ica: mickey,

Postano: 23:21 ned, 8. 7. 2007
—
pisem ovo u nadi da ce ova tema opet zazivjeti...
naime, zanimaju me pitanja na usmenom iz drugog semestra logike.. ako netko zna, bila bih jaaaako zahvalna... ili barem informacija o tom sto se ne treba znati (tipa kategoricnost teorija, ultraprodukti...), koliko detaljno treba znati primjere teorija prvog reda?
eto, hvala, unaprijed Thank you

#24: Autor/ica: mickey,

Postano: 13:31 čet, 12. 7. 2007
—
evo odgovorit cu sama sebi:
- sto su parcijalno rekurzivne funkcije?
- simultana rekurzija?
- teorem o parametru
- definicija RAM stroja
- odnos klasa parcijalno rekurzivnih i klase RAM-izracunjivih funkcija
- Lindenbaumova lema

#25: Autor/ica: Nesi,

Postano: 4:08 pon, 16. 7. 2007
—
jel moze netko odvojtii 10tak minuta i izdvojiti koja poglavlja se nisu radila ove godine iz logike na predavanjima (2semetralna)?
ako je samo neki dio preskocen, brojevi stranica su super identifikator, a svaka informacija vise - bonus Wink

sadrzaj kolegija slijedi, pa bi cjepkanje trebalo biti lakse...
zahvaljujem Wink

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 deﬁnicije . . . . . . . . . . . . . . . . . . . . . . 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
Bibliograﬁja 241
Indeks 244

nastavak 2. semestra (napisa):

1 Izračunljivost 5
1.1 Uvod . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.1 Opisne deﬁnicije 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 prebrojivi skupovi . . . . . . . . . . . . . . . . . . . . 84
1.10 Dodatak: Ackermannova funkcija . . . . . . . . . . . . . . . . . . 97
Indeks 106
Bibliograﬁja 109

#26: Autor/ica: keira,

Postano: 21:40 uto, 30. 10. 2007
—

Citat:

1.9 Neke neklasične logike sudova . . . . . . . .. . . . . . . . . . . . 108
1.9.1 Intuicionistička logika . . . . . . . . . . . . . . . . . . . . 108

Da li bi netko mogao skenirati ovih 4 strana o intuicionističkoj logici i poslati? Il da me bar uputite na neku literaturu o tome jer mi treba za seminar.

#27: Autor/ica: petrich,

Postano: 9:53 sri, 31. 10. 2007
—

keira (napisa):

Citat:

1.9 Neke neklasične logike sudova . . . . . . . .. . . . . . . . . . . . 108
1.9.1 Intuicionistička logika . . . . . . . . . . . . . . . . . . . . 108

Da li bi netko mogao skenirati ovih 4 strana o intuicionističkoj logici i poslati? Il da me bar uputite na neku literaturu o tome jer mi treba za seminar.

na ovoj stranici imas skriptu prof Vukovica za zimski semestar i u njoj ces valjda nac to sto ti treba. Wink

http://web.math.hr/~vukovic/dodiplomska_nastava.htm

Zadnja promjena: petrich; 11:33 uto, 6. 11. 2007; ukupno mijenjano 1 put.

#28: Autor/ica: keira,

Postano: 11:49 sub, 3. 11. 2007
—
Puno ti hvala Wink

#29: Autor/ica: Nesi,

Postano: 1:35 čet, 8. 11. 2007
—
Zadaci s vježbi iz logike (2 semestralni kolegij)

Možete ih skinuti ovdje (za prošle i današnje vježbe)

#30: Autor/ica: Ivecus,

Postano: 9:35 pet, 23. 11. 2007
—
Jel zna netko mozda kad ce rezultati kolokvija pisanog u utorak, nisam vidio jel pisalo sta na kolokviju ???
Hvala!

#31: Autor/ica: Bee, Lokacija: Hicksville

Postano: 16:39 pet, 23. 11. 2007
—
rekao je asistent da negdje drugi tjedan.. nista preciznije

#32: Pitanja s usmenog Autor/ica: Fran,

Postano: 8:38 sri, 20. 2. 2008
—
- veza između RAM izračunljivih i primitivno rekurzivnih funkcija
- kodiranje nizova
- tm o parametru
- riceov tm

#33: Autor/ica: B&I,

Postano: 13:58 čet, 21. 2. 2008
—
- primitivna rekurzija
- simultana rekurzija
- index-i
- Kleenijev teorem + posljedice (4 teorema nakon njega u skripti)
- Tm o parametru
- Tm o fiksnoj točki
- Tm rekurzije
- Halting problem

još nešto
- što je {e}
- za n € N def. indeksa

-što je sigma struktura
-generalizirani teorem za teoriju T (+ posljedica -"Gedelov" teorem )
-što model za teoriju T
-def. konzistentene teorije T

Zadnja promjena: B&I; 18:32 sri, 5. 3. 2008; ukupno mijenjano 1 put.

#34: Autor/ica: Gost,

Postano: 19:34 sub, 23. 2. 2008
—
pita li prof. Vuković alternativne aksiomatizacije i neklasične logike sudova na usmenom?

#35: termin usmenog Autor/ica: Gost,

Postano: 3:56 ned, 24. 2. 2008
—
Nisam mogao doci do faksa vidjeti rezultate pa ako netko zna kad je usmeni iz logike 1 bio bih zahvalan da napise.

#36: Autor/ica: B&I,

Postano: 9:10 pon, 25. 2. 2008
—
Na rezultatima je pisalo da se trebamo javit profesoru mailom.
Evo odgovora:
Usmeni iz matematičke logike (dvosemestralni kolegij) je u četvrtak 28. 9. 2008 u 9 sati.

a za mat. log. 1 ne znam.

#37: Još pitanja sa usmenog (dvosemestralna logika) Autor/ica: Fran,

Postano: 20:49 uto, 29. 4. 2008
—
- primitivno rekurzivne funkcije
- simultana primitivna rekirzija (+dokaz da su tako definirane fje prim. rek.),
- tm o rekurziji
- craigova interpolaciona lema
- F je teorem teorije T akko je zatvorenje of F tm teorije T
- Lowenheim-Skolemov tm na dolje

- za sve tm-e prof. pita dokaze, nije nužno da ih sve znate ali je poželjno da znate barem ideju dokaza, odnosno preko kojeg teorema se izvodi

#38: Zadatak Autor/ica: suxich,

Postano: 16:04 pet, 2. 5. 2008
—
Jel ima ko vremena da mi napravi par zadataka iz logike za srednju školu??

#39: Autor/ica: hampton&richmond,

Postano: 20:07 ned, 13. 7. 2008
—
Može li mi netko reći koja poglavlja iz one skripte na internetu treba znati za usmeni za logiku 1 (onu jednosemestralnu)?

#40: Autor/ica: jadni,

Postano: 9:38 pon, 14. 7. 2008
—
Nemam pojma Shocked

. h&r kad imas usmeni?

Da li netko zna kad su tocno usmeni ovaj tjedan iz dvosemstralne logike?

#41: Autor/ica: ijukic,

Postano: 11:31 pon, 14. 7. 2008
—

jadni (napisa):

Da li netko zna kad su tocno usmeni ovaj tjedan iz dvosemstralne logike?

Prof. Vukovic je rekao da dodjem u cetvrtak u 12h, pretpostavljam da usmeni pocinje oko 10-11h.

#42: Autor/ica: hampton&richmond,

Postano: 17:18 pon, 14. 7. 2008
—

jadni (napisa):

Nemam pojma Shocked

. h&r kad imas usmeni?

Da li netko zna kad su tocno usmeni ovaj tjedan iz dvosemstralne logike?

Imam na jesen komisiju pa bih htio to spremiti kako treba, a pojma nemam kaj treba učiti...mislim da ne treba cijelu skriptu nego samo neka poglavlja, a ne znam koja...

#43: Autor/ica: plavooka, Lokacija: Zagreb

Postano: 18:07 pon, 14. 7. 2008
—
..na stranici kolegija piše da je Matematička logika 1 do iskaza Generaliziranog teorema potpunosti za teorije prvog reda.. a to je poglavlje 2.7.2. u skripti..

#44: Autor/ica: hampton&richmond,

Postano: 18:20 pon, 14. 7. 2008
—

plavooka (napisa):

..na stranici kolegija piše da je Matematička logika 1 do iskaza Generaliziranog teorema potpunosti za teorije prvog reda.. a to je poglavlje 2.7.2. u skripti..

To je nemoguće. Da je tako, znači da bi u prvom semestru trebalo naučiti 193 strane, a u drugome samo 46 strana, jer knjiga ima ukupno 239 strana.

#45: Autor/ica: plavooka, Lokacija: Zagreb

Postano: 19:03 pon, 14. 7. 2008
—
Very Happy

bez brige.. u drugom semestru se još radi i izračunljivost, za taj dio gradiva ima posebna skripta..

#46: Autor/ica: hampton&richmond,

Postano: 21:59 pon, 14. 7. 2008
—
OK, znači riješili smo da treba naučiti prvih 193 strane. Ali, dobro se sjećam da ne treba sve od toga, mislim da čak više od polovicu toga ne treba znati.
Štoviše, meni je cilj dobiti 2 i navodno da ne treba učiti dokaze za dvojku (tako mi je nešto rekao na usmenom kad me srušio, tipa kolega definicije morate znati, dokaze baš i ne...).
Znači zanima me što od tih 193 strane treba učiti za dobiti dva?

#47: Autor/ica: davi,

Postano: 12:55 sri, 16. 7. 2008
—
Ako ti je cilj dobiti 2 nauci sve definicije i iskaze vaznijih teorema

#48: Autor/ica: hampton&richmond,

Postano: 18:51 sri, 16. 7. 2008
—

davi (napisa):

Ako ti je cilj dobiti 2 nauci sve definicije i iskaze vaznijih teorema

Ok. Znači to je sigurno dovoljno za 2? A kaj ak padnem na komisiji?
Pretpostavljam da su ''važniji'' teoremi samo oni sa imenom...tako je bar bilo nekad u drugim predmetima...

#49: Autor/ica: petrich,

Postano: 19:18 sri, 16. 7. 2008
—

hampton&richmond (napisa):

Ok. Znači to je sigurno dovoljno za 2? A kaj ak padnem na komisiji?
Pretpostavljam da su ''važniji'' teoremi samo oni sa imenom...tako je bar bilo nekad u drugim predmetima...

Ma cekaj, jesam ja nekaj krivo skuzila?
Na jesen ti je komisija i htio bi to dobro nauciti?
Zakaj onda razmisljas kaj ti je dovoljno za 2?! Think

Mislim, nacin na koji razmisljas ima smisla za nekog tko to prvi put izlazi, nema bas vremena naucit to kak se spada pa uci samo ono najosnovnije i nada se da ce ga pitat bas ono kaj je ucio...

btw kaj nema na stranicama prije ove napisano kaj se radilo, kaj prof pita i sl?

#50: Autor/ica: hampton&richmond,

Postano: 22:19 sri, 16. 7. 2008
—
Nema ništa, a znam da ne treba cijelu skriptu učiti, pola toga se nije radilo na predavanjima. Ma kopirao sam ja predavanja prije koju godinu ali pitaj Boga gdje je to završilo, valjda je negdje u šupi a sad mi se neda tražit Very Happy

Pa htio bi dobro naučit, al dobro je relativan pojam, meni je 2 sasvim dosta jer na jesen idem na 11 ispita i nemam vremena ići dublje u teoriju. A pismeni ionako neću proć, zadnja dva puta sam imao 5 bodova od 100 Screamin' 'n' Dancin'

Bilo bi lijepo kad bi netko napisao točno koje definicije i koje teoreme treba naučiti, i kolika je šansa da prođem ispit.

#51: UPOMOĆ Autor/ica: Obscuritas, Lokacija: Zagreb

Postano: 10:00 uto, 5. 8. 2008
—
Pozdrav svima!
Evo baš sam naletila na ovu temu pa ću tu napisati svoj problem da ne otvaram novu.
Studiram na Filozofskom i uvjet mi je matematička logika, no imam problema s matematikomtim, pa tako i tim.
Radimo aksiomatske sustave, dokaze teorema, skupove, mat. indukciju, prirodnu dedukciju itd.
Ako ima itko tko bi mi želio dati instrukcije, molim da mi se javi ovdje ili na privatnu poruku. Jako je hitno.

P.S. Skinula sam skriptu prof. Vukovića, no očito mi nedostaje nekih osnova, što terminoloških, što matematičkih, pa mi bez nečije pomoći neće biti previše od koristi.

#52: Autor/ica: Smith, Lokacija: {Tamo Gore}^{TM}

Postano: 14:08 uto, 5. 8. 2008
—
Imas PM. Wink

#53: Autor/ica: kreso,

Postano: 17:52 ned, 5. 10. 2008
—
Da li ima netko pismene sa novijih rokova (2007-2008) da objesi ovdje koji ?

I dal netko može reći koliko se oni iu 2006. (sa vekijevih stranica) razlikuju od rokova novijeg datuma?

Tnx

#54: Autor/ica: kreso,

Postano: 21:56 pon, 17. 11. 2008
—
Imam ja evo ih u attachemntu Very Happy

od 21.4 do 29.9 (da 2008)

noviji.rar

Description:

Download

Filename:

noviji.rar

Filesize:

174.7 KB

Downloaded:

181 Time(s)

#55: Autor/ica: nameless, Lokacija: Zagreb

Postano: 19:30 uto, 18. 11. 2008
—
jel se zna slučajno kad će bit rezultati?

#56: Autor/ica: Marvin,

Postano: 17:28 uto, 25. 11. 2008
—

nameless (napisa):

jel se zna slučajno kad će bit rezultati?

Rezultati su na webu, uvid u zadaće bit će u srijedu (26. studenog) u 12 sati.

(izvor: http://vedgar.googlepages.com/ml-kolokviji)

edit: Da li netko zna koji je zadatak bio 4. zadatak?

#57: Autor/ica: ß, Lokacija: Graveyard Mountain Home

Postano: 17:35 uto, 25. 11. 2008
—

Marvin (napisa):

Da li netko zna koji je zadatak bio 4. zadatak?

Glavni test.

#58: Autor/ica: piskalo, Lokacija: NP

Postano: 20:25 uto, 25. 11. 2008
—
A zna ko koji je zadatak bio treći? Ne piše mi nista u bodovima, niti 0 niti bilo šta, a siguran sam da sam bar nešto napisao. Ne stignem ići na žalbe pa me zanima dal mogu nekome poslat mejl....

#59: Autor/ica: nameless, Lokacija: Zagreb

Postano: 20:42 uto, 25. 11. 2008
—
treći ti je bio postoji li totalna interpretacija I t.d je skup Sj={F:I(F)=1} konačan...

ako ništa ne piše mislim da znači da nije predano, možda su izgubili ili falili

#60: Autor/ica: piskalo, Lokacija: NP

Postano: 20:46 uto, 25. 11. 2008
—
ok, fala, mislim da se onda nebum isel žalit..... Very Happy

#61: Autor/ica: blup,

Postano: 13:47 sub, 3. 1. 2009
—
trebaju mi materijali iz matematičke logike samo 1. semestar, osim profesorove skripe. molim vas pomozite! placam ako treba! možete mi se javiti na mail marija.polaca@gmail.com

#62: Autor/ica: jelenko*,

Postano: 13:12 pet, 16. 1. 2009
—
Postoji li mogućnost da netko stavi rezultate pismenog sa roka 14.01. na forum ili bar negdje na net tako da ne moramo dolaziti na faks veceras u 6?

#63: Autor/ica: m00nblade,

Postano: 13:03 ned, 1. 2. 2009
—
Bio bih jako zahvalan ako netko ima predavanja iz logike s profesorove stranice da mi posalje na mail ...
unaprijed hvala Smile

#64: Autor/ica: Mad Wilson,

Postano: 15:30 ned, 1. 2. 2009
—

m00nblade (napisa):

Bio bih jako zahvalan ako netko ima predavanja iz logike s profesorove stranice da mi posalje na mail ...
unaprijed hvala Smile

http://vedgar.googlepages.com/ml ovdje pise da nije azurno, ali imas link na skriptu...

#65: Autor/ica: m00nblade,

Postano: 15:35 ned, 1. 2. 2009
—

Mad Wilson (napisa):

m00nblade (napisa):

Bio bih jako zahvalan ako netko ima predavanja iz logike s profesorove stranice da mi posalje na mail ...
unaprijed hvala Smile

http://vedgar.googlepages.com/ml ovdje pise da nije azurno, ali imas link na skriptu...

ne treba mi skripta, nego bas predavanja od ove godine sto su na profesorovim stranicama.. ali ipak hvala na pomoci Wink

#66: Autor/ica: Mad Wilson,

Postano: 15:58 ned, 1. 2. 2009
—

m00nblade (napisa):

ne treba mi skripta, nego bas predavanja od ove godine sto su na profesorovim stranicama.. ali ipak hvala na pomoci Wink

pa koja je razlika?

Added after 18 minutes:

dok cekamo odgovor, molio bih da i meni taj netko posalje na mail Very Happy

#67: Autor/ica: m00nblade,

Postano: 16:06 ned, 1. 2. 2009
—
Razlika je u tome sto u skripti ima i nekih dodatnih stvari

#68: Autor/ica: Mad Wilson,

Postano: 16:09 ned, 1. 2. 2009
—

m00nblade (napisa):

Razlika je u tome sto u skripti ima i nekih dodatnih stvari

uh, uh... onda bih molio svakog tko je u mogucnosti, da me sprijeci da ucim i te dodatne stvari !! Very Happy

EDIT: sprijecen sam! hvala !! karma++

#69: Autor/ica: i v a n č i c a,

Postano: 11:12 pon, 2. 2. 2009
—

Mad Wilson (napisa):

EDIT: sprijecen sam! hvala !! karma++

daj i nas ostale spriječi!!!!!!!!!! podhitno!!!!!!!!!!!!! Very Happy

#70: Autor/ica: kika,

Postano: 19:09 pon, 2. 2. 2009
—
da li netko zna sto bi moglo doci od dokaza na 2.kolokviju?

#71: Autor/ica: bubble,

Postano: 20:39 pon, 2. 2. 2009
—

arya (napisa):

uglavnom, primjeri što bi moglo za dokaz doć: tm. potpunosti ( ne treba dokazivati za aksiome da su teoremi), s tim da mi ne piše za koji točno sistem bi to moglo bit... teorem dedukcije za PD, dokazat da je neki aksiom RP-a valjana formula, tm. adekvatnosti za RP ( ne treba dokazivati da je svaki aksiom valjana formula), pravila prijelaza za kvantifikatore, svaka sudovno valjana formula je teorem svake teorije prvog reda, godelov teorem, tm. kompaktnosti, lowenheim-skolemov teorem "na dolje" i "na gore"..

Nadam se da se arya nece ljutiti.. Smile

Da barem nekome pomogne Very Happy

#72: Autor/ica: arya, Lokacija: forum

Postano: 20:49 pon, 2. 2. 2009
—

bubble (napisa):

Nadam se da se arya nece ljutiti.. Smile

Da barem nekome pomogne Very Happy

pa naravno da se neću ljutit Wink

ak je tu nešto krivo, ja se ispričavam, kad sam to pisala, nisam bila baš upućena u gradivo Very Happy

#73: Autor/ica: m00nblade,

Postano: 21:04 pon, 2. 2. 2009
—
Zna li itko hoce li biti onaj dio s modalnom logikom u kolokviju?

#74: Autor/ica: kika,

Postano: 21:27 pon, 2. 2. 2009
—
puno hvala Smile

karma ++ i tebi i aryi Wink

#75: Autor/ica: anekalo,

Postano: 16:30 sub, 7. 2. 2009
—
Dosli su rezultati 2. kolokvija!!

Samo sto su skriveni pod linkom za rezultate 1. kolokvija Very Happy

#76: Autor/ica: arya, Lokacija: forum

Postano: 17:24 sub, 7. 2. 2009
—

anekalo (napisa):

Samo sto su skriveni pod linkom za rezultate 1. kolokvija Very Happy

hvala na obavijesti Smile

sama ne bih nikad skužila, kakav je to način stavljanja...
hvala još jednom Smile

#77: popravni kolokvij Autor/ica: Floki,

Postano: 18:17 sub, 7. 2. 2009
—
Da li se zna kak će izgledati popravni iz mat.logike?

#78: Autor/ica: loreal, Lokacija: sava

Postano: 20:26 sub, 7. 2. 2009
—
hej, moze li mi itko reci jel ovi ljudi koji su iznad crte mogu ili moraju ici na usmeni???

hvala:)

#79: Autor/ica: arya, Lokacija: forum

Postano: 20:49 sub, 7. 2. 2009
—

loreal (napisa):

hej, moze li mi itko reci jel ovi ljudi koji su iznad crte mogu ili moraju ici na usmeni???

hvala:)

pa, ovako, ja ću sad to probat objasnit što bolje mogu Smile

dakle... ak imaš 40 bodova barem, i teoriju dobro riješenu ( dakle iznad 50%, po mogućnosti da si iskaze/definicije dobro napisao/napisala, dokazi ne toliko bitni), moguće da ti ponudi profesor 2, eventualno 3, ako imaš baš dosta bodova... za nešto više, usmeni... ili ako nemaš 40, ili ako imaš slabije riješenu teoriju, opet usmeni...

e sad, to isto nije sigurno Very Happy

rekao profesor da će on na licu mjestu pogledat tvoje rezultate, vidjet hoće li nudit ocjenu ili će pitat... individualno to procjenjuje Smile

tak da, ovo gore se ne smije uzimati sa sigurnošću ( tak je on rekao)...

eto, nadam se da sam dobro zapamtila, ak sam nešto pogriješila, nek me netko ispravi Smile

#80: Autor/ica: loreal, Lokacija: sava

Postano: 21:01 sub, 7. 2. 2009
—
oki doki, thx Smile

#81: Autor/ica: arya, Lokacija: forum

Postano: 21:54 sub, 7. 2. 2009
—
e da, ne znam jel jasno iz onog gore... uglavnom, hoćeš li morat odgovorat ili će ti profesor nudit ocjenu saznat ćeš tek na samom usmenom, ne prije... bar sam to ja tako shvatila Smile

#82: Autor/ica: bbroj,

Postano: 21:37 ned, 8. 2. 2009
—
ej,a jel neko mozda zna kad bi trebo bit taj usmeni iz logike?? Question

#83: Autor/ica: arya, Lokacija: forum

Postano: 21:43 ned, 8. 2. 2009
—

bbroj (napisa):

ej,a jel neko mozda zna kad bi trebo bit taj usmeni iz logike?? Question

mislim, ali nisam sto posto sigurna, početkom ne ovog sad, nego onog sljedećeg tjedna... dakle, 16.2.-18.2... ak se dobro sjećam Smile

#84: Autor/ica: bbroj,

Postano: 14:18 pon, 9. 2. 2009
—
hvala... Smile

#85: Popravni kolokvij Autor/ica: Gost,

Postano: 19:12 pet, 13. 2. 2009
—

Floki (napisa):

Da li se zna kak će izgledati popravni iz mat.logike?

Ponovio bih ovo pitanje... Very Happy

Ima li tko ideje kako bi popravni trebalo izgledati?
Koliko sam cuo, 1/3 bodova koje smo skupili nam ostaje.
Pretpostavljam da ce i dalje biti potrebno skupiti 35 za prolaz, no...

Koliko bodova ce nositi popravni?
Koliko zadataka ima (koliko teorija/koliko zadaci), te koliko sto nosi?
Dal ce se ovo pravilo usmenog primjenjivati i na nas "padavicare"?

Bio bi jako zahvalan kad bi nam na neka od ovih pitanja mogli odgovoriti sami asistenti.
Hvala unaprijed.

#86: Re: Popravni kolokvij Autor/ica: Gost,

Postano: 19:33 pet, 13. 2. 2009
—

Anonymous (napisa):

Floki (napisa):

Da li se zna kak će izgledati popravni iz mat.logike?

Ponovio bih ovo pitanje... Very Happy

Mislim da bi trebao nositi 60 bodova.
Dakle valjda 10 bodova teorija i 50 bodova zadaci.
Sudeci po razlici izmedu proslogodisnjih i ovogodisnjih kolokvija (prije 1+4, sad 1+5) i na temelju proslogodisnjeg popravnog, ovogodisnji kolokvij trebao bi valjda biti u formatu:

10 bodova teorija - 1 zadatak - (3+3+4) tj. (3 def, 3 teorema, 1 dokaz)
50 bodova zadaci - 10 zadataka - 5 bodova svaki
________________________________________________________
60 bodova ukupno - 11 zadataka

Ovo je sve pretpostavka, pa ako bi netko tko ima informacije od asistenata/profesora ili cak oni sami, htio napisati i nesto sluzbeno bio bih vrlo zahvalan.

Hvala

#87: Autor/ica: kyra29,

Postano: 13:58 uto, 17. 2. 2009
—
Koja je svrha popravnog kolokvija ako se stavi tako da ne stignes ni pogledat gradivo od kolokvija...uz ovaj raspored neznam kako je to moguce... Mislim, popravni su za one koji nisu dobro naucili za kolokvije, znaci da moraju jos ucit......
Takvi kolokviji se stavljaju tek toliko, "reda radi" ili postoji neki drugi razlog?

#88: Autor/ica: Gost,

Postano: 18:16 čet, 19. 2. 2009
—
kad ce rezultati iz popravnog? zna li se?

#89: Autor/ica: noa,

Postano: 16:55 pet, 20. 2. 2009
—
je li saznao itko ista?
i kada cemo (ako kojim slucajem prodemo) mi s popravnog imati usmene uopce?
isto u tim terminima ili?

#90: Autor/ica: garbica, Lokacija: otok sreće...

Postano: 21:08 pet, 20. 2. 2009
—
Stigli su rezultati za 1., 2., 4., 8., 9. i 11. zadatak: http://spreadsheets.google.com/pub?key=p7GQsyFYSVGrDkfcaHMrOEA

#91: Autor/ica: Floki,

Postano: 11:25 sub, 21. 2. 2009
—
Da li netko možda zna kad će biti krajnji rezultati? Smile

#92: Autor/ica: Mad Wilson,

Postano: 14:15 ned, 22. 2. 2009
—
dosli su

#93: Autor/ica: noa,

Postano: 15:52 ned, 22. 2. 2009
—
dali mi isto odgovaramo do srijede??
posto su termini ponudeni do onda... pa ne stignem to nikak!!

#94: Autor/ica: anekalo,

Postano: 17:17 pon, 23. 2. 2009
—
Jel znate mozda zasto su maknuti rezultati popravnog kolokvija sa stranice?!

I kada ce biti usmeni?

#95: Autor/ica: Gogs, Lokacija: Zagreb

Postano: 18:20 pon, 23. 2. 2009
—

anekalo (napisa):

Jel znate mozda zasto su maknuti rezultati popravnog kolokvija sa stranice?!

I kada ce biti usmeni?

Rezultati su uklonjeni jer su će službeni rezultati biti objavljeni večeras u 20.00h.
To što su neslužbeni rezultati bili dostupni i prije je bila pogreška.

Takvim informacijama raspolažem, sad ćemo vidjeti jesu li istinite Smile

#96: Autor/ica: Gost,

Postano: 20:24 pon, 23. 2. 2009
—
Ok, znaci, rezultati su dosli (sluzbeni).
Zadace se mogu vidjeti u srijedu.

noa (napisa):

dali mi isto odgovaramo do srijede??
posto su termini ponudeni do onda... pa ne stignem to nikak!!

Takoder me zanima odgovor na ovo pitanje.
Hoce li biti neki novi termin ili i mi moramo do max srijede odraditi svoj usmeni?

Pitam, jer sto s onima koji na zalbama u srijedu mozda nadu taj bod, dva koji im fale. Dal ce oni onda odmah morati na usmeni nakon zalbi? A ako nece, tj. ako ce biti neki termin u cet. ili pet. i ja bi rado tada na usmeni.

Hvala...

PS: Gleda li tko od asistenata ovaj topic? Ako da, molim da se jave...
PPS: Ako ne, ima li netko da je pitao (mailom ili na konzultacijama) profesora ili asistente u vezi usmenog? Ako da, molim da se javi...

#97: Autor/ica: nameless, Lokacija: Zagreb

Postano: 20:29 pon, 23. 2. 2009
—
kolko ja znam nisu još izvješeni termini za osgovaranje, barem danas nisu bili na vratima od profeseorovog kabineta.. ili sam krivo gledala Very Happy

#98: Autor/ica: napraviculom, Lokacija: Scranton

Postano: 21:10 pon, 23. 2. 2009
—
"...zavrsni ispiti ce biti u cetvrtak od 8 do 10 i u petak od 8 do 12 sati..."
iz mejla prof Vukovica

#99: Autor/ica: rat in a cage, Lokacija: Zg

Postano: 16:01 čet, 11. 6. 2009
—
kak da saznam rezultate iz logike od jucer?
kojem asistentu da mejl posaljem? Smile

edit: zanemarite, saznao.

#100: Autor/ica: Gost,

Postano: 17:54 pet, 21. 5. 2010
—
Bi li netko bio toliko dobar da podijeli s nama novija pitanja iz dvosemestralne logike? Starija sam pronasao na pocetku topika.
Hvala. Smile

#101: Autor/ica: RonnieColeman, Lokacija: |R^3

Postano: 19:57 čet, 9. 9. 2010
—
Što je danas ujutro rađeno na predavanjima, dokud dođoste Question

#102: Autor/ica: insane_raver, Lokacija: ZGB

Postano: 20:18 čet, 9. 9. 2010
—

RonnieColeman (napisa):

Što je danas ujutro rađeno na predavanjima, dokud dođoste Question

do one prve propozicije. prve prve, poslije alfabeta Smile

sa prebrojivim alfabetom

#103: Autor/ica: RonnieColeman, Lokacija: |R^3

Postano: 20:27 čet, 9. 9. 2010
—
Dakle niste daleko dospjeli, propozicija tvrdi da je skup svih riječi konačnog/prebrojivog alfabeta prebrojiv.
Ako se radi o toj propoziciji što ste radili dotad - samo pričali? Cool

Jeste li s profesorom sklopili dogovor o početku nastave u 8:15 ili 8:30 ili slično vrijeme?

#104: Autor/ica: Tygy,

Postano: 11:41 pet, 10. 9. 2010
—
hoće li ovi slajdovi s predavanja osvanuti na netu? ...ili su osvanuli, a ja ih ne vidim nigdje...

#105: Autor/ica: RonnieColeman, Lokacija: |R^3

Postano: 12:44 pet, 10. 9. 2010
—
Vjerojatno hoće ali ne sasvim brzo, naime profesor je u 11 mjesecu prošle godine izdao knjigu MATEMATIČKA LOGIKA pa će vjerojatno pričekati još malo da nekolicina kupi knjigu.

Na stranicama profesora zasad nema slideova:
http://web.math.hr/~vukovic/dodiplomska_nastava.htm

Btw, dokud ste danas došli?

#106: Autor/ica: muttley,

Postano: 13:19 pet, 10. 9. 2010
—
Da li ja ne vidim dobro ili je nestao link za skriptu na veky-jevoj stranici? Confused

#107: Autor/ica: Atomised, Lokacija: Exotica

Postano: 13:29 pet, 10. 9. 2010
—
Nije do profesora ili asistenta nego do izdavača knjige, barem je tako bilo prošle godine. Smile

#108: Autor/ica: insane_raver, Lokacija: ZGB

Postano: 18:17 pet, 10. 9. 2010
—

RonnieColeman (napisa):

Vjerojatno hoće ali ne sasvim brzo, naime profesor je u 11 mjesecu prošle godine izdao knjigu MATEMATIČKA LOGIKA pa će vjerojatno pričekati još malo da nekolicina kupi knjigu.

Na stranicama profesora zasad nema slideova:
http://web.math.hr/~vukovic/dodiplomska_nastava.htm

Btw, dokud ste danas došli?

Danas do ispunjiva oboriva tautologija i antitautologija.

#109: Autor/ica: Charmed,

Postano: 11:51 ned, 12. 9. 2010
—
Ima skripte od lani na rapidshare-u za skinuti Wink

#110: Autor/ica: finalni, Lokacija: Bloodbuzz Zagreb

Postano: 15:36 uto, 12. 10. 2010
—
Budući da nema više nastave iz metaheuristika, demonstrature su odsad utorkom od 16 do 18, čekam ispred oglasne ploče prvih 15 minuta oba sata (nakon tog sam u praktikumu 2, bar ovaj prvi sat), a ako vam taj termin ne odgovara, javite se na mail (nadzaga na studentu) pa se možemo dogovoriti za neki drugi Smile

#111: Autor/ica: Zvjezdica,

Postano: 11:50 pet, 22. 10. 2010
—
Do kuda smo danas stigli sa predavanjima i da li je profesor rekao nešto posebno vezano za kolokvij? Hvala!

#112: Autor/ica: frances,

Postano: 13:20 pet, 22. 10. 2010
—
Nije bilo profesora, mijenjao ga je asistent Iljazovic. Zadnji je bio primjer primjene tm o kompakrnosti na grupe. Nije spominjao kolokvij.

#113: Autor/ica: Tygy,

Postano: 17:08 pet, 22. 10. 2010
—
propustila sam podatak...kad će bit rezultati iz blica?
i, hoće li ovo od jučer s predavanja ući u kolokvij?

#114: Autor/ica: insane_raver, Lokacija: ZGB

Postano: 20:33 pet, 22. 10. 2010
—
blitz kod asistenta Čačića će biti ili preko vikenda, ili do kolokvija, kak je on prenio. Smile

#115: Autor/ica: nike,

Postano: 21:37 sub, 23. 10. 2010
—
Može li netko objasnit zadatke iu kolokvija 2009 po rednim brojem 2,,4,5?

http://121083850337004081-a-1802744773732722657-s-sites.googlegroups.com/site/mathnastava/home/matematicka-logika/proslogodisnjikolokviji/ML.k1z.09-11-03.pdf?attachauth=ANoY7covPAYDbbX9ASR52lbJ28u81y8JP4HEaQbCZsVQfm4i3KZhiEYF6QD2RAgEK2Nqdzz9IoWanMm_Osi2kuaOFqaXj9xzBVpEU90z8fjyLvtJVLIbOZ7v84HiKHMhF1A5rR1WlFUQ9jutCIsTrhZZhIsLGBmr2yA6K7oJrbVVFaDc8YEBFNSKq2CU5v0QJOUyg805r-WiUI5NCiyWbtgkwWjW7X2F7lmZB2pKATv0odegnqKYefWWEXS-zLFJ8AfDFVuHuHXIvwioykQFTxTkdOhOPln4Rg%3D%3D&attredirects=0

Zadatak dva smo radili sličan na vježbama i išao sam analogno kao u njemu,al kad dolazim pred kraj neznam kaj dalje..Kaj okvirno treba napravit?

#116: Autor/ica: Tygy,

Postano: 23:48 sub, 23. 10. 2010
—
što se tiče drugog zadatka, poprilično je drukčiji od onog na vježbama....
vježbe: postoji li n tako da za svaki F postoji KNF td.....
kolokvij: postoji li n tako da svaka F ima DNF td ....
ja bi rekla da je trik pitanje Smile

jer valjana formula nema DNF , s minimalno jednim literalom u elem. konjukciji (n>0) i to je već kontraprimjer što god se dalje tražilo... Smile

dakako, ako sam krivo shvatila, rado bi da me netko ispravi

#117: Autor/ica: frances,

Postano: 10:11 ned, 24. 10. 2010
—
krivo. valjana formula ima DNF(npr. P ili -P), ali nema savrsenu DNF.
i zadatak je posve analogan onome s vjezbi. samo treba postupak provjeravati na F oblika P1 i P2 i... i Pn i Pn+1. umjesto N interpretacije uzeti J itd. takodjer se dobije da ne postoji.

edit:
@nike: za 4. zadatak trebas napraviti semanticku tablicu.
za DNF uzimas retke u kojima je ispalo 1 i tu negiras one var. kod kojih je 0
za KNF uzimas retke gdje je 0 i negiras one var.koje su 1
posto nema to raspisano, a neda mi se opet, imas na profesorovim slajdovima primjer dobro objasnjen

#118: Autor/ica: Tygy,

Postano: 14:56 ned, 24. 10. 2010
—
Embarassed

to mi u 2 ujutro nije palo na pamet.... Very Happy

#119: Autor/ica: nike,

Postano: 15:15 ned, 24. 10. 2010
—
Kako zadnji zadatak? jel to treba riješit indukcijom po složenosti?
Ako bi netko mogao napiat barem početak ... Very Happy

#120: Autor/ica: Tomy007,

Postano: 16:58 ned, 24. 10. 2010
—
Može li mi samo netko objasniti jedan korak u dokazu teorema dedukcije. Promatramo kada je Formula G nastala uporabom modus ponensa iz formula Fi i Fj. Ne shvačam kako se može uzeti da je npr. Fi=Fj --> G , zbog čega mi to smijemo?

#121: Autor/ica: dosed_girl, Lokacija: -zG-

Postano: 17:13 ned, 24. 10. 2010
—
zato kaj po definiciji modus ponensa imas premise A i A→B i konkluziju B.

Dakle, mi znamo da je formula G nastala pomoću pravila modus ponens iz nekih formula Fi, Fj, dakle jedna od tih formula Fi, Fj(uzmimo npr Fi) je morala nužno biti oblika Fi = Fj→G (to ti je sad jedna premisa) jer inače nebi mogli primijeniti modus ponens, jel.

i sad na tu premisu i ovu drugu premisu Fj primjenis modus ponens i dobiješ G. Very Happy

#122: Autor/ica: Tomy007,

Postano: 17:33 ned, 24. 10. 2010
—
Hvala puno, sad mi je jasno.

#123: Autor/ica: Tomy007,

Postano: 20:47 ned, 24. 10. 2010
—
Kako da dokažem da ako iz skupa formula S logički slijedi formula F da tada postoji i konačan podskup od S tako da i iz tog podskupa logički slijedi formula F?

#124: Autor/ica: dosed_girl, Lokacija: -zG-

Postano: 12:36 pon, 25. 10. 2010
—
to ti je propozicija 1.52. u skripti (63.strana) imaš dokaz tamo.

#125: Autor/ica: nike,

Postano: 16:40 pon, 25. 10. 2010
—
Ima li netko da zna kako se riješava peti zadatak iz prvog kolokvija od prošle godine? Bio bi jako zahvalan ako bi netko napisao neku uputu ... Smile

#126: Autor/ica: C,

Postano: 20:51 pon, 25. 10. 2010
—
Ne znam koristiti latex na forumu, ugl. ovo je jedna ideja:
Prvo treba uočiti da je
((ne A) <--> B) ekvivalentno s ne (A <-->B),
(A <--> (ne B)) ekvivalentno s ne (A <-->B), te
((ne A) <--> (ne B)) ekvivalentno s (A <-->B)

Što znači da sve negacije možemo premjestiti na početak, odnosno svaka formula u kojoj se pojavljuju samo veznici "<-->" i "ne"
(zadanog oblika) je ekvivalentna ili s
B ili s (ne B), gdje je B formula u kojoj se pojavljuje samo veznik <-->

nadalje, valja primijetiti da je veznik <--> asocijativan, odnosno
((P <--> Q) <--> R) je logički ekvivalentno s (P <--> (Q <--> R)),
što znači (jer je P <--> P uvijek istina) da je svaka formula u kojoj se pojavljuju samo varijable P, Q i veznik <-->
ili tautologija ili P ili Q ili (P<-->Q),

(obje primjedbe se lako dokažu indukcijom po složenosti formule)

što znači da je svaka formula zadanog oblika ekvivalentna s jednom od formula:
P
Q
(ne P)
(ne Q)
tautologijom
antitautologijom
P <--> Q
ne (P <--> Q)

a niti jedna od tih formula nije ekvivalentna s (P ili Q).

hth Smile

#127: pitanje Autor/ica: xy,

Postano: 16:28 pet, 29. 10. 2010
—
zna li se kad bi se mogli pojavit rezultati zadaće i kolokvija?

#128: Autor/ica: insane_raver, Lokacija: ZGB

Postano: 20:21 pet, 29. 10. 2010
—
u jednom trenu je meni rekao asistent Čačić za šk zadaću. Pa se nije pojavila.
valjda će biti utorak?

#129: Autor/ica: Tygy,

Postano: 9:41 uto, 2. 11. 2010
—
jel fale rezultati nekih zadataka ili mi se to samo čini?

#130: Autor/ica: frances,

Postano: 11:12 uto, 2. 11. 2010
—
Nemam pojma. Meni za 4.pise 0, a bila sam sigurna da mi je dobar. Napisat cu tu sta sam napisala pa ako mi je krivo, nek mi netko kaze sta, da ne idem na zalbe.

Zad kaze: Neka su S i T ispunjivi skupovi formula log. sudova td SUT (unija) nije ispunjiv. Dokazite da postoji formula F td vrijedi S |= F i T |= -F.

Ja napisah:
Posto su S i T ispunjivi, onda su oni i konzistentni (prema generaliziranom tm potpunosti). Po istom argumentu SUT nije konzistentan. Pa postoji neka formula F td SUT |- F i SUT |- -F. Odnosno, po jakom tm potpunosti. SUT |=F i SUT |= -F. No, kako su S i T konzistentni, ne moze biti npr. S |= F i S |= -F.
Tada vrijedi S |= F i T |= -F (ili obratno).

Recite mi gdje grijesim.

#131: Autor/ica: Tygy,

Postano: 12:57 uto, 2. 11. 2010
—
ja za prvi zadatak nemam ni nulu Rolling Eyes

#132: Autor/ica: Atomised, Lokacija: Exotica

Postano: 13:18 uto, 2. 11. 2010
—

frances (napisa):

Uzmeš npr. S = { p → q} i T = { p, -q }

S U T |= q
S U T |= -q

T |= -q, ali to ne znači S |= q

(Nadam se da nisam neku glupost napisao, slušao sam ovo prošle godine...)

#133: Autor/ica: frances,

Postano: 13:27 uto, 2. 11. 2010
—
Hvala!
To mi je i bilo sumnjivo.

#134: Autor/ica: Shaidil,

Postano: 15:55 uto, 16. 11. 2010
—
Nisam uspjela doći na prošlotjedne vježbe, a čini se da neću moći doći ni danas - bi li mi mogla koja dobra duša reći je li bilo kakvog govora o drugom 'testiću'? :]

#135: Autor/ica: štangica,

Postano: 15:07 pet, 19. 11. 2010
—
2.školska zadaća će biti sljedeći utorak dakle 30.11 Smile

#136: Autor/ica: Shaidil,

Postano: 19:22 pet, 19. 11. 2010
—
Puuuuno hvala. Smile

#137: Autor/ica: Gost,

Postano: 12:48 pet, 26. 11. 2010
—
Jel bi mogao netko ko ide na vježbe utorkom(18-20h) reć koji se sat pisala 1.školska zadaća (1. il 2.)? hvala

#138: Autor/ica: silvek,

Postano: 18:22 pet, 26. 11. 2010
—
Pisala se 1.sat.

#139: Autor/ica: Gost,

Postano: 20:15 sri, 1. 12. 2010
—
jel bi mogo netko skenirat pa stavit tu ono što se jučer radilo na vježbama (utorak 30.11.)? hvala

#140: Autor/ica: glava,

Postano: 12:33 pon, 20. 12. 2010
—
Zna li se možda točno koji će zadaci biti u trećoj školskoj zadaći?

Hvala

#141: Autor/ica: Gost,

Postano: 14:24 pon, 20. 12. 2010
—
Može li netko tko je bio na predavanjima u petak reći dokle smo stigli i koje gradivo ulazi u kolokvij? Hvala

#142: Autor/ica: štangica,

Postano: 16:39 pon, 20. 12. 2010
—
na stranici profesora imaš sve prezentacije koje su obrađene na predavanjima i to ti sve ulazi u kolokvij...mislim da smo došli do kraja skripte...možda nismo tipa zadnjih 5-10 stranica obradili...uglavnom usporedi si sa prezentacijama šta ti je zadnje...

#143: Autor/ica: Ivecus,

Postano: 18:42 pon, 20. 12. 2010
—

glava (napisa):

Zna li se možda točno koji će zadaci biti u trećoj školskoj zadaći?

Hvala

Mene ovo isto zanima, pa ako netko zna, bio bi mu zahvalan!

Hvala!

#144: Autor/ica: Tygy,

Postano: 18:49 pon, 20. 12. 2010
—
jel još vrijedi da se treći blic moze pisat u utorak?

#145: Autor/ica: eta,

Postano: 19:08 pon, 20. 12. 2010
—
Kada se piše 3. bilc u grupi N-Ž ? u cetvrtak na vježbama ili je termin promijenjen?

#146: Autor/ica: Gost,

Postano: 17:39 uto, 4. 1. 2011
—
S obzirom da je tako bilo do prije prošle godine, ako asistenti ovo čitaju, molin (vjerojatno u ime veliko broja studenata) da se u kolokvij stave 2 lakše prirodne dedukcije, nego jedna teza.
S obzirom da je profesor iz logike stavia kolokvij iz ML i stat isti dan, bilo bi u redu da nam se bar nekako izađe u susret.

#147: Autor/ica: Atomised, Lokacija: Exotica

Postano: 18:47 uto, 4. 1. 2011
—

Anonymous (napisa):

S obzirom da je tako bilo do prije prošle godine, ako asistenti ovo čitaju, molin (vjerojatno u ime veliko broja studenata) da se u kolokvij stave 2 lakše prirodne dedukcije, nego jedna teza.

Pa prošle godine je bila jedna lakša a prije toga jedna lakša + jedna teža...

#148: Autor/ica: Gost,

Postano: 19:50 uto, 4. 1. 2011
—
Ja onu od prošle godine ne znam rijesit?
Ako ti nije problem jel mi možeš napisat rjesenje?

#149: Autor/ica: GCOX, Lokacija: SPLIT_ZAGREB

Postano: 21:39 sub, 8. 1. 2011
—
Eh mene zanima da li je dopusteno kod dokazivanja (neke tvrdnje) glavnim testom prvo formulu pretvorit u prenexnu normalnu formu pa onda ic na glavni test???
cini mi se da je takvin nacinon olaksano rjesavanje (pod uvjetom da se zna pretvarat u PNF)

#150: Autor/ica: Tomy007,

Postano: 20:58 ned, 9. 1. 2011
—
Kako da riješim ove dvije prirodne dedukcije:

1) iz (P->Q)->P slijedi P (4. zadatak iz 2008.)

2) iz praznog skupa slijedi (P->Q) V (Q->P) (3. zad pod b iz 2009)

Kako da dokažem da formula nije valjana ali je istinita na svim {R}-strukturama (to je 6. zadatak iz 2009.)

Zadnja promjena: Tomy007; 22:16 ned, 9. 1. 2011; ukupno mijenjano 1 put.

#151: Autor/ica: Atomised, Lokacija: Exotica

Postano: 21:13 ned, 9. 1. 2011
—

Anonymous (napisa):

Ja onu od prošle godine ne znam rijesit?
Ako ti nije problem jel mi možeš napisat rjesenje?

Sad tek ovo vidim...

Uglavnom, ne sjećam se ja baš najbolje tih pravila i toga, rekoh da je lagano jer mi je bilo prije godinu dana. Very Happy

Ali mogu probati objasniti ideju:
Pretpostaviš ne-P pa iz toga dobiješ Q, ali je Q ekvivalentno s P pa Q → P pa dobiješ P... Iz P i ne-P imaš kontradikciju pa znači da ne-ne-P, tj. P, a onda i Q jer je P ↔ Q? Very Happy

Ne garantiram da je točno (iz već navedenog razloga)...

#152: Autor/ica: Charmed,

Postano: 17:01 pon, 10. 1. 2011
—
Rješavam kolokvij iz 2008, 5. zadatak, i sad u jednom koraku imam P(x,x) netočan - što se s tim radi točno? Mislim kako se gleda? Pošto se za to ne uvode niti varijable, niti se testira...u knjizi nema riješenog takvog primjera, a mi sa asistentom Iljazovićem nismo također radili takav zadatak...(nadam se da takvo nešto neće doći u kolokviju...)

#153: Autor/ica: Tomy007,

Postano: 20:03 pon, 10. 1. 2011
—

Charmed (napisa):

Rješavam kolokvij iz 2008, 5. zadatak, i sad u jednom koraku imam P(x,x) netočan - što se s tim radi točno? Mislim kako se gleda? Pošto se za to ne uvode niti varijable, niti se testira...u knjizi nema riješenog takvog primjera, a mi sa asistentom Iljazovićem nismo također radili takav zadatak...(nadam se da takvo nešto neće doći u kolokviju...)

U 5. zadatku iz 2008. se dolazi do beskonačne petlje. Kad primjetiš da se počinješ vrtjeti u krug stani i napiši da je nikad ne staje ali nema ni kontradikcije. (a ovo da imaš P(x,x) netočno to ne možeš dobiti, očito nisi dobro uvodio ili testirao varijable jer moraš dobiti P(a,b) ili tako nešto a ne x i y, a kad dođeš recimo do toga da ti je npr P(a,b) laž samo to zaokružiš dvaput isto kao sa propozicionalnim varijablama). Meni je malo nejasno kako da dokažem da je svaka konačna P-struktura model za formulu ali pretpostavljam da treba valjda riješiti sve grane, a ne stati kod one koja ne staje i onda dobiti svugdje drugdje kontradikcije. To bi onda valjda značilo da jedini model za koji je P-struktura lažna je baš u toj grani, a kad u toj grani napišeš model vidiš da je beskonaćan npr Ro(P) = {(a,a), (a,b), (b,b,), (b,a), (c,c) .....} , znaći svaki konačan model je model za P-strukturu ali nisam u to siguran jer nismo tako neš dokazivali.

#154: Autor/ica: dosed_girl, Lokacija: -zG-

Postano: 12:23 uto, 11. 1. 2011
—
jel ima neko ovdje ko bi znao dokazati barem jednu tvrdnju od onih 16 iz leme sa zadnjeg predavanja (lema o pravilima prijelaza za kvantifikatore) ?

profesor je rekao da bi to lako moglo doći u kolokviju u teoretskom zadatku koji nosi 4 boda, a ja, koju god sam tvrdnju išla dokazat sam zapela Embarassed

ako neko uči po skripti ta se lema nalazi na 146. strani (lema 2.29)

fala!

#155: Autor/ica: Gost,

Postano: 13:21 uto, 11. 1. 2011
—
jel zna netko sta moze doc od teorije iz one zadnje cjeline koju smo radili (racun teorija prvog reda) skroz zadnji sat? to smo skroz brzo prosli, a nema toga malo Confused

#156: Autor/ica: dosed_girl, Lokacija: -zG-

Postano: 13:39 uto, 11. 1. 2011
—
onih zadnjih par slajdova s predavanja (skica dokaza) - to sigurno neće doći jer nismo niti radili.
dokaz teorema 10 i korolara 1 isto sigurno neće doći.

to je sve čeg se ja sjećam da je prof rekao da sigurno neće doći...

#157: Autor/ica: Gost,

Postano: 13:57 uto, 11. 1. 2011
—
za 3 zadatak pd b u kolokviju
http://web.math.hr/~veky/B/ML.k2z.09-02-03.pdf

zanima me mogu li ja izvest P->Q i onda samo stavit introdukciju disjunkcije za (Q->P) i dobijen trazeno??

ja dobijem P->Q i stavin
-----------
(p->Q) V (Q->P)

#158: Autor/ica: Charmed,

Postano: 14:04 uto, 11. 1. 2011
—
Da li mi netko može reći da li je ovo dobro? (Nekako imam dojam da nije...)

logika.rar

Description:

Download

Filename:

logika.rar

Filesize:

1006.31 KB

Downloaded:

114 Time(s)

#159: Autor/ica: Sphiro,

Postano: 20:49 uto, 11. 1. 2011
—
Jesmo mi uopće na vj radili preneksne forme, tj može li na to doć na kolokviju???

#160: Autor/ica: Kika123,

Postano: 21:19 uto, 11. 1. 2011
—
nismo na vježbama, prof je pokazivao na predavanjima...i reko je kao da će to biti u kolokviju

#161: Autor/ica: Sphiro,

Postano: 21:42 uto, 11. 1. 2011
—
ajoj... a onaj pr na slajdovima s predavanja, zašto se u zadnjem redu kad "izlučim" postoji w ono zasvakix zasvakiy mijenja u postoji ? please

#162: Autor/ica: glava,

Postano: 22:56 uto, 11. 1. 2011
—
Zbog leme 1 na slajdovima 12 i 13. Tocnije pravila 3 i 4 iz leme 1.

#163: Autor/ica: Sphiro,

Postano: 23:27 uto, 11. 1. 2011
—
tnx Wink

mislim da shvaćam, nadam se samo da ipak neće biti to... Razz

#164: Autor/ica: Charmed,

Postano: 15:55 sri, 12. 1. 2011
—
Malo je bezobrazno to što su obećavali formule na kolokvijima,a od njih ni f...
Koja je poanta štrebanja formula napamet?!

#165: Autor/ica: addriana,

Postano: 16:54 sri, 12. 1. 2011
—

Charmed (napisa):

Malo je bezobrazno to što su obećavali formule na kolokvijima,a od njih ni f...
Koja je poanta štrebanja formula napamet?!

Nadam se da će pri ispravljanju kolokvija uzet u obzir da nismo imali formule, pa biti malo blaži.

#166: Autor/ica: Charmed,

Postano: 17:09 sri, 12. 1. 2011
—

addriana (napisa):

Charmed (napisa):

Malo je bezobrazno to što su obećavali formule na kolokvijima,a od njih ni f...
Koja je poanta štrebanja formula napamet?!

Nadam se da će pri ispravljanju kolokvija uzet u obzir da nismo imali formule, pa biti malo blaži.

Samo dok se prisjetiš svih formula i zapišeš si ih sastrane ode pol sata...

#167: Autor/ica: storm_1,

Postano: 17:36 sri, 12. 1. 2011
—
istina, ja nisam znala da su ih obećali, al svejedno mi je dugo trebalo da se svih sjetim... Evil or Very Mad

#168: Autor/ica: Charmed,

Postano: 17:49 sri, 12. 1. 2011
—
Još je i profesor na predavanjima rekao da će formule biti iza na kolokviju jer ni on sam ne zna napamet sve...

#169: Autor/ica: Gost,

Postano: 19:01 sri, 12. 1. 2011
—
o kakvim tocno formulama je rijec? nama na vjezbama asistent nije spomenuo mogucnost imanja formula

#170: Autor/ica: tajchi666,

Postano: 13:15 sub, 15. 1. 2011
—
Mislim da je riječ o formulama za prirodnu dedukciju.. niti ja nisam čula da će se smijeti koristiti na kolokviju..
Nego, kad će rezultati?? jel bilo rečeno na kolokviju??

#171: Autor/ica: Tygy,

Postano: 16:32 sub, 15. 1. 2011
—
tokom sljedećeg tjedna.
tako je rečeno u 003
a kad bi onda popravni bio 26.og?

#172: Autor/ica: tajchi666,

Postano: 17:21 sub, 15. 1. 2011
—
a mislila sam da je nesto konkretnije bilo receno.. a popravni je 1.02. pise u obavijestima..

#173: Autor/ica: amorphis, Lokacija: zg

Postano: 21:06 sub, 15. 1. 2011
—
ne znam kad će bit rezultati, ali popravni je u principu
14 dana nakon ispita, vjerojatno će u tjednu između
rezultata i popravnog bit termin za završni za one koji
sakupe dosta bodova

za formule mi nije jasno - na 2. šz su neki komotno
imali papir sa formulama i još su pitali poslije asistenta
da li se smiju i na ispitu koristit (jer ja profesor navodno
na predavanju rekao da može), ali na kolokviju nije bilo
ni f od formula (kao što ne netko već bio napisao)

da li netko zna hoće li rezultati biti na web-u? (nije baš
svima pmf tako blizu) nije mi jasno zašto se po novom
sad ne bi smjelo objavit ime i prezime i bodove? neka
bude onda jmbag umjesto imena ako je to problem

#174: Autor/ica: dosed_girl, Lokacija: -zG-

Postano: 17:47 ned, 16. 1. 2011
—
pretpostavljam da će bit na webu jer je asistent čačić jučer objavio rezultate 3. školske zadaće za svoju grupu i umjesto imena stavio jmbagove, tako da će 99% isto tako napraviti i s rezultatima kolokvija Wink

#175: Autor/ica: piccola,

Postano: 18:31 pon, 17. 1. 2011
—
kad bi mogli rezultati? Confused

#176: Autor/ica: Sphiro,

Postano: 16:36 uto, 18. 1. 2011
—

amorphis (napisa):

nije mi jasno zašto se po novom
sad ne bi smjelo objavit ime i prezime i bodove? neka
bude onda jmbag umjesto imena ako je to problem

Pa zašto bi svi morali znati tvoje ili bilo čije rezultate??? Na naše stranice može bilo koji padobranac doći i gledati, to samo kod nas ima... Hvala Bogu da se se sjetili maknuti to Razz

#177: Autor/ica: Gost,

Postano: 20:02 uto, 18. 1. 2011
—
znači,ništa od rezultata još ove godine... Very Happy

#178: Autor/ica: Tygy,

Postano: 22:11 uto, 18. 1. 2011
—
a bilo bi ok znati trebali ili ne učit za popravni koji je inače još nepoznatog datuma ili to samo ja ne znam

#179: Autor/ica: štangica,

Postano: 22:20 uto, 18. 1. 2011
—
kak je popravni nepoznatog datuma?na stranici faksa su ti prije par dana objavljeni termini popravnih kolokvija.iz logike je 1.2

#180: Autor/ica: Tygy,

Postano: 0:59 sri, 19. 1. 2011
—
nisam vidla... a tražola sam... moja greška...
al me znanima i dal mi popravni treba...

#181: Autor/ica: frances,

Postano: 12:01 sri, 19. 1. 2011
—
evo barem nesto: https://sites.google.com/site/mathnastava/home/matematicka-logika/rezultatikolokvija

#182: Autor/ica: GCOX, Lokacija: SPLIT_ZAGREB

Postano: 13:11 sri, 19. 1. 2011
—

frances (napisa):

evo barem nesto: https://sites.google.com/site/mathnastava/home/matematicka-logika/rezultatikolokvija

Dobra naša Frances visi na web stranici da prva dobije sarmu Very Happy

#183: Autor/ica: piccola,

Postano: 20:32 sri, 19. 1. 2011
—
oće usmeni bit idući tjedan??

#184: Autor/ica: Lafiel,

Postano: 11:52 čet, 20. 1. 2011
—
E da, dajte me prosvijetlite. Nema pismenog nego usmenog, jel?

#185: Autor/ica: piccola,

Postano: 12:17 čet, 20. 1. 2011
—
i kako ja sad da stignem do faksa za 15 minuta??? a i kako mogu znat moram li na uvid ili ne?? ovo je strašno... Sad

#186: Autor/ica: štangica,

Postano: 13:09 čet, 20. 1. 2011
—
slažem se...sigurno je bilo jako teško staviti uvide sutra...

#187: Autor/ica: piccola,

Postano: 13:54 čet, 20. 1. 2011
—
i šta sad ako meni fale 3 boda da ne idem na popravni???
i ako sam mislila da ću ih dobit,a nisam stigla na želbe???
ništa,je li??? nego moram još jednom sve ispočetka učit i za popravni i za usmeni... i moram ostajat u zagrebu 2 tjedna duže... prekrasan faks i odlična organizacija,moram priznat...

#188: Autor/ica: Charmed,

Postano: 14:03 čet, 20. 1. 2011
—
Jel zna tko koji su termini za usmeni kod prof. Vukovića?

#189: Autor/ica: Lafiel,

Postano: 14:13 čet, 20. 1. 2011
—

piccola (napisa):

i šta sad ako meni fale 3 boda da ne idem na popravni???

Kak znaš koliko ti fali? Ima neka skala negdje? Jer onaj link na "Pravila polaganja kolegija" me vodi na praznu stranicu. Confused

#190: Autor/ica: piccola,

Postano: 14:25 čet, 20. 1. 2011
—
http://web.math.hr/~vukovic/dodiplomska_nastava.htm

klikni na Ovdje su uvjeti polaganja...tu sve piše...

inače,trebaš imati 35 na kolokvijama i zadaćama da "izbjegneš" popravni

#191: Autor/ica: eta,

Postano: 14:35 čet, 20. 1. 2011
—
Usmeni su sutra,u ponedjeljak,utorak i srijedu...
Pitala sam danas profesora i rekao je da ce pitati one koji imaju manje od 40 bodova,a oni koji imaju više i dobru teoriju ih u principu neće pitati.....

#192: Autor/ica: Charmed,

Postano: 14:58 čet, 20. 1. 2011
—

eta (napisa):

Usmeni su sutra,u ponedjeljak,utorak i srijedu...
Pitala sam danas profesora i rekao je da ce pitati one koji imaju manje od 40 bodova,a oni koji imaju više i dobru teoriju ih u principu neće pitati.....

Hm,kaj znači dobra teorija...? Bilo bi super kad bi prof napisao u rezultate tko mora, a tko ne mora na usmeni....

#193: Autor/ica: dosed_girl, Lokacija: -zG-

Postano: 14:58 čet, 20. 1. 2011
—

eta (napisa):

Pitala sam danas profesora i rekao je da ce pitati one koji imaju manje od 40 bodova,a oni koji imaju više i dobru teoriju ih u principu neće pitati.....

jao, da barem tako bude Laughing

#194: Autor/ica: Lafiel,

Postano: 15:34 čet, 20. 1. 2011
—

Charmed (napisa):

Hm,kaj znači dobra teorija...?

Vjerojatno 50%+? Ja si sve brijem bit nadobudna pa naučit za usmeni, iako bih ga po ovome što je eta rekla mogla "izbjeći". Al jebiga bar neki predmet da dam s više od 2 ovaj semestar. Ako uopće. Laughing

I hvala na informaciji, piccola!

#195: Autor/ica: Charmed,

Postano: 15:38 čet, 20. 1. 2011
—

Lafiel (napisa):

Charmed (napisa):

Hm,kaj znači dobra teorija...?

Vjerojatno 50%+?

Ja imam 6+6..i 40,nekaj...
Mislim bum učila,makar bi bilo super da ne moram,nego da se koncentriram na druge predmete...jedan predmet manje bilo bi veliko rasterećenje Wink

#196: Autor/ica: Blockflöte, Lokacija: Zg

Postano: 19:17 čet, 20. 1. 2011
—

piccola (napisa):

i šta sad ako meni fale 3 boda da ne idem na popravni???
i ako sam mislila da ću ih dobit,a nisam stigla na želbe???
ništa,je li??? nego moram još jednom sve ispočetka učit i za popravni i za usmeni... i moram ostajat u zagrebu 2 tjedna duže... prekrasan faks i odlična organizacija,moram priznat...

Meni recimo tri komada fale, i isto sam prekasno spazio obavijest o uvidu da se prošećem gore do faksa. Tak da se slažem da to nije fer, i očito se tako frizira da na žalbe dođe minimalni broj studenata.

S druge strane, možda asistenti i profesor i nisu raspoloženi navlačiti bodove, i ovo šta smo dobili je max koji će nam dat.

#197: Autor/ica: piccola,

Postano: 20:03 čet, 20. 1. 2011
—
ma ok je to šta nisam skupila bodove,jbga... ali nije mi jasno kako i zašto su rezultati bili objavljeni tek danas u 12 i 30 na faksu,a žalbe odmah nakon toga. zašto nam ranije nisu rekli da će tako biti,pa nebi mi bio problem otić do faksa... nego ja u 12 i 15 odem na stranicu pogledat rezultate i dočekaju me prekrasne vijesti...nije bilo šanse da stignem na uvide i žalbe jer mi treba sat-sat ipo do faksa... nebi ja od nikoga tražila navlačenje bodova,ali zanimaju me zadaci i točna rješenja i bilo bi mi drago pogledat koje su mi greške... ali,sad sve ispočetka...a tako mi je malo falilo... Sad

#198: Autor/ica: tidus,

Postano: 21:40 čet, 20. 1. 2011
—

Jeli profesor mislio da to za dvojku neće pitati ili za najbolju koju možeš dobiti neće pitati?

Ja imam 49 bodova i 18 od 20 bodova iz teorije. Rekao bih da je to super odgovorena teorija. Znači li to da me profesor neće ni pitati za minimalnu dvojku ili me neće ni pitati za maksimalnu četvorku?

#199: Autor/ica: Lafiel,

Postano: 21:43 čet, 20. 1. 2011
—
Pa čisto sumnjam da će ti dat četvorku "na lijepe oči". Confused

#200: Autor/ica: BitterSweet, Lokacija: sjeverno od raja

Postano: 22:04 čet, 20. 1. 2011