Ce cours a pour objectifs l'enseignement des systèmes logiques ainsi qu'une introduction pratique de l'utilisation de certains instruments de mesures.