Descripteurs
|
UNESCO > 2 Science > 2.15 Mathématiques et statistiques > Mathématiques > Logique mathématique
Logique mathématiqueVoir aussi |
Documents disponibles dans ce descripteur (90)
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é
Démocratisée par le lancement de ChatGPT, l'IA générative fait son entrée en restauration. Au lendemain de l'automatisation des process, cette nouvelle technologie, gourmande en datas, veut faire preuve d'intelligence pour séduire...
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é
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é
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[...]
Article : texte imprimé
Antoine Henry, Auteur |Réflexion sur la dimension éthique des algorithmes et sur l'intégration de l'éthique des algorithmes aux pratiques scolaires et à la culture informationnelle et numérique des élèves. Les algorithmes et la question de gouvernance et de prise de d[...]
Article : texte imprimé
Dossier consacré aux enjeux du développement de l'intelligence artificielle (IA) et des algorithmes. Présentation de la technologie : définition, développement et applications de l'IA, risques. La question de l'impact sur l'emploi. Analyse de la[...]
Article : texte imprimé
Aurélie Alexandre, Auteur |Le point sur l'un des premiers algorithmes apparus dans l'histoire des sciences dit algorithme des soustractions ou encore anthyphérèse (antiphérèse) décrit par Euclide dans son ouvrage intitulé "Eléments - Livre VII", algorithme s'étoffant à pa[...]
Article : texte imprimé
Tristan Allard, Auteur ; Louis Béziaud, Auteur ; Sébastien Gambs, Auteur |Le point sur les dispositifs algorithmiques protégeant la vie privée sur internet. Exemples d'attaques permettant de réidentifier des individus d'une base de données anonymisée ; cas des attaques par inférence ; les limites des premiers disposit[...]
Article : texte imprimé
Jean-Paul Delahaye, Auteur |Le point en mathématiques sur les paradoxes de la définissabilité : l'exemple du paradoxe de Berry, les notions de théorie et de métathéorie, l'utilité des paradoxes dans la découverte de procédés de démonstration, le paradoxe de Skolem.
Article : texte imprimé
Mehdi Harmi, Auteur |Dossier consacré aux prédictions des algorithmes : la prédiction des mouvements sociaux, des crimes et délits, des catastrophes climatiques, des krachs boursiers, de la santé humaine, des invasions biologiques. Infographie : origine des prédicti[...]
