Semantiquedes langages de programmationcours M1.1 – presentationDaniel Hirschko http://perso.ens-lyon.fr/daniel.hirschkoffI application naturelle: les langages arti ciels que sont lesmathematiques, la logique, puis les langages de l’informatiqueI des articulations dont on herite en informatiqueI syntaxe et semantiqueI Gottlob Frege: denotation (Sinn) et sens (Bedeutung)Semantique, originesI deux acceptionsI experimentale: etude de la signi cation dans les languesnaturellesI theorique: etude du sens et du langageI philosophie, et, plus particulierement...I ...logique symbolique et mathematiqueI des articulations dont on herite en informatiqueI syntaxe et semantiqueI Gottlob Frege: denotation (Sinn) et sens (Bedeutung)Semantique, originesI deux acceptionsI experimentale: etude de la signi cation dans les languesnaturellesI theorique: etude du sens et du langageI philosophie, et, plus particulierement...I ...logique symbolique et mathematiqueI application naturelle: les langages arti ciels que sont lesmathematiques, la logique, puis les langages de l’informatiqueSemantique, originesI deux acceptionsI experimentale: etude de la signi cation dans les languesnaturellesI theorique: etude du sens et du langageI philosophie, et, plus particulierement...I ...logique symbolique et mathematiqueI application naturelle: les langages arti ciels que sont lesmathematiques, la logique, puis les langages de ...
deux acceptions I expe´rimentale:e´tudedelasignificationdansleslangues naturelles th´eorique:e´tudedusensetdulangage I philosophie,et,plusparticuli`erement... . . . logique symbolique et mathematique I ´
I
I
notationrege:d´eessnB(deS(ni)nte
I
I
Se´mantique,origines
deux acceptions I expe´rimentale:e´tudedelasignificationdansleslangues naturelles I th´eorique:e´tudedusensetdulangage I philosophie,et,plusparticulie`rement... I ...logiquesymboliqueetmath´ematique application naturelle: les langages artificiels que sont les mathe´matiques,lalogique,puisleslangagesdel’informatique
deux acceptions ´imentale:´etudedelasignificationdansleslangu I exper es naturelles I th´eorique:´etudedusensetdulangage I philosophie,et,plusparticuli`erement... I ...logiquesymboliqueetmathe´matique application naturelle: les langages artificiels que sont les mathe´matiques,lalogique,puisleslangagesdel’informatique
desarticulationsdontonhe´riteeninformatique taxe t ´emantique I syn e s I Gottlob Frege: d´enotation (Sinn) et sens (Bedeutung)
I
I
I
S´emantique,origines
deux acceptions I expe´rimentale:e´tudedelasignificationdansleslangues naturelles I the´orique:´etudedusensetdulangage I philosophie,et,plusparticulie`rement... I . . . logique symbolique et mathematique ´ application naturelle: les langages artificiels que sont les mathe´matiques,lalogique,puisleslangagesdel’informatique
desarticulationsdontonhe´riteeninformatique I syntaxe et s´emantique I Gottlob Frege: d´enotation (Sinn) et sens (Bedeutung) dans “Hesperus(1e`e´toilequiapparaˆıtlesoir)=Phosphorus (derni`erelematin)” , il y a I un fait sur le monde (en ce sens, H = P ´equivaut`a H = H ) I un fait sur le langage (les“modesdepre´sentation”delad´enotation)
se´mantique
Langues, langages, calculs
I sens ‘usuel’: langue naturelle, les mots et leur(s) sens, signification(s) I langages (langues artificielles) que disent les programmes? (les types, les formules, . . . ) comparer les langages, raisonner sur les programmes I des langages aux calculs ( λ -calcul, π -calcul,. . . ): quels ´nismesessentielssont`alabasedeslgesd meca anga e programmation? que disent les langages?
I’cetsnumyoenedimexucomrpendrelanotionedaccllu
s´emantique
Langues, langages, calculs
I sens ‘usuel’: langue naturelle, les mots et leur(s) sens, signification(s) I langages (langues artificielles) que disent les programmes? (les types, les formules, . . . ) comparer les langages, raisonner sur les programmes I des langages aux calculs ( λ -calcul, π -calcul,. . . ): quels me´canismesessentielssont`alabasedeslangagesde programmation? que disent les langages?
I c’est un moyen de mieux comprendre la notion de calcul
nosisecsils3`sedafialucndrsou
domaines d’application: langages de programmation, ´thode me s pourl’analyseformelledessyste`mes liensaveclathe´oriedelapreuve (correspondance de Curry Howard)
intensionalite´:onattachedel’importancea` comment on d´ecritleschoses,on‘gardelelangage’
intensionalit´e:onattachedel’importance`a comment on de´critleschoses,on‘gardelelangage’ I domaines d’application: langages de programmation, methodes ´ pourl’analyseformelledessyste`mes I liensaveclathe´oriedelapreuve (correspondance de Curry Howard) vision extensionnelle I “tout¸cac’estdesmachinesdeTuring”
intensionalite´:onattachedel’importancea` comment on de´critleschoses,on‘gardelelangage’ I domainesd’application:langagesdeprogrammation,m´ethodes pourl’analyseformelledessyste`mes I liensaveclathe´oriedelapreuve (correspondance de Curry Howard) vision extensionnelle I “toutc¸ac’estdesmachinesdeTuring” I sensetd´enotation “I took a speed-reading course and was able to read War and Peace in 20 minutes. It’s about Russia.” – Woody Allen