Class notes
otes provide an elementary, but mathematically solid, introduction to propositional and first-order logic
- Course
- Institution
Logic can be used in programming, and it can be applied to the analysis and automation of reasoning about software and hardware. This is why it is sometimes considered a part of theoretical computer science. Since reasoning plays an important role in intelligent behavior, logic is closely relat...
[Show more]