Concept
Algèbre de Boole (logique)
Séances de cours associées (116)
Opérations algébriques sur les limites : formes indéterminées et limites fondamentales
Couvre les opérations algébriques sur les limites, les formes indéterminées et les limites fondamentales.
Générateurs aléatoires fonctionnels
Explore les générateurs aléatoires fonctionnels pour divers domaines et leur application dans des tests aléatoires systématiques.
Décompositions purement inséparables
Explore les décompositions purement inséparables, les propriétés de Galois et les fermetures algébriques.
Fonctions de plusieurs variables réelles
Explore les fonctions réelles de plusieurs variables réelles, limites et opérations algébriques.
Limites des fonctions : Caractérisation et opérations
Explore la caractérisation des limites en utilisant des séquences et des opérations algébriques sur les limites.
Dérivabilité et différenciation
Explore la dérivation, la différentiabilité, les formules connues et les opérations algébriques sur les limites, avec des exemples et des contre-exemples.
Synthèse logique : Concevoir des circuits numériques efficaces
Discute des techniques de synthèse logique pour concevoir des circuits numériques efficaces en utilisant des minterms, des maxterms et de nouvelles portes comme XOR et XNOR.
Conception de sous-systèmes Datapath
Couvre la conception des sous-systèmes de chemin de données, en se concentrant sur les composants combinatoires de base et diverses options de mise en œuvre pour les additionneurs, les multiplicateurs et les leviers de vitesses.
Types dans Lambda Calculus
Couvre les types dans le calcul lambda, y compris la définition des types, la spécification des règles et la preuve de la solidité.
Lambda Calculus: Sémantique opérationnelle et stratégies d'évaluation
Couvre la sémantique opérationnelle et les stratégies d'évaluation dans le calcul lambda, y compris redex, les stratégies d'évaluation alternatives et les booléens de l'Église.