History


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

Result 1 to 16 of 16 total

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ń)
1
A “curriculum-hard” problem: Theoretical computer science in education. (Ein “LP-schweres Problem”: Theoretische Informatik im Unterricht.) (German)
Log In, No. 150-151, 69-73 (2008).
2
Computer stories. (Computergeschichten.) (German)
Engel, Joachim et al., Strukturieren - Modellieren - Kommunizieren. Leitbilder mathematischer und informatischer Aktivitäten. Festschrift für Karl-Dieter Klose, Siegfried Krauter, Herbert Löthe und Heinrich Wölpert. Franzbecker, Hildesheim (ISBN 3-88120-401-6). 189-198 (2005).
Classification: Q55 U55 Q65
3
Pocket guide - computer science and applications. (Kleiner Leitfaden - Informatik und ihre Anwendungen.) (German)
Paetec, Berlin (ISBN 3-89517-615-X). 560 p. (2000).
Classification: Q53
4
Computer-based mathematics instruction. (Informatikfundierter Mathematikunterricht.) (German)
Prax. Math. 41, No. 3, 124-125 (1999).
Classification: D30
5
Computer-assisted mathematics teaching. (Computerunterstützter Mathematik-Unterricht (CuMaU) - Informationen zu einem Schulversuch.) (German)
Prax. Math. 39, No. 5, 229-230 (1997).
Classification: U70
6
Recursion. A didactic approach using functions. (Rekursion. Ein didaktischer Zugang mit Funktionen. Beispiele. Aufgaben. Projekte. Theorie. ausgedrückt in Schema-L (LISP-Dialekt mit Ludwigsburger Erweiterung). mit Bezügen zu LOGO für den PC.) (German)
Dümmler, Bonn (ISBN 3-427-49951-0). 160 p. (1994).
Classification: P53
7
Did you know ..? that square roots can be calculated by mechanical calculating devices. And do you know, how that works ? (Wussten Sie schon ..? .., dass man mit mechanischen Rechenmaschinen Quadratwurzeln berechnen kann ? Wissen Sie auch wie es geht ?) (German)
Prax. Math. 35, No. 3, 133-136 (1993).
Classification: F54
8
Seek and you will find. Methods for finding a solution. Suchet, so werdet ihr finden. Verfahren zur Loesungssuche. (German)
Log In. (1991) v. 11(3) p. 18-24. [ISSN 0720-8642]
Classification: P54 D54
9
Formula and/or procedure - that’s the question. Pt. 1. Formel und/oder Verfahren - das ist hier die Frage. T. 1. (German)
Math. Sch. (1989) v. 27(1) p. 71-76. CODEN: MKSCAS [ISSN 0465-3750]
Classification: Q34 C34 G34 I34
10
Formula and/or procedure - that’s the question. Pt. 2. Formel und/oder Verfahren - das ist hier die Frage. T. 2. (German)
Math. Sch. (1989) v. 27(2/3) p. 191-195. CODEN: MKSCAS [ISSN 0465-3750]
Classification: P53 P54
11
Recursion - what, how, what for. Rekursion - was, wie, wozu. (German)
Home computers. Kleinstrechner Tips. Editor(s): Kreul, H.; Leupold, W.; Horn, T. Leipzig: VEB Fachbuchverlag. 1987. p. 4-11 of 64 p. Ser. Title: Kleinstrechner Tips. no. 7. [ISBN 3-343-00227-5]
Classification: P50
12
Using pocket calculators in the extracurricular lesson ’practical mathematics’. Zur Nutzung des SR1 im fakultativen Lehrgang ’Praktische Mathematik’. (German)
Math. Sch. (1986) v. 24(4) p. 259-266. CODEN: MKSCAS [ISSN 0465-3750]
Classification: N24 U74
13
Recursion with BASIC. Rekursion mit BASIC. (German)
Wiss. Z. Paed. Hochsch. Karl Friedrich Wilhelm Wander, Math.-Naturwiss. Reihe. (1986) v. 20 p. 39-44. [ISSN 0138-1520]
Classification: P50
14
Some remarks on ’pursuit problems’. Einige Bemerkungen zu ’Verfolgungsproblemen’. (German)
Math. Sch. (1986) v. 24(10) p. 716-722. CODEN: MKSCAS [ISSN 0465-3750]
Classification: I34
15
Computation at any exactitude. Berechnung mit beliebiger Genauigkeit. (German)
Wurzel. (1986) v. 20(2) p. 18-29.
Classification: P50 P20
16
first | previous | 1 | next | last

Result 1 to 16 of 16 total

Valid XHTML 1.0 Transitional Valid CSS!