|
Logic and Language (Cornerstones of Computing S.)
An understanding of the theory and application of logic is fundamental both to successful software and hardware development, and to gain a thorough grasp of modern computing. This book provides a gentle introduction to the subject at a comfortable pace that is suitable for a wide range of students including: undergraduates in computer science, maths,
philosophy and those on MSc conversion courses. It is particularly useful for students with weak backgrounds in maths.
Contents:
Language, logic and symbols
- compound propositions
- propositional forms
- natural deduction
- conditional connective
- predicate logic
- first order theories
- an introduction to logic programming
Appendixes: solutions to exercises
- summary of notation
- summary of deduction rules
- summary equivalences.
Brief Description:
An understanding of the theory and application of formal logics is fundamental to software and hardware development. This is an introduction to the subject, but goes beyond basic informal logic to concentrate on the concepts and ideas, without becoming too involved with deep mathematical theory.
|
