ECTS
5
Établissement
INP - ENSEEIHT
Liste des enseignements
Architecture des Ordinateurs - 1
Établissement
INP - ENSEEIHT
Période de l'année
Automne
- Introduction à la logique booléenne
- Introduction à l'arithmétique binaire : complément à 2, virgule fixe, virgule flottante, opérations arithmétiques de base
- Introduction à l'analyse et la conception de circuits combinatoires logiques et arithmétiques
- Introduction à l'analyse et la conception de circuits séquentiels
- Construction d'algorithmes câblés
- Architecture d'un processeur
Modélisation
Établissement
INP - ENSEEIHT
Période de l'année
Automne
Étude théorique et pratique de :
- Logique des propositions
- Logique des prédicats
- Théorie des ensembles et induction structurelle
- Logique de Hoare et Preuve de programmes
- Théorie des langages
- Expressions régulières
- Grammaires