Séances de cours associées à Théorie de la calculabilité

Théorie de calcul: Comparabilité et problèmes indécis

Explore la comptabilité et les problèmes indécis dans la théorie du calcul.

Algorithmes et croissance des fonctions

Couvre les algorithmes d'optimisation, l'appariement stable et la notation Big-O pour l'efficacité de l'algorithme.

Fonctions définies récursivement

Introduit des fonctions définies récursivement, présentant des exemples comme les nombres de Fibonacci.

Numéros de Fibonacci: Récursion et induction

Explore les nombres de Fibonacci, la croissance de la population de lapins et les fonctions définies récursivement.

Définition formelle des turbines

Explore la définition théorique du calcul et introduit les machines Turing.

Sémantique dans le traitement du langage informatique: comprendre le sens

Couvre la sémantique des langages de programmation, en se concentrant sur le langage Add et le rôle des règles de réécriture et des machines CK dans la compréhension du sens.