Algèbre d'ensembles

Science formelle
Logique
Logique classique
Calcul des prédicats

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (28)

Connectez-vous pour filtrer par séance de cours

Exemple de recherche combinatoire

Couvre les ensembles dans Scala, le problème N-Queens et les algorithmes récursifs.

Algèbre linéaire: ensembles et langage de proposition

Couvre les ensembles, le langage propositionnel, la lecture, l'écriture, le confinement et la cardinalité.

Set Union: Propriétés et Opérations

Explique l'union des ensembles, de leurs propriétés, de leurs opérations et de leurs intersections.

Fonctions de cartographie et surjections

Explore les fonctions cartographiques, les surjections, les fonctions injectives et surjectives et les fonctions bijectives.

Opérations algébriques sur les coupures de Dedekind

Explore les opérations algébriques sur les coupes Dedekind, illustrant avec des exemples.

Cardinalité et théorie des groupes

Explore la cardinalité dans les ensembles et les propriétés des groupes, y compris la commutativité et des exemples de groupes abstraits.

Preuves et logiques : Introduction

Introduit la logique, les preuves, les ensembles, les fonctions et les algorithmes en mathématiques et en informatique.

Ensembles et structures définis récursivement

Explore les ensembles définis de manière récursive, les nombres naturels, les chaînes, les fonctions, la concaténation de chaînes et les formules bien formées.

Page 2 sur 2