Computable function

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 (28)

Connectez-vous pour filtrer par séance de cours

Fonctions définies récursivement

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

Théorie de la computabilité: Solvabilité et Complexité

Il explore la théorie de la computabilité, les problèmes de décision, les classes de complexité et l'énigme « P vs NP ».

É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.

Hermite Forme normale: Calcul et propriétés

Couvre le calcul et les propriétés de la forme normale Hermite (HNF) dans la théorie de la matrice et la théorie du réseau.

Graph Sketching : Composants connectés

Couvre le concept d'esquisse graphique en mettant l'accent sur les composants connectés.

Théorie quantique des champs : Computing Loops

Couvre le calcul des boucles dans la théorie quantique des champs, en se concentrant sur la régularisation dimensionnelle et l'espace euclidien.

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.

Faire confiance aux méthodes de la région: framework & algorithmes

Couvre les méthodes de la région de confiance, en se concentrant sur le cadre et les algorithmes.

Page 2 sur 2