Jacques Zahnd's Logique élémentaire : cours de base pour informaticiens PDF

By Jacques Zahnd

ISBN-10: 2880743605

ISBN-13: 9782880743604

Show description

Read or Download Logique élémentaire : cours de base pour informaticiens PDF

Best french books

Additional info for Logique élémentaire : cours de base pour informaticiens

Example text

Nous admettrons aussi que les variables individuelles, dont nous parlerons plus loin, sont les mˆemes dans tous les langages du premier ordre que nous consid´erons. Ce sont donc seulement les trois esp`eces de symboles suivantes qui font la « personnalit´e » d’un langage du premier ordre: ses constantes individuelles, ses symboles fonctionnels, et ses symboles relationnels. 3), c’est en nous basant sur sa signification: elle est la traduction formelle d’une assertion (1) et il est naturel de penser qu’elle poss`ede une valeur de v´erit´e (vrai, faux), mˆeme si l’on ne connaˆıt pas cette valeur.

Nous avons inclus dans cette liste, en dernier lieu, la proposition (6) elle-mˆeme, en tant que sous-proposition d’elle-mˆeme. 2 Exemple informatique Un langage du premier ordre peut ˆetre utilis´e pour d´ecrire le contenu d’une base de donn´ees. Il ne s’agit pas d’exprimer une `a une toutes les informations qu’elle contient mais d’exprimer des g´en´eralit´es sur ce contenu, notamment les conditions que doivent respecter les informations introduites dans cette base. Cette description fait partie de la conception d’une base de donn´ees.

Adoptons comme symbole de cette op´eration le symbole @, en tant que symbole fonctionnel binaire infix´e. Au lieu du terme f (x) nous ´ecrirons alors f @ x, ce qui peut toujours se lire « f de x ». Autres arit´ es. On rencontre aussi, dans le langage math´ ematique courant, des symboles fonctionnels unaires, c’est-`a-dire qui s’appliquent a` un seul terme, comme le symbole « − » dans l’expression −x. La notation est pr´efix´ee dans cet exemple. Dans celui de la factorielle x! le symbole fonctionnel « !

Download PDF sample

Logique élémentaire : cours de base pour informaticiens by Jacques Zahnd


by Michael
4.0

Rated 4.61 of 5 – based on 29 votes