Forum@DeGiorgi :: Pogledajte temu

through

[^/[Print]\]

Forum@DeGiorgi -> Matematički kolegiji

#1: Logika Autor/ica: Charmed,

Postano: 16:47 sri, 9. 12. 2009
—
Jel tko rješavao zadatke iz zadaća od lani?
Ako je,jel bi bio tako dobar i stavio rješenja na net....
Hvala!

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

Postano: 10:54 pet, 11. 12. 2009
—
Piše li se danas kratki test na vježbama i jeli termin u 15:15 ili neko drugo vrijeme? (nisam bio na prošlim)

#3: Autor/ica: kika,

Postano: 17:31 pet, 18. 12. 2009
—
Da li mi moze netko reci do kud smo stigli na predavanjima iz logike?

Unaprijed hvala Smile

#4: Autor/ica: CrniVG,

Postano: 22:56 sub, 19. 12. 2009
—
Riješili smo Preneksnu normalnu formu, stali smo na računu teorija prvog reda.... ostale su nam uglavnom samo neke formalnosti riješit iz toga i teorem potpunosti.

#5: Autor/ica: mini,

Postano: 15:02 ned, 20. 12. 2009
—
ja bih molila, ako ima koja dobra duša sa skenerom, da skenira vježbe od zadnja dva puta Very Happy

. otišla sam kući, a zaboravila to fotokopirat Confused

unaprijed hvala

#6: Autor/ica: fffffffuuuuuu,

Postano: 2:33 sri, 6. 1. 2010
—
Pozdrav,

Znam da nije pristojno tek tako anonimno doci na forum na kojem nisi aktivan, ali....
Naime ja imam par pitanja, a uslijed cinjenicnog stanja da nisam bio na zadnjem (i jos mnogo njih prije kolokvija xD) predavanju mene zanima sto ce biti na ovoj 3. skolskoj zadaci tj. izgleda da bi trebao biti glavni test za logiku prvog reda, a ja ovdje ( http://web.math.hr/~veky/B/ ) jednostavno nisam nasao primjer trece zadace ili sam vrlo vjerojatno corav. Smile

Osam toga nisam skuzio nakon nekih 15-tak minuta gledanja kako rijesiti u sustavu prirodne dedukcije izvod za !P -> (QvR) |- (PvQ) v R
Jedina ideja koja mi pada jest da pretpostavim !P, ali onda ne mogu nikako to zatvoriti pa sad ako je netko dovoljno dobar da mi objasni gdje grijesim Smile

Fala lijepa i dobro jutro Smile

#7: Autor/ica: ivo34,

Postano: 12:59 sri, 6. 1. 2010
—

mini (napisa):

ja bih molila, ako ima koja dobra duša sa skenerom, da skenira vježbe od zadnja dva puta Very Happy

. otišla sam kući, a zaboravila to fotokopirat Confused

unaprijed hvala

Tek sam sad vidio.. Ako nisi vec nabavila evo ti link:
http://www.megaupload.com/?d=WTQ4G77X

#8: Autor/ica: **dreamer**, Lokacija: space

Postano: 16:47 sri, 6. 1. 2010
—
@ffffuuuu: sto se tice 3. blica ne znam ti nista... al brijem da ce biti samo glavni test. To se pise na zadnjim vjezbama, jel?

Sto se tice zadatka.. nesto sam pokusavala pomocu 3. trika i dobila sam sto se trazi, al mi je nekak cudno... tj. nisam ziher da valja...

[/code]

010610163444.jpg

Description:

Filesize:

38.01 KB

Viewed:

139 Time(s)

#9: Autor/ica: komaPMF, Lokacija: Over the roof

Postano: 0:49 čet, 7. 1. 2010
—
zar nije greška gore desno kod eliminacije disjunkcije dok se iz QVR dobije Q ?

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

Postano: 10:47 pet, 8. 1. 2010
—
pozdrav
dal negdje se mogu vidjeti rezultati svih zadaća?
Da li je treća već ispravljena?

Hvala!

#11: Autor/ica: lyra,

Postano: 12:58 pet, 8. 1. 2010
—
za one koji su bili na zadnjem predavanju - jel profesor možda rekao otprilike šta bi od teorije moglo doć na kolokviju? hoće biti i dokaza (i jel spomenuo neki koji bi se mogao pojaviti)?

btw, insane_raver, ovdje su ti rezultati prve dvije zadaće, a bit će valjda i rezultati treće, jednog dana Smile

#12: Autor/ica: Jaja, Lokacija: Zagreb

Postano: 17:14 sub, 9. 1. 2010
—
zna li tko što smo točno obradili iz skripte? Što točno ulazi u kolokvij? Je li profesor spominjao kad bi bili usmeni? Je li usmeni obavezan ili postoji mogućnost podjele ocjena na temelju bodova?

#13: Autor/ica: Charmed,

Postano: 12:34 pon, 11. 1. 2010
—
Da, jel zna netko do kud smo došli sa predavanjima...Hvala!

#14: Autor/ica: kyra29,

Postano: 20:48 pon, 11. 1. 2010
—
jel mozda profesor sta spomenuo na predavanju dal je bitan (za kolokvij,teorija) dio neklasicne logike sudova? (kripkeov ovkir itd.)

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

Postano: 16:22 čet, 14. 1. 2010
—
rezultati su počeli stizati tj ispravljeni su 3. i 4. zadatak

#16: Autor/ica: **dreamer**, Lokacija: space

Postano: 22:38 čet, 14. 1. 2010
—
stigli svi rezultati.
da li netko zna kada su zalbe i popravni?
i da li ima neki uvijet za popravni?

#17: Autor/ica: vini,

Postano: 23:18 čet, 14. 1. 2010
—
UVJET ZA POPRAVNI: 10 bodova ukupno na oba redovna kolokvija i školskim zadaćama

Kad su zalbe: nemam pojma

#18: Autor/ica: Jaja, Lokacija: Zagreb

Postano: 11:14 sub, 16. 1. 2010
—
zna li tko kad bi trebali biti usmeni i hoće li biti neki popis na profesorovim vratima da se zapisemo?

#19: Autor/ica: komaPMF, Lokacija: Over the roof

Postano: 15:17 ned, 17. 1. 2010
—
žalbe su sutra u 10h

#20: Autor/ica: Gost,

Postano: 9:00 pon, 18. 1. 2010
—
Kad je popravni?

#21: Autor/ica: vini,

Postano: 11:08 pon, 18. 1. 2010
—

Jaja (napisa):

zna li tko kad bi trebali biti usmeni i hoće li biti neki popis na profesorovim vratima da se zapisemo?

Popis je na profesorovim vratima!! Termini su:

PON 25.01. 9, 10, 12 i 13h
UT 26.01. 9, 10, 12 i 13h
SRI 27.01. 9, 10, 12 i 13h

Stoji i obavijest da se termini trebaju popunjavati po redu. Ako se to ne bude postovalo profesor ce napraviti svoju listu.

1.godina diplomskog studija, smjer Racunarstvo i matematika u ponedjeljak u 12h pise 2. kolokvij iz Oblikovanja i analize algoritama, pa sam profesoru stavila obavijest da smo iz tog razloga zapisani u terminima utorka i srijede.

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

Postano: 14:54 sri, 20. 1. 2010
—

Anonymous (napisa):

Kad je popravni?

u utorak 26.1. u 9:00

#23: Autor/ica: Gost,

Postano: 14:18 ned, 24. 1. 2010
—
može li mi netko najjednostavnije objasniti kako se traži neka struktura kad kod glavnog testa ispitujemo npr. valjanost?

#24: Autor/ica: Taurus, Lokacija: Psychiatric Mental Facility (PMF)

Postano: 16:21 ned, 24. 1. 2010
—

Anonymous (napisa):

može li mi netko najjednostavnije objasniti kako se traži neka struktura kad kod glavnog testa ispitujemo npr. valjanost?

Stuktura je uređeni par (M, Phi).

Za nosač M izabereš sve simbole a, b, ... koji su u toj grani koju možeš raspisati do kraja. Naravno pod granom mislim od korjena do zadnjeg čvora gdje nema kontradikcije. A simboli ovise o tome koje si ti uvodio, a, b, itd su samo primjer. Npr. M={a, b, c}

Za Phi od određenog relacijskog simbola (npr. P, R, Q, ..) uzmeš one simbole a, b, ... za koje je taj relacijski simbol istinit. Npr. ako imaš " P(a) T " tada uzmeš Phi(P)={a}, ako je " R(a, b) T " onda uzmeš Phi(R)={(a,b)}, itd. Ako je relacijski simbol (npr. Q) lažan za sve simbole a, b, ... onda slobodno definiraš Phi(Q)=prazan skup.

Ako uspiješ naći takvu strukturu, znači da na njoj formula nije istinita (zbog poč. pretp.) pa zaključiš da formula nije valjana.

#25: Autor/ica: babybodom, Lokacija: zagreb

Postano: 14:15 pon, 25. 1. 2010
—
je li sigurno to da je sutra u 9 popravni?
ovo sa terminima trecih kolokvija me totalno zbunilo

#26: Autor/ica: mini,

Postano: 18:09 pon, 25. 1. 2010
—
ako se da nekome napisati pitanja s usmenog i kakvi su dojmovi... to uvijek dobro dođe Wink

#27: Autor/ica: lyra,

Postano: 18:46 pon, 25. 1. 2010
—

mini (napisa):

ako se da nekome napisati pitanja s usmenog i kakvi su dojmovi... to uvijek dobro dođe Wink

well, danas su ljudi odgovarali uglavnom za 3-4 (kolko sam ja vidila) i pitanja su bila: tm potpunosti/adekvatnosti za sistem PD, lindenbaumova lema za logiku sudova, gödelov tm potpunosti, tm kompaktnosti, generalizirani tm potpunosti za teorije 1. reda, ono nešto o postojanju proširenja valuacije i ne znam šta sve još Very Happy

od definicija je bilo svašta, evo samo par: struktura, valuacija, interpretacija, istinitost formule za neku int., konzistentan skup, čime je zadan alfabet teorije 1. reda...

a usmeni je skroz u redu, profesor te upozori ako nešto pogriješiš, daje hintove ako zapneš u dokazu, ali moraš dobro znat sve definicije i iskaze teorema. tko ne položi sad ili nije zadovoljan ocjenom, može odgovarati još jednom sljedeći tjedan, kolko sam skužila.

sretno Wink

#28: Autor/ica: Taurus, Lokacija: Psychiatric Mental Facility (PMF)

Postano: 18:52 pon, 25. 1. 2010
—

mini (napisa):

ako se da nekome napisati pitanja s usmenog i kakvi su dojmovi... to uvijek dobro dođe Wink

Pogledaj si definicije i teoreme sa ovogodišnjih/prošlogodišnjih/pretprošlogodišnjih kolokvija. Uglavnom prof. pita sve važnije definicije i teoreme/leme s imenima. Bitno je da kod definicija znaš i "poddefinicije", odnosno da znaš šta je šta u tome što definiraš. A što se tiče terema pita dokaze čak i onih za koje ih nema u skripti, ali jako puno pomaže kada god zapneš i uglavnom kaže što da napraviš sljedeće ili te uputi preko nekog drugog teoreme/leme/prop.

Ja sam učio prema ovom popisu, ako se ne varam nije bilo ništa izvan toga :

1. Kolokvij
-----------
+ Riječ (Str. 17)
+ Konkatenacija (Str. 17)
+ Podriječ (Str. 17)
+ Formula logike sudova (Str. 18 )
+ Potformula (Str. 19)
+ Istinitost formule (Str. 21)
+ Relacija logičke posljedice (Str. 22)
+ Logički ekvivalentne formule (Str. 23)
+ Ispunjiva/oboriva (Str. 23)
+ Valjanja formula (tautologija) (Str. 23)
+ Antitautologija (Ste. 23)
+ KNF + DNF (Str. 28 )
+ Savršena KNF + DNF (Str. 30)
+ Dokaz u RS (Str. 51)
+ Izvod (Str. 52)
+ Konzistentan skup formula (Str. 60)
+ Potpun skup formula (Str. 65)

+ Teorem o normalnim formama (Str. 29)
+ Craigova interpolaciona lema za logiku sudova (Str. 31)
+ Teorem adekvatnosti za RS (Str. 51)
+ Teorem dedukcije za RS (Str. 53)
+ Svojstva konzistentnih skupova u RS (Str. 60-61)
+ Lindenbaumova lema
+ Generalizirani teorem potpunosti za logiku sudova (Str. 68 )
+ Jaki teorem potpunosti za RS (Str. 68 )
+ Teorem potpunosti za RS (Str. 68 )
+ Teorem kompaktnosti za RS (Str. 68 )
+ Propozicija o relaciji logičke posljedice koja je ekvivalentna s teoremom kompaktnosti (Str. 69)

2. Kolkovij
-----------
+ Stablo (Str. 89)
+ Označeno stablo (Str. 90)
+ Term (term neke teorije prvog reda) (Str. 131)
+ Formula logike prvog reda (Str. 132)
+ Term slobodan za neku varijablu (Str. 134)
+ Struktura (Str. 136)
+ Interpretacija (Str. 138 )
+ Istinitost formule za danu interpretaciju (Str. 138 )
+ Podstruktura/proširenje strukture (Str. 141)
+ Elementarno ekvivalentne strukture (Str. 141)
+ Izomorfizam struktura (Str. 141)
+ Preneksna normalna forma (Str. 153)
+ Teorija T prvog reda (Str. 179)
+ Konzistentan skup formula u teoriji T prvog reda (Str. 194)

+ Teorem adekvatnosti za sistem prirodne dedukcije (Str. 95)
+ Teorem potpunosti za sistem prirodne dedukcije (+dokaz) (Str. 98 )
+ Lema o proširenju valuacije na skup svih terma (Str. 137)
+ Teorem o zamjeni (Str. 143)
+ De Morganova pravila za kvantifikatore
+ Teorem o preneksnoj normalnoj formi (Str. 153)
+ Churchov teorem)
+ Teorem adekvatnosti za sistem RP (Str. 181)
+ Teorem dedukcije za teorije prvog reda (Str. 183)
+ Robinsonov teorem o konzistentnosti (Str. 188 )
+ Craigova interpolaciona lema za teorije prvog reda (Str. 188 )
+ Svojstva konzistentnosti u teoriji T (Str. 194/195)
+ Lindenbaumova lema za teorije prvog reda (Str. 196)
+ Generalizirani teorem potpunosti za teorije prvog reda (Str. 204)
+ Gődelov teorem potpunosti (Str. 205)
+ Teorem kompaktnosti za logiku prvog reda (Str. 205)
+ Lőwenheim–Skolemov teorem ”na dolje” (Str. 206)
+ Lőwenheim–Skolemov teorem ”na gore” (Str. 207)

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

Postano: 18:56 pon, 25. 1. 2010
—
profesor je zahtjevan, ali korektan. na postavljeno pitanje se mora (čini mi se) odgovorit, on će pomoć ako ne ide ali neće tako lako krenut dalje... usmeni su prilično dugo trajali, preko 20-30 min po osobi... čini mi se da pita, hm, pa sve više-manje Very Happy

al evo mogu napisat što je mene konkretno pitao - definiciju valjanosti, teorema i dokaza u RS. generalizirani teorem potpunosti, jaki teorem potpunosti i teorem potpunosti, isto za RS. prva dva i dokaz ''zanimljivijeg smjera''. kod logike prvog reda me pitao što je zatvorenje formule i da dokažem nešto za zatvorenje (kažem ''nešto'' jer nema toga u skripti a ne sjećam se točno, znam da je trebalo koristit aksiom A4 i generalizaciju tu i tamo). svojstva konzistentnih skupova. onda se vratio na RS i pitao me iskaz Craigove interpolacijske leme i onda na primjeru nje pokazat vezu semantike i sintakse logike sudova, tj iskazat u terminima izvoda i sl, jeli to ekvivalentno početnoj tvrdnji i zašto jest.
čini mi se da je ta veza bila pitanje za još par ljudi, ali na nekim drugim primjerima. znam još da je neke druge ljude dosta definicija pitao, onih za teoriju odnosno logiku prvog reda, one sigma-terme, sigma-formule itd i tražio je (navodno) potpunu preciznost kad su definicije u pitanju. iskaz i dokaz godelovog teorema potpunosti. ne znam više, za druge ljude, nek se oni jave Wink

oni koji se nisu baš proslavili imaju drugu šansu, nisam zapamtila kad. sretno svima Wink

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

Postano: 20:00 pon, 25. 1. 2010
—
Je li popis i dalje na vratima, tj. može li se još uvijek upisati? Svaki put kad sam na faksu zaboravim, pa da znam mogu li se sutra upisati (ili moram slati mail). Very Happy

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

Postano: 20:03 pon, 25. 1. 2010
—
nisam sigurna, ali mislim da ga je danas maknuo s vrata... možda samo privremeno da zna tko mu je na usmenom kad.. nemoj me uzet za sigurno, moje pamćenje čudno funkcionira Very Happy

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

Postano: 20:04 pon, 25. 1. 2010
—

BitterSweet (napisa):

nisam sigurna, ali mislim da ga je danas maknuo s vrata... možda samo privremeno da zna tko mu je na usmenom kad.. nemoj me uzet za sigurno, moje pamćenje čudno funkcionira Very Happy

Ok, hvala. Very Happy

#33: Autor/ica: Floki,

Postano: 20:23 pon, 25. 1. 2010
—
Da li je profesor možda nekima odmah ponudio ocjenu pa su mogli odgovarati za više ili uzeti ponuđenu?

Unaprijed hvala na odgovoru!

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

Postano: 20:24 pon, 25. 1. 2010
—
ponudio je ocjenu, ali ne neku ocjenu koju bi ljudi uzeli Very Happy

evo meni je npr nudio 2, a imala sam 51 bod, znači ocjenu koju ionako ''imam'' po skali od 100

#35: Autor/ica: Floki,

Postano: 20:37 pon, 25. 1. 2010
—
Ok, hvala Smile

#36: Autor/ica: kyra29,

Postano: 21:00 uto, 26. 1. 2010
—
u kojem slucaju profesor ponudi ocjenu? koji su uvjeti da se ponudi ocjena?

#37: Autor/ica: CrniVG,

Postano: 21:50 uto, 26. 1. 2010
—
Naravno preporuka svima da nauče Wink

, ali u slučaju da netko ima >40 bodova i teorijski dio dobro napisan (preko 50% bodova), profesor smatra da ta osoba zna za dovoljan i nudi tu ocjenu. Trojku i četvorku ne nudi, a ocjenu odličan će dobiti prva 3 na popisu (sa najviše bodova)

#38: Autor/ica: babybodom, Lokacija: zagreb

Postano: 11:22 sri, 27. 1. 2010
—
sto s nama koji smo popravni prosli?
trebamo se isto sad prijaviti za usmeni?

#39: Autor/ica: Loretta,

Postano: 12:22 sri, 27. 1. 2010
—
Da li se vec znaju rezultati popravnog? Di se to moze vidit?

#40: Autor/ica: CrniVG,

Postano: 12:34 sri, 27. 1. 2010
—
Mogu se vidjeti ovdje.

#41: Autor/ica: informerica,

Postano: 14:26 sri, 27. 1. 2010
—
Kada je unos ocjene iz Logike?

#42: Autor/ica: Gost,

Postano: 14:44 sri, 27. 1. 2010
—

babybodom (napisa):

sto s nama koji smo popravni prosli?
trebamo se isto sad prijaviti za usmeni?

Ovo i mene zanima. Trebamo se javiti profesoru ili ce biti popis na kojeg cemo se potpisivati?

#43: Autor/ica: babybodom, Lokacija: zagreb

Postano: 11:14 čet, 28. 1. 2010
—
evo bio sam do faksa... i pogledao... tamo pise da ce se u petak objaviti za pismeni ispit... na vratima od profesorovog kabineta...
znaci u petak treba ici pogledati!

#44: Autor/ica: Gost,

Postano: 13:13 čet, 28. 1. 2010
—

babybodom (napisa):

tamo pise da ce se u petak objaviti za pismeni ispit...

Wow!

Pismeni? Ne usmeni? Siguran?

#45: Autor/ica: CrniVG,

Postano: 13:19 čet, 28. 1. 2010
—
Na onoj tablici sa bodovima piše:

Citat:

"Liste s terminima za usmeni ispit bit će objavljene u petak ujutro na vratima kabineta prof. Vukovića"

#46: Autor/ica: Gost,

Postano: 16:56 pet, 29. 1. 2010
—
ako će ikome poslužit, termini za usmeni su srijedi 3.2. (9h i 10h), te petak 5.2. (čini mi se u 9h)

#47: Autor/ica: **dreamer**, Lokacija: space

Postano: 18:14 pet, 29. 1. 2010
—
hvala, posluzilo je Smile

#48: Autor/ica: **dreamer**, Lokacija: space

Postano: 14:08 uto, 2. 2. 2010
—
jedno mozda malo glupo pitanje, ali... da li profesor i za dvojku pita dokaze?

#49: Autor/ica: mini,

Postano: 17:15 sri, 3. 2. 2010
—
za dva moraš znati sve definicije i iskaze teorema, ne dokaze. to znači da, ako te on pita, moraš znat precizno objasnit definiciju, tj može te pitat neke primjere ili pak šta nešto iz te definicije predstavlja. tako da, preporučam, na sve nejasnoće na koje naletiš obratiš pozornost i pokušaš ih obrazložit. valjda sam se dobro izrazila Wink

Forum@DeGiorgi -> Matematički kolegiji

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

Stranica 1 / 1.