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

Concept

System programming language

Séances de cours associées (32)

Essentiels du calcul scientifique

Couvre la pensée algorithmique, la programmation Python, les méthodes numériques et les concepts informatiques essentiels pour l'informatique scientifique.

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.

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.

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.

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.

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.

Chaînes en C : Initialisation et gestion de la mémoire Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la représentation et la gestion des chaînes en C, en soulignant les principales différences par rapport aux autres langages de programmation.

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.

Gestion dynamique de la mémoire : utiliser Realloc en C Connectez-vous à Mediaspace pour regarder cette vidéo

Explique l'allocation dynamique de la mémoire en C, en se concentrant sur la fonction realloc et ses implications pour la gestion efficace 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.

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.