Logic in computer science has to fulfil several tasks. First of all, it is a tool with which computer programs can describe the world. Logic is used for databases or for creating artificial ...

A well-known history of computer science describes Shannon ... the branch of logic discussed above, which deals with the manipulation of symbols according to formal rules. In the past decade ...

A future computer might be a lot slimier than the solid silicon devices we have today. Researchers have revealed details of logic units built ... than in a computer science lab.