Systèmes logiques

Ce document est un recueil des notes de cours du module "Syst mes logiques" enseign aux tudiants en premi re ann e de la fili re G nie Informatique de l'ENIS (Ecole Nationale d'Ing nieurs de Sfax, Tunisie). Il contient des notes de cours r parties en quatre chapitres ainsi que des travaux dirig s. Les chapitres abordent les notions essentielles autour des syst mes logiques (syst me de num ration, alg bre de Boole et simplification, tude de circuits logiques combinatoires ainsi que synth se des syst mes logiques s quentiels asynchrones r action directe).