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

Séance de cours

Friction négative : Types et conséquences

Séances de cours associées (32)

Conception de l'amplificateur différentiel

Couvre la conception d'un amplificateur différentiel avec des paramètres clés comme le gain et le courant de biais.

Variables, objets, types

Introduit des variables, des objets et des types dans Python, soulignant la signification de la mutabilité des objets et ses implications lors du passage des objets à des fonctions.

Groupes d'automorphisme : Arbres et graphiques

Explore les groupes d'automorphisme dans les arbres et les graphiques, en se concentrant sur les extrémités et les types d'automorphismes.

Introduction au VHDL

Couvre les concepts de base VHDL, la structure du programme, les objets, les types, les opérateurs, les littéraux et les tableaux.

Types dans Lambda Calculus

Couvre les types dans le calcul lambda, y compris la définition des types, la spécification des règles et la preuve de la solidité.

Fibre monomode : caractéristiques et applications

Explore les caractéristiques et les applications de la fibre monomode dans différentes industries.

Introduction aux variables

Couvre les bases des variables en C++, y compris la déclaration, l'initialisation, les types et les affectations.

Résumé de la syntaxe Scala

Résume la syntaxe Scala, couvrant les types, les expressions et les définitions dans EBNF.

Classification spectrale: Introduction à l'astrophysique MOOC: Introduction à l'Astrophysique

Introduit la classification spectrale des étoiles en fonction de la température et du flux.

Fondements de Scala: Modélisation et Systèmes de Type

Couvre les fondements de Scala, y compris la modélisation des types récursifs, des types paramétrés et de la variance.

Science des données avec Python

Couvre les bases de Python, Pandas, la manipulation de données, la visualisation et l'apprentissage automatique.

Électrolytes à l'état solide

Couvre le sujet des électrolytes solides, en discutant de leurs propriétés, de leurs applications et de leurs défis.

Concepts de programmation : Variables et expressions

Couvre les concepts de programmation fondamentaux tels que les algorithmes, les variables et les expressions en C++.

Polyélectrolyte Multicouches

Explore la structure et les applications des polyélectrolytes multicouches, y compris leurs techniques d'assemblage et leur comportement de gonflement.

Introduction aux concepts de programmation UNIX et C

Couvre les fondamentaux UNIX et introduit les concepts de programmation C, y compris les variables, les types de données et les opérations de base.

Arrays: Déclaration en Java

Couvre la déclaration et l'initialisation des tableaux en Java, y compris les règles de syntaxe et les techniques d'initialisation des éléments.

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.

Types et relations inductives

Discute de l'importance des types, des systèmes de types malsains et des relations inductives pour le système de type d'un petit langage.

Traduction de pour

Explique la traduction de for-expressions en Scala à l'aide de fonctions map, flatmap et filter, avec des exemples et une discussion sur sa généralisation à différents types.

Types dépendants dans les langages de programmation

Explore les cartes, les opérateurs de type, l'équivalence, les types de première classe, System Fw, Coq, et les défis de la vérification de type dans les langages de programmation.