Calcul par l'informatique : :: SCD d'Orléans

$Calcul par l'informatique : méthode logique d'enseignement des mathématiques$

Calcul par l'informatique : méthode logique d'enseignement des mathématiques

Enregistré dans:

Détails bibliographiques
Auteur principal:	Bertin, Marie-José
Autres auteurs:	Arsac, Jacques, 1929-2014 (Annotateur), Pisot, Charles, 1910-1984 (Auteur de l'introduction, etc.)
Format:	Livre papier
Langue:	Français
Publié:	Paris : Hermann DL 1983.
Collection:	Actualités scientifiques et industrielles 1409 Formation des enseignants et formation continue
Sujets:	Calculatrices programmables Programmation (mathématiques) Calculs numériques > Informatique Mathématiques > Enseignement assisté par ordinateur Informatique
Note:	Autre tirage : 1987
Autres localisations:	Voir dans le Sudoc

Documents similaires

Introduction à l'informatique théorique
par: Bourda, Yolaine, 19..-, et autres
Publié: (1994)

Mathématiques concrètes : fondations pour l'informatique
par: Graham, Ronald Lewis, 1935-2020, et autres
Publié: (2003)

Mathematical theory of computation
par: Manna, Zohar, 1939-2018
Publié: (1974)

Ordinateurs et calcul parallèles
Publié: (1997)

Premiers pas en Maple : introduction à l'utilisation du calcul formel en mathématiques, en physique & en chimie
par: Fortin, Philippe, 19..-...., professeur de mathématiques, et autres
Publié: (1995)

Techniques numériques appliquées au calcul scientifique
par: Pelletier, J. P.
Publié: (1971)

Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings

Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings

Algorithmique & calcul numérique : travaux pratiques résolus : programmation avec les logiciels Scilab et Python
par: Ouin, José
Publié: (2013)

Le Calcul intensif
par: Stockmeyer, Larry, 1948-, et autres
Publié: (1989)

The Newton-Cauchy framework : a unified approach to unconstrained nonlinear minimization
par: Nazareth, John Lawrence

Mathématiques pour l'informatique
par: Arnold, André, 1945-, et autres
Publié: (1993)

Logique, réduction, résolution
par: Lalement, René, 19..-...., Mathématicien
Publié: (1990)

Mathématiques sur micro-ordinateur. Algèbre
par: Reverchon, Alain, et autres
Publié: (1985)

L'école et l'informatique
Publié: (1979)

Programmer avec Maple V
par: Monagan, Michael B., 19..-
Publié: (1997)

Logique(s), langages formels et complexité pour l'informatique
par: Jussien, Narendra, 1973-
Publié: (2006)

Machines, languages, and complexity : 5th International meeting of young computer scientists, Smolenice, Czechoslovakia, November 14-18, 1988 : selected contributions

High performance computing : third international symposium, ISHPC 2000, Tokyo, Japan, October 16-18, 2000 : proceedings

Informatique et sciences physiques : méthodes de calcul numérique illustrées par 90 exercices : programme en Turbo-Pascal
par: Ménétrier, Marc, 1952-
Publié: (1988)

Mathématiques appliquées et calculatrices programmables : notation algébrique directe, TI 57, 58, 59
par: Solomon, Liviu, et autres
Publié: (1982)

Introduction to computational science : modeling and simulation for the sciences
par: Shiflet, Angela B., et autres
Publié: (2006)

L’informatique du temps et des événements
par: Gérard Berry
Publié: (2021)

Méthodes mathématiques pour calculateurs arithmétiques
par: Ralston, Anthony, 1930-...., chercheur en informatique
Publié: (1965)

STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science Lübeck, Germany February 27 March 1, 1997 : proceedings

La pédagogie assistée : cybernétique et enseignement
par: Audouin, Francis
Publié: (1971)

Mathématique et calculatrice programmable TI 57 LCD : au lycée, au baccalauréat
par: Cornu, Bernard, et autres
Publié: (1983)

Le Turbo Pascal en classes préparatoires, Calcul formel
par: Levine, Albert, 19..-
Publié: (1989)

Automata, languages and programming : 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings

Approche fonctionnelle des calculs scientifiques : méthodes numériques et applications : langage Python
par: Jean-Baptiste, Gérald
Publié: (2016)

L'informatique simplement : concepts de programmation
par: Hromkovic, Juraj, 1958-, et autres
Publié: (2023)

SIL - a simulation language : user's guide
par: Houbak, Niels, 19..-

TI-89 et TI-92 Plus en prépa : MPSI, PCSI, MP, PSI, PC : toutes les ressources de votre calculatrice
par: Fortin, Philippe, 19..-...., professeur de mathématiques, et autres
Publié: (2001)

Introduction to automata theory, languages, and computation
par: Hopcroft, John Edward, 1939-, et autres
Publié: (1979)

Mathématiques par l'informatique individuelle. Le basic : arithmétique, cryptographie, équations
par: Lehning, Hervé, 19..-, et autres
Publié: (1985)

Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings

Typed lambda calculi and applications : [first] International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16 18, 1993, Utrech, The Netherlands : proceedings

Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 12, 1995 : proceedings

Mathématiques et calculatrices : premiers cycles universitaires
par: Nouazé, Yvon, 1937-
Publié: (1995)

Journal of logic and computation.
Publié: (1990)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales