Logique / Xavier Hubaut / Xavier Hubaut (2002)  

Public ISBD Titre : Logique Type de document : document électronique Auteurs : Xavier Hubaut, Auteur Editeur : Xavier Hubaut, 2002 Description : [env. 3p.] Format : Web Langues : Français (fre) Descripteurs : logique mathématique Résumé : La logique mathématique : la négation, la conjonction, la disjonction, l'implication, l'équivalence, les tautologies (exemple classique du syllogisme). Nature du document : documentaire Genre : documentaire Niveau : Secondaire En ligne : http://xavier.hubaut.info/coursmath/var/logique.htm Logique [document électronique] / Xavier Hubaut, Auteur . - Xavier Hubaut, 2002 . - [env. 3p.] ; Web. Langues : Français (fre) Descripteurs : logique mathématique Résumé : La logique mathématique : la négation, la conjonction, la disjonction, l'implication, l'équivalence, les tautologies (exemple classique du syllogisme). Nature du document : documentaire Genre : documentaire Niveau : Secondaire En ligne : http://xavier.hubaut.info/coursmath/var/logique.htm

Penser types plutôt qu'ensembles / Philippe Pajot / Excelsior publications (2013) in Science & Vie, 1153 (10/2013)

Public ISBD [article]  inScience & Vie > 1153 (10/2013) Titre : Penser types plutôt qu'ensembles Type de document : texte imprimé Auteurs : Philippe Pajot, Auteur Editeur : Excelsior publications, 2013 Article : p.111-120 Note générale : Webographie. Langues : Français (fre) Descripteurs : algèbre / analyse : logique / logique mathématique Mots-clés : science mathématique Résumé : Le point sur les idées neuves en mathématiques : retour sur l’histoire de l’avènement des "maths modernes" jusqu’au développement de la notion de type par Bertrand Russel ; explications concernant l’évolution des théories, des systèmes et de la logique ; précisions sur le nouveau langage et son intérêt pour les chercheurs (applications informatiques, influence dans l’enseignement). Nature du document : documentaire Genre : Article de périodique [article] Penser types plutôt qu'ensembles [texte imprimé] / Philippe Pajot, Auteur . - Excelsior publications, 2013 . - p.111-120. Webographie. Langues : Français (fre) in Science & Vie > 1153 (10/2013) Descripteurs : algèbre / analyse : logique / logique mathématique Mots-clés : science mathématique Résumé : Le point sur les idées neuves en mathématiques : retour sur l’histoire de l’avènement des "maths modernes" jusqu’au développement de la notion de type par Bertrand Russel ; explications concernant l’évolution des théories, des systèmes et de la logique ; précisions sur le nouveau langage et son intérêt pour les chercheurs (applications informatiques, influence dans l’enseignement). Nature du document : documentaire Genre : Article de périodique