Passer au contenu principal

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

Graph
Search

Recherche

Afficher tous les résultats pour

Accueil

Cours

CS-101: Advanced information, computation, communication I

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de ce cours (309)

Estimation des écarts

Couvre les inégalités de Markov et Chebyshev pour les variables aléatoires et les distributions de probabilité.

Logique des prédicats : domaines et quantificateurs

Explore la logique des prédicats, en se concentrant sur les domaines, les quantificateurs et les idées surprenantes sur les domaines vides.

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.

Programmation logique : exemples et règles

Démontre la programmation logique avec des exemples et des règles, présentant un outil pour une application pratique.

Predicate Logic: En savoir plus sur les quantificateurs

Couvre les quantificateurs avec des domaines finis, l'unicité, les instructions composites, la liaison de variables, la traduction en logique et la validité.

Logique propositionnelle : Questions organisationnelles

Couvre les questions organisationnelles de l'instructeur et souligne l'importance du visionnage vidéo, des exercices et de l'interaction Discord.

Prédicat Logique : Équivalences logiques et Quantificateurs

Explore les équivalences logiques, les quantificateurs et les lois de De Morgan dans la logique des prédicats.

Logique du prédicat : Quantificateurs imbriqués

Explore les quantificateurs imbriqués dans la logique et leur traduction en langage naturel et en énoncés mathématiques.

Questions organisationnelles

Aborde les questions organisationnelles liées au matériel de cours, aux solutions d'exercice et à la participation des étudiants.

Preuves : Équivalence logique et règles d'inférence

Couvre le concept d'équivalence logique dans les règles de preuve et d'inférence.

Raisonnement logique : Quiz d'analyse

Analyse un quiz sur le raisonnement logique, en discutant des réponses correctes et incorrectes.

Techniques de démonstration : Analyse de quiz

Analyse un quiz sur les techniques de preuve, en soulignant l'importance de montrer l'existence et l'unicité dans les preuves mathématiques.

Preuves : Contraposition vs. Contradiction

Couvre les concepts de contradiction et de contradiction dans les preuves.

Arguments valides : Comprendre la logique propositionnelle

Explique comment les prémisses impliquent des conclusions utilisant des règles d'inférence et des tables de vérité dans la logique propositionnelle.

Logique propositionnelle : règles d'inférence et arguments valides

Couvre les règles d'inférence dans la logique propositionnelle et les sophismes logiques communs.

Preuves : Arguments dans la logique des prédicats

Couvre les règles dinférence pour les déclarations quantifiées et démontre la construction darguments valides en utilisant la logique de prédicat.

Logique propositionnelle : connexions logiques de base

Couvre la logique propositionnelle, les connecteurs logiques, les tables de vérité et les propositions composées.

Introduction aux preuves

Présente des preuves informelles, explore les applications pratiques et explique les preuves de théorème en utilisant des méthodes directes et indirectes.

Techniques de preuve: Direct, Contraposition, Cas

Couvre les techniques de preuve comme le direct, la contreposition et les cas avec des exemples.

Ensembles, fonctions et relations : questions organisationnelles

Couvre les aspects organisationnels, présente Kahut pour les quiz, présente des exemples complexes et résume les principaux sujets.

Page 4 sur 16