Centre
Bruxellois de
Documentation
Pédagogique

Le calcul : dossier / Hervé Lehning in Tangente, n°120 (janvier/février 2008)

Public ISBD [article]  inTangente > n°120 (janvier/février 2008) . - p. 35/25 Titre : Le calcul : dossier Type de document : texte imprimé Auteurs : Hervé Lehning, Auteur ; Alain Zalmanski, Auteur ; Michel Criton, Auteur ; [et al.], Auteur Année de publication : 2008 Article en page(s) : p. 35/25 Langues : Français (fre) Sujets : Calcul Numérique ; Doigt (mathématique) ; Grand Nombre ; Multiplication ; nombre décimal à virgule ; Programme Informatique ; racine carrée ; Stevin (Simon) Permalink : http://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=53173 [article] Le calcul : dossier [texte imprimé] / Hervé Lehning, Auteur ; Alain Zalmanski, Auteur ; Michel Criton, Auteur ; [et al.], Auteur . - 2008 . - p. 35/25. Langues : Français (fre) in Tangente > n°120 (janvier/février 2008) . - p. 35/25 Sujets : Calcul Numérique ; Doigt (mathématique) ; Grand Nombre ; Multiplication ; nombre décimal à virgule ; Programme Informatique ; racine carrée ; Stevin (Simon) Permalink : http://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=53173

Les démonstrations / Gianni Sarcone in Tangente. Hors-Série Bibliothèque, n°55 (novembre 2015)

Public ISBD [article]  inTangente. Hors-Série Bibliothèque > n°55 (novembre 2015) . - p. 1/162 Titre : Les démonstrations : l'art de convaincre : dossier Type de document : texte imprimé Auteurs : Gianni Sarcone, Auteur ; Elisabeth Busser, Auteur ; Hervé Lehning, Auteur ; [et al.], Auteur Année de publication : 2015 Article en page(s) : p. 1/162 Langues : Français (fre) Sujets : Axiome ; Cantor (Georg) ; Démonstration Mathématique ; Gödel (Kurt) ; invariant (mathématiques) ; Logique Mathématique ; preuve (math) ; Programme Informatique ; Raisonnement par Analogie Mots-clés : principe des tiroirs  démonstration par récurrence  algorithme probabiliste  théorie homotopique des types  démonstration automatique  théorème PCP Note de contenu : Sommaire : - Les fondements de la preuves - Les grands classiques de la démonstration - Les nouvelles formes de preuves - Les apports de l’informatique Permalink : http://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=188828 [article] Les démonstrations : l'art de convaincre : dossier [texte imprimé] / Gianni Sarcone, Auteur ; Elisabeth Busser, Auteur ; Hervé Lehning, Auteur ; [et al.], Auteur . - 2015 . - p. 1/162. Langues : Français (fre) in Tangente. Hors-Série Bibliothèque > n°55 (novembre 2015) . - p. 1/162 Sujets : Axiome ; Cantor (Georg) ; Démonstration Mathématique ; Gödel (Kurt) ; invariant (mathématiques) ; Logique Mathématique ; preuve (math) ; Programme Informatique ; Raisonnement par Analogie Mots-clés : principe des tiroirs  démonstration par récurrence  algorithme probabiliste  théorie homotopique des types  démonstration automatique  théorème PCP Note de contenu : Sommaire : - Les fondements de la preuves - Les grands classiques de la démonstration - Les nouvelles formes de preuves - Les apports de l’informatique Permalink : http://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=188828

L'informatique : dossier / Gérard Berry in T.D.C., n°997 (juin 2010)

Public ISBD [article]  inT.D.C. > n°997 (juin 2010) . - p. 1/50 Titre : L'informatique : dossier Type de document : texte imprimé Auteurs : Gérard Berry, Auteur ; Jean-Paul Delahaye, Auteur ; Ionut Danaila, Auteur ; [et al.], Auteur Année de publication : 2010 Article en page(s) : p. 1/50 Langues : Français (fre) Sujets : Algorithme ; code numérique binaire ; Informatique (historique) ; Législation ; Mathématique ; Modélisation ; Programme Informatique ; Protection de la Vie Privée ; Simulation en Sciences Permalink : http://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=42837 [article] L'informatique : dossier [texte imprimé] / Gérard Berry, Auteur ; Jean-Paul Delahaye, Auteur ; Ionut Danaila, Auteur ; [et al.], Auteur . - 2010 . - p. 1/50. Langues : Français (fre) in T.D.C. > n°997 (juin 2010) . - p. 1/50 Sujets : Algorithme ; code numérique binaire ; Informatique (historique) ; Législation ; Mathématique ; Modélisation ; Programme Informatique ; Protection de la Vie Privée ; Simulation en Sciences Permalink : http://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=42837

Informatique : programmer çà l'école? / Brigitte Gérard in Entrées Libres. Ecrire et Lire l'Enseignement Catholique, n°94 (décembre 2014)

Public ISBD [article]  inEntrées Libres. Ecrire et Lire l'Enseignement Catholique > n°94 (décembre 2014) . - p. 12/13 Titre : Informatique : programmer çà l'école? Type de document : texte imprimé Auteurs : Brigitte Gérard, Auteur Année de publication : 2014 Article en page(s) : p. 12/13 Langues : Français (fre) Sujets : Programme Informatique Permalink : http://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=183288 [article] Informatique : programmer çà l'école? [texte imprimé] / Brigitte Gérard, Auteur . - 2014 . - p. 12/13. Langues : Français (fre) in Entrées Libres. Ecrire et Lire l'Enseignement Catholique > n°94 (décembre 2014) . - p. 12/13 Sujets : Programme Informatique Permalink : http://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=183288

Introduire des éléments d'algorithmique et de programmation dans l'enseignement secondaire : une ingénierie didactique / Chi Thanh Nguyen in Petit X, n°83 (2010)

Public ISBD [article]  inPetit X > n°83 (2010) . - p. 27/49 Titre : Introduire des éléments d'algorithmique et de programmation dans l'enseignement secondaire : une ingénierie didactique Type de document : texte imprimé Auteurs : Chi Thanh Nguyen, Auteur ; Annie Bessot, Auteur Année de publication : 2010 Article en page(s) : p. 27/49 Langues : Français (fre) Sujets : Algorithme ; Didactique des Mathématiques ; Enseignement des Mathématiques ; Programmation ; Programme Informatique Permalink : http://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=34575 [article] Introduire des éléments d'algorithmique et de programmation dans l'enseignement secondaire : une ingénierie didactique [texte imprimé] / Chi Thanh Nguyen, Auteur ; Annie Bessot, Auteur . - 2010 . - p. 27/49. Langues : Français (fre) in Petit X > n°83 (2010) . - p. 27/49 Sujets : Algorithme ; Didactique des Mathématiques ; Enseignement des Mathématiques ; Programmation ; Programme Informatique Permalink : http://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=34575

Issy, c'est déjà demain! / Sacha Terguev in Le Journal de l'Animation, n°159 (mai 2015)

Permalink

Des maths et des mots cachés sur TI-Nspire / Sébastien Verspecht in Losanges, n°12 (mars 2011)

Permalink

Un monde sous surveillance : enquête / Valérie Lassus in GEO Ado, n°187 (septembre 2018)

Permalink

OpenOffice.org 1.1 / Jean-Luc Lamotte in La Classe Maternelle, n°125 (janvier 2004)

Permalink

---

1 (1 - 9 / 9)