Concept
Theory (mathematical logic)
Related courses (12)
MATH-381: Mathematical logic
Branche des mathématiques en lien avec le fondement des mathématiques et l'informatique théorique. Le cours est centré sur la logique du 1er ordre et l'articulation entre syntaxe et sémantique.
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
AR-430: Magma and principles
Nous proposons à une dizaine de personnalités de mettre en relation deux séquences spatiales issues de deux univers représentatifs l'architecture et le cinéma. Pour ce semestre "TEMPUS SESSORIUM" Le t
MATH-483: Gödel and recursivity
Gödel incompleteness theorems and mathematical foundations of computer science
MATH-301: Ordinary differential equations
Ce cours donne une introduction rigoureuse au principaux thèmes de la théorie des équations différentielles ordinaires (EDO). Les EDO sont fondamentales pour l'étude des systèmes dynamiques et des équ
MSE-483: Advanced phase transformations
This course provides an overview of the phenomenological concepts and mathematical tools that have been developed to study the thermodynamics, kinetics and mechanics of solid-state phase transformatio
MATH-530: Differential geometry IV - general relativity
This course will serve as a basic introduction to the mathematical theory of general relativity. We will cover topics including the formalism of Lorentzian geometry, the formulation of the initial val
MATH-200: Analysis III - complex analysis and vector fields
Apprendre les bases de l'analyse vectorielle et de l'analyse complexe.
AR-671: The Fifth Typology
A PhD workshop and symposium on the issue of type and its use in the study, critique and practice of architecture.
MATH-645: Young Topologists Meeting Mini-Courses
We expect these mini-courses to equip junior researchers with new tools, techniques, and perspectives for attacking a broad range of questions in their own areas of research while also inspiring stude