Introduction à la logique

Comprendre les bases formelles du raisonnement logique, des théories et de la démonstration. Découvrir les concepts fondateurs, la puissance et la limite des théories mathématiques.

Logique mathématique et introduction à une thématique approfondie

Comprendre les fondements des systèmes intelligents classiques : quelles formes de raisonnement peut-on rendre effectives, à quel coût et avec quelles garanties ? Explorer les aspects effectifs de la logique : automates, décidabilité, calculabilité, complexité logique. Ouvrir sur les systèmes intelligents et l’utilisation "pratique" de la logique.

Introduction mathématique aux sciences de la vie

Comprendre les objets mathématiques nécessaires aux sciences de la vie, maîtriser les concepts fondamentaux des outils mathématiques classiques, savoir les mettre en pratique dans des cas concrets, développer la rigueur nécessaire au raisonnement formel.

Méthodes formelles pour la conception de systèmes

Comprendre en profondeur les concepts fondateurs des méthodes formelles, maîtriser leurs fondements mathématiques, savoir les mettre en pratique dans des cas concrets à l'aide d'outils logiciels, pouvoir intégrer les méthodes formelles dans un processus de développement logiciel, être capable d'aborder des travaux avancés dans le domaine.