Catalog description: Introduction to deductive logic. Topics include: basic concepts of deductive logic; techniques of formal proof in propositional and predicate logic. 3 units. Prerequisites: No ...

In World War II’s most desperate months, the mathematician Alan Turing assembled a team of codebreakers to decrypt intercepted Nazi messages. He tested applicants with chess puzzles, hired a ...

This course introduces the basic principles and techniques of analyzing arguments formally. Topics to be covered include: translating natural language arguments into symbolic notation, testing ...