Mathématiques pour l'Informatique
Par André Arnold et Irène Guessarian
Les « mathématiques pour l'informatique » rassemblées dans cet ouvrage constituent l'essentiel des connaissances qu'il est indispensable d'acquérir, dans le cadre d'études supérieures en informatique, pour formaliser des concepts, modéliser des situations, manipuler des objets...
Compléments
Algèbres de Boole et Formes Normales Conjonctives (resp. Disjonctives) FNC et FND.
Automates : déterminisation .
Automates : équations .
Feuilles de TME
- Feuille de TME sur la logique, utilisant le logiciel
Tarski’s World, au format
PostScript, et au format
PDF.
Un applet reproduisant les fonctionnalités principale de Tarski’s World (qui est payant), programmé par le professeur Robert Stärk (de l'Eidgenössische Technische Hochschule Zürich), est disponible ici.
- Feuille de TME sur les automates, au format PostScript, et au format PDF.
Exercices complémentaires
Voir les feuilles de Travaux Dirigés de Licence.