Computing and Logic Mathematics and Language

The text is designed to help students overcome their hesitancy in the face of computing by leading them through simple mathematics, including set-theory and two forms of logic (proposition logic and traditional syllogistics), to basic questions of natural-language parsing. This text is recommended for mathematics classes, where the use of the computer will support traditional methods; and for philosophy courses, where digitized logic can help illustrate the evolution of formal methods; and for linguistic sectors that involve parsing and questions of natural-language representation in formal languages.