RESSOURCES EN LIGNE ET ACTUALITÉS
SCIENTIFIQUES FRANCOPHONES

4368 - Logique et langage des ensembles

Description bibliographique

Auteur :

Cousquer, Eliane (USTL. Université des sciences et technologies de Lille, Lille 1. France)

Éditeur :

RUCA. Réseau universitaire des centres d'autoformation. France

Page source :

Université en ligne, mathématiques, http://www.uel-pcsm.education.fr/consultation/reference/mathematiques/index.htm

Langue :

français

Description du contenu

Spécialité :

Sciences exactes - Mathématiques - Logique et fondements mathématiques

Mots clés :

connecteurs ; théorie des ensembles

Table des matières :

1 - Connecteurs
2 - Langage des ensembles
3 - Quantificateurs
4 - Implication
5 - Relations
5 - Démonstrations
6 - Rédactions
7 - Cardinal d'un ensemble

Résumé :

Ce cours introduit les notions de logique et de langage des ensembles utilisées constamment dans la suite du cours d'université. Ces notions sont en général introduites rapidement en début d'année et le cours comporte différents types d'activités : des exercices destinés à permettre l'entraînement à la résolution d'exercices et de problèmes ; des questions à choix multiples et autres exercices d'autoévaluation pour faire le point. (d'après résumé d'auteur)

Informations pédagogiques

Niveau d'études :

1er cycle

Pré-requis :

Eléments de base en analyse et algèbre de la classe de terminal

Objectifs pédagogiques :

Aider à la maîtrise des notions de bases qui interviennent dans tous les domaines des mathématiques

Accès à la ressource

Format :

HTML

URL de référence :

http://www.uel-pcsm.education.fr/consultation/reference/mathematiques/logique1/index.htm

Ressource copiée dans le cache de l'Infothèque le 08/08/2007

URL de référence :

/cache/4368/www.uel-pcsm.education.fr/consultation/reference/mathematiques/logique1/index.htm

Notice mise en ligne le 02/04/2003 et mise à jour le 07/08/2007