Descripteurs
 > 2 Science > 2.15 Mathématiques et statistiques > Mathématiques > Logique mathématique
Logique mathématiqueVoir aussi |
Documents disponibles dans ce descripteur (70)
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é
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[...]
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[...]
Article : texte imprimé
Présentation du jeu de la logique inventé par Lewis Carroll : la représentation des prémisses ; le carré triadique d'opposition. Encadré : le vocabulaire de la Reine des merveilles. Schémas.
Article : texte imprimé
Michael Harris, Auteur |Réflexion sur la place de l'humain face aux performances grandissantes des machines dans le domaine des mathématiques : la confirmation pour la première fois en 2020 d'un théorème par un logiciel sans vérification humaine, l'usage ancien des mac[...]
Article : texte imprimé
Kheira Bettayeb, Auteur |Etat des recherches sur les xénobots, des assemblages de cellules vivantes sachant se répliquer : caractéristiques, processus de création par l'intelligence artificielle, aptitudes des xénobots, perspectives médicales, risques. Encadrés : aptitu[...]
