News tagged with computer logic

Physicist takes a quantum leap

(PhysOrg.com) -- A University of Queensland physicist is seeking answers to a persistent problem throughout human history: how do I compute things? None, however, have had the same impact as what we today know as simply the ...

dateJul 06, 2009 in Quantum Physics
shares0 comments 2

Logic in computer science

All men are mortal. Socrates is a man. Therefore, Socrates is mortal. Logical arguments like this one have been studied since antiquity. In the last few decades, however, logic research has changed considerably: the computer ...

dateMay 27, 2014 in Computer Sciences
shares0 comments 0