search -  faq -  rulez -  staff

forums






map cycle
irc              pwnalizer
voice         dswp bar




Register

Login


It is currently 05.02.25

 

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: 452.354
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: 452.354
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 8 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
bomb » dswp.de:22223
status: online
players: 0/24
map: ut4_casa
 
jump » dswp.de:22224
status: online
players: 0/20
map: ut42_pirate_land
 
freeze » dswp.de:22225
status: online
players: 0/32
map: ut4_casa
 
tdm » dswp.de:22226
status: online
players: 0/32
map: ut4_killroom
 
tdm » dswp.de:22227
status: online
players: 0/32
map: ut4_tohunga_b10
 
btw test the new ajax serwer monitor here!
top 20 players


nameskillkills
-Dws.BLINGBLING*-*1071.72418631
NormaSnockers1155.39400492
Zottel1090.4276378
make.them.suffer1143.27269872
>8v=1130.37230156
moon1100.78195615
sjas1048.1192315
peace1163.51190660
Wagner_Moura967.849188001
Goomba1151.68182677
z0rn996.032181016
Mad1117.01179124
[dswp]PLZ1144.31178516
Graf_ZahlIII1136.8167407
Zohan997.679159737
ubercunt1012.45159240
Yarrr!1187.33156233
I_am_nOOb1182.57151268
Pandageddon1171.49148319
Pirat1030.51145798