Explore l'histoire et les principaux aspects de l'exploration spatiale, y compris les bases de lancement, les statistiques de Soyouz et les lancements de satellites.
Couvre les concepts fondamentaux de l'optimisation et de la recherche opérationnelle, en explorant des exemples du monde réel et des sujets clés sur un semestre.
Explore l'exploration spatiale, couvrant les bases de lancement, les statistiques Soyouz, l'évolution des fusées, les lanceurs modulaires, les véhicules Zenit et les mini-lanceurs.
Explore la programmation dynamique pour optimiser les processus de prise de décision au fil du temps, en utilisant des exemples concrets tels que l'extraction de pétrole et la négociation d'actions.
Couvre MLIR, une infrastructure de compilateur pour le calcul spécifique au domaine, soulignant l'importance de niveaux d'abstraction multiples et de sémantique de niveau supérieur.
Couvre des exercices sur l'optimisation convexe, en se concentrant sur la formulation et la résolution de problèmes d'optimisation en utilisant YALMIP et des solveurs comme GUROBI et MOSEK.