Prethodna tema :: Sljedeća tema |
Autor/ica |
Poruka |
Charmed Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=3437&c=523)
![](images/avatars/14766124824cae146562b1e.jpg)
Pridružen/a: 22. 02. 2009. (11:51:49) Postovi: (20B)16
Spol: ![kućni ljubimac kućni ljubimac](images/gender/pet.gif)
|
|
[Vrh] |
|
RonnieColeman Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=1408&c=523)
Pridružen/a: 26. 04. 2006. (10:35:00) Postovi: (20B)16
Spol: ![muško muško](images/gender/male.gif)
Lokacija: |R^3
|
|
[Vrh] |
|
kika Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=709&c=392)
Pridružen/a: 11. 02. 2005. (09:36:12) Postovi: (188)16
|
|
[Vrh] |
|
CrniVG Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=3425&c=35)
Pridružen/a: 19. 02. 2009. (22:44:19) Postovi: (23)16
|
|
[Vrh] |
|
mini Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=3377&c=105)
Pridružen/a: 04. 02. 2009. (14:31:34) Postovi: (69)16
Spol: ![žensko žensko](images/gender/female.gif)
|
|
[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)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=679&c=369)
![](images/avatars/9598904384751440d34a99.jpg)
Pridružen/a: 03. 02. 2005. (10:11:04) Postovi: (171)16
Spol: ![muško muško](images/gender/male.gif)
|
|
[Vrh] |
|
**dreamer** Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=3007&c=47)
![](images/avatars/10706965024864fc7df26ac.jpg)
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: |
135 Time(s) |
![010610163444.jpg](files/thumbs/t_010610163444_539.jpg)
|
|
|
[Vrh] |
|
komaPMF Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=2580&c=230)
![](images/avatars/4491389674937e2e0540d9.gif)
Pridružen/a: 22. 11. 2007. (10:23:41) Postovi: (E6)16
Spol: ![žensko žensko](images/gender/female.gif)
Lokacija: Over the roof
|
|
[Vrh] |
|
insane_raver Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=3537&c=475)
![](images/avatars/18839181264fa2d3f861ce5.jpg)
Pridružen/a: 05. 05. 2009. (21:55:06) Postovi: (1DB)16
Spol: ![muško muško](images/gender/male.gif)
Lokacija: ZGB
|
|
[Vrh] |
|
lyra Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=1561&c=99)
![](images/avatars/201800377848376cce54dc3.jpg)
Pridružen/a: 17. 07. 2006. (21:23:44) Postovi: (63)16
Spol: ![žensko žensko](images/gender/female.gif)
|
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)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=526&c=195)
![](images/avatars/194611913043dfdfeba4a9e.gif)
Pridružen/a: 26. 09. 2004. (12:06:48) Postovi: (C3)16
Spol: ![žensko žensko](images/gender/female.gif)
Lokacija: Zagreb
|
|
[Vrh] |
|
Charmed Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=3437&c=523)
![](images/avatars/14766124824cae146562b1e.jpg)
Pridružen/a: 22. 02. 2009. (11:51:49) Postovi: (20B)16
Spol: ![kućni ljubimac kućni ljubimac](images/gender/pet.gif)
|
|
[Vrh] |
|
kyra29 Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=3408&c=63)
![](images/avatars/188568149549a58eb64b08b.jpg)
Pridružen/a: 16. 02. 2009. (17:23:47) Postovi: (3F)16
Spol: ![žensko žensko](images/gender/female.gif)
|
|
[Vrh] |
|
BitterSweet Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=2448&c=372)
![](images/avatars/20408645854cac8c3763edb.jpg)
Pridružen/a: 10. 10. 2007. (21:09:28) Postovi: (174)16
Spol: ![žensko žensko](images/gender/female.gif)
Lokacija: sjeverno od raja
|
|
[Vrh] |
|
**dreamer** Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=3007&c=47)
![](images/avatars/10706965024864fc7df26ac.jpg)
Pridružen/a: 27. 06. 2008. (15:25:24) Postovi: (2F)16
Lokacija: space
|
|
[Vrh] |
|
vini Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=1610&c=158)
![](images/avatars/61762262646eaf12c536f9.jpg)
Pridružen/a: 01. 09. 2006. (18:10:50) Postovi: (9E)16
Spol: ![žensko žensko](images/gender/female.gif)
|
|
[Vrh] |
|
Jaja Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=526&c=195)
![](images/avatars/194611913043dfdfeba4a9e.gif)
Pridružen/a: 26. 09. 2004. (12:06:48) Postovi: (C3)16
Spol: ![žensko žensko](images/gender/female.gif)
Lokacija: Zagreb
|
|
[Vrh] |
|
komaPMF Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=2580&c=230)
![](images/avatars/4491389674937e2e0540d9.gif)
Pridružen/a: 22. 11. 2007. (10:23:41) Postovi: (E6)16
Spol: ![žensko žensko](images/gender/female.gif)
Lokacija: Over the roof
|
|
[Vrh] |
|
Gost
|
|
[Vrh] |
|
|