Set Theory for Computing

Set Theory for Computing
Author :
Publisher : Springer Science & Business Media
Total Pages : 419
Release :
ISBN-10 : 9781475734522
ISBN-13 : 1475734522
Rating : 4/5 (522 Downloads)
GET BOOK
Book Synopsis Set Theory for Computing by : Domenico Cantone

Download or read book Set Theory for Computing written by Domenico Cantone and published by Springer Science & Business Media. This book was released on 2013-06-29 with total page 419 pages. Available in PDF, EPUB and Kindle. Book excerpt: An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.


Set Theory for Computing Related Books

Set Theory for Computing
Language: en
Pages: 419

Set Theory for Computing

Authors: Domenico Cantone
Categories: Computers
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media

GET EBOOK

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researc
Foundations of Computing
Language: en
Pages: 700

Foundations of Computing

Authors: Thierry Scheurer
Categories: Computers
Type: BOOK - Published: 1994 - Publisher: Addison-Wesley Longman

GET EBOOK

Written for professionals learning the field of discrete mathematics, this book provides the necessary foundations of computer science without requiring excessi
Sets, Logic and Maths for Computing
Language: en
Pages: 302

Sets, Logic and Maths for Computing

Authors: David Makinson
Categories: Computers
Type: BOOK - Published: 2012-02-27 - Publisher: Springer Science & Business Media

GET EBOOK

This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The languag
Computable Set Theory
Language: en
Pages: 370

Computable Set Theory

Authors: Domenico Cantone
Categories: Computers
Type: BOOK - Published: 1989 - Publisher: Oxford University Press, USA

GET EBOOK

The authors describe computational techniques for deciding formulae in set theory. The eventual aim of such a work is to automate simple proofs over a wide rang
Computational Logic and Set Theory
Language: en
Pages: 426

Computational Logic and Set Theory

Authors: Jacob T. Schwartz
Categories: Computers
Type: BOOK - Published: 2011-07-16 - Publisher: Springer Science & Business Media

GET EBOOK

This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to pro