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

Concept

Algèbre universelle

Séances de cours associées (7)

Monads: Structures de données avec lois

Couvre les monades en tant que structures de données avec des lois et des exemples spécifiques tels que Liste et Option.

Nombres complexes : Module et conjugué

Couvre la manipulation des lois algébriques sur les nombres complexes.

Ensembles et opérations: Introduction aux mathématiques

Couvre les bases des ensembles et des opérations en mathématiques, des propriétés des ensembles aux opérations avancées.

Algèbre linéaire : propriétés et propositions

Explore le lien entre les propriétés et les variables, y compris les contraires et les propositions.

Predicate Logic : Quantificateur universel et existentiel

Introduit la logique de prédicat et explique comment déterminer les valeurs de vérité à l'aide de quantificateurs.

Algèbre abstraite et classes de type

Couvre les concepts d'algèbre abstraite en utilisant des classes de type dans Scala, y compris la définition des monoïdes, la généralisation des fonctions de réduction et les lois de classe de type.

Logique principale : quantificateurs et formulaires normaux Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la logique prédictive, en mettant l'accent sur les quantificateurs et les formes normales, soulignant l'importance de trouver des témoins et des contre-exemples.