École Nationale Supérieure de Techniques Avancées
	Modules électifs
	INE 10 - Informatique et Logique

Objectifs :

La science du calcul (l'informatique) et celle du raisonnement (la logique) entretiennent des liens multiples et complexes. Les travaux qui se situent au carrefour de ces deux disciplines explorent les frontières du calculable, proposent de nouvelles manières de concevoir la programmation, conçoivent de nouveaux langages plus simples et plus sûrs ...

Les différents cours de cet enseignement proposent une initiation à quelques thèmes de ce domaine de recherche, qui, avec la généralisation de l'informatique dans les domaines d'application sensibles (transports, espace, télécommunications, santé, banque ...), prennent une place grandissante en génie logiciel.

Cours constituant l'enseignement :

Pour un aperçu un peu plus détaillé de ce module : ...