Glossaire
Logique et métalogique

Ajouter à la bibliothèque

AF88 V1 Article de référence
Interactif Logo doc&quiz

Glossaire
Logique et métalogique

Auteur(s) : Jean-Charles PINOLI

Date de publication : 10 novembre 2023 | Read in english

Ajouter à la bibliothèque Ajouter à la bibliothèque

Logo Techniques de l'Ingenieur Cet article est réservé aux abonnés
Pour explorer cet article plus en profondeur Consulter un extrait gratuit

Déjà abonné ?

11.  Glossaire

Abduction  ; abduction

Raisonnement consistant à inférer des causes probables à un fait observé.

Abstraction  ; abstraction

Opération consistant à séparer et considérer isolément les idées ou les choses unies par essence.

Absurdité  ; absurdity

Idée ou concept dont l’existence paraît injustifiée. Il résulte donc de la contradiction d’un système logique par le fait.

Affirmation  ; affirmation

Donner pour vrai un jugement.

Algorithme  ; algorithm

...
Cet article est réservé aux abonnés
Logo Techniques de l'Ingenieur

Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.

Cet article est réservé aux abonnés Consulter un extrait gratuit

Déjà abonné ?


Lecture en cours
Glossaire

Article inclus dans l'offre

"Mathématiques"

( 228 articles )

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques.

Services

Quiz, médias, tableaux, formules, vidéos, etc.

Des modules pratiques

Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.

Des avantages inclus

Un ensemble de services exclusifs en complément des ressources.

Voir le détail de l'offre

Dans les ressources documentaires

Logique des propositions et logique des prédicats

Cet article, le deuxième d’une série de trois, traite des logiques classiques qui donneront naissance à l...

Transformer : des réseaux de neurones pour le traitement automatique des langues

Cet article présente un survol de l’état de l’art en traitement automatique des langues, en explorant une...

Modèles de Markov cachés pour l’étiquetage de séquences

Les modèles markoviens cachés sont un outil essentiel pour le traitement, l’exploration, la classificatio...

Transformer : des réseaux de neurones pour le traitement automatique des langues

Cet article présente un survol de l'état de l'art en traitement automatique des langues, en explorant une...

Tous les livres blancs
Toutes les actualités

Inscrivez-vous aux newsletters !

Contactez-nous