Logic in Computer Science

One of the main pillars of Computer Science.

Along with concrete mathematics (Knuth) or discrete structures.

Some prominent areas (examples follow)

• Specification and Verification
• Artificial Intelligence
  • Knowledge Representation
  • Expert Systems (medical diagnosis)
  • Planning (robot motion)
  • Machine Learning (non-montonicity)
  • ...
• Programming Languages
  • Algorithms = Logic + Control
  • Logic Programming
  • Compiler Optimizations
  • ..