logique du premier ordre :
La logique du premier ordre (aussi nommée calcul des prédicats du premier ordre) permet d'énoncer en langage mathématique certains énoncés pour lesquels le langage usuel ne serait pas assez précis.Un certain nombre de variables et de symboles représentant des fonctions, deux quantificateurs (Pour tout... et Il existe ...), et des connecteurs logiques permettent de définir précisément dans quels cas telle situation esr vraie ou fausse. Ceci s'avère très pratique par exemple lors de preuves dans le développement de programmes informatiques.
Réseaux sociaux
Vous pouvez modifier vos préférences dans votre profil pour ne plus afficher les interactions avec les réseaux sociaux sur ces pages.
Astuce pour imprimer les couleurs des cellules de tableaux : http://www.gaudry.be/ast-rf-450.html
© Ce document issu de l′infobrol est enregistré sous le certificat Cyber Pr
tection. Enregistrement IDDN n° 5329-189
Document créé le 19/03/02 06:10, dernière modification le Vendredi 17 Juin 2011, 12:27
Source du document imprimé : http://www.gaudry.be/glossaire/def.html Document affiché 71 fois ce mois de Juin.
St.Gaudry©07.01.02
Aucun commentaire pour cette page
© Ce document issu de l′infobrol est enregistré sous le certificat Cyber Pr
tection. Enregistrement IDDN n° 5329-189Document créé le 19/03/02 06:10, dernière modification le Vendredi 17 Juin 2011, 12:27
Source du document imprimé : http://www.gaudry.be/glossaire/def.html Document affiché 71 fois ce mois de Juin.
St.Gaudry©07.01.02
Recherche (afficher)Utilisateur (masquer)
S'enregistrer
Liste des Membres
Qui est en ligne?
FAQNavigation (masquer)Apparence (afficher)Stats (afficher)15832 documents
452 astuces.
549 niouzes.
3099 definitions.
447 membres.
8115 messages.
Document genere en :
0,42 seconde
Mises à jour :
452 astuces.
549 niouzes.
3099 definitions.
447 membres.
8115 messages.
Document genere en :
0,42 seconde
Mises à jour :
Citation (masquer)Si la destinée ne nous aide pas, nous l'aiderons nous-même à se réaliser.
Chosroès Ier [Extrait de ses Mémoires]
Chosroès Ier [Extrait de ses Mémoires]
Nous sommes le Vendredi 01 Juin 2012, 09:43, toutes les heures sont au format GMT+1.00 Heure, heure d'été (+1)