Logique et théorie des ensembles

Unité optionnelle de la licence de mathématiques, option mathématiques fondamentales.

• Sommaire du cours
• Site du second cycle

Année 2004

Cours, exercices.

• Polycopié du cours 2003-2004 cours.pdf (l'introduction à la théorie des ensembles n'est pas rédigée).
• Feuille d'exercice 1 04_exo_1.pdf.
• Feuille d'exercice 2 04_exo_2.pdf.
• Feuille d'exercice 3 04_exo_3.pdf.
• Problème 1 04_pb1.pdf. Le problème est à rendre pour le mercredi 17 mars.
• Corrigé du problème 104_pb1cor.pdf.
• Feuille d'exercice 4 04_exo_4.pdf.
• Feuille d'exercice 5 04_exo_5.pdf.
• Feuille d'exercice 6 04_exo_6.pdf.
• Feuille d'exercice 704_exo_7.pdf.
• Examen du 8 juin 2004 énoncé et corrigé.

Travaux sur machines.

• Charte pour l'utilisation de la salle informatique. charte.pdf
• Introduction à PhoX (document distribué en cours). phox_intro.pdf
• La page d'accueil de PhoX.

Feuilles de TP PhoX.

Sauvez la feuille tpn.phx dans votre répertoire. Editez la feuille avec xemacs. Par exemple lancer un terminal, puis dans le terminal tapez la commande suivante :

xemacs tpn.phx

• Feuille 1, version à utiliser sur machine : tp1.phx, version à imprimer : tp1.pdf, corrigé
• Feuille 2, version à utiliser sur machine : tp2.phx, version à imprimer : tp2.pdf, corrigé, énoncé plus corrigé
• Feuille 3, version à utiliser sur machine : tp3.phx, corrigé
• Feuille 4, version à utiliser sur machine : tp4.phx

Lire les fichiers pdf avec Mozilla dans la salle d'enseignement (2004)

Il s'agit de Mozilla 1.6. A la première lecture

• Clic droit sur le lien vers le fichier pdf
• Dans la fenêtre précédée de "open it with" inscrire /usr/local/bin/acroread
• Cocher le bouton "Always perform this ..."
• Bouton "OK" (Clic droit)

Examens 2003

• Partiel du 30 avril 2003 03_partiel.pdf.
• Examen du 3 juin 2003 03_exam.pdf.

Bibliographie.

• Pour le calcul propositionnel et le calcul des prédicats : le tome I du livre de R. Cori et D. Lascar Logique mathématique, paru chez Masson.
• Pour la déduction naturelle : le livre de C. Raffali, R. David et K. Nour Introduction à la logique, théorie de la démonstration, paru chez Dunod en 2001.
• Pour la théorie des ensembles : le livre de P. Halmos, Naive set theory paru en 1960, traduit en Français sous le titre : Introduction à la théorie des ensembles en 1967 chez Gauthier-Villars (réimpression chez Jacques Gabay 1997).