2/3 – Langage logique

• cours - matière potentielle : analyse syntaxique

Universite Pierre et Marie Curie – Paris 6 Annee 2011-2012 Introduction a la logique (LXSTS) Mathieu Jaume 2/3 – Langage logique 1 Un langage pour quoi faire ? Un langage pour specifier, definir, raisonner. Exercice 1. 1 Donner la specification du probleme du tri par ordre croissant des elements d'une liste d'entiers. Exercice 1. 2 Trouver un probleme, dont vous enoncerez clairement la specification, pour lequel vous definirez deux procedes differents de resolution (satisfaisant exactement la meme specification).

• specification du probleme du tri par ordre croissant des elements
• symbole de proposition
• formule de la logique des propositions
• regles
• arbre de syntaxe abstraite
• elements
• probleme
• formules
• formule