dswp.de http://www.dswp.de/old/ |
|
image_error http://www.dswp.de/old/installation-updates-bugs/image-error-t1848-30.html |
Page 4 of 6 |
Author: | AimMe [ 02.26.10 ] |
Post subject: | Re: image_error |
SteveMcqueen wrote: assumption to prove: right(you) ^ not.right(me) --> peaceful(me) with premises: 1. right(you) --> quiet(you) 2. quiet(you) --> peaceful(me) SteveMcqueen wrote: you also really know what this is? first order logic is not pseudo code. it happends to be found not just in informatics. First time i saw first post, i thought it's about logic (which i have in school) and not about informatics at all :s And i can say i don't like logic, it's not a bit of what i expected... ahh, offtopic again... but.... |
Author: | SvaRoX [ 02.26.10 ] |
Post subject: | Re: image_error |
SteveMcqueen wrote: in general we have "MfI" so we get the idea on how to realize underlying principles behind informally given structures. especially of ones with non-numerical character. so we can afterwards put them into math terms. which can afterwards be put into code. maybe this will help you a bit to get better idea, as this is i am taught pretty similar things like these described in the link. Cool thanks for the link, ok I understand why they teach you that then. I had equivalent lessons some years ago, maybe I should refresh my memories hehe |
Author: | SteveMcqueen [ 02.26.10 ] |
Post subject: | Re: image_error |
AimMe wrote: First time i saw first post, i thought it's about logic (which i have in school) and not about informatics at all :s And i can say i don't like logic, it's not a bit of what i expected... ahh, offtopic again... but.... if your logic stuff is like what i posted (using not, and, or, xor, -->, <-->, all and existential quantifiers, was there something else?), then be happy... it is the smaller of your problems then. it is just a matter of training, after a while you get the hang of it and dont need to think because you KNOW. That is when you start to see white rabbits around corners... and for the offtopic: thread is already raided by 104%. |
Author: | SvaRoX [ 02.26.10 ] |
Post subject: | Re: image_error |
Don't worry about offtopic, it was a topic for nerds anyway |
Author: | AimMe [ 02.26.10 ] |
Post subject: | Re: image_error |
SteveMcqueen wrote: AimMe wrote: First time i saw first post, i thought it's about logic (which i have in school) and not about informatics at all :s And i can say i don't like logic, it's not a bit of what i expected... ahh, offtopic again... but.... if your logic stuff is like what i posted (using not, and, or, xor, -->, <-->, all and existential quantifiers, was there something else?), then be happy... it is the smaller of your problems then. it is just a matter of training, after a while you get the hang of it and dont need to think because you KNOW. That is when you start to see white rabbits around corners... and for the offtopic: thread is already raided by 104%. Mostly we are at particular/general affirmative/negative stuff. But "premisses" is what reminded me to begining of year. |
Author: | natirips [ 02.26.10 ] |
Post subject: | Re: image_error |
@Steve/long_post: You just literaly taught me more than all my teachers and professors did together in all these years. And btw, I thought Fitch was a curse or something. |
Author: | SteveMcqueen [ 02.26.10 ] |
Post subject: | Re: image_error |
dont think so... and yeah, fitch lets you curse like a sailor after a while... |
Author: | SvaRoX [ 02.26.10 ] |
Post subject: | Re: image_error |
natirips wrote: @Steve/long_post: You just literaly taught me more than all my teachers and professors did together in all these years. and you are going to teach children !!! |
Author: | SteveMcqueen [ 02.26.10 ] |
Post subject: | Re: image_error |
better not *obligatory spam* |
Author: | natirips [ 02.26.10 ] |
Post subject: | Re: image_error |
SvaRoX wrote: natirips wrote: @Steve/long_post: You just literaly taught me more than all my teachers and professors did together in all these years. and you are going to teach children !!! |
Page 4 of 6 | All times are UTC + 1 hour |
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |