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

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

L'histoire de Grace Hopper

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (33)

Altruisme efficace : sécurité et gouvernance de l’IA Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'altruisme efficace en matière de sécurité de l'IA, en se concentrant sur la sémantique de la programmation et la gestion de la mémoire.

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.

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.

Sémantique à grande échelle : définition d'expressions et de commandes arithmétiques Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la définition d'un langage de programmation simple et sa sémantique à grande échelle, y compris les expressions arithmétiques et les commandes impératives.

Théorie de la langue dans la pratique Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'application pratique de la théorie du langage, y compris le tri rapide, le typage progressif et la gestion efficace de la mémoire, ainsi que les défis de la synthèse des programmes de réduction.

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.

Gestion dynamique de la mémoire : utiliser Realloc en C Connectez-vous à Mediaspace pour regarder cette vidéo

Explique l'allocation dynamique de la mémoire en C, en se concentrant sur la fonction realloc et ses implications pour la gestion efficace de la mémoire.

Opérateurs et expressions : programmation en C Connectez-vous à Mediaspace pour regarder cette vidéo

Explique les opérateurs et les expressions en C, en se concentrant sur l'arithmétique, la comparaison et les opérations logiques.

Introduction à la programmation dans le cours ICC (SV)Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les aspects théoriques et pratiques de la programmation dans le cours ICC.

Compilation et C++ Basics Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la compilation et de la programmation C ++, y compris les variables, les fonctions, les boucles et le débogage.

Représentations intermédiaires : CPS/L3 Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les représentations intermédiaires dans les compilateurs, en se concentrant sur CPS / L3 IR fonctionnel avec des continuations locales et des constructions de contrôle.

C Backend : Structure du compilateur et types de données abstraits Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la structure d'un compilateur C et les types de données abstraits.

Page 2 sur 2