image_error

AimMe · **Posted:** 02.26.10

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

SvaRoX · **Joined:** 11.29.08 **Posts:** 1972

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

SteveMcqueen · **Posted:** 02.26.10

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

SvaRoX · **Joined:** 11.29.08 **Posts:** 1972

Don't worry about offtopic, it was a topic for nerds anyway

AimMe · **Posted:** 02.26.10

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.

natirips · **Posted:** 02.26.10

@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. :lol:

SteveMcqueen · **Posted:** 02.26.10

dont think so... and yeah, fitch lets you curse like a sailor after a while...

SvaRoX · **Joined:** 11.29.08 **Posts:** 1972

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

SteveMcqueen · **Posted:** 02.26.10

better not *obligatory spam*

natirips · **Posted:** 02.26.10

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

At the very least, I know much more than they do

.

image_error

Who is online