Sets, Logic and Maths for Computing
University studies in computing require the ability to pass from a concrete problem to an abstract representation, reason with the abstract structure, and return with useful solutions to the specific situation. The tools for developing these skills are in part qualitative – concepts such as set, rel...
Main Author: | Makinson, David (Author) |
---|---|
Corporate Author: | SpringerLink (Online service) |
Format: | Electronic eBook |
Language: | English |
Published: |
London :
Springer London : Imprint: Springer,
2008.
|
Series: | Undergraduate Topics in Computer Science,
|
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Similar Items
-
Sets, Logic and Maths for Computing
by: Makinson, David
Published: (2012) -
Algorithmic Decision Theory First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings /
Published: (2009) -
Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings /
Published: (2006) -
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)