Descripteurs
![]()
logique mathématiqueSynonyme(s)logique formelleVoir aussi |
Documents disponibles dans cette catégorie (22)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Tris disponibles](./images/orderby_az.gif)
Prouver à l'aide de l'infini / Philippe Pajot / Sophia Publications (2018) in La Recherche (Paris. 1970), 534 (04/2018)
[article]
Titre : Prouver à l'aide de l'infini Type de document : texte imprimé Auteurs : Philippe Pajot, Auteur Editeur : Sophia Publications, 2018 Article : p.61-62 Langues : Français (fre)
in La Recherche (Paris. 1970) > 534 (04/2018)Descripteurs : informatique / logique mathématique Résumé : Présentation du travail de la chercheuse post-doctorante Amina Doumane qui a réussi à prouver un théorème de l'informatique théorique grâce à une preuve circulaire (ou infinitaire) : le lien entre théorie de la démonstration et logiques infinitaires. Encadré : les preuves circulaires. Nature du document : documentaire [article]Pajot Philippe. « Prouver à l'aide de l'infini » in La Recherche (Paris. 1970), 534 (04/2018), p.61-62.
Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité archives Périodiques lycée CDI Lycée 063320 Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
De la régularité dans le désordre / Antoine Chambert-Loir / Sophia Publications (2020) in La Recherche (Paris. 1970), 563 (11/2020)
[article]
Titre : De la régularité dans le désordre Type de document : texte imprimé Auteurs : Antoine Chambert-Loir, Auteur Editeur : Sophia Publications, 2020 Article : p.106-112 Langues : Français (fre)
in La Recherche (Paris. 1970) > 563 (11/2020)Descripteurs : logique mathématique Résumé : Présentation de la théorie de Ramsey, du nom du mathématicien britannique Franck Ramsey, en référence au théorème démontré en 1930. Encadré : le principe des tiroirs, outil inépuisable. Nature du document : documentaire [article]Chambert-Loir Antoine. « De la régularité dans le désordre » in La Recherche (Paris. 1970), 563 (11/2020), p.106-112.
Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité archives Périodiques lycée CDI Lycée 071495 Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Le tout est-il plus que la somme des parties ? / Jean-Paul Delahaye / Pour la science (2017) in Pour la science, 477 (07/2017)
[article]
Titre : Le tout est-il plus que la somme des parties ? Type de document : texte imprimé Auteurs : Jean-Paul Delahaye, Auteur Editeur : Pour la science, 2017 Article : p.80-85 Note générale : Bibliographie, webographie. Langues : Français (fre)
in Pour la science > 477 (07/2017)Descripteurs : logique mathématique Résumé : Le point sur les valeurs mathématiques qui permettent de démontrer la maxime "le tout est plus que la somme des parties ", énoncée par Aristote : impossibilité de vérifier la maxime en prenant pour objets mathématiques les ensembles, les problèmes algorithmiques ou la complexité de Kolmogorov, le recours à la cryptographie visuelle et à la profondeur logique de Bennett, le cas des systèmes complexes. Nature du document : documentaire [article]Delahaye Jean-Paul. « Le tout est-il plus que la somme des parties ? » in Pour la science, 477 (07/2017), p.80-85.
Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives Périodiques lycée CDI Lycée 061098 Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Trivial, mais puissant : le principe des tiroirs / Jean-Paul Delahaye / Pour la science (2018) in Pour la science, 483 (01/2018)
[article]
Titre : Trivial, mais puissant : le principe des tiroirs Type de document : texte imprimé Auteurs : Jean-Paul Delahaye, Auteur Editeur : Pour la science, 2018 Article : p.74-79 Note générale : Bibliographie. Langues : Français (fre)
in Pour la science > 483 (01/2018)Descripteurs : logique mathématique Mots-clés : loi et principe scientifique Résumé : Présentation, en mathématiques, du principe des tiroirs, de ses variantes et de ses différentes applications. Nature du document : documentaire [article]Delahaye Jean-Paul. « Trivial, mais puissant : le principe des tiroirs » in Pour la science, 483 (01/2018), p.74-79.
Réservation
Réserver ce document
Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives Périodiques lycée CDI Lycée 062400 Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Tu as plutôt une intelligence logico-mathématique / Bayard Presse (2022) in Phosphore. Hors-série, 2210 (11/2022)
[article]
Titre : Tu as plutôt une intelligence logico-mathématique Type de document : texte imprimé Editeur : Bayard Presse, 2022 Article : p.62-70 Langues : Français (fre)
in Phosphore. Hors-série > 2210 (11/2022)Descripteurs : logique mathématique / métier Mots-clés : compétence (psychologie) Résumé : Présentation de métiers qui nécessitent des aptitudes en logique et en mathématiques : archiviste, épidémiologiste, bio-informaticien, data scientist, comptable, cryptologue, microtechnologue, ingénieur algorithme et IA, sociologue, référenceur web, ingénieur logiciel, développeur, technicien, intégrateur satellite, trader, responsable sécurité des systèmes d'information, contrôleur financier, ingénieur de recherche, data miner. Interview d'un analyste data visualisation. Nature du document : documentaire [article]« Tu as plutôt une intelligence logico-mathématique » in Phosphore. Hors-série, 2210 (11/2022), p.62-70.
Aucun avis, veuillez vous identifier pour ajouter le vôtre !