Descripteurs
 > 2 Science > 2.15 Mathématiques et statistiques > Mathématiques > Logique mathématique
Logique mathématiqueVoir aussi |
Documents disponibles dans ce descripteur (75)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesEtendre la recherche sur niveau(x) vers le bas
Article : texte imprimé
Le point sur la nécessité de développer des programmes adaptés aux capacités de l'ordinateur quantique : un rappel sur la différence entre bit et qubit ; les conséquences ; le concept des portes ; des exemples d'algorithmes.
Article : texte imprimé
Présentation des dessins de sable pratiqués au Vanuatu et d'une méthode scientifique basée sur la modélisation mathématique mise au point pour leur compréhension (ethnomathématique) : les règles de dessin ; l'algorithme de la tortue ; le cas du [...]
Article : texte imprimé
Entretien avec la scientifique Aurélie Jean, spécialiste des algorithmes, sur l'intelligence artificielle (IA) : le concept d'intelligence artificielle ; les différents types d'algorithmes (implicites et explicites) ; la différence entre l'IA gé[...]
Article : texte imprimé
Définition, résolution, illustration et utilité de la notion de paradoxe (paradoxe véridique, paradoxe falsidique, paradoxe de Russell imagé sous la forme du paradoxe du barbier). Bibliographie.
Article : texte imprimé
Décryptage du fonctionnement des algorithmes composant les modèles de langues au coeur de la plupart des systèmes d'intelligence artificielle. Modèle de langue génératif où un texte complet est produit à partir d'une amorce. Technologie basée su[...]
Article : texte imprimé
Dans The Guardian [presse britannique], le rôle des algorithmes prédictifs et de l'intelligence artificielle (IA) dans la vie quotidienne d'une Britannique : le portrait biométrique pour le réveil ; la puissance de traitement d'Alexa ; les aspec[...]
Article : texte imprimé
Dossier consacré à l'utilisation des algorithmes par la Caisse nationale des allocations familiales (CNAF) et à ses conséquences sur les populations les plus précaires : le point sur le système de "data mining" ou "exploration de données" pour l[...]
Article : texte imprimé
Le recours aux algorithmes pour les règlements de justice, aux Etats-Unis : les travaux du mathématicien Berk de l'université de Pennsylvanie ; la question du cautionnement et de l'inflation carcérale ; l'expérimentation dans le district de Phil[...]
Article : texte imprimé
Point sur l'utilisation de vidéosurveillance gérée par des algorithmes pendant les Jeux olympiques de Paris en 2024 : situations surveillées et limites ; objectifs ; projet.
Article : texte imprimé
Le point, en mathématiques, sur les algorithmes galactiques : la notion de complexité des algorithmes pour évaluer leur efficacité, l'algorithme de multiplication, l'intérêt théorique des algorithmes galactiques mais leur inutilisation dans le m[...]
Article : texte imprimé
Le point sur les recherches menées sur les biais générés par les intelligences artificielles (IA) : les constats avec les algorithmes de reconnaissance faciale ; le rôle de données utilisées ; les différentes méthodes de correction et leurs cons[...]
Article : texte imprimé
En bande dessinée, le point sur l'utilisation des algorithmes par les plateformes et réseaux sociaux ne proposant aux utilisateurs que ce qui les intéresse et pour quoi ils semblent d'accord en fonction de leurs précédents clics et ainsi les enf[...]
Article : texte imprimé
Le point sur les algorithmes capables de transformer des mots en images : des exemples ; le principe du "text-to-image" ; les questions éthiques ; les difficultés à surmonter ; le fonctionnement des intelligences artificielles (IA) génératives.
Article : texte imprimé
Point sur les conclusions d'un procès concernant les responsabilités des réseaux sociaux dans le suicide d'une jeune britannique, et plus particulièrement sur le rôle des algorithmes.
Article : texte imprimé
Le point sur la remise en cause, formulée par le philosophe et logicien Daniel Isaacson, de l'incomplétude du système d'axiomes de Peano : le principe du raisonnement par récurrence, le système d'axiomes de Peano, les théorèmes d'incomplétude én[...]
