Centre sur les notions de calcul et de definition, ce cours est une introduction a l'etude des structures mathematiques sous-jacentes a l'informatique. L'approche proposee est resolument mathematiques et souligne une orientation generale tournee vers la theorie.