Descripteurs
|
UNESCO > 2 Science > 2.15 Mathématiques et statistiques > Mathématiques > Logique mathématique
Logique mathématiqueVoir aussi |
Documents disponibles dans ce descripteur (172)
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é
Présentation d'un algorithme, découvert récemment et permettant de décompter le nombre d'éléments distincts d'une suite de données.
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é
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é
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é
Dossier, sous forme de bande dessinée, consacré à l'utilisation des algorithmes dans de nombreuses administrations et à leurs conséquences : exemple d'un contrôle effectué par la CAF sur une allocataire, contrôle déterminé par un algorithme perm[...]
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é
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[...]
Article : texte imprimé
Dans The Continent [presse africaine], Timnit Gebru, chercheuse, et son combat contre les inégalités racistes, sexistes et sociales reproduites par les programmes d'intelligence artificielle : parcours, exemples de déviances négatives des applic[...]
Article : texte imprimé
Le point sur l'élaboration progressive de la logique mathématique à partir du 19e siècle (construction des fondements des mathématiques sur un édifice théorique) : les apports des mathématiciens Carl Gustav Jacobi, George Boole et Augustus de Mo[...]
