Prethodna tema :: Sljedeća tema |
Autor/ica |
Poruka |
vini Forumaš(ica)
Pridružen/a: 01. 09. 2006. (18:10:50) Postovi: (9E)16
Spol:
|
Postano: 11:08 pon, 18. 1. 2010 Naslov: |
|
|
[quote="Jaja"]zna li tko kad bi trebali biti usmeni i hoće li biti neki popis na profesorovim vratima da se zapisemo?[/quote]
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.
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.
|
|
[Vrh] |
|
amorphis Forumaš(ica)
Pridružen/a: 10. 02. 2007. (23:15:13) Postovi: (101)16
Lokacija: zg
|
|
[Vrh] |
|
Gost
|
|
[Vrh] |
|
Taurus Forumaš(ica)
Pridružen/a: 05. 02. 2008. (23:11:51) Postovi: (61)16
Spol:
Lokacija: Psychiatric Mental Facility (PMF)
|
Postano: 16:21 ned, 24. 1. 2010 Naslov: |
|
|
[quote="Anonymous"]može li mi netko najjednostavnije objasniti kako se traži neka struktura kad kod glavnog testa ispitujemo npr. valjanost?[/quote]
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.
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.
_________________ Moooooooooooooooooooooooo...
|
|
[Vrh] |
|
babybodom Forumaš(ica)
Pridružen/a: 29. 06. 2009. (22:03:01) Postovi: (31)16
Lokacija: zagreb
|
|
[Vrh] |
|
mini Forumaš(ica)
Pridružen/a: 04. 02. 2009. (14:31:34) Postovi: (69)16
Spol:
|
|
[Vrh] |
|
lyra Forumaš(ica)
Pridružen/a: 17. 07. 2006. (21:23:44) Postovi: (63)16
Spol:
|
Postano: 18:46 pon, 25. 1. 2010 Naslov: |
|
|
[quote="mini"]ako se da nekome napisati pitanja s usmenog i kakvi su dojmovi... to uvijek dobro dođe :wink:[/quote]
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š :D
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 ;)
mini (napisa): | ako se da nekome napisati pitanja s usmenog i kakvi su dojmovi... to uvijek dobro dođe |
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š
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
_________________ - Hey, Rachel, how many hipsters does it take to screw in a lightbulb?
- Gee, Jess, how many?
- You don't KNOW?
|
|
[Vrh] |
|
Taurus Forumaš(ica)
Pridružen/a: 05. 02. 2008. (23:11:51) Postovi: (61)16
Spol:
Lokacija: Psychiatric Mental Facility (PMF)
|
|
[Vrh] |
|
BitterSweet Forumaš(ica)
Pridružen/a: 10. 10. 2007. (21:09:28) Postovi: (174)16
Spol:
Lokacija: sjeverno od raja
|
Postano: 18:56 pon, 25. 1. 2010 Naslov: |
|
|
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 :D
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 ;) oni koji se nisu baš proslavili imaju drugu šansu, nisam zapamtila kad. sretno svima ;)
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
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 oni koji se nisu baš proslavili imaju drugu šansu, nisam zapamtila kad. sretno svima
_________________ "Give me sweet lies, and keep your bitter truths." ~ Tyrion Lannister
|
|
[Vrh] |
|
Atomised Forumaš(ica)
Pridružen/a: 04. 09. 2007. (15:33:59) Postovi: (399)16
Lokacija: Exotica
|
|
[Vrh] |
|
BitterSweet Forumaš(ica)
Pridružen/a: 10. 10. 2007. (21:09:28) Postovi: (174)16
Spol:
Lokacija: sjeverno od raja
|
|
[Vrh] |
|
Atomised Forumaš(ica)
Pridružen/a: 04. 09. 2007. (15:33:59) Postovi: (399)16
Lokacija: Exotica
|
|
[Vrh] |
|
Floki Forumaš(ica)
Pridružen/a: 29. 02. 2004. (19:25:17) Postovi: (3E)16
|
|
[Vrh] |
|
BitterSweet Forumaš(ica)
Pridružen/a: 10. 10. 2007. (21:09:28) Postovi: (174)16
Spol:
Lokacija: sjeverno od raja
|
|
[Vrh] |
|
Floki Forumaš(ica)
Pridružen/a: 29. 02. 2004. (19:25:17) Postovi: (3E)16
|
|
[Vrh] |
|
kyra29 Forumaš(ica)
Pridružen/a: 16. 02. 2009. (17:23:47) Postovi: (3F)16
Spol:
|
|
[Vrh] |
|
CrniVG Forumaš(ica)
Pridružen/a: 19. 02. 2009. (22:44:19) Postovi: (23)16
|
|
[Vrh] |
|
babybodom Forumaš(ica)
Pridružen/a: 29. 06. 2009. (22:03:01) Postovi: (31)16
Lokacija: zagreb
|
|
[Vrh] |
|
Loretta Forumaš(ica)
Pridružen/a: 01. 03. 2005. (15:41:30) Postovi: (1D)16
|
|
[Vrh] |
|
CrniVG Forumaš(ica)
Pridružen/a: 19. 02. 2009. (22:44:19) Postovi: (23)16
|
|
[Vrh] |
|
|