Passer au contenu principal

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

Graph
Search

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Déclarations conditionnelles: C++ Basics

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (33)

Quantum Circuits: Circuits classiques Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les circuits classiques de l'informatique quantique, y compris les fonctions booléennes et les portes réversibles.

Python Basics: Syntaxe, Variables, Fonctions Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de Python telles que la syntaxe, les variables et les fonctions, en introduisant la plate-forme Renku pour la science collaborative des données.

Structures de contrôle et manipulation des erreurs dans MATLAB Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les structures de contrôle, le traitement des erreurs et les structures de données dans la programmation MATLAB, en mettant l'accent sur la lisibilité des codes et des exemples pratiques.

Conception et synthèse FSM Connectez-vous à Mediaspace pour regarder cette vidéo

Explique la conception et la synthèse des machines à états finis dans les systèmes logiques.

Programmation FPGA avec Speedgoat : traitement du signal en temps réel Connectez-vous à Mediaspace pour regarder cette vidéo

Met l'accent sur la mise en œuvre d'un générateur de fonctions carrées utilisant la technologie Speedgoat FPGA et les techniques de traitement du signal en temps réel.

Problèmes d'arrêt optimal: théorie et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les problèmes d'arrêt optimaux dans les probabilités appliquées et les processus stochastiques, en se concentrant sur la théorie et les applications pratiques.

Conversion de fermeture : Représentation et transformation Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la représentation et la transformation des valeurs, en se concentrant sur la conversion de fermeture et les défis de la représentation des fonctions dans les langages fonctionnels.

Algèbre booléenne : propriétés et théorèmes Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les propriétés et les théorèmes de l'algèbre booléenne dans les systèmes logiques.

Plus de VHDL pour la synthèse: déclarations séquentielles et processus Connectez-vous à Mediaspace pour regarder cette vidéo

Explore VHDL pour la synthèse, en mettant l'accent sur les déclarations et les processus séquentiels.

Logique formelle: preuves et ensembles Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la logique formelle, en se concentrant sur les expressions logiques et les preuves mathématiques.

Algèbre booléenne : propriétés et optimisation Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les propriétés de l'algèbre booléenne et les techniques d'optimisation en utilisant les diagrammes de Karnaugh et les théorèmes de De Morgan.

Fonctions d'ordre supérieur: Théorie de l'unification Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les fonctions d'ordre élevé, l'analyseur et les concepts de vérificateur de type.

Propositions inductives : Techniques de raisonnement et d’évaluation Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des propositions inductives, de leurs définitions et de leurs applications dans les techniques de raisonnement et d'évaluation dans Coq.

Page 2 sur 2