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

Concept

GNU Emacs

Séances de cours associées (30)

Compilation des objectifs Scala Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le processus de compilation de Scala Lens et l'utilisation de collections itérables pour les résultats de rembourrage.

Sans titre Connectez-vous à Mediaspace pour regarder cette vidéo

Surcharge de l'opérateur en C++Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la surcharge de l'opérateur en C++, mettant l'accent sur la manipulation de classe et la compilation de code.

Sans titre Connectez-vous à Mediaspace pour regarder cette vidéo

Structures de contrôle en Java Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les structures de contrôle en Java, y compris les opérateurs logiques, la portée, la branchement, les boucles et les itérations.

Introduction à la programmation : premières étapes Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la programmation, y compris le cycle de développement d'un programme, forte dactylographie, stockage de données dans les variables Java, et les types de données primitives.

Processus de construction du noyau Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le processus de construction du noyau, la soumission de patchs, et le développement d'applications web Scala.

Programmation orientée objet en C++Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit la programmation orientée objet en C++, couvrant les interfaces, les classes, l'héritage et le polymorphisme.

Méthodologie des éléments finis Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la méthodologie des éléments finis, couvrant la modélisation géométrique, les données techniques, les hypothèses de comportement physique et les études de convergence des maillages.

Propositions inductives : comprendre l’évaluation dans Coq Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.