Logique et approche mathématique de la programmation

MATH0503-1 : L'informatique, vue comme un ensemble de sciences formelles, repose largement sur les mathématiques. Ainsi, la programmation est un domaine dans lequel la formation du mathématicien peut être utilisée à bon escient. Il s'agit d'une application importante, tant par l'expérience qu'elle apporte que par la formation qu'elle constitue. En effet, nombre de mathématiciens font carrière dans des métiers où la programmation est la principale activité.