Foundations of Computing: System Development with Set Theory and Logic / Edition 1

Foundations of Computing: System Development with Set Theory and Logic / Edition 1

by Thierry Scheurer
     
 

Set theory and logic are the twin pillars of computing science. Their mastery is an essential part of the software engineer's education. This book provides a clear introduction to the key ideas of these two subjects and shows how they can be applied successfully in formal system development.

Highlights of the book include:

  • A presentation

See more details below

Overview

Set theory and logic are the twin pillars of computing science. Their mastery is an essential part of the software engineer's education. This book provides a clear introduction to the key ideas of these two subjects and shows how they can be applied successfully in formal system development.

Highlights of the book include:

  • A presentation of set theory as a modelling language of universal applicability
  • A wealth of practical examples demonstrating the remarkable simplicity and naturalness of set theory as a description tool
  • A description of logic as a formal language, and as a simple way of introducing the key concepts of formal syntax, semantics and deduction calculus
  • A practical methodology of system development based on set theory and illustrated by several substantial case studies

The book starts from first principles and requires no prior knowledge of mathematics. It will be equally valuable for students of computing science and software engineers wishing to develop the skills required to apply formal methods successfully.

Read More

Product Details

ISBN-13:
9780201544299
Publisher:
Addison-Wesley
Publication date:
01/28/1994
Series:
International Computer Science Ser.
Pages:
704
Product dimensions:
6.77(w) x 9.26(h) x 1.44(d)

Table of Contents

Preface
List of Symbols
Pt. 1Overview1
1A View of System Development7
Pt. 2Set Theory and Induction33
2Sets and Basic Set Operations35
3Relations and Functions89
4Induction and Recursion179
Pt. 3Symbolic Logic239
5Introduction to Symbolic Logic241
6Propositional Logic249
7First-order Predicate Logic281
8Formal Deduction in First-order Logic321
9Formal Proofs in Set Theory369
Pt. 4Feature Notation, Lists and Trees393
10Complex Models and Feature Notation395
11Families and Lists433
12Forests and Trees479
Pt. 5Application Case Studies527
13Introduction to Application Case Studies529
14An Evolving Set Model539
15An Evolving Dictionary Model549
16A Tree Editor (TEd)565
17A General Resource Allocation Model (ResAll)599
References647
Index649

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >