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 3 sur 3

Dérivé d'un intégral avec paramètre

Couvertures dérivant des intégrales avec des paramètres et leurs dérivés, y compris les cas spéciaux et les preuves.

Fonctions définies récursivement

Introduit des fonctions définies récursivement et démontre comment calculer des valeurs et prouver des propriétés en utilisant l'induction mathématique.

Récursivité : comprendre les fonctions récursives

Explore la récursion, les points de fixation et les procédures en profondeur, en mettant l'accent sur la compréhension des fonctions récursives.

Codage de la récursivité comme auto-application

Explore le calcul lambda, les fonctions d'ordre supérieur et l'encodage récursif des fonctions.

Techniques d'intégration

Explique comment décomposer des fractions pour trouver des primitives de fonction et calculer des intégrales.

Machines de turing : Décidabilité et théorie de la récursion

Explore la décidabilité dans les machines Turing et les langages récursifs.

Fonctions : Python Basics

Couvre les bases des fonctions de Python, y compris leur définition, leur but et leur utilisation.

Déplier des fonctions récursives en Inox

Couvre le concept de déploiement des fonctions récursives à l'aide de l'outil Inoxydable.

Tutoriel court Coq

Offre un tutoriel sur Coq, couvrant les définitions inductives, les fonctions récursives, les propositions, les théorèmes et les tactiques.