Récursivement énumérable

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

Connectez-vous pour filtrer par séance de cours

Page 1 sur 1

Manipulation des listes de Python

Couvre les exercices sur la création, la manipulation et la modification des listes de Python.

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

Bloc tiré par un ressort

Explore la dynamique d'un bloc tiré par un ressort dans diverses conditions.

Ensembles et structures définis récursivement

Explore les ensembles définis récursivement, les nombres naturels, les chaînes, les fonctions et les formules de logique propositionnelle.

Modèles de conception LabVIEW

Explore les modèles de conception LabVIEW, y compris les variables locales, les conditions de course, les machines d'état et les files d'attente.

Induction structurelle

Introduit l'induction structurelle, une méthode pour prouver les propriétés des éléments dans des ensembles définis récursivement.

Induction structurelle

Introduit l'induction structurelle, une méthode pour prouver les propriétés des éléments dans des ensembles définis récursivement.

Dénombrement : Comptage des sous-ensembles

Couvre le concept d'énumération et de comptage de sous-ensembles d'un ensemble fini avec des exemples et une notation factorielle.

Méthodes informatiques: chemins et cordes

Couvre les méthodes de calcul se concentrant sur les chemins et les chaînes de caractères, y compris des exemples de concaténation, d'éléments régex et d'opérations de chaînes de caractères.