Concept

Fonction récursive primitive

Cours associés (5)

Gödel incompleteness theorems and mathematical foundations of computer science

CS-101: Advanced information, computation, communication I

Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a

MATH-101(en): Analysis I (English)

We study the fundamental concepts of analysis, calculus and the integral of real-valued functions of a real variable.

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.

MGT-632: Recursive Methods in Macroeconomics

This is a PhD course on recursive methods used in modern macroeconomics. Recursive representations of macroeconomic models are useful because they are parsimonious and allow the computer to be used to