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

Concept

Théorie des langages de programmation

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (30)

Connectez-vous pour filtrer par séance de cours

Le calcul Lambda et la sécurité des types: un aperçu Connectez-vous à Mediaspace pour regarder cette vidéo

Fournit un aperçu du calcul lambda, de la sécurité de type et de l'inférence de type dans les langages de programmation.

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.

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.

Fonctions en C: Concepts clés et exemples Connectez-vous à Mediaspace pour regarder cette vidéo

Explique les concepts essentiels des fonctions dans la programmation C, y compris les définitions, les prototypes et les techniques de passage d'arguments.

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.

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.

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.

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.

Opérateurs d'incrémentation en C : Comprendre ++x et x++Connectez-vous à Mediaspace pour regarder cette vidéo

Explique les différences entre les opérateurs d'incrément de préfixe et de suffixe dans la programmation C, en mettant l'accent sur la clarté et les meilleures pratiques en matière de codage.

Pointeurs en C: Comprendre leur utilité et leurs applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la définition et les applications des pointeurs dans la programmation C, en mettant l'accent sur leur rôle dans la gestion de la mémoire et la programmation générique.

Page 2 sur 2