Le premier tome de cet ouvrage traite les fondements des mathématiques discrètes, notamment les nombres naturels et entiers avec leur arithmétique, le mécanisme de l'induction, et il esquisse quelques applications de la matière présentée, comme la cryptographie et les codes utilisés en télécommunications. Essentiellement pédagogique, ce livre propose d'allier une compréhension guidée par l'intuition à une démarche rigoureuse. Il comprend de nombreux exercices ainsi que des dialogues fictifs entre un étudiant et son professeur permettant de mieux cerner les pièges et les difficultés particulières.
Essentiellement pédagogique, ce livre propose d'allier une compréhension guidée par l'intuition à une démarche rigoureuse. Il comprend de nombreux exercices ainsi que des dialogues fictifs entre un étudiant et son professeur permettant de mieux cerner les pièges et les difficultés particulières.
L'ouvrage s'adresse particulièrement aux étudiants en mathématiques et informatique de deuxième année ainsi qu'à tout public disposant d'un bagage mathématique suffisant, notamment en analyse et en algèbre linéaire.
Cet ouvrage cible prioritairement les nouveaux domaines des systèmes temps-réel et des applications critiques en procédant par étapes, selon une approche descriptive didactique.
Articulé en trois parties, cet ouvrage a l'originaltié de réunir à la fois les éléments classiques du langage C++ selon la norme ISO, les principes de l'orientation objets appliqués à ce langage, ainsi qu'une introduction à la modélisation objets avec UML pour le développement d'application C++. Les exemples de l'ouvrage sont disponibles en téléchargement (PDF).
Cet ouvrage a pour objectif d'offrir les connaissances nécessaires à tout apprentissage de la programmation: un cadre permettant au débutant de développer sa pratique sur des cas concrets.
Cet ouvrage didactique décrit le langage Esterel et les Sync-Charts avec de nombreux exemples, ainsi que la compilation vers des cibles logicielles ou matérielles (VHDL).
