Séances de cours associées à Systèmes logiques : opérations arithmétiques

Discute de la représentation des nombres réels dans diverses bases et des implications de larithmétique à virgule flottante.

Explore les opérations associatives sur des tuples et des ensembles, en démontrant leurs propriétés à travers divers exemples et preuves.

Explore la représentation binaire de l'information, l'efficacité, l'utilisation des octets et la représentation entière.

Explore la représentation de l'information, les erreurs d'arrondi et l'encodage d'image.