Fonction récursive primitive

Science formelle
Informatique théorique
Theory of computation
Théorie de la calculabilité

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (29)

Connectez-vous pour filtrer par séance de cours

Page 2 sur 3

Turing Machines: Langues récursives

Explore les machines Turing, les langages récursifs, et la décidabilité dans la théorie du calcul.

Induction et récurrence : résumé

Couvre l'induction mathématique, les fonctions définies récursivement et les algorithmes itératifs pour la résolution de problèmes.

Sémantique opérationnelle : Amyli Language

Couvre le langage Amyli, y compris la syntaxe abstraite, la représentation de programme et la sémantique opérationnelle.

Séquences récursives: Convergence et limites

Couvre l'étude des séquences récursives, centrée sur la convergence et les limites.

Mutation sécuritaire dans la pratique

Explore la mutation sécuritaire dans la programmation fonctionnelle grâce à une évaluation paresseuse, à des invariants d'objets et à des fonctions de cache efficaces.

Fonctions définies récursivement

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

Sémantique opérationnelle : Amyli Language

Explore la sémantique opérationnelle et les relations inductives dans le langage Amyli.

Sémantique et vérification des devises

Explore la sémantique, les fonctions récursives, les boucles, la modélisation entrelacée et la vérification de l'interprète.

Récursion et induction : comprendre les preuves mathématiques

Explore la récursion et l'induction pour les preuves mathématiques à travers des algorithmes et des fonctions récursifs.

Énumérabilité récursive: Machines de Turing et langages indécidables

Couvre les langages énumérables récursivement, les machines de Turing et la construction de langages indécidables.