Allons bon, tout ce que tu cites touche plus ou moins à l'algorithmique, mais il y a aussi un pôle moins maths discrètes qui comprend plusieurs sous-domaines, dont entre autres :
L'étude concrète des langages de programmation : la plupart des langages fonctionnels sont des produits du monde académique. Haskell/Agda et OCaml/Coq sont deux traditions issues de la recherche sur le mode « plus il y a de types, plus on rit ».
L'étude abstraite des langages de programmation : ce qu'on a coutume d'appeler la sémantique. Modèles divers et variés, théorie des domaines, théorie des catégories à foison. Ce qu'on appelle ici « langage de programmation » a en général peu à voir avec la conception qu'on s'en fait habituellement.
La logique : pour des raisons historiques, les logiciens sont souvent considérés comme des informaticiens, la faute à Curry-Howard. Et la logique, c'est cool : Théorie des Types de Martin-Löf, logique linéaire de Girard, et autres lambda-calculs en pagaille.
[^] # Re: Les jeunes fuient les filières scientifiques ?
Posté par Perthmâd . En réponse au journal Populariser la science informatique. Évalué à 9.
Allons bon, tout ce que tu cites touche plus ou moins à l'algorithmique, mais il y a aussi un pôle moins maths discrètes qui comprend plusieurs sous-domaines, dont entre autres :
L'étude concrète des langages de programmation : la plupart des langages fonctionnels sont des produits du monde académique. Haskell/Agda et OCaml/Coq sont deux traditions issues de la recherche sur le mode « plus il y a de types, plus on rit ».
L'étude abstraite des langages de programmation : ce qu'on a coutume d'appeler la sémantique. Modèles divers et variés, théorie des domaines, théorie des catégories à foison. Ce qu'on appelle ici « langage de programmation » a en général peu à voir avec la conception qu'on s'en fait habituellement.
La logique : pour des raisons historiques, les logiciens sont souvent considérés comme des informaticiens, la faute à Curry-Howard. Et la logique, c'est cool : Théorie des Types de Martin-Löf, logique linéaire de Girard, et autres lambda-calculs en pagaille.