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

Matematicka logika (informacija)
Idite na 1, 2, 3 ... 19, 20, 21  Sljedeće
Moja sarma
 
Započnite novu temu   Odgovorite na temu   printer-friendly view    Forum@DeGiorgi: Početna -> Kolegiji siročići (oni koji nemaju svoj podforum) -> Matematički kolegiji
Prethodna tema :: Sljedeća tema  
Autor/ica Poruka
Gost






PostPostano: 8:01 sri, 6. 9. 2006    Naslov: Matematicka logika Citirajte i odgovorite

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 :)
hvala
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


[Vrh]
Gost






PostPostano: 22:34 pon, 5. 2. 2007    Naslov: Re: Matematicka logika Citirajte i odgovorite

[quote="Anonymous"]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 :)
hvala[/quote]

slicno i mene muci :lol:

takodjer bi molio da javite kada saznate kada ce biti usmeni na prvom roku
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


[Vrh]
hermione
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 23. 09. 2003. (10:50:57)
Postovi: (152)16
Spol: kućni ljubimac
Sarma: -

PostPostano: 22:38 pon, 5. 2. 2007    Naslov: Re: Matematicka logika Citirajte i odgovorite

[quote="Anonymous"][quote="Anonymous"]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 :)
hvala[/quote]

slicno i mene muci :lol:

takodjer bi molio da javite kada saznate kada ce biti usmeni na prvom roku[/quote]
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!
Anonymous (napisa):
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!



_________________
http://www.youtube.com/watch?v=SjN_4LO-5L8

U tijelu nema pravih ideala
[Vrh]
Korisnički profil Pošaljite privatnu poruku Pošaljite e-mail Posjetite Web stranice
Gost






PostPostano: 22:44 pon, 5. 2. 2007    Naslov: Citirajte i odgovorite

hvala :wink:

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

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


[Vrh]
hermione
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 23. 09. 2003. (10:50:57)
Postovi: (152)16
Spol: kućni ljubimac
Sarma: -

PostPostano: 22:48 pon, 5. 2. 2007    Naslov: Citirajte i odgovorite

[quote="Anonymous"]hvala :wink:

hoces reci da ce pokrivati gradivo s kolokvija ili da ce bas ona pitanja sa kolokvija biti na usmenom(+dokazi)?[/quote]
Prof. obicno pita Tm s imenom, kao sto je bilo i na kolokvijima.
Anonymous (napisa):
hvala Wink

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.



_________________
http://www.youtube.com/watch?v=SjN_4LO-5L8

U tijelu nema pravih ideala
[Vrh]
Korisnički profil Pošaljite privatnu poruku Pošaljite e-mail Posjetite Web stranice
Romana
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 27. 09. 2006. (18:33:19)
Postovi: (21)16
Sarma = la pohva - posuda
= 8 - 0

PostPostano: 19:36 uto, 6. 2. 2007    Naslov: Citirajte i odgovorite

Jel bi mogo neko napisat do kud smo točno došli s gradivom (u skripti)?
Jel bi mogo neko napisat do kud smo točno došli s gradivom (u skripti)?


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Gost






PostPostano: 20:37 sri, 7. 2. 2007    Naslov: Citirajte i odgovorite

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?
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?


[Vrh]
Romana
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 27. 09. 2006. (18:33:19)
Postovi: (21)16
Sarma = la pohva - posuda
= 8 - 0

PostPostano: 0:37 čet, 8. 2. 2007    Naslov: Citirajte i odgovorite

Hvala na odgovoru.
Rezultati pismenog su u petak u 15.00, nije pisalo ništa za usmeni.
Hvala na odgovoru.
Rezultati pismenog su u petak u 15.00, nije pisalo ništa za usmeni.


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Gost






PostPostano: 16:08 pet, 9. 2. 2007    Naslov: Citirajte i odgovorite

jel se zna kad su usmeni? jesu bili rezultati?
jel se zna kad su usmeni? jesu bili rezultati?


[Vrh]
Romana
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 27. 09. 2006. (18:33:19)
Postovi: (21)16
Sarma = la pohva - posuda
= 8 - 0

PostPostano: 21:38 pet, 9. 2. 2007    Naslov: Citirajte i odgovorite

za usmeni se dogovara s profesorom preko maila, to je pisalo na rezultatima.
za usmeni se dogovara s profesorom preko maila, to je pisalo na rezultatima.


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Gost






PostPostano: 19:11 sri, 14. 2. 2007    Naslov: Citirajte i odgovorite

danas su navodno bili neki usmeni

kak je bilo? jel bio tko? sto je prof pitao?
danas su navodno bili neki usmeni

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


[Vrh]
hermione
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 23. 09. 2003. (10:50:57)
Postovi: (152)16
Spol: kućni ljubimac
Sarma: -

PostPostano: 0:54 uto, 20. 2. 2007    Naslov: Citirajte i odgovorite

Tm. adekvatnosti za PD, RS i teoriju T, Craigeova lema, Tm.potpunosti, Tm. kompaktnosti, def dokaza u RS, sigma interpretacije
Tm. adekvatnosti za PD, RS i teoriju T, Craigeova lema, Tm.potpunosti, Tm. kompaktnosti, def dokaza u RS, sigma interpretacije



_________________
http://www.youtube.com/watch?v=SjN_4LO-5L8

U tijelu nema pravih ideala
[Vrh]
Korisnički profil Pošaljite privatnu poruku Pošaljite e-mail Posjetite Web stranice
Mishika
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 28. 09. 2005. (11:32:36)
Postovi: (32)16
Spol: muško
Sarma = la pohva - posuda
= 1 - 0

PostPostano: 11:50 pon, 26. 2. 2007    Naslov: Citirajte i odgovorite

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)
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)



_________________
It's better to burn out than to fade away...
[Vrh]
Korisnički profil Pošaljite privatnu poruku
Gost






PostPostano: 15:19 uto, 27. 2. 2007    Naslov: Citirajte i odgovorite

- 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)
- 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)


[Vrh]
Gost






PostPostano: 12:29 sri, 28. 2. 2007    Naslov: Citirajte i odgovorite

hvala puno na trudu :)

sto iz izracunjivosti ne pita nista?
hvala puno na trudu Smile

sto iz izracunjivosti ne pita nista?


[Vrh]
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: 16:08 sri, 28. 2. 2007    Naslov: Citirajte i odgovorite

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



_________________
It's not who you love. It's how.
[Vrh]
Korisnički profil Pošaljite privatnu poruku Posjetite Web stranice
hermione
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 23. 09. 2003. (10:50:57)
Postovi: (152)16
Spol: kućni ljubimac
Sarma: -

PostPostano: 17:27 sri, 28. 2. 2007    Naslov: Citirajte i odgovorite

[quote="Nesi"]mislim da su ovo pitanja iz logike 1 (prof smjer), tj prvog semestra logike (ing smjer)[/quote]
I onih koji su logiku 1 upisali kao izborni!
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!



_________________
http://www.youtube.com/watch?v=SjN_4LO-5L8

U tijelu nema pravih ideala
[Vrh]
Korisnički profil Pošaljite privatnu poruku Pošaljite e-mail Posjetite Web stranice
Gost






PostPostano: 13:56 pon, 16. 4. 2007    Naslov: Citirajte i odgovorite

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
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


[Vrh]
hermione
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 23. 09. 2003. (10:50:57)
Postovi: (152)16
Spol: kućni ljubimac
Sarma: -

PostPostano: 13:58 pon, 16. 4. 2007    Naslov: Citirajte i odgovorite

[quote="Anonymous"] imam osjecaj da PD bas i ne pita, jel to istina?


unaprijed hvala[/quote]

NE!
Anonymous (napisa):
imam osjecaj da PD bas i ne pita, jel to istina?


unaprijed hvala


NE!



_________________
http://www.youtube.com/watch?v=SjN_4LO-5L8

U tijelu nema pravih ideala
[Vrh]
Korisnički profil Pošaljite privatnu poruku Pošaljite e-mail Posjetite Web stranice
Gost






PostPostano: 10:02 uto, 17. 4. 2007    Naslov: Citirajte i odgovorite

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?
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?


[Vrh]
Prethodni postovi:   
Započnite novu temu   Odgovorite na temu   printer-friendly view    Forum@DeGiorgi: Početna -> Kolegiji siročići (oni koji nemaju svoj podforum) -> Matematički kolegiji Vremenska zona: GMT + 01:00.
Idite na 1, 2, 3 ... 19, 20, 21  Sljedeće
Stranica 1 / 21.

 
Forum(o)Bir:  
Ne možete otvarati nove teme.
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