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

Concept

Langage de programmation exotique

Séances de cours associées (31)

Meta-metaprogramming: Outils avancés pour l'ingénierie logicielle

Explore la «meta-metaprogrammation» pour simplifier les outils de programmation avancés et relever les défis de l'ingénierie logicielle.

Introduction aux algorithmes

Présente des algorithmes en tant que procédures de résolution de problèmes, couvrant la complexité, l'exactitude et la mise en œuvre dans divers langages.

Les défis de l'ère de l'IoT MOOC: Systèmes IoT et applications industrielles avec Design Thinking

Couvre les défis de sécurité IoT, les attaques cyberphysiques et les surfaces d'attaque mondiales.

Une introduction à l'iris: logique de séparation simultanée d'ordre supérieur

Introduit Iris, un cadre logique pour raisonner sur la sécurité et l'exactitude des programmes impératifs d'ordre supérieur simultanés, en mettant l'accent sur ses caractéristiques et applications uniques.

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.

Moteurs de jeu: Aperçu

Couvre le rôle des moteurs de jeu dans la simplification du développement des jeux et met en valeur les moteurs populaires comme Unity et Unreal Engine.

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.

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.

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 à 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.