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

Concept

Comparison of programming languages

Séances de cours associées (32)

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.

Comprendre le logiciel

Couvre la définition, les types et le processus de construction des logiciels, y compris les logiciels système et les applications.

Architecture informatique : Séquence de Fibonacci

Couvre les bases de l'architecture informatique en construisant une machine pour calculer la séquence de Fibonacci en binaire.

L'histoire de Grace Hopper MOOC: Thymio: un robot pour se former à l'informatique

Se penche sur le langage binaire et les contributions de Grace Hopper à la programmation.

Compilation avec les paramètres de destination de branche

Couvre la traduction des fragments de programme, des instructions de commutation et des instructions de rupture dans les langages de programmation.

Robotique éducative : Thymio MOOC: Thymio: un robot pour se former à l'informatique

Plonge dans le potentiel éducatif de la robotique, en se concentrant sur la programmation de Thymio à des fins d'apprentissage.

Introduction au mode standard VPL MOOC: Thymio: un robot pour se former à l'informatique

Initie les étudiants au mode standard de la VPL.

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.

La séparation est tout ce dont vous avez besoin : Fondations pour la vérification modulaire Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les fondements de la vérification modulaire en utilisant la logique de séparation pour des programmes concomitants réalistes et discute des défis de l'état mutable partagé dans la concorde.

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.

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.

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.