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

Concept

Implication (logique)

Séances de cours associées (31)

Logique propositionnelle : Implication et propositions composées

Couvre les connexions logiques, l'implication, les propositions biconditionnelles et composées dans la logique propositionnelle.

Introduction & Logique de proposition

Couvre les bases de la logique de proposition, des connectifs logiques, des tables de vérité et des propositions composées.

Équivalences logiques : Partie 1

Couvre les équivalences logiques dans la logique propositionnelle, y compris les lois et les équivalences de De Morgan avec les connexions de base.

Équivalences logiques : les lois de De Morgan et leurs implications

Couvre les équivalences logiques dans la logique propositionnelle, y compris les lois et les équivalences de De Morgan avec les connexions de base.

Algèbre linéaire: propriétés et opérations

Explore les propriétés du sous-ensemble, la contradiction et l'équivalence en algèbre linéaire.

Logique propositionnelle : bases et applications

Couvre les bases de la logique propositionnelle, son histoire, son langage et ses applications informatiques.

Introduction aux variables dans la programmation créative

Introduit des variables dans la programmation créative pour coder des jeux vidéo sur Scratch.

Encodez votre Avatar dans une liste

Couvre le processus d'encodage d'un avatar dans une liste en utilisant des blocs.

Ajouter une variable

Démontre l'ajout d'une variable pour suivre les niveaux dans un programme.

Stratégie gagnante : Nim Game MOOC: Thymio: un robot pour se former à l'informatique

Se lance dans la transformation d'une stratégie gagnante dans le jeu Nim en un algorithme.

Compilation des structures de contrôle

Couvre la compilation des structures de contrôle dans les langages de programmation.

Génération de code simple pour if

Couvre la compilation de séquences d'instructions, de structures de contrôle, de représentations booléennes et de comparaisons dans la génération de code WebAssembly.

Équivalences logiques : les lois de De Morgan et leurs implications

Couvre les équivalences logiques dans la logique propositionnelle, y compris les lois et les équivalences de De Morgan avec les connexions de base.

L'histoire de Bobby

Explore la première partie de l'histoire de Bobby à travers un code simple démontrant les actions et les pensées de Bobby.

Loops: Implémentation d'une boucle de répétition

Présente un exemple de solution d'exercice sur la mise en œuvre d'une boucle de répétition dans Scala.

Programmation Python : boucles et fonctions

Introduit des boucles, des fonctions et du débogage dans la programmation Python, couvrant des concepts de base et des exemples pratiques.

Conditionnels: bases et exemples MOOC: Traitement et analyse d'images pour les scientifiques du vivant

Couvre les bases des conditions et leur mise en œuvre dans la programmation.

Boucles imbriquées et conditionnelles

Couvre deux quiz sur des boucles imbriquées et des conditions avec des sorties différentes.

Python: Exercices en semaine

Couvre les exercices Python liés aux jours de la semaine, invitant l'utilisateur à entrer et à afficher les jours de la semaine.

Travail sur le terrain : sécurité et volonté

Explore la sécurité dans le travail sur le terrain et l'impact d'un testament sur les décisions de carrière.