History
1
440


Help on query formulation

Result 421 to 440 of 440 total

Computability. An introduction to recursive function theory. (English)
Cambridge etc.: Cambridge University Press. X, 251 p. hbk: \sterling 20.00; pbk \sterling 6.75 (1980).
Classification: P25 E35
421
Mathematical foundations of programming. Mathematische Grundlagen der Programmierung. (English)
Reading, MA: Addison-Wesley. 1980. 461 p. Ser. Title: Systems programming series. [ISBN 0-201-14462-X]
Classification: P25
422
Descriptive set theory. Deskriptive Mengenlehre. (English)
New York: North-Holland. 1980. 648 p. Ser. Title: Studies in logic and the foundations of mathematics. v. 100. [ISBN 0-444-85305-7]
Classification: E15 E65
423
Legendre-method forapproximation of Pi. A method for calculators with generalizations. Die Berechnung von PI nach Legendre. Ein Verfahren fuer Taschenrechner mit Verallgemeinerungen. (German)
Prax. Math. (Dec 1980) v. 22(12) p. 357-364. [ISSN 0032-7042]
Classification: G44 N54 U74
424
Computer use in mathematics education. A bibliographic survey. Computer im Mathematikunterricht. Eine Literaturuebersicht. (German)
May 1980. 52 p.
Classification: A50 R20
425
Sequences, limits, derivatives. A course in the 11th form. Folgen, Grenzwert, Ableitung. Kurs im 11. Schuljahr. (German)
IMU - Inf. Mathematikunterr. (Oct 1980) v. 5(2) p. 1-22.
Classification: I34 D44 I24
426
Difference equations and recursion. Differenzengleichungen und Rekursionen. (German)
Wiss. Nachr. (Apr 1980) (no.53) p. 27-31.
Classification: I39 I79
427
Recursive procedures in FORTRAN. Rekursive FORTRAN-Prozeduren. (English)
Creat. Comput. (Jan 1980) v. 6(1) p. 98-100. CODEN: CCOMDB [ISSN 0097-8140]
Classification: P54 P58
428
Increasing the clarity of binary tree traversal procedures. Vergroesserung der Klarheit von Prozeduren fuer das Abarbeiten von binaeren Baeumen. (English)
SIGCSE Bull. (Jun 1979) v. 11(2) p. 36-39. CODEN: SIGSD3
Classification: P55
429
Recursive methods in school mathematics. A contribution to a didactic-methodical analysis of complete induction, recursive definitions and recursive computations. Rekurrierende Verfahren in der Schulmathematik. Ein Beitrag zur didaktisch-methodischen Analyse von vollstaendiger Induktion, rekursiver Definition und rekursiver Berechnung. (German)
Kastellaun, Germany, F.R.: Henn. 1979. 204 p. Ser. Title: Beitraege zur Fachdidaktik. [ISBN 3-450-07939-5]
Classification: D40 E50 E40
430
Counting lines and planes in generalised noughts and crosses. Abzaehlen von Linien und Ebenen mit verallgemeinerten ’Nullen und Kreuzen’. (English)
Math. Gaz. (Jun 1979) v. 63(424) p. 77-82. CODEN: MAGAAS [ISSN 0025-5572]
Classification: G44 K24
431
The theory of algorithms, in what way does computer science induce us to do mathematics. Die Algorithmik, oder wie bringt die Informatik uns dazu, Mathematik zu treiben(L’algorithmique ou comment l’informatique amene a faire des mathematiques). (French)
Calculators in school teaching. Rechner im Unterricht(Les calculatrices et l’enseignement des mathematiques). International Commission on Mathematical Instruction, Cambridge (UK) 1978. p. 117-134 Conference: Seminar on calculators in school teaching, Luxembourg, Luxembourg, May - Jun 1978
Classification: P24
432
Remarks on the effective fixed point calculation with complete numerations. Eine Bemerkung zur effektiven Fixpunktberechnung bei vollstaendigen Numerierungen. (German)
Rostock mathematical colloquium. Rostocker mathematisches Kolloquium. Editor(s): Schrage, B. Rostock Univ. (German Democratic Republic). Sektion Mathematik 1978. p. 83-86 Ser. Title: Rostocker mathematisches Kolloquium. no. 10. Conference: Discrete mathematics and its applications in mathematical cybernetics, Rostock, German Democratic Republic, 23 - 26 Apr 1978
Classification: P25
433
A computer oriented approach to calculus. Computerorientierte Einstiege in die Analysis. (German)
Ber. Semin. Didakt. Math. (1978) WS 77/78 p. 15-22.
Classification: I24 Q34 Q84
434
Correctness and truth in mathematics. Richtigkeit und Wahrheit in der Mathematik. (German)
Zurich, Switzerland: Bibliographisches Inst. 1978. 219 p. 2. rev. ed. [ISBN 3-411-01550-0]
Classification: E25 E28
435
Recursive procedures. A problem-oriented introductory course. Rekursive Verfahren. Ein problemorientierter Eingangskurs. (German)
Hannover, Germany, F.R.: Schroedel. 1978. 104 p. This volume will be supplemented by a book of solutions with comments, a collection of formulas, and detailed solutions for students and teachers. Zu diesem Band erschien fuer Schueler und Lehrer ein Loesungsheft mit Kommentar, Formelsammlung und ausfuehrlichen Loesungen. Ser. Title: Materialien fuer die Sekundarstufe 2. Mathematik. [ISBN 3-507-83201-1]
Classification: I54 U24
436
Discovery with number triangles. Entdeckungen mit Zahlendreiecken. (English)
Math. Teacher. (Nov 1978) v. 71(8) p. 678-682. [ISSN 0025-5769]
Classification: F33 F34 U73 U74
437
Recursivity. Rekursivitaet(Recursivite). (French)
Programmable calculators at upper secondary level. Research project by IREM and INRDP. Programmierbare Rechner im Gymnasium(Calculateurs programmables dans les colleges et les lycees). Untersuchung des IREM und INRDP(experimentation menee par les IREM et INRDP). Institut National de Recherche et de Documentation Pedagogiques (INRDP), 75 - Paris (France) 1975. p. 175-234 Ser. Title: Service des Etudes et Recherches Pedagogiques. v. 75.
438
Children’s mental models of recursive LOGO programs. Geistige Modelle von LOGO-Programmen bei Kindern. (English)
11 p. Ser. Title: Bank Street College of Education, Center for Children and Technology. Technical report. no. 10.
Classification: P53 C63
439
Bell’s numbers. Bellsche Zahlen. (German)
Youth and science in Switzerland - yearbook 1982. Schweizer Jugend forscht - Jahrbuch ’82(La science appelle les jeunes - annuaire ’82). Editor(s): Moser, A.; Roethlin, B. Winterthur: Verl. Schweizer Jugend forscht. p. 124-130 of 167 p. [ISBN 3-908504-00-7]
Classification: F55
440

Result 421 to 440 of 440 total

Valid XHTML 1.0 Transitional Valid CSS!