introduction à la logique informatique - IRIF
Ce sujet sera approfondi en M1 dans le cours de « circuits et architecture ». ... conf pour C/C++, maven pour Java, opam pour OCaml, pip pour Python, etc.Télécharger introduction à la logique informatique - IRIF pdf
