Computing and logic

Auteurs

• Glenn Satty

Paramètres

• Informatique, programmation
• Introductiones

En savoir plus sur le livre

This text aims to help students overcome their hesitancy towards computing by guiding them through simple mathematics, including set theory and two forms of logic: propositional logic and traditional syllogistics. It begins with foundational concepts on propositions and logic, focusing on sets and operations on them. A discussion on quantifiers leads to mathematical logic, transitioning into Aristotelian syllogistics, complete with formal proofs and demonstrations. The latter part encourages students to explore the logical structure of a simple syntactic parser, which serves as a basis for introducing elements of a semantic parser, analyzing sentences through the lens of traditional category theory. Throughout, complex questions in mathematics and the philosophy of logic are illustrated using straightforward BASIC routines and some examples in PROLOG, a fifth-generation programming language. This text is ideal for mathematics classes that integrate computing with traditional methods, philosophy courses showcasing the evolution of formal methods, logic courses offering exercises in various programming languages, and linguistic studies focused on parsing and natural language representation. It is suitable as a textbook for undergraduate courses in Logic, Introduction to Computer Programming, and Symbolic Logic, appealing to philosophers, computer scientists, linguists, logicians, and mathematicians.

Achat du livre

• Année de publication: 1988