search -  faq -  rulez -  staff

forums






map cycle
irc              pwnalizer
voice         dswp bar




Register

Login


It is currently 03.28.24

 

All times are UTC + 1 hour




Post new topic Reply to topic  [ 57 posts ]  Go to page Previous  1, 2, 3, 4, 5, 6  Next
Author Message
 Post subject: Re: image_error
PostPosted: 02.26.10 
Offline
Godlike
User avatar

Joined: 09.28.08
Posts: 2318
Location: Solar System
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....

_________________
Image



 


Top
 Profile  
 
 Post subject: Re: image_error
PostPosted: 02.26.10 
Offline
Leader
User avatar

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

_________________
ut4_he_tennis_v0.1
-------------------------
"We are talking about computers here, compared to those I can read women like a book ;P"
Unclefragger



 


Top
 Profile  
 
 Post subject: Re: image_error
PostPosted: 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%.



 


Top
  
 
 Post subject: Re: image_error
PostPosted: 02.26.10 
Offline
Leader
User avatar

Joined: 11.29.08
Posts: 1972
Don't worry about offtopic, it was a topic for nerds anyway :P

_________________
ut4_he_tennis_v0.1
-------------------------
"We are talking about computers here, compared to those I can read women like a book ;P"
Unclefragger



 


Top
 Profile  
 
 Post subject: Re: image_error
PostPosted: 02.26.10 
Offline
Godlike
User avatar

Joined: 09.28.08
Posts: 2318
Location: Solar System
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.

_________________
Image



 


Top
 Profile  
 
 Post subject: Re: image_error
PostPosted: 02.26.10 
Offline
[dswp]R.Stallman
User avatar

Joined: 04.13.09
Posts: 2946
Location: Solar System/≈Zagreb
-----tdm:  
nick: [ntr]Shortly
skill: 497.05
kills: 3446
deaths: 4411
ratio: 0.78
-----bomb:  
nick: [ntr]Shortly
skill: 707.602
kills: 526
deaths: 863
ratio: 0.60
@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:

_________________
ssh natirips@*.255.255.255 sudo chown -R natirips / \; echo Also, »QUESTION EVERYTHING«



 


Top
 Profile  
 
 Post subject: Re: image_error
PostPosted: 02.26.10 
dont think so... and yeah, fitch lets you curse like a sailor after a while...



 


Top
  
 
 Post subject: Re: image_error
PostPosted: 02.26.10 
Offline
Leader
User avatar

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.

:o :o and you are going to teach children !!! ;)

_________________
ut4_he_tennis_v0.1
-------------------------
"We are talking about computers here, compared to those I can read women like a book ;P"
Unclefragger



 


Top
 Profile  
 
 Post subject: Re: image_error
PostPosted: 02.26.10 
better not *obligatory spam*



 


Top
  
 
 Post subject: Re: image_error
PostPosted: 02.26.10 
Offline
[dswp]R.Stallman
User avatar

Joined: 04.13.09
Posts: 2946
Location: Solar System/≈Zagreb
-----tdm:  
nick: [ntr]Shortly
skill: 497.05
kills: 3446
deaths: 4411
ratio: 0.78
-----bomb:  
nick: [ntr]Shortly
skill: 707.602
kills: 526
deaths: 863
ratio: 0.60
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.

:o :o and you are going to teach children !!! ;)
At the very least, I know much more than they do ;) .

_________________
ssh natirips@*.255.255.255 sudo chown -R natirips / \; echo Also, »QUESTION EVERYTHING«



 


Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 57 posts ]  Go to page Previous  1, 2, 3, 4, 5, 6  Next

All times are UTC + 1 hour


Who is online

Users browsing this forum: No registered users and 5 guests


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
Imprint

Powered by phpBB © 2000, 2002, 2005, 2007, 2008, 2009, 2010 phpBB Group

Skin by Lucas Kane
we use apache2 mod rewrite with phpBB SEO
map train_beta1-100 © 2009 by SteveMcQueen
Statistics Backend + Database by XLR Stats and B3 Bot
mapvote robot and gameserver monitor © 2009 by BlinKy
mumble viewer Copyright © 2008 Dominik Radner (aka Urmel)
mumble switcher and integration © 2008 by XTJ7, Unclefragger and Wursti
Localisation Plugin © 2009, Team Leads Plugin © 2009 and Knifer Plugin © 2009 by SvaRoX
for our stats we use Chart.js Copyright (c) 2013-2015 Nick Downie.
the stats also use some jQuery jQuery v2.1.4 | (c) 2005, 2015 jQuery Foundation, Inc.



voice server
top 20 players


nameskillkills
-Dws.BLINGBLING*-*1730.63418631
NormaSnockers1865.75400492
Zottel1760.8276378
make.them.suffer1846.17269872
>8v=1825.35230156
moon1777.56195615
sjas1692.49192315
peace1878.86190660
Wagner_Moura1562.9188001
Goomba1859.75182677
z0rn1608.41181016
Mad1803.76179124
[dswp]PLZ1847.85178516
Graf_ZahlIII1835.73167407
Zohan1611.07159737
ubercunt1634.93159240
Yarrr!1917.33156233
I_am_nOOb1909.64151268
Pandageddon1891.75148319
Pirat1664.08145798