Foundations of Computing: System Development with Set Theory and Logic

Addison-Wesley Longman (1994)
  Copy   BIBTEX

Abstract

Written for professionals learning the field of discrete mathematics, this book provides the necessary foundations of computer science without requiring excessive mathematical prerequisites. Using a balanced approach of theory and examples, software engineers will find it a refreshing treatment of applications in programming.

Categories

Keywords

Reprint years

ISBN(s)

0201544296   9780201544299
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,931

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Set Theory and Logic.Robert Roth Stoll - 2012 - San Francisco and London: Courier Corporation.
Logic: from foundation to applications: European logic colloquium.Wilfrid Hodges (ed.) - 1996 - New York: Oxford University Press.
Notes on logic and set theory.P. T. Johnstone - 1987 - New York: Cambridge University Press.
Proof and Design.M. P. Fourman - 1995 - Lfcs, Dept. Of Computer Science, University of Edinburgh.
Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.
Proceedings Symposium on Logic in Computer Science, Ithaca, New York, June 22-25, 1987 ; Sponsored by the Computer Society of the Ieee Technical Committee on Mathematical Foundations of Computing in Cooperation with Acm Sigact, Association for Symbolic Logic, European Association for Theoretical Computer Science.Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science, Ieee Computer Society & Special Interest Group for Automata and Computability Theory - 1987
Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.
Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory.Gregory H. Moore - 1980 - History and Philosophy of Logic 1 (1-2):95-137.
Symbolic logic.John Venn - 1894 - New York,: B. Franklin.
An Analysis of Questions: Preliminary Report.Nuel D. Belnap Jr - 1963 - Santa Monica, CA, USA: System Development.
Infinitary S5‐Epistemic Logic.Aviad Heifetz - 1997 - Mathematical Logic Quarterly 43 (3):333-342.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
Prolegomena of a logic of causality and dynamism.P. Bellot, J.-P. Cottin, B. Robinet, D. Sarni, J. Leneutre & E. Zarpas - 1999 - Studia Logica 62 (1):77-105.

Analytics

Added to PP
2015-02-02

Downloads
5 (#1,559,673)

6 months
1 (#1,512,999)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references