Kno.e.sis Center, Wright State University, Dayton, Ohio
Fall Semester 2013
Logic is a fundamental organizing principle in nearly all areas in Computer Science. It runs a multifaceted gamut from the foundational to the applied. At one extreme, it underlies computability and complexity theory and the formal semantics of programming languages. At the other extreme, it drives billions of gates every day in the digital circuits of processors of all kinds. Logic is in itself a powerful programming paradigm, but it is also the quintessential specification language for anything ranging from real-time critical systems to networked infrastructures. Logical techniques link implementation and specification through formal methods such as automated theorem proving and model checking. Logic is also the stuff of knowledge representation and artificial intelligence. Because of its ubiquity, logic has acquired a central role in Computer Science education. [Cited from the LPAR-10 Call for Papers]
Logic is often called the Calculus of Computer Science. Indeed, logic permeates most areas of Computer Science in one way or the other, sometimes more prominently, and sometimes as motivational or formal underpinning. Examples are database schema, program verification, semantics of programming languages, computer security, artificial intelligence, cognitive robotics, Web information sytems, computer hardware circuitry, or modeling in software engineering.
In this course, we convey the foundations of logic for Computer Science, covering the central topics about which every Computer Scientist should have a basic knowledge. The covered material is fundamental and will help to prepare you to obtain a better understanding of topics which have a logical underpinning and which you are bound to encounter in your future studies or work life.
The course will cover propositional logic and predicate logic as knowledge representation languages, which are the central and most fundamental logical formalisms. We will deal with the modeling of knowledge, and with algorithms for logical reasoning.
Assistant: Chris Lamp, lamp.4@wright.edu. Help desk hours: to be announced. If more or other help desk times are needed, please contact the assistant.
Meeting Times
Course Materials
Downloads
slideset 1 (pdf)
slideset 2 (pdf)
manuscript (pdf) (final version)
slideset 3 (pdf)
slideset 4 (pdf)
Evaluation
Each exam 30%.
Graded homework 10%.
Grading will follow a standard scale (A: 100-90, B: 89-80, C: 79-70, D: 69-60, F: 59-0)
Course Outline (tentative)
Back to my home page.