Concept

Theory (mathematical logic)

Related courses (12)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

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