Concept
Logique temporelle linéaire
Cours associés (5)
CS-550: Formal verification
We introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to u
MATH-659: Topics in dispersive PDE
This course assumes familiarity with beginning graduate level real analysis, complex analysis and functional analysis, and also basic
harmonic analysis, as well as fundamental concepts from differenti
EE-554: Automatic speech processing
The goal of this course is to provide the students with the main formalisms, models and algorithms required for the implementation of advanced speech processing applications (involving, among others,
PHYS-101(f): General physics : mechanics
Le but du cours de physique générale est de donner à l'étudiant les notions de base nécessaires à la compréhension des phénomènes physiques. L'objectif est atteint lorsque l'étudiant est capable de pr
MATH-105(a): Advanced analysis II - vector analysis
Etudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles de plusieurs variables.