Sets, Logic and Maths for Computing

Sets, Logic and Maths for Computing by David Makinson.

This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduate students need to enter the world of computer and information sciences. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction...

Full description

Saved in:

Bibliographic Details
Main Author:	Makinson, David (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London : Springer London : Imprint: Springer, 2012.
Edition:	2nd ed. 2012.
Series:	Undergraduate Topics in Computer Science, Springer eBook Collection.
Subjects:	Computer science—Mathematics. Mathematical logic. Mathematical statistics. Computer mathematics. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Sets, Logic and Maths for Computing
by: Makinson, David
Published: (2008)

Sets, logic and maths for computing
by: Makinson, David, 1941-
Published: (2020)

Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Published: (2019)

Ewa Orłowska on Relational Methods in Logic and Computer Science
Published: (2018)

Computational Logic and Set Theory Applying Formalized Logic to Analysis
by: Schwartz, Jacob T., et al.
Published: (2011)

Finite and Infinite Combinatorics in Sets and Logic
Published: (1993)

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
by: Ayala-Rincón, Mauricio, et al.
Published: (2017)

Logic, Language, Information, and Computation
Published: (2012)

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
by: Lavrov, Igor, et al.
Published: (2003)

Logic of Domains
by: Zhang, G.
Published: (1991)

Semantics of Probabilistic Processes An Operational Approach
by: Deng, Yuxin
Published: (2014)

A Logical Approach to Discrete Math
by: Gries, David, et al.
Published: (1993)

Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
Published: (2012)

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Published: (2014)

Neighborhood Semantics for Modal Logic
by: Pacuit, Eric
Published: (2017)

Deontic Logic, Agency and Normative Systems ?EON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996
Published: (1996)

Logical Methods In Honor of Anil Nerode’s Sixtieth Birthday
Published: (1993)

Mathematics of Fuzzy Sets and Fuzzy Logic
by: Bede, Barnabas
Published: (2013)

Set Theory for Computing From Decision Procedures to Declarative Programming with Sets
by: Cantone, Domenico, et al.
Published: (2001)

Logic, Language, Information, and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings
Published: (2011)

TransMath Innovative Solutions from Mathematical Technology
by: Quintela, Peregrina, et al.
Published: (2012)

The Nature of Computation: Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
Published: (2013)

Computer Science Logic 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
Published: (1991)

Meaning and Proscription in Formal Logic Variations on the Propositional Logic of William T. Parry
by: Ferguson, Thomas Macaulay
Published: (2017)

Mathematical Problems from Applied Logic I Logics for the XXIst Century
Published: (2006)

Logic and Computational Complexity International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers
Published: (1995)

Mathematical Logic On Numbers, Sets, Structures, and Symmetry
by: Kossak, Roman
Published: (2018)

The Joy of Sets Fundamentals of Contemporary Set Theory
by: Devlin, Keith
Published: (1993)

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings
Published: (2009)

Lectures on Logic and Computation ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Published: (2012)

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings
Published: (2009)

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Published: (2011)

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Published: (2013)

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Published: (2015)

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
Published: (2017)

Logic Functions and Equations Binary Models for Computer Science
by: Posthoff, Christian, et al.
Published: (2004)

Logic Functions and Equations Binary Models for Computer Science
by: Posthoff, Christian, et al.
Published: (2019)

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
Published: (2014)

Algorithmic Decision Theory First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings
Published: (2009)

Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
Published: (2009)