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

Concept

Semantics

Séances de cours associées (29)

Introduction au NLP et au cours Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases du traitement des langues naturelles, y compris les défis, les niveaux de traitement des langues et l'impact des lois sur le pouvoir.

Hoare Logic: Fondements et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.

Logique du second ordre : WS1S et HOL Connectez-vous à Mediaspace pour regarder cette vidéo

Explore Second Order Logic, WS1S, HOL, procédures de décision, formules atomiques et composites, et la combinaison de WS1S avec MONA dans HOL.

Représentation des connaissances : sémantique et structures de données Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la représentation des connaissances, les structures de données, la sémantique et les défis de la recherche de données sur le Web.

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.

Introduction au traitement des langues naturelles Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit les bases du traitement du langage naturel, couvrant les défis, les domaines d'application et les niveaux de traitement linguistique.

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.

Variables et opérateurs Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la programmation C, y compris les variables, les opérateurs et la programmation orientée système, en mettant l'accent sur les différences avec Java.

Simply Taped Lambda Calculus: Fondements et propriétés Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le calcul lambda simplement typé, en se concentrant sur sa syntaxe, sa sémantique et ses propriétés de système de type telles que le progrès et la préservation.