Help on query formulation
first | previous | 1 21 41 | next | last

Result 1 to 20 of 53 total

Roads to infinity. The mathematics of truth and proof. Transl. from the English by Roland Girgensohn. (Wahrheit, Beweis, Unendlichkeit. Eine mathematische Reise zu den vielseitigen Auswirkungen der Unendlichkeit.) (German)
Heidelberg: Springer Spektrum (ISBN 978-3-642-37843-0/pbk; 978-3-642-37844-7/ebook). xii, 236~p. (2014).
Classification: E35 E65
1
Mathematical foundations for computer science. Sets, logic, recursion. (Mathematische Grundlagen für die Informatik. Mengen, Logik, Rekursion.) (German)
Springer-Lehrbuch. Wiesbaden: Springer Vieweg (ISBN 978-3-658-03078-0/pbk; 978-3-658-03079-7/ebook). x, 222~p. (2013).
Classification: E35 E65 P25 Reviewer: Klaus D. Kiermeier (Berlin)
2
EAGLE start-up aid. Theory of computability. Cantor diagonalization, Gödelization, Turing machines. (EAGLE-Starthilfe. Berechenbarkeitstheorie, Cantor-Diagonalisierung, Gödelisierung, Turing-Maschine.) (German)
EAGLE 59. Leipzig: Edition am Gutenbergplatz Leipzig (EAGLE) (ISBN 978-3-937219-59-2/pbk). 100~p. (2012).
Classification: P25 E35 Reviewer: Roman Murawski (Poznań)
3
The offshoot: MineSweeper. (Der Ableger: MineSweeper.) (German)
Wurzel 46, No. 7, 157-160 (2012).
Classification: P20 N70 E70 K90 Reviewer: Peter Dürr (Linkenheim)
4
Computability theory. An introduction to recursion theory. (English)
Amsterdam: Elsevier/Academic Press (ISBN 978-0-12-384958-8/hbk). viii, 174~p. (2011).
Classification: P25 E35 Reviewer: Leon Harkleroad (Bowdoinham)
5
Limits of computability: Discovery and exploratory learning in practice. (Grenzen der Berechenbarkeit: Entdeckendes und forschendes Lernen in der Praxis.) (German)
Log In 31, No. 168, 42-49 (2011).
Classification: P24 Q84
6
Introduction into $NP$-hard problems. (Einführung in $NP$-schwere Probleme.) (German)
Wurzel 45, No. 2, 26-31 (2011).
Classification: P20 K30
7
Mathematical logic. Foundations for information science. (English)
Progress in Computer Science and Applied Logic 25. Basel: Birkhäuser (ISBN 978-3-7643-9976-4/hbk). xii, 261~p. (2010).
Classification: E35 P25 Reviewer: Alex Nabebin (Moskva)
8
Roads to infinity. The mathematics of truth and proof. (English)
Wellesley, MA: A K Peters (ISBN 978-1-56881-466-7/hbk). xi, 203~p. (2010).
Classification: E10 E30 E60 A30 Reviewer: Claudi Alsina (Barcelona)
9
Mathematical excursions. Gödel, Escher and other games. (Mathematische Exkursionen. Gödel, Escher und andere Spiele.) (German)
Müchen: Oldenbourg Verlag (ISBN 978-3-486-58909-2/pbk). ix, 266~p. (2010).
Classification: A80 K20 K30 F60 D50 N70 Reviewer: Franz Lemmermeyer (Jagstzell)
10
The greatest mysteries of mathematics. II. How to stamp a letter. (Die größten Rätsel der Mathematik. II. Wie man einen Brief frankiert.) (German)
Spektrum Wiss. 2008, No. 10, 74-79 (2008).
Classification: P20 E70 M50
11
Foundations of logic and theory of computation. (English)
Texts in Computing 10. London: King’s College Publications (ISBN 978-1-904987-88-8). xii, 337~p. (2008).
Classification: E35 P25
12
The vertex cover problem: A case study on the didactics of $NP$-hard problems. Pt. 2. (Das Knotenüberdeckungsproblem: Eine Fallstudie zur Didaktik $NP$-schwerer Probleme. T. 2.) (German)
Log In 27, No. 148-149, 81-89 (2007).
Classification: P20 K30 N70
13
The vertex cover problem: A case study on the didactics of NP-hard problems. Pt. 1. (Das Knotenüberdeckungsproblem: Eine Fallstudie zur Didaktik NP-schwerer Probleme. T. 1.) (German)
Log In 27, No. 146-147, 53-59 (2007).
Classification: P20 K30 N70
14
Theories of computability. (English)
Cambridge: Cambridge University Press. ix, 251 p. (1997).
Classification: P25 E35 Reviewer: U.Schöning (Ulm)
15
Foundations of mathematics. Questions of analysis, geometry and algorithmics. Grundlagen der Mathematik. Fragen zur Analysis, Geometrie und Algorithmentheorie. (English)
Berlin: Springer. 1993. 100 p. Translated from German: Metamathematik der Elementarmathematik in the series Hochschultext, Springer, 1983, ISBN 3-540-12151-X. With 29 figs. [ISBN 3-540-56422-5]
Classification: E25 E35 E65 I15
16
Elementary number theory and its applications. Elementare Zahlentheorie und ihre Anwendungen. (English)
Reading, MA: Addison-Wesley. 1993. 559 p. 3. ed. [ISBN 0-201-57889-1]
Classification: F65 P25 R25
17
Basic course practical informatics. Vol. 4: Automata, languages, compatibility. Grundkurs Angewandte Informatik. Bd. 4: Automaten, Sprachen, Berechenbarkeit. (German)
Stuttgart: Teubner. 1992. 267 p. Ser. Title: Leitfaeden der angewandten Informatik. [ISBN 3-519-02937-5]
Classification: P25
18
Algorithms working book. Algorithmen Arbeitsbuch. (German)
Bonn: Addison-Wesley. 1992. 425 p. [ISBN 3-89319-481-9]
Classification: R25 N85 P25 F65
19
Concise theoretical computer science. Theoretische Informatik kurz gefasst. (German)
Mannheim: BI-Wissenschaftsverlag. 1992. 188 p. [ISBN 3-411-15641-4]
Classification: P25
20
first | previous | 1 21 41 | next | last

Result 1 to 20 of 53 total

Valid XHTML 1.0 Transitional Valid CSS!