Centre sur les notions de calcul et de d finition, ce cours est une introduction l' tude des structures math matiques sous-jacentes l'informatique. L'approche propos e est r solument math matiques et souligne une orientation g n rale tourn e vers la th orie.