Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Machine de Turing

Séances de cours associées (32)

L'impact d'Alan Turing : Enigma, calcul et machine de Turing

Explore le rôle central d'Alan Turing dans le décryptage des messages Enigma et révolutionne le calcul avec la machine de Turing.

Utilisation de la machine

Couvre les aspects pratiques de l'utilisation d'une machine picomax de type Fehlmann, en mettant l'accent sur la manipulation des outils, les réglages de précision et les procédures de maintenance.

Machines virtuelles : gestion de la mémoire et flux de contrôle

Couvre l'architecture des machines virtuelles, en se concentrant sur la gestion de la mémoire, le flux de contrôle et la sémantique de la machine CEK.

Complexité computationnelle

Couvre les bases de la complexité computationnelle, y compris les grandes classes de notation O et de complexité.

Fondements du logiciel

Couvre les bases de l'induction, de la syntaxe, de la syntaxe abstraite vs. concrète et de la sémantique opérationnelle pour les booléens.

Utilisation de la machine

Couvre les aspects pratiques du fonctionnement de la machine, y compris les réglages de précision, le changement d'outil, la maintenance et les fonctions de programmation de base.

Modèles de conception LabVIEW Connectez-vous à Mediaspace pour regarder cette vidéo

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.

LabVIEW: Acquisition de données et modèles de conception Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les fondamentaux de LabVIEW, l'acquisition de données, l'acquisition de sons et les modèles de conception comme les machines d'État et les producteurs-consommateurs.

Modèles de conception LabVIEW Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les modèles de conception LabVIEW, couvrant les variables locales et globales, les conditions de course, les machines d'état et l'architecture producteur-consommateur.

Acquisition de données Arduino Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'acquisition de données Arduino, en mettant l'accent sur les variables globales, les conditions de course et les machines d'état.

Systèmes intelligents distribués : Estimation du champ acoustique Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'estimation du champ acoustique à l'aide de réseaux de capteurs sans fil et discute des défis dans la mise en œuvre des techniques d'IA dans les systèmes réels.

Systèmes intelligents distribués: Efficacité énergétique dans les réseaux de capteurs sans fil Connectez-vous à Mediaspace pour regarder cette vidéo

Découvrez les principes d'économie d'énergie dans les réseaux de capteurs sans fil, en explorant des applications motivantes et des algorithmes intelligents pour l'efficacité énergétique.