Sémantique des langages de programmation - cours M1.1 -- présentation
15
pages
Français
Documents
Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres
15
pages
Français
Documents
Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres
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 ...
Voir
Publié par
Langue
Français
S´emantique des langages de programmation
coursM1.1–pre´sentation
Daniel Hirschkoff
http://perso.ens-lyon.fr/daniel.hirschkoff
S´emantique,origines
)gnutu´emaeetsueIGntiqborFtolt´dnege:e
deux acceptions I expe´rimentale:e´tudedelasignificationdansleslangues naturelles th´eorique:e´tudedusensetdulangage I philosophie,et,plusparticuli`erement... . . . logique symbolique et mathematique I ´
I
I
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
tueu)ngticuesarIdGottlobFantiqueIexte´smeeusInyatrmfoiqatteriinenotnoe´hnitaldsno
I
I
I
S´ ntique, origines ema
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
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’
Pourquois’inte´ressera`las´emantique
mmnucitaoi/nnietraction,...)Irel
I
I
I
end´atotn“ioooIt´VtssuneesI)tesnnesdeTuring”(c’ec¸cae’tsedmscaihelnnionsuttoI“leivIetxenoise´arit,fpaepplravaleur/parnom,co‘eltueiltsud’ely´e(darclifatmp/idesuafriteapne,sabilsdubc’eslageutanemeˆsednuIerduuxjeene:inmadoesr´esulctifsetltnapdsmeatstenosa.siWo”–ouabustRselIejboAydonelleaceandPdWaroreatIs’et.simunni02gcinadred-eespkatelbasawdnaesruo
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”
Pourquois’inte´resser`alase´mantique
I
I
erdaelotdnePaWarn20maceies.Iinuttuobas’t”.aissuRAldyoo–WsolenIlejbceitsfteelrse´sultatsnesontpasˆmednemerutanuIesedeeunjudxdaiomns,eduseairene:fgaceiblludabptsatyusudie‘llest’e/fitaralce´d(’elif,appelimp´erat/rapnrmoapvrlauetica/ionom,cnimu.,noI)..retnitca
Pourquois’int´eresser`alase´mantique
I
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
uosrdnculafia
I
