Introductory logic and sets for computer scientists

This text provides a practical,
modern approach to teaching logic
and set theory, equipping students
with the necessary mathematical
understanding and skills required
for the mathematical specification
of software. It covers all the areas
of mathematics that are considered
essential to computer science
including logic, set theory, modern
algebra (group theory), graph theory
and combinatorics, whilst taking
into account the diverse
mathematical background of the
students taking the course. In line
with current undergraduate curricula
this book uses logic extensively,
together with set theory, in
mathematical specification of
software. Languages such as Z and
VDM are used for this purpose.

Features

• Particular emphasis is
  placed on the application of logic
  in the fields of software
  engineering, artificial intelligence
  and natural language processing

  Table of contents :
  Chapter 1: An Overview of Logic
  Chapter 2: Proposition and Propositional
  Chapter 3: Propositional Logic as a Language
  Chapter 4: Transformational Proofs
  Chapter 5: Deductive Proofs
  Chapter 6: Predicates and Quantifiers
  Chapter 7: Further Predicate Logic
  Chapter 8: Interpretation of Formulae
  Chapter 9: Proofs in Predicate Logic
  Chapter 10: Proof by Mathematical
  Chapter 11: Sets and Relations Between Sets
  Chapter 12: Operations on Sets
  Chapter 13: Relations: Basic Concepts
  Chapter 14: Advanced Relational
  Chapter 15: Binary Relations
  Chapter 16: Functions and their Classifications
  Chapter 17: Some Important Functions
  Chapter 18: Natural Numbers, Sequences and Rings