History


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

Result 1 to 20 of 106 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
The man behind the machine. (Der Mann hinter der Maschine.) (German)
Spektrum Wiss. 2012, No. 6, 87-88 (2012).
Classification: A30 P20
3
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ń)
4
The offshoot: MineSweeper. (Der Ableger: MineSweeper.) (German)
Wurzel 46, No. 7, 157-160 (2012).
Classification: P20 N70 E70 K90 Reviewer: Peter Dürr (Linkenheim)
5
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)
6
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
7
Computable numbers. (Berechenbare Zahlen.) (German)
Wurzel 45, No. 9-10, 200-208 (2011).
Classification: P20 F50 F40
8
Introduction into $NP$-hard problems. (Einführung in $NP$-schwere Probleme.) (German)
Wurzel 45, No. 2, 26-31 (2011).
Classification: P20 K30
9
Computability. Logic, reasoning, computer and Assembler, infinity, limits of automatizability. Textbook for class-room and self-study. (Berechenbarkeit. Logik, Argumentation, Rechner und Assembler, Unendlichkeit, Grenzen der Automatisierbarkeit. Lehrbuch für Unterricht und Selbststudium.) (German)
Studium. Wiesbaden: Vieweg+Teubner (ISBN 978-3-8348-1509-5/pbk). ii, 265~p. (2011).
10
P, NP, and NP-completeness. The basics of computational complexity. (English)
Cambridge: Cambridge University Press (ISBN 978-0-521-12254-2/pbk; 978-0-521-19248-4/hbk; 978-0-511-90390-8/ebook). xxix, 184~p. (2010).
Classification: P25 Reviewer: Gregory Loren McColm (Tampa)
11
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)
12
Sorting algorithms. (Sortieralgorithmen.) (German)
Wurzel 44, No. 11, 234-241 (2010).
13
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)
14
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)
15
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
16
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
17
On the role of mathematical logic in mathematical education. (Russian. English summary)
Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 8, No. 1, 15-25 (2008).
Classification: E30 B40
18
Concrete analysis for students of computer science. (Konkrete Analysis für Studierende der Informatik.) (German)
eXamen.press. Berlin: Springer (ISBN 978-3-540-70845-2/pbk). ix, 206~p. with CD-ROM. (2008).
Classification: I15 Reviewer: Hansueli Hösli (Ittigen)
19
The metamorphoses of the calculus. An amazing history of mathematics. (Les métamorphoses du calcul. Une étonnante histoire de mathématiques.) (French)
Paris: Éditions Le Pommier (ISBN 978-2-7465-0324-3/pbk). 224~p. (2007).
Classification: A30 E20 E30 P20 K30 R40 Reviewer: Radoslav M. Dimitrić (Uniontown)
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 106 total

Valid XHTML 1.0 Transitional Valid CSS!