Prethodna tema :: Sljedeća tema |
Autor/ica |
Poruka |
Charmed Forumaš(ica)
Pridružen/a: 22. 02. 2009. (11:51:49) Postovi: (20B)16
Spol:
|
|
[Vrh] |
|
RonnieColeman Forumaš(ica)
Pridružen/a: 26. 04. 2006. (10:35:00) Postovi: (20B)16
Spol:
Lokacija: |R^3
|
|
[Vrh] |
|
kika Forumaš(ica)
Pridružen/a: 11. 02. 2005. (09:36:12) Postovi: (188)16
|
|
[Vrh] |
|
CrniVG Forumaš(ica)
Pridružen/a: 19. 02. 2009. (22:44:19) Postovi: (23)16
|
|
[Vrh] |
|
mini Forumaš(ica)
Pridružen/a: 04. 02. 2009. (14:31:34) Postovi: (69)16
Spol:
|
|
[Vrh] |
|
fffffffuuuuuu Gost
|
Postano: 2:33 sri, 6. 1. 2010 Naslov: |
|
|
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. :-)
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 :-)
Fala lijepa i dobro jutro :-)
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.
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
Fala lijepa i dobro jutro
|
|
[Vrh] |
|
ivo34 Forumaš(ica)
Pridružen/a: 03. 02. 2005. (10:11:04) Postovi: (171)16
Spol:
|
|
[Vrh] |
|
**dreamer** Forumaš(ica)
Pridružen/a: 27. 06. 2008. (15:25:24) Postovi: (2F)16
Lokacija: space
|
Postano: 16:47 sri, 6. 1. 2010 Naslov: |
|
|
@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]
@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]
_________________ You may say that I’m dreamer but I’m not the only one
Description: |
|
Filesize: |
38.01 KB |
Viewed: |
140 Time(s) |
|
|
|
[Vrh] |
|
komaPMF Forumaš(ica)
Pridružen/a: 22. 11. 2007. (10:23:41) Postovi: (E6)16
Spol:
Lokacija: Over the roof
|
|
[Vrh] |
|
insane_raver Forumaš(ica)
Pridružen/a: 05. 05. 2009. (21:55:06) Postovi: (1DB)16
Spol:
Lokacija: ZGB
|
|
[Vrh] |
|
lyra Forumaš(ica)
Pridružen/a: 17. 07. 2006. (21:23:44) Postovi: (63)16
Spol:
|
Postano: 12:58 pet, 8. 1. 2010 Naslov: |
|
|
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, [url=http://spreadsheets.google.com/pub?key=t22-IKBaMC3JQlQFQQtXLmg&single=true&gid=6&output=html]ovdje[/url] su ti rezultati prve dvije zadaće, a bit će valjda i rezultati treće, jednog dana :)
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
_________________ - Hey, Rachel, how many hipsters does it take to screw in a lightbulb?
- Gee, Jess, how many?
- You don't KNOW?
|
|
[Vrh] |
|
Jaja Forumaš(ica)
Pridružen/a: 26. 09. 2004. (12:06:48) Postovi: (C3)16
Spol:
Lokacija: Zagreb
|
|
[Vrh] |
|
Charmed Forumaš(ica)
Pridružen/a: 22. 02. 2009. (11:51:49) Postovi: (20B)16
Spol:
|
|
[Vrh] |
|
kyra29 Forumaš(ica)
Pridružen/a: 16. 02. 2009. (17:23:47) Postovi: (3F)16
Spol:
|
|
[Vrh] |
|
BitterSweet Forumaš(ica)
Pridružen/a: 10. 10. 2007. (21:09:28) Postovi: (174)16
Spol:
Lokacija: sjeverno od raja
|
|
[Vrh] |
|
**dreamer** Forumaš(ica)
Pridružen/a: 27. 06. 2008. (15:25:24) Postovi: (2F)16
Lokacija: space
|
|
[Vrh] |
|
vini Forumaš(ica)
Pridružen/a: 01. 09. 2006. (18:10:50) Postovi: (9E)16
Spol:
|
|
[Vrh] |
|
Jaja Forumaš(ica)
Pridružen/a: 26. 09. 2004. (12:06:48) Postovi: (C3)16
Spol:
Lokacija: Zagreb
|
|
[Vrh] |
|
komaPMF Forumaš(ica)
Pridružen/a: 22. 11. 2007. (10:23:41) Postovi: (E6)16
Spol:
Lokacija: Over the roof
|
|
[Vrh] |
|
Gost
|
|
[Vrh] |
|
|