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

Résoudre des tâches avec Thymio

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (34)

Introduction à la théorie des compilateurs et au traitement du langage

Introduit la théorie du compilateur, le traitement du langage et les concepts essentiels derrière les compilateurs de construction.

Évènement et programmation séquentielle MOOC: Thymio: un robot pour se former à l'informatique

Couvre les différences entre la programmation d'événements et la programmation séquentielle.

Propositions en tant que types: Logique et correspondance de programmation

Explore la relation entre les preuves logiques et les preuves de programmation à travers la correspondance de Curry-Howard.

Introduction à l'informatique

Couvre les bases de l'informatique, en mettant l'accent sur la programmation et les algorithmes pour l'analyse des données et les simulations.

Les défis de l'ère de l'IoT MOOC: Systèmes IoT et applications industrielles avec Design Thinking

Couvre les défis de sécurité IoT, les attaques cyberphysiques et les surfaces d'attaque mondiales.

Fonctions et variables d'E/S de base

Introduit des concepts de programmation de base en C, couvrant les fonctions d'E/S, les variables, les types de données et la bibliothèque stdio.

Introduction à la programmation LabVIEW Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la programmation LabVIEW, en se concentrant sur les instruments virtuels et leurs applications dans les projets d'ingénierie.

MATLAB: Cours de choc au MATLAB Connectez-vous à Mediaspace pour regarder cette vidéo

Offre un cours de crash en MATLAB, couvrant la représentation des données, l'indexation des tableaux, les opérations mathématiques, et les pièges communs.

Sécurité de la mémoire et architecture client/serveur : concepts clés Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les principes de sécurité de la mémoire et l'architecture client / serveur dans la conception du système.

Chaînes en C : Initialisation et gestion de la mémoire Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la représentation et la gestion des chaînes en C, en soulignant les principales différences par rapport aux autres langages de programmation.

Variables et opérateurs Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la programmation C, y compris les variables, les opérateurs et la programmation orientée système, en mettant l'accent sur les différences avec Java.

Variables et types: Introduction à la programmation C Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit les bases des variables et des types dans la programmation C, couvrant la déclaration, l'initialisation et les différences par rapport à Java.

Introduction à Coq: Expressions arithmétiques et évaluateurs Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de Coq, en se concentrant sur les expressions arithmétiques, l'évaluation et les techniques de preuve.

Introduction aux scripts de preuve: bases de Ltac Connectez-vous à Mediaspace pour regarder cette vidéo

Présente les bases du script de preuve en Coq, en se concentrant sur le langage Ltac et ses tactiques pour gérer efficacement les preuves.

Page 2 sur 2