Introductory Logic and Sets for Computer Scientists

Front Cover
Addison Wesley Longman, 1999 - Computers - 384 pages
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

0201179571B04062001

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Propositions and propositional connectives
10
Propositional logic as a language
22
Transformational proofs
45
Copyright

17 other sections not shown

Common terms and phrases

About the author (1999)

Dr. Nimal Nissanke is a lecturer in the Department of Computer Science at Reading University.



0201179571AB04062001

Bibliographic information