Salut !
dans une license info ya ça :
Logique et langages formels :  
Concepts logiques pour l'informatique : calcul propositionnel (sémantique, système formel LK, correction et complétude), logique du premier ordre (calcul propositionnel, sémantique, système formel LK, correction et complétude).  
Théorie des langages : langages réguliers et automates, langages algébriques, analyse syntaxique descendante et ascendante
 
qu'est ce que c'est ? c'est de la compilation, des maths,... ?

j'oubliais celle là aussi :
Statistiques et analyse de données

 
De l'informatique théorique, qui effectivement ressemble bcp à des maths
 
edit : c'est pour ce genre de domaine que l'on peut qualifier l'informatique de science.

 
Mathématiques appliquées

oké merci  

au fait ! saurais tu si ce sont des matières difficiles pour ceux qui n'ont pas fait de deug MIAS ?

Pour les statistiques, faut savoir manipuler les intégrales et  quelques séries.
 
Pour la théorie des langages, c'est abordable sans forcément avoir un gros bagage en maths. Il faut par contre bosser les cours et les exos, car les notions abordées n'y sont pas intuitives.
 
Voilà pour mes conseils.

pour les languages,si ta l'habitude de faire des démonstrations en algèbre, c'est un plus,mais c'est pas non plus indispensable

 
les séries (j'en ai jamais fait) ça fait appel a quel domaine des maths ?
 

 
 
oké merci  

 
 
eupe !

Les series ca serait plutot de l'analyse, mais c un peu a part, un domaine assez nouveau quand meme par rapport au reste, c a rapprocher des integrales sur un intervalle (on dit impropre je crois).

du gogol fera pas de mal

 
?
 
 

les séries étudiées en deug (et ailleurs) , cad les séries numérique,les séries de fonction et les séries entières,sont vues dans le cadre du cours d'analyse

http://fr.wikipedia.org/wiki/S%C3% [...] 9matiques)
c'est de l'analyse mais c pas récent du tout. C'est historiquement bien plus vieux que les intégrales. Et en plus c'est pas un domaine à part, c'est très liées aux intégrales et est un des fondements de l'analyse.

Je parlais par rapport a un programme de maths classique, c quand meme assez different de ce que l'on a fait avant parce que ce n'est plus du calcul, mais plutot du raisonnement et de la demonstration de convergence qu'autre chose.
C en général l'ouverture vers toute une nouvelle partie de l'analyse que l'on aborde dans le superieur, qui n'a plus grand chose a voir avec les primitives betes et mechantes de la terminale.
Je voulais pas dire que ct un domaine recent (de toute facon la chronologie des maths, c bien loin de mes preoccupations, trop compliqué), mais just que normalement qqn qui n'a jamais vu les series n'a jamais rien vu de vraiment comparable.

ah dsl, j'avais pas saisi le sens de ton "domaine assez nouveau"