Séance de cours
Techniques logiques et de preuve
Séances de cours associées (66)
Propriétés de la division
Couvre les propriétés de la division en entiers et la relation entre la divisibilité et les quotients uniques.
Opérateurs Bitwise: Types d'entiers
Couvre les opérateurs bit à bit pour les entiers et représente les couleurs en utilisant des entiers 32 bits.
Relations: Ensembles, fonctions et composition
Couvre les relations binaires, les fonctions, les opérations définies, la composition et les relations n-ary.
Pouvoirs, racines, etc.: Règles de calculMOOC: Analyse I
Couvre les règles de calcul pour les pouvoirs, les racines, et plus encore, en se concentrant sur les nombres positifs et entiers.
Développement décimal
Plonge dans des nombres décimaux infinis, explorant la convergence et la divergence, et présentant des exemples de nombres rationnels et irrationnels.
Ajout de fractions
Couvre l'addition de fractions et de propriétés de nombres rationnels, en mettant l'accent sur l'associativité et les fractions de somme avec le même dénominateur.
Notations mathématiques: Récapitulation et nombres rationnels
Couvre une récapitulation des notations mathématiques et introduit des nombres rationnels et des opérations algébriques de base.
Complexité temporelle : exemple concretMOOC: Information, Calcul, Communication: Introduction à la pensée informatique
Explore la complexité temporelle à travers un exemple concret avec des entiers positifs et négatifs.
Les nombres rationnels : amplification et simplification
Couvre les nombres rationnels, amplifie et simplifie les fractions et calcule les valeurs.
Négation des propositions
Couvre le concept de négation des propositions et leurs équivalences.