Séances de cours associées à Architecture informatique : Séquence de Fibonacci

Se penche sur le langage binaire et les contributions de Grace Hopper à la programmation.

Explique le processus de résolution des contraintes de type en utilisant l'algorithme d'unification et la généralisation de l'inférence de type flexible.

Portes logiques et élimination des dangers

Explore les portes logiques, l'élimination des risques, les ALU, les compteurs et les registres à décalage dans la technologie des semi-conducteurs.

Comprendre le logiciel

Couvre la définition, les types et le processus de construction des logiciels, y compris les logiciels système et les applications.

Meta-metaprogramming: Outils avancés pour l'ingénierie logicielle

Explore la «meta-metaprogrammation» pour simplifier les outils de programmation avancés et relever les défis de l'ingénierie logicielle.