Philosophie de Mathématiques : Ontologie et Structures

Séances de cours associées (28)

Page 3 sur 3

Couvre les bases et les applications de la logique des prédicats, y compris les quantificateurs, les prédicats et les fonctions propositionnelles.

Couvre les bases de l'analyse, y compris les preuves, les ensembles, les nombres rationnels et réels, et le concept d'infimum.

Couvre les propriétés de l'algèbre booléenne, les techniques d'optimisation et l'importance des groupes valides dans les cartes de Karnaugh.

Explore les sous-groupes et les sous-groupes liés aux actions de groupe sur les ensembles.

Couvre les bases des preuves, définissant des ensembles et des applications entre les ensembles.

Couvre les connexions logiques, l'implication, les propositions biconditionnelles, composées et les tables de vérité.

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

Explore la construction du groupe de monstres Fischer-Greiss, en mettant l'accent sur ses propriétés clés et le processus en cause.