Sur le concept de la vérité dans les langues formalisées, 1, Le concept de la proposition vraie dans la langue quotidienne
|
|
- Nicole Bibeau
- il y a 7 ans
- Total affichages :
Transcription
1 Sur le concept de la vérité dans les langues formalisées, 1, Le concept de la proposition vraie dans la langue quotidienne Alfred Tarski, 1935 Pour introduire le lecteur dans la matière de nos recherches, il me semble souhaitable de concevoir le problème de définir la vérité dans la langue quotidienne. Je voudrais en particulier mettre en perspectif les difficultés que l on rencontre dans les essais de résoudre ce problème. Des plusieurs manières que l on peut attaquer la construction d une définition correcte de la vérité des propositions dans la langue quotidienne, l essai de la définir sur le plan sémantique semble être le plus naturel. Je veux dire, une définition en mots : (1) une proposition vraie est une proposition qui dit que les choses sont comme ça et que les choses sont en effet comme ça. Sur le plan de la justesse, claritude et univocité formelles, cette formulation laisse encore beaucoup à désidérer. Mais le sens et l intention générale semble être clair et compréhensible. C est la tâche d une définition sémantique de préciser cette intention et de la donner une forme correcte. Comme point de départ, certaines propositions d un caractère speciale se présentent, qui peuvent passer comme des définitions partielles de la vérité d une proposition, ou plus précis, comme des explications de certaines tournures concrètes de la langue quotidienne, du type x est une proposition vraie. Ce schéma général de ce genre de propositions est : (2) x est une proposition vraie si et seulement si p ; pour obtenir des déclarations concrètes, on substitue dans ce schéma au lieu du symbole p une proposition et au lieu de x un nom particulier quelconque de cette proposition. Si on a, pour une proposition, un nom particulier, alors on peut construire pour lui une déclaration du type (2), si ça nous est possible de donner la proposition désignée par ce nom. La catégorie des noms la plus importante et la plus fréquente, pour laquelle cette condition est réalisée, sont les noms de guillemets, parce que nous désignons avec ce terme tout nom d une proposition (ou d une autre expression quelconque, même vide de signification), qui est composée de guillemets (à gauche et à droite) et de la proposition qui est entre les guillemets et qui est exactement ce qui est désignée par le nom considéré. Comme exemple d un tel nom de guillemets d une proposition on peut prendre le nom il neige. L explication de type (2) est dans ce cas : (3) il neige est une proposition vraie si et seulement s il neige. 1
2 Une autre catégorie de noms particuliers de propositions pour lesquels on peut construire des explications analogues sont les noms structurel-descriptifs. On appelle ces noms de telle manière qui décrivent de quels mots la proposition désignée par le nom est composée et de quels signes chacun de ces mots est composé et dans quel ordre ces signes et mots se suivent. Ces noms peuvent être formulés sans l aide de guillemets. Pour obtenir une telle description, il faut introduire dans la langue que l on utilise un nom particulier quelconque (mais pas de noms guillemets) pour tous les lettres et tous les autres signes dont sont composées les mots et expressions de cette langue. Par exemple on pourrait choisir comme noms pour les lettres a, e, f, j, p, x... les désignations A, E, Ef, Jé, Pé, Ixe... Il est clair que l on peut maintenant faire correspondre chaque nom de guillemets avec un nom structurel-descriptif sans guillemets et avec la même extension (cad. désignant la même expression) et vice versa. P.ex. le nom neige correspond avec le mot qui est composé des six lettres consécutives qui suivent : En, E, I, Gé, E. Il se comprend que l on peut construire des définitions partielles du type (2) pour les noms structureldescriptifs des propositions. Ca se voit dans cet exemple : (4) une expression, qui est composée de deux mots, dont le premier de deux lettres consécutives suivantes : I, El, et le deuxième de sept lettres consécutives suivantes : En, E, I, Gé, E, est une proposition vraie si et seulement s il neige. Des propositions analogues à (3) et (4) semblent être évident et semblent correspondre complètement avec la signification du mot vrai, comme exprimé dans (1). Elles ne laissent pas de doute sur la claritude de leur contenu et de la justesse de leur forme (sous la condition que les proposition que l on a substituées dans (2) pour le symbole p ne laissent pas de doute). Il faut tout de même ajouter une restriction ici. Il y a des situations dans lesquelles des propositions d exactement ce type, combinées avec certaines autres prémisses, intuitivement aussi évidentes, conduisent à une contradiction apparente, cad. l antinomie du menteur. On donne une version très simple de cette antinomie, due à Lukasiewicz. Pour que tout se présente d un coup d oeil nous utiliserons le symbole c comme abbréviation typographique de la proposition la proposition que l on trouve imprimée sur cette page, ligne 3 compté en commençant du haut de la page. Notons la proposition suivante : c n est pas une proposition vraie 1 Prenant en compte la signification du symbole c, on peut constater empiriquement : (a) c n est pas une proposition vraie est identique avec c Pour le nom de guillemets de cette proposition c (ou pour un autre nom particulier) on construit une explication du type (2) : (b) c n est pas une proposition vrai est une proposition vraie si et seulement si c n est pas une proposition vraie. Les prémisses (a) et (b) pris ensemble donnent immédiatement une contradiction. 1 Cette proposition se trouve dans la version original sur la ligne 3 2
3 c est une proposition vraie si et seulement si c n est pas une proposition vraie Le source de cette contradiction peut être trouvé aisément : pour construire la déclaration (b), on a substitué pour le symbole p dans le schéma (2) une expression qui contient elle-même le concept proposition vraie (et c est pourquoi la déclaration obtenue, contrairement à p.ex. (3) ou (4) ne peut plus être considérée comme définition partielle de la vérité). On ne peut néanmoins pas trouver un argument valide pour défendre de telles substitutions en principe. Je me borne ici à la formulation de l antinomie ici-dessus et je tiens en réserve de tirer les conséquences de ce fait. Faisant abstraction de cette difficulté, j essaierai d abord de construire une définition de la proposition vraie en généralisant les explications du type (3). A première vue, ce problème semble être bien léger en particulier pour celui sait utiliser l apparat de la logique mathématique moderne. On pourra penser que la substitution d une variable de proposition quelconque (cad. d un symbole, que l on peut substituer avec des propositions arbitraires) en (3) pour l expression deux fois répétée il neige ensemble avec la constatation, que la formule ainsi construite soit valable pour chaque valeur des variables, que ces deux faits conduisent à une proposition qui contient tous les déclarations du type (3) comme cas spéciaux : (5) pour un p arbitraire p est une proposition vraie si et seulement si p. La proposition ci-dessus ne peut pas servir comme définition générale de l expression x est une proposition vraie parce que l ensemble des substitutions possibles pour le symbole x est ici limité aux noms de guillemets. Pour éliminer cette restriction, on devrait se reclamer du fait connu que toute proposition vrai (a fortiori, toute proposition) correspond à un nom de guillemets, qui désigne cette proposition. De ce fait, une généralisation de la formulation (5) peut être faite comme suit : (6) pour un x arbitraire x ist une proposition vraie si et seulement si pour un certain p x est identique avec p et p. A première vue, on serait tenté de prendre la proposition (6) comme une définition sémantique correcte et valable pour l expression proposition vraie, qui de manière précise réalise l intention de la formulation (1), et qui peut être reconnue comme solution satisfaisante du problème que l on traîte ici. A fond, la chose n est pas si facile que ça : du moment que nous commçons à analyser la signification des nom de guillemets que l on trouve dans (5) et (6), nous remarquons une série de difficultés et dangers. On peut traîter les noms de guillemets comme les mots d une langue, cad. comme des expressions syntactiquement simples ; les composants de ces noms les guillemets et les expressions entre ces guillemets ont la même fonction que les lettres ou les complexes de lettres suivantes dans les mots, ils n ont pas, alors, un signification indépendante. Chaque nom de guillemets est un nom particulier constant d une expression déterminée (cad. de l expression entre guillemets), et ce nom a le même caractère que les noms propres des hommes ; p. ex. le nom p est une des lettres de l alphabet. Dans cette interprétation, qui semble être la plus naturelle et complètement correspondante à l usage habituelle des guillemets, les définitions partielles du type (3) ne peuvent pas être utilisées pour de généralisations. La proposition (5) resp. (6) ne peut pas être prise comme 3
4 généralisation : si on applique le règle de substitution sur (5) on n a pas le droît de substituer quoique ce soit pour p (en partie composante d un nom de guillemets), de la même manière que l on n a pas le droît de substituer quelque chose pour la lettre v dans le mot vraie. De là on n obtient en conclusion pas (3), mais la proposition suivante : p ist une proposition vraie si et seulement s il neige. On voit que les propositions (5) et (6) ne sont pas de formulations de la pensée que l on veut exprimer, et même plus, qu elles sont apparemment sans sens. La proposition (5) conduit même directement à une contradiction, parce que l on peut tirer d elle, à part la conséquence déjà discutée, une conséquence contradictoire : p est une proposition vraie si et seulement s il ne neige pas. La proposition (6) seule ne conduit pas à une contradiction, mais d elle s ensuit la conclusion à contre-sens que la lettre p serait la seule proposition vraie. Pour éclaircir les observations de ci-dessus, nous devons ajouter la remarque que l on peut, en partant de cette conception du nom de guillemets, éliminer ces noms-là et les substituer p. ex. par les noms structurel-descriptifs correspondants partout. Si on regarde des explications du type (2) pour de telles noms, p. ex. l explication (4), on ne voit aucune route qui mène à une généralisation de ces explications ; par contre, si on substitue dans (5) et (6) le nom de guillemets p par un nom structurel-descriptif de la même extension Pe (resp. le mot, qui consiste de la seul lettre Pe ), alors le contresens des formulations ainsi obtenues devient immédiatement apparent. Pour sauver le sens des propositions (5) et (6), on doit prendre une autre interprétation du nom de guillemets. Ces noms doivent être traîtés comme des expressions composées selon le syntaxe, dont les parties composantes syntactiques sont les guillemets et les expressions dans ces guillemets. Pas tous les expressions de guillemets sont dans ce cas des noms constants : l expression p dans (5) et (6) doit p. ex. être vue comme une fonction, dont l argument est une variable de proposition et dont les valeurs sont des noms de guillemets constants de certaines propositions. Une telle fonction sera désignée comme fonction de guillemets. Les guillemets deviennent ainsi des mots autonomes, faisants partie de la sémantique. Sur le plan de la signification, ils sont près du mot nom et sur le plan syntactique ils ont le rôle d opérateurs (Funktoren). Ils naissent de nouveaux complications. Le sens de la fonction de guillemets et des guillemets-mêmes n est pas assez évident de lui-même. En tout cas, ce ne sont pas d opérateurs extensionnels : la proposition pour tout p et q arbitraires p si et seulement si q, alors p est identique avec q est sans aucun doute en contradiction flagrante avec la manière normale d utiliser les guillemets. Pour cette raison seulle, la définition (6) serait inacceptable pour tous qui veulent éviter l utilisation des opérateurs intensionnels et qui sont même de l opinion que une analyse plus profonde rendrait impossible d assigner une signification à de tels opérateurs. L usage de la fonction de guillemets nous porte aussi le danger de nous compliquer dans plusiers antinomies sémantiques comme l antinomie du menteur. Cela est le cas même si on étant très prudent n utilise que les propriétés les plus évidentes des fonctions discutées. Contraire à la version de l antinomie du menteur que l on a vue ci-dessus, on peut aussi formuler l antinomie sans l expression proposition vraie, en introduisant les fonctions 4
5 de guillemets avec argument variable. On donnera une esquisse de cette formulation. 5
CHAPITRE VIII : Les circuits avec résistances ohmiques
CHAPITRE VIII : Les circuits avec résistances ohmiques VIII. 1 Ce chapitre porte sur les courants et les différences de potentiel dans les circuits. VIII.1 : Les résistances en série et en parallèle On
Plus en détailCONDITIONS DE REUSSITE, DISPENSES, REPORTS ET CREDITS DANS L ENSEIGNEMENT SUPERIEUR
CONDITIONS DE REUSSITE, DISPENSES, REPORTS ET CREDITS DANS L ENSEIGNEMENT SUPERIEUR Position de la Fédération des Étudiant(e)s Francophones (F.E.F.) discutée puis adoptée lors des Conseils du 25 septembre
Plus en détailChp. 4. Minimisation d une fonction d une variable
Chp. 4. Minimisation d une fonction d une variable Avertissement! Dans tout ce chapître, I désigne un intervalle de IR. 4.1 Fonctions convexes d une variable Définition 9 Une fonction ϕ, partout définie
Plus en détailLES CARTES À POINTS : POUR UNE MEILLEURE PERCEPTION
LES CARTES À POINTS : POUR UNE MEILLEURE PERCEPTION DES NOMBRES par Jean-Luc BREGEON professeur formateur à l IUFM d Auvergne LE PROBLÈME DE LA REPRÉSENTATION DES NOMBRES On ne conçoit pas un premier enseignement
Plus en détailLES OUTILS D ALIMENTATION DU REFERENTIEL DE DB-MAIN
LES OUTILS D ALIMENTATION DU REFERENTIEL DE DB-MAIN Les contenues de ce document sont la propriété exclusive de la société REVER. Ils ne sont transmis qu à titre d information et ne peuvent en aucun cas
Plus en détailChapitre 1 Qu est-ce qu une expression régulière?
Chapitre 1 Qu est-ce qu une expression régulière? Les ordinateurs n ont pas du tout la même conception des textes que nous : pour nous, un texte est un ensemble d idées couchées sur papier. Nous nous en
Plus en détailFonctions de plusieurs variables
Module : Analyse 03 Chapitre 00 : Fonctions de plusieurs variables Généralités et Rappels des notions topologiques dans : Qu est- ce que?: Mathématiquement, n étant un entier non nul, on définit comme
Plus en détailUEO11 COURS/TD 1. nombres entiers et réels codés en mémoire centrale. Caractères alphabétiques et caractères spéciaux.
UEO11 COURS/TD 1 Contenu du semestre Cours et TDs sont intégrés L objectif de ce cours équivalent a 6h de cours, 10h de TD et 8h de TP est le suivant : - initiation à l algorithmique - notions de bases
Plus en détailManuel d utilisation 26 juin 2011. 1 Tâche à effectuer : écrire un algorithme 2
éducalgo Manuel d utilisation 26 juin 2011 Table des matières 1 Tâche à effectuer : écrire un algorithme 2 2 Comment écrire un algorithme? 3 2.1 Avec quoi écrit-on? Avec les boutons d écriture........
Plus en détailLe M.B.A. professionnel
Le M.B.A. professionnel Un M.B.A. à temps partiel pour les professionnels qui travaillent un programme unique Le nouveau M.B.A. professionnel de la Faculté de gestion Desautels de l Université McGill est
Plus en détailEtude de fonctions: procédure et exemple
Etude de fonctions: procédure et exemple Yves Delhaye 8 juillet 2007 Résumé Dans ce court travail, nous présentons les différentes étapes d une étude de fonction à travers un exemple. Nous nous limitons
Plus en détailSuites numériques 3. 1 Convergence et limite d une suite
Suites numériques 3 1 Convergence et limite d une suite Nous savons que les termes de certaines suites s approchent de plus en plus d une certaine valeur quand n augmente : par exemple, les nombres u n
Plus en détailLimites finies en un point
8 Limites finies en un point Pour ce chapitre, sauf précision contraire, I désigne une partie non vide de R et f une fonction définie sur I et à valeurs réelles ou complees. Là encore, les fonctions usuelles,
Plus en détailCOMMUNICATEUR BLISS COMMANDE PAR UN SENSEUR DE POSITION DE L'OEIL
COMMUNICATEUR BLISS COMMANDE PAR UN SENSEUR DE POSITION DE L'OEIL J. TICHON(1) (2), J.-M. TOULOTTE(1), G. TREHOU (1), H. DE ROP (2) 1. INTRODUCTION Notre objectif est de réaliser des systèmes de communication
Plus en détailProcessus d Informatisation
Processus d Informatisation Cheminement de la naissance d un projet jusqu à son terme, deux grandes étapes : Recherche ou étude de faisabilité (en amont) L utilisateur a une idée (plus ou moins) floue
Plus en détailArithmétique binaire. Chapitre. 5.1 Notions. 5.1.1 Bit. 5.1.2 Mot
Chapitre 5 Arithmétique binaire L es codes sont manipulés au quotidien sans qu on s en rende compte, et leur compréhension est quasi instinctive. Le seul fait de lire fait appel au codage alphabétique,
Plus en détailImage d un intervalle par une fonction continue
DOCUMENT 27 Image d un intervalle par une fonction continue La continuité d une fonction en un point est une propriété locale : une fonction est continue en un point x 0 si et seulement si sa restriction
Plus en détailUtiliser Dev-C++ .1Installation de Dev-C++ Table des matières
Utiliser Dev-C++ Voici quelques explications sur l utilisation de Dev-C++, un excellent environnement de développement en C et C++ pour Windows qu on peut télécharger librement depuis le site www.bloodshed.net
Plus en détailSTAGE IREM 0- Premiers pas en Python
Université de Bordeaux 16-18 Février 2014/2015 STAGE IREM 0- Premiers pas en Python IREM de Bordeaux Affectation et expressions Le langage python permet tout d abord de faire des calculs. On peut évaluer
Plus en détailChapitre 2. Eléments pour comprendre un énoncé
Chapitre 2 Eléments pour comprendre un énoncé Ce chapitre est consacré à la compréhension d un énoncé. Pour démontrer un énoncé donné, il faut se reporter au chapitre suivant. Les tables de vérité données
Plus en détailRésolution d équations non linéaires
Analyse Numérique Résolution d équations non linéaires Said EL HAJJI et Touria GHEMIRES Université Mohammed V - Agdal. Faculté des Sciences Département de Mathématiques. Laboratoire de Mathématiques, Informatique
Plus en détailFctsAffines.nb 1. Mathématiques, 1-ère année Edition 2007-2008. Fonctions affines
FctsAffines.nb 1 Mathématiques, 1-ère année Edition 2007-2008 Fonctions affines Supports de cours de mathématiques de degré secondaire II, lien hpertete vers la page mère http://www.deleze.name/marcel/sec2/inde.html
Plus en détailExercices Alternatifs. Une fonction continue mais dérivable nulle part
Eercices Alternatifs Une fonction continue mais dérivable nulle part c 22 Frédéric Le Rou (copleft LDL : Licence pour Documents Libres). Sources et figures: applications-continues-non-derivables/. Version
Plus en détailExercices Alternatifs. Une fonction continue mais dérivable nulle part
Eercices Alternatifs Une fonction continue mais dérivable nulle part c 22 Frédéric Le Rou (copyleft LDL : Licence pour Documents Libres). Sources et figures: applications-continues-non-derivables/. Version
Plus en détailMode d emploi base de données AIFRIS : Commande et inscriptions
Mode d emploi base de données AIFRIS : Commande et inscriptions Vous trouverez dans les pages qui suivent la démarche à suivre pour les inscriptions en ligne au congrès de l AIFRIS. La présentation suit
Plus en détailRaisonnement probabiliste
Plan Raisonnement probabiliste IFT-17587 Concepts avancés pour systèmes intelligents Luc Lamontagne Réseaux bayésiens Inférence dans les réseaux bayésiens Inférence exacte Inférence approximative 1 2 Contexte
Plus en détail1 Introduction au codage
CélestineOscarDésiréAnatoleGastonEugène 1 Introduction au codage 1.1 Les ensembles L ensemble de tout les ensembles est Dieu lui-même. Kantor Ensemble des parties d un ensemble désigne l ensemble des sous-ensembles
Plus en détailINF 232: Langages et Automates. Travaux Dirigés. Université Joseph Fourier, Université Grenoble 1 Licence Sciences et Technologies
INF 232: Langages et Automates Travaux Dirigés Université Joseph Fourier, Université Grenoble 1 Licence Sciences et Technologies Année Académique 2013-2014 Année Académique 2013-2014 UNIVERSITÉ JOSEPH
Plus en détailLogiciel Libre Cours 3 Fondements: Génie Logiciel
Logiciel Libre Cours 3 Fondements: Génie Logiciel Stefano Zacchiroli zack@pps.univ-paris-diderot.fr Laboratoire PPS, Université Paris Diderot 2013 2014 URL http://upsilon.cc/zack/teaching/1314/freesoftware/
Plus en détailInstitut économique de Montréal. Rapport d un sondage omnibus. Juin 2005
Institut économique de Montréal Rapport d un sondage omnibus Juin 2005 Opinion des Québécois à l égard du jugement de la Cour suprême du Canada relatif à l interdiction aux citoyens de payer pour des soins
Plus en détailChapitre 3 : INFERENCE
Chapitre 3 : INFERENCE 3.1 L ÉCHANTILLONNAGE 3.1.1 Introduction 3.1.2 L échantillonnage aléatoire 3.1.3 Estimation ponctuelle 3.1.4 Distributions d échantillonnage 3.1.5 Intervalles de probabilité L échantillonnage
Plus en détailCours 1 : Introduction Ordinateurs - Langages de haut niveau - Application
Université de Provence Licence Math-Info Première Année V. Phan Luong Algorithmique et Programmation en Python Cours 1 : Introduction Ordinateurs - Langages de haut niveau - Application 1 Ordinateur Un
Plus en détailSuites numériques 4. 1 Autres recettes pour calculer les limites
Suites numériques 4 1 Autres recettes pour calculer les limites La propriété suivante permet de calculer certaines limites comme on verra dans les exemples qui suivent. Propriété 1. Si u n l et fx) est
Plus en détailUtilisez Toucan portable pour vos sauvegardes
Utilisez Toucan portable pour vos sauvegardes Préambule Toucan est un logiciel libre et gratuit, permettant de réaliser des sauvegardes ou synchronisation de vos données. Il est possible d automatiser
Plus en détailPréparation à l examen EFA en Macro
Préparation à l examen EFA en Macro Exercice sur les macros en Word / Excel Les questions suivantes doivent constituer un bref rafraîchissement et vous aider à situer le niveau de vos connaissances : Question
Plus en détailContrat d agence commerciale
http://www.droitbelge.net infos@droitbelge.net Contrat d agence commerciale Auteur: Me Frédéric Dechamps, avocat AVERTISSEMENT Ce document est une version d évaluation du contrat. Il a pour seul objectif
Plus en détailSystème immunitaire artificiel
République Algérienne Démocratique et Populaire Ministère de l Enseignement Supérieure Université des Sciences et de la Technologie D Oran Mohammed Boudiaf (USTO) Faculté des Sciences Département d Informatique
Plus en détailSujet proposé par Yves M. LEROY. Cet examen se compose d un exercice et de deux problèmes. Ces trois parties sont indépendantes.
Promotion X 004 COURS D ANALYSE DES STRUCTURES MÉCANIQUES PAR LA MÉTHODE DES ELEMENTS FINIS (MEC 568) contrôle non classant (7 mars 007, heures) Documents autorisés : polycopié ; documents et notes de
Plus en détailmodélisation solide et dessin technique
CHAPITRE 1 modélisation solide et dessin technique Les sciences graphiques regroupent un ensemble de techniques graphiques utilisées quotidiennement par les ingénieurs pour exprimer des idées, concevoir
Plus en détailMODIFICATIONS DES PRINCIPES DIRECTEURS CONCERNANT LA RÉDACTION DES DÉFINITIONS RELATIVES AU CLASSEMENT
ANNEXE VI MODIFICATIONS DES PRINCIPES DIRECTEURS CONCERNANT LA RÉDACTION DES DÉFINITIONS RELATIVES AU CLASSEMENT RECOMMANDATIONS GÉNÉRALES Les utilisateurs s attendent à trouver dans les définitions des
Plus en détailAPPLICATION POUR L ANALYSE DES BESOINS LINGUISTIQUES Guide de l utilisateur
APPLICATION POUR L ANALYSE DES BESOINS LINGUISTIQUES Guide de l utilisateur Version: 1.1 Date: 31 mars 2013 Auteur: Mike Hammersley Ce projet a été financé avec le soutien de la Commission européenne (LLP
Plus en détailWifi Sécurité et Qualité 1 - Sécurité
Wifi Sécurité et Qualité 1 - Sécurité La livebox comme toute box est un des points d entrée d Internet chez vous. La box est configurée depuis un ordinateur. Pour Orange, on y accède en saisissant «Livebox»
Plus en détailPourquoi l apprentissage?
Pourquoi l apprentissage? Les SE sont basés sur la possibilité d extraire la connaissance d un expert sous forme de règles. Dépend fortement de la capacité à extraire et formaliser ces connaissances. Apprentissage
Plus en détailMode d emploi abrégé COMBOX basic et pro pour réseau f ixe et mobile.
Mode d emploi abrégé COMBOX basic et pro pour réseau f ixe et mobile. Table des matières COMBOX votre répondeur Enregistrer COMBOX Activer et désactiver COMBOX Enregistrer les textes d accueil et d absence
Plus en détailChap 4: Analyse syntaxique. Prof. M.D. RAHMANI Compilation SMI- S5 2013/14 1
Chap 4: Analyse syntaxique 1 III- L'analyse syntaxique: 1- Le rôle d'un analyseur syntaxique 2- Grammaires non contextuelles 3- Ecriture d'une grammaire 4- Les méthodes d'analyse 5- L'analyse LL(1) 6-
Plus en détailIntroduction à l étude des Corps Finis
Introduction à l étude des Corps Finis Robert Rolland (Résumé) 1 Introduction La structure de corps fini intervient dans divers domaines des mathématiques, en particulier dans la théorie de Galois sur
Plus en détailExcel 2007 Niveau 3 Page 1 www.admexcel.com
Excel 2007 Niveau 3 Page 1 TABLE DES MATIERES UTILISATION DE LISTES DE DONNEES... 4 REMARQUES PREALABLES SUR LES LISTES DE DONNEES... 4 METTRE EN FORME LE TABLEAU... 6 METTRE LA LISTE A JOUR... 7 a/ Directement
Plus en détail# let rec concat l1 l2 = match l1 with [] -> l2 x::l 1 -> x::(concat l 1 l2);; val concat : a list -> a list -> a list = <fun>
94 Programmation en OCaml 5.4.8. Concaténation de deux listes Définissons maintenant la fonction concat qui met bout à bout deux listes. Ainsi, si l1 et l2 sont deux listes quelconques, concat l1 l2 constitue
Plus en détailUniversité de Lorraine Licence AES LIVRET DE STAGE LICENCE 2014-2015
Université de Lorraine Licence AES LIVRET DE STAGE LICENCE 2014-2015 1 LA REDACTION DU RAPPORT DE STAGE Le mémoire ne doit pas consister à reprendre tels quels des documents internes de l entreprise ou
Plus en détailDébuter avec Excel. Excel 2007-2010
Débuter avec Excel Excel 2007-2010 Fabienne ROUX Conseils & Formation 10/04/2010 TABLE DES MATIÈRES LE RUBAN 4 LE CLASSEUR 4 RENOMMER LES FEUILLES DU CLASSEUR 4 SUPPRIMER DES FEUILLES D UN CLASSEUR 4 AJOUTER
Plus en détailQu est-ce qu un résumé?
Méthodologie d analyse et de mémoire Résumer un texte Quelques astuces et techniques Licence GSINFO Département GEII IUT d Évry N. Abchiche Mimouni 1 Qu est-ce qu un résumé? Exprime de façon brève, les
Plus en détailCours d introduction à l informatique. Partie 2 : Comment écrire un algorithme? Qu est-ce qu une variable? Expressions et instructions
Cours d introduction à l informatique Partie 2 : Comment écrire un algorithme? Qu est-ce qu une variable? Expressions et instructions Qu est-ce qu un Une recette de cuisine algorithme? Protocole expérimental
Plus en détailContinuité en un point
DOCUMENT 4 Continuité en un point En général, D f désigne l ensemble de définition de la fonction f et on supposera toujours que cet ensemble est inclus dans R. Toutes les fonctions considérées sont à
Plus en détailF7n COUP DE BOURSE, NOMBRE DÉRIVÉ
Auteur : S.& S. Etienne F7n COUP DE BOURSE, NOMBRE DÉRIVÉ TI-Nspire CAS Mots-clés : représentation graphique, fonction dérivée, nombre dérivé, pente, tableau de valeurs, maximum, minimum. Fichiers associés
Plus en détail5172, des Ramiers Québec QC G1G 1L3 (418) 622-1593 c.sanfacon@videotron.ca
5172, des Ramiers Québec QC G1G 1L3 (418) 622-1593 LES TECHNIQUES D INTERVENTION Accepter mes propres émotions, éviter l affrontement, respecter l image du jeune. Ce n est pas toujours évident d intervenir
Plus en détailLa programmation linéaire : une introduction. Qu est-ce qu un programme linéaire? Terminologie. Écriture mathématique
La programmation linéaire : une introduction Qu est-ce qu un programme linéaire? Qu est-ce qu un programme linéaire? Exemples : allocation de ressources problème de recouvrement Hypothèses de la programmation
Plus en détail{less} Guide de démarrage
{less Guide de démarrage Pré requis L'utilisation d'un pré processeur css nécessite son installation préalable. Vous pouvez choisir de tout installer du coté du serveur ou du coté du client. Votre site
Plus en détailA1 Parler avec quelqu un Je peux dire qui je suis, où je suis né(e), où j habite et demander le même type d informations à quelqu un. Je peux dire ce que je fais, comment je vais et demander à quelqu un
Plus en détailCarl-Louis-Ferdinand von Lindemann (1852-1939)
Par Boris Gourévitch "L'univers de Pi" http://go.to/pi314 sai1042@ensai.fr Alors ça, c'est fort... Tranches de vie Autour de Carl-Louis-Ferdinand von Lindemann (1852-1939) est transcendant!!! Carl Louis
Plus en détailLe produit semi-direct
Le produit semi-direct Préparation à l agrégation de mathématiques Université de Nice - Sophia Antipolis Antoine Ducros Octobre 2007 Ce texte est consacré, comme son titre l indique, au produit semi-direct.
Plus en détailInitiation à l algorithmique
Informatique S1 Initiation à l algorithmique procédures et fonctions 2. Appel d une fonction Jacques TISSEAU Ecole Nationale d Ingénieurs de Brest Technopôle Brest-Iroise CS 73862-29238 Brest cedex 3 -
Plus en détailConstruction d un cercle tangent à deux cercles donnés.
Préparation au CAPES Strasbourg, octobre 2008 Construction d un cercle tangent à deux cercles donnés. Le problème posé : On se donne deux cercles C et C de centres O et O distincts et de rayons R et R
Plus en détailProjet d informatique M1BI : Compression et décompression de texte. 1 Généralités sur la compression/décompression de texte
Projet d informatique M1BI : Compression et décompression de texte Le but de ce projet est de coder un programme réalisant de la compression et décompression de texte. On se proposera de coder deux algorithmes
Plus en détailObjectifs du cours d aujourd hui. Informatique II : Cours d introduction à l informatique et à la programmation objet. Complexité d un problème (2)
Objectifs du cours d aujourd hui Informatique II : Cours d introduction à l informatique et à la programmation objet Complexité des problèmes Introduire la notion de complexité d un problème Présenter
Plus en détailChapitre 3. Les distributions à deux variables
Chapitre 3. Les distributions à deux variables Jean-François Coeurjolly http://www-ljk.imag.fr/membres/jean-francois.coeurjolly/ Laboratoire Jean Kuntzmann (LJK), Grenoble University 1 Distributions conditionnelles
Plus en détailTablette Pegasus PC Notes. Code : 0954 201. Conrad sur INTERNET www.conrad.com Version 02/03. 15. Conditions du système.
Conrad sur INTERNET www.conrad.com N O T I C E Version 02/03 Unité de base (USB) PCNT _ BU05 Crayon électronique PEN1 _ V006 Support bloc notes PCNT _ PAD01 Piles SR41 620004 Mine 9100520 Notice 9100120
Plus en détailRappel. Analyse de Données Structurées - Cours 12. Un langage avec des déclaration locales. Exemple d'un programme
Rappel Ralf Treinen Université Paris Diderot UFR Informatique Laboratoire Preuves, Programmes et Systèmes treinen@pps.univ-paris-diderot.fr 6 mai 2015 Jusqu'à maintenant : un petit langage de programmation
Plus en détailProtection des renseignements personnels, publicité ciblée et médias sociaux : Ampleur du problème : certaines observations déconcertantes
Protection des renseignements personnels, publicité ciblée et médias sociaux : Ampleur du problème : certaines observations déconcertantes Avner Levin * * Professeur agrégé et directeur, Privacy and Cyber
Plus en détailContinuité et dérivabilité d une fonction
DERNIÈRE IMPRESSIN LE 7 novembre 014 à 10:3 Continuité et dérivabilité d une fonction Table des matières 1 Continuité d une fonction 1.1 Limite finie en un point.......................... 1. Continuité
Plus en détailRapidMiner. Data Mining. 1 Introduction. 2 Prise en main. Master Maths Finances 2010/2011. 1.1 Présentation. 1.2 Ressources
Master Maths Finances 2010/2011 Data Mining janvier 2011 RapidMiner 1 Introduction 1.1 Présentation RapidMiner est un logiciel open source et gratuit dédié au data mining. Il contient de nombreux outils
Plus en détailExercices de dénombrement
Exercices de dénombrement Exercice En turbo Pascal, un entier relatif (type integer) est codé sur 6 bits. Cela signifie que l'on réserve 6 cases mémoires contenant des "0" ou des "" pour écrire un entier.
Plus en détailL argumentation en très bref Quelques éléments
Université de Fribourg (Suisse) Philosophie Moderne et Contemporaine L argumentation en très bref Quelques éléments Version 2 Jean-Roch Lauper, Mars 2006 5. L argumentation en très bref Ce document reprend
Plus en détailCONSEILS POUR LA REDACTION DU RAPPORT DE RECHERCHE. Information importante : Ces conseils ne sont pas exhaustifs!
CONSEILS POUR LA REDACTION DU RAPPORT DE RECHERCHE Information importante : Ces conseils ne sont pas exhaustifs! Conseils généraux : Entre 25 et 60 pages (hormis références, annexes, résumé) Format d un
Plus en détailPrévention des Risques routiers encourus par les salariés Enseignants et Non - Enseignants
Prévention des Risques routiers encourus par les salariés Enseignants et Non - Enseignants 17.11.2008 Destinataires : Enseignants, Non-Enseignants et membres du CHSCT Objet : Le risque routier Conduire
Plus en détailLa presse en ligne au service de la démocratie locale. Sylvain Parasie (Latts) & Jean-Philippe Cointet (INRA Sens)
La presse en ligne au service de la démocratie locale Sylvain Parasie (Latts) & Jean-Philippe Cointet (INRA Sens) Les sciences sociales critiques du rôle démocratique de la presse locale. Nouveaux espoirs
Plus en détailETRE OBSEDE PAR LA PSYCHOLOGIE DE L ACHETEUR
ETRE OBSEDE PAR LA PSYCHOLOGIE DE L ACHETEUR Évolution du comportement de l acheteur Ces dix dernières années, la pression concurrentielle et (surtout) l omniscience de Google, a changé radicalement le
Plus en détailExo7. Probabilité conditionnelle. Exercices : Martine Quinio
Exercices : Martine Quinio Exo7 Probabilité conditionnelle Exercice 1 Dans la salle des profs 60% sont des femmes ; une femme sur trois porte des lunettes et un homme sur deux porte des lunettes : quelle
Plus en détailavec des nombres entiers
Calculer avec des nombres entiers Effectuez les calculs suivants.. + 9 + 9. Calculez. 9 9 Calculez le quotient et le rest. : : : : 0 :. : : 9 : : 9 0 : 0. 9 9 0 9. Calculez. 9 0 9. : : 0 : 9 : :. : : 0
Plus en détailComparaison des états financiers d une entreprise et d une banque
CHAPITRE 1 Comparaison des états financiers d une entreprise et d une banque Ce e comparaison met en évidence des différences, liées aux par cularités des ac vités bancaires. 1.1 DESCRIPTION SUCCINCTE
Plus en détailResponsabilité de l'expert-comptable
Litec Libraire de la Cnnr He rassation - 27. olace Dauohine - 75001 Paris Anne-Claire Maddoli-Restoux avocat á la Cour d'appel de París Responsabilité de l'expert-comptable Risques judiciaires et préventions
Plus en détailÉVALUATION FORMATIVE. On considère le circuit électrique RC représenté ci-dessous où R et C sont des constantes strictement positives.
L G L G Prof. Éric J.M.DELHEZ ANALYSE MATHÉMATIQUE ÉALUATION FORMATIE Novembre 211 Ce test vous est proposé pour vous permettre de faire le point sur votre compréhension du cours d Analyse Mathématique.
Plus en détailReprésentation des Nombres
Chapitre 5 Représentation des Nombres 5. Representation des entiers 5.. Principe des représentations en base b Base L entier écrit 344 correspond a 3 mille + 4 cent + dix + 4. Plus généralement a n a n...
Plus en détailINTRODUCTION AUX METHODES D INGENIERIE DES DONNEES DIRIGEE PAR LES MODELES
INTRODUCTION AUX METHODES D INGENIERIE DES DONNEES DIRIGEE PAR LES MODELES Les contenus de ce document sont la propriété exclusive de la société REVER. Ils ne sont transmis qu à titre d information et
Plus en détailFonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre
IUFM du Limousin 2009-10 PLC1 Mathématiques S. Vinatier Rappels de cours Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre 1 Fonctions de plusieurs variables
Plus en détailCompilation. Algorithmes d'analyse syntaxique
Compilation Algorithmes d'analyse syntaxique Préliminaires Si A est un non-terminal et γ une suite de terminaux et de non-terminaux, on note : A γ si en partant de A on peut arriver à γ par dérivations
Plus en détailFiche PanaMaths Calculs avec les fonctions sous Xcas
Fiche PanaMaths Calculs avec les fonctions sous Xcas Cette fiche destinée aux élèves des classes de Terminale requiert un premier niveau de connaissance du logiciel Xcas. Définition d une fonction Fonctions
Plus en détailCherche. Champ de saisie. Langue de. l interface. 1. Informations et. à l utilisation. NEBIS recherche. et trouver. Prêt
MODES D INTERROGATION DU CATALOGUE NEBIS recherche 1. Connexion au catalogue NEBIS recherche http://recherche.nebis.ch/ Champ de saisie 3. Ecran de recherche Langue de l interface 1. Informations relatives
Plus en détailGuide No.2 de la Recommandation Rec (2009).. du Comité des Ministres aux États membres sur la démocratie électronique
DIRECTION GENERALE DES AFFAIRES POLITIQUES DIRECTION DES INSTITUTIONS DEMOCRATIQUES Projet «BONNE GOUVERNANCE DANS LA SOCIETE DE L INFORMATION» CAHDE (2009) 2F Strasbourg, 20 janvier 2009 Guide No.2 de
Plus en détail2. RAPPEL DES TECHNIQUES DE CALCUL DANS R
2. RAPPEL DES TECHNIQUES DE CALCUL DANS R Dans la mesure où les résultats de ce chapitre devraient normalement être bien connus, il n'est rappelé que les formules les plus intéressantes; les justications
Plus en détailCours 9 : Plans à plusieurs facteurs
Cours 9 : Plans à plusieurs facteurs Table des matières Section 1. Diviser pour regner, rassembler pour saisir... 3 Section 2. Définitions et notations... 3 2.1. Définitions... 3 2.2. Notations... 4 Section
Plus en détailIN 102 - Cours 1. 1 Informatique, calculateurs. 2 Un premier programme en C
IN 102 - Cours 1 Qu on le veuille ou non, les systèmes informatisés sont désormais omniprésents. Même si ne vous destinez pas à l informatique, vous avez de très grandes chances d y être confrontés en
Plus en détail1. Coordonnées de l expéditeur. Vous avez réalisé, dans nos locaux, des travaux d aménagement, le jeudi 22 décembre dernier.
3. Références Marie Durand Institut des Langues 145 rue Xavier Cigalon 30000 NICE Tel: 0402030405 Courriel : durand@aol.fr 1. Coordonnées de l expéditeur M. Michel Fabre Directeur Fabre associés 24 avenue
Plus en détailTRANSFOLIO version 2.05. Introduction
TRANSFOLIO version 2.05 Introduction TABLE DES MATIERES 1 OBJECTIF... 2 2 DEMARRER TRANSFOLIO... 2 3 CREER SON PREMIER PORTEFEUILLE... 3 3.1 ETAPE 1 : DEFINITION DU PORTEFEUILLE... 3 3.2 ETAPE 2 : OUVERTURE
Plus en détailProgrammation linéaire
Programmation linéaire DIDIER MAQUIN Ecole Nationale Supérieure d Electricité et de Mécanique Institut National Polytechnique de Lorraine Mathématiques discrètes cours de 2ème année Programmation linéaire
Plus en détailDOCM 2013 http://docm.math.ca/ Solutions officielles. 1 2 10 + 1 2 9 + 1 2 8 = n 2 10.
A1 Trouvez l entier positif n qui satisfait l équation suivante: Solution 1 2 10 + 1 2 9 + 1 2 8 = n 2 10. En additionnant les termes du côté gauche de l équation en les mettant sur le même dénominateur
Plus en détailManuel de montage et d emploi Serrure électrique E 205
Manuel de montage et d emploi Serrure électrique E 205 1. Champ d application Serrure électrique 24V pour le verrouillage des portails à vantaux. La serrure 24V verrouille selon le choix vers le coté,
Plus en détailExpression des contraintes. OCL : Object C o n t r a i n t L a n g u a g e
P r o b l é m a t i q u e OCL : O b j e c t C o n s t r a i n t L a n g u a g e Le langage de contraintes d UML Les différents diagrammes d UML permettent d exprimer certaines contraintes graphiquement
Plus en détail4.1. Faire une page de titre 4.2. Rédiger l introduction
Nous présentons ici le détail de la présentation générale d un instrument de recherche papier, y compris tous les éléments complémentaires comme la bibliographie et les sources complémentaires (suite du
Plus en détailPrésentation du cours de mathématiques de D.A.E.U. B, remise à niveau
i Présentation du cours de mathématiques de D.A.E.U. B, remise à niveau Bonjour, bienvenue dans votre début d étude du cours de mathématiques de l année de remise à niveau en vue du D.A.E.U. B Au cours
Plus en détailConsignes pour les travaux d actualité Premier quadrimestre
Consignes pour les travaux d actualité Premier quadrimestre Principes de base Durant le premier semestre, vous serez amenés à remettre un travail effectué en groupe. Le but de celui-ci est de s intéresser
Plus en détail