Logic in Computer Science and Artificial Intelligence

Jørgen Villadsen


DTU Informatics



Keywords: Formal Logic (Computational, Mathematical, Philosophical), Type Theory, Declarative Programming, Autonomous Agents, Verification

Mathematics is the art of making vague intuitive ideas precise and then studying the result...
The tool available for practicing the art is logic
Logicism Renewed: Logical Foundations for Mathematics and Computer Science
Paul C. Gilmore (Association for Symbolic Logic 2005)

Jørgen Villadsen 2010-10-10 imm.dtu.dk/~jv/logic