
Centre
Bruxellois de
Documentation
Pédagogique
Sujets
![]()
Programme Informatique
Commentaire :
14105105
|
(9)



Le calcul : dossier / Hervé Lehning in Tangente, n°120 (janvier/février 2008)
Les démonstrations / Gianni Sarcone in Tangente. Hors-Série Bibliothèque, n°55 (novembre 2015)
[article]
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’informatiquePermalink : http://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=188828
in Tangente. Hors-Série Bibliothèque > n°55 (novembre 2015) . - p. 1/162[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’informatiquePermalink : 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)
[article]
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
in T.D.C. > n°997 (juin 2010) . - p. 1/50[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)
[article]
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
in Entrées Libres. Ecrire et Lire l'Enseignement Catholique > n°94 (décembre 2014) . - p. 12/13[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)
[article]
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
in Petit X > n°83 (2010) . - p. 27/49[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)
PermalinkDes maths et des mots cachés sur TI-Nspire / Sébastien Verspecht in Losanges, n°12 (mars 2011)
PermalinkUn monde sous surveillance : enquête / Valérie Lassus in GEO Ado, n°187 (septembre 2018)
PermalinkOpenOffice.org 1.1 / Jean-Luc Lamotte in La Classe Maternelle, n°125 (janvier 2004)
Permalink