Master M1 2008-2009: Logique mathématique


Dépêches

La semaine du 27 avril

La grève continue.

Cours hors le temps dans le Bâtiment Braconnier.

** Séances de cours
*** mardi 28 avril 18h00 - 20h00,
*** jeudi 29 avril 18h00 - 20h00.

Suivez cette page et vos courriels.

La semaine du 6 avril

La grève continue.

Cours hors les murs.

** Séances de cours
*** mercredi 8 avril 14h30 - 16h30,
*** vendredi 9 avril 15h - 17h.

Les précisions supplémentaires seront communiquées plus tard, mais pas trop tard.
Les séances peuvent durer un peu plus long que d'habitude.

La semaine du 30 mars

Annonce mathématique importante

Même en temps de grève, les maths se font.
Julien Melleray vient d'afficher les notes qu'il a rédigées pour son cours de l'école doctorale.
Certains d'entre vous ont envisagé de suivre ce cours qui a capoté,
d'autres se sont intéressés à son contenu. C'est une occasion à saisir.

La grève continue.

Nous sommes hors les murs, hors le temps.

** séances de cours
*** mardi 31 mars 14h30 - 16h30,
*** mercredi 1er avril 14h30 - 16h30;

** séances de travaux dirigés
*** mardi 31 mars 17h30 - 19h30,
*** vendredi en début de l'après-midi, les horaires seront precisés par Julien.

Pour les séances de cours, le rendez-vous est devant le Sun Cafe au 6e arrondissement.
S'il fait beau on peut se déplacer au café du parc, sinon on reste sur place.
Les travaux dirigés de mardi seront "hors le temps", donc à la Doua. Julien précisera
le lieu de rencontre. En ce qui concerne vendredi, les détails seront fournis par Julien.

Les notes de cours ont été mises à jour. Il y a un nouveau chapitre, notamment 6.
Prochainement, le chapitre 7 révisé sera affiché

Le troisième devoir à la maison est en ligne aussi.

La semaine du 23 mars

La grève continue.

Nous sommes hors les murs.

Les notes de cours ont été mises à jour. Il y a deux nouveaux chapitres (4 et 5).
Le chapitre quatre ne sera pas abordé. Le cinquièeme est le premier chapitre
sur la théorie des modèles.

Quelles sont les activités de cette semaine dans le cadre de notre cours? Il y aura
deux séances de cours hors le mur, la première mercredi 25 mars, la deuxième
vendredi 27 mars. Les séances auront lieu en début de l'après-midi. La présence
en une séance suffira. Comme d'habitude, les détails seront précisés par courriel
le plus rapidement possible. L'objectif est de finir le chapitre 5.

Côté travaux dirigés, Julien Melleray rédigera quelques exercices finaux
sur la théorie des ensembles et leurs corrigés.

Les devoirs: ils méritent d'être abordés.

La semaine du 16 mars

La grève continue.

Nous sommes hors les murs.

Le deuxième devoir à la maison est ci-dessous.

La semaine du 9 mars

Cours hors les murs.

Voici les deux choix:
     le lundi 9 mars 8h30-10h30h; le Bar Kléber à la Place Kléber au 6e arrondissement.
     le jeudi 12 mars 16h30-18h30; lieu à préciser.

La semaine du 2 mars

Le 4 mars

Un peu de maths: comme c'était déjà indiqué par certains d'entre vous. L'exercice I.2 (c) du premier
devoir à la maison est erroné. Nous sommes à la recherche d'un énoncé plus correct et suffisamment intéressant.

Cours hors les murs.

Suivant la tendance, nous proposons deux séances de cours cette semaine. Il suffira d'être présent à un seul.
Deux choix sont offerts parce qu'en raison de la manifestation de ce jeudi, et éventuellement d'autres jeudis
à venir, nous préférons varier nos créneaux, espérons-le, provisoirement.

Voici les deux choix:
     le mercredi 4 mars 9h-11h; rendez-vous à 8h45 à la Place Kléber devant le Bar Kléber qui sera notre lieu de travail jusqu'à onze heures.
     le jeudi 5 mars 11h30-13h30 dans un café à la place des Terreaux; rendez-vous à 11h15 devant le Café Leffe.

Nous ferons des maths, nos maths. Nous essayerons d'arriver à la fin du deuxième chapitre. Il est probable
que nous n'ayons pas de tableau à notre possession. En conséquence, l'efficacité augmenterait nettement
si non seulement les participants avaient chacun et chacune une copie des notes mais les lisait avant de venir en cours.

Si notre essai marche, nous proposerons un devoir à la maison, toujours facultatif, consacré aux sujets du cours,
et nous continuerons la semaine prochaine. Hors les murs ou, préférablement dans une salle?... divers facteurs le diront.

Quant aux travaux dirigés, il n'y en aura pas cette semaine. Il y en aura des supplémentaires dans deux semaines.
Les précisions seront affichées sur cette page.

Démarche à suivre: Envoyez immédiatement un courriel à Tuna Altınel pour préciser le créneau de votre choix
s'il en existe un. Si vous êtes d'accord avec ce fonctionnement provisoire, mais que vous n'êtes disponible à aucun
de ces créneaux, envoyez votre emploi du temps. Si vous n'êtes pas d'accord avec le fonctionnement, dites-le haut et fort,
votre avis sera respecté. En tout cas, ce que nous essayons de mettre en place n'a aucune valeur officielle.
Le rendre officiel est une décision qui nécessite l'accord de tous les intervenants, étudiants et enseignants confondus.
Celle-ci sera abordée plus tard.

Le 27 février 2009

Ci-dessous vous trouverez le corrigé du premier devoir. Nous remercions nos étudiants qui ont pris
la peine de travailler sur les exercices. Leurs copies corrigées leur seront rendues courant la semaine prochaine.
Prochainement, il y aura un deuxième devoir à la maison.

La semaine du 23 février

La grève est reconduite.

Les cours et les travaux dirigés du 26 février sont annulés.

Nous invitons nos étudiants à participer à la manifestation du 26 février à la place des Terreaux.
Ceux qui ont redigé des réponses à leurs devoirs pourront y rendre leurs copies aux enseignants.
La manifestation sera l'occasion d'un cours sur les maths et d'autres sujets avec les intervenants
du cours. Le corrigé sera affiché prochainement.

Nous voulons souligner que nous sommes conscients des effets néfastes de la grève sur nos étudiants.
Cette situation peut durer. Dans ce cas, à partir de la semaine prochaine, nous proposerons des manières
alternatives d'enseignement cohérentes avec notre action. Nous sommes ouverts aux propositions de nos étudiants.

La semaine du 9 février

Grève

Le premier devoir à la maison (facultatif) est affiché ci-dessous ainsi que les corrigés
de certains exercices. Le premier chapitre des notes du cours de Julien Melleray,
disponible ci-dessous, peut vous servir.

.................................................................................................................................

Le jeudi douze février, il n'y aura pas d'enseignement. Les responsables du cours de logique ont décidé d'arrêter d'enseigner.

Cette prise de position n'est aucunement contre nos étudiants, lesquels par ailleurs sont invités
à réfléchir sur le paysage universitaire dont ils font partie intégrante. Nous voulons être entendus
lors des prises de décisions concernant nos parcours scientifiques.

Nous sommes conscients des effets handicappants de notre décision sur le progrès de nos étudiants.
Pour y remédier, nous sommes en train de prendre des mesures dont la première est l'affichage
des notes de cours. Le deuxième chapitre vient d'être mis en ligne. Avant la fin de cette semaine,
la deuxième mesure sera mise en place. Les corrections de certains des exercices des feuilles de
travaux dirigés seront disponibles sur cette page.

Finalement, les sujet d'un devoir à la maison sera affiché avant la fin de cette semaine. Le principe sera
celui déjà annoncé. Les réponses sont à retourner le 26 février en cours. Un corrigé sera affiché,
et les copies rendues seront corrigées... voire notées. Et nos étudiants sont vivement encouragés
à communiquer, discuter entre eux lors de l'élaboration des idéees, des réponses mais pas
dans la phase finale de rédaction.

Mais les notes resteront officieuses et il n'y aura aucune obligation pour rendre des copies.
Nous sommes conscients que nous n'aurons pas fourni un enseignement complet. Notre objectif
est de fournir à nos étudiants des indications à propos de leur progrès dans notre cours.

Nous voulons espérer une reprise de l'enseignement le 26 février, date à partir de laquelle
les prochains devoirs à la maison seront dûment et officiellement notés pour contribuer à la note
de contrôle continu de nos étudiants.

.................................................................................................................................

Les enseignants du cours n'entendent pas continuer à enseigner si les propositions de réponses
à leurs attentes et à celles de leurs collègues ne s'améliorent pas. Par conséquent, il n'est pas clair
à ce moment si le cours du douze février aura lieu. Les étudiants sont vivement encouragés
à suivre cette page régulièment.

Voici un document non mathématique mais important sur lequel il faut réfléchir.

Il faut bien sûr connaître divers aspects des problèmes:
     projet de décret sur les statuts de enseignants chercheurs;
     projet de décret sur les classements.

Les documents importants et mathématiques sont ci-dessus: les notes ameliorées et la première
fiche de travaux dirigés. Prochainement, le deuxième chapitre sera affiché.

La semaine du 2 février
Suite à une longue réflexion les enseignants du cours ont décidé de continuer à faire les cours
et les travaux dirigés. Néanmoins, et parfois malgré leurs divergences avec les points de vue exprimés,
ils encouragent vivement leurs étudiants à réflechir sur le mouvement universitaire.

La semaine du 26 janvier
La première séance de cours a eu lieu. Nous sommes arrivés à la fin de la proposition 1.1.12 (1).
Pour ceux qui n'ont pas pu venir, une lecture jusqu'à la fin de la section 1.1 doit suffire.

A titre de préparation, vous pouvez commencer à étudier le théorème 1.6. Ensuite nous passerons
à l'arithmétique des ordinaux. L'objectif de la semaine prochaine est de finir le premier chapitre.
La preuve du théorème de récurrence (1.3) ne sera pas détaillée.

Les travaux dirigés commencent la semaine prochaine.

Le calendrier du cours a été établi. Voir ci-dessous.


La première séance du cours aura lieu le jeudi 29 janvier:

     Salle: Thémis 43 (Doua)      Horaires: 13h30-15h30

Les autres séances de cours auront lieu le jeudi:

     Salle: Thémis 61 (Doua)      Horaires: 13h30-15h30

Les travaux dirigés seront assurés par Julien Melleray le jeudi dans les mêmes
salles que le cours

     Salle: de cours (Doua)      Horaires: 15h45-17h45

Quelques remarques sur l'organisation du cours:

Pour avoir une idée de ce dont nous causerons, les étudiants intéressés peuvent regarder
la page de l'année dernière.

Le programme du cours sera proche de celui de l'année dernière. Sa nouvelle version sera disponible sur cette page prochaienement.

Il y aura des devoirs à la maison. Leur moyenne sera la note de CC.

Trois ouvrages sont à votre disposition à la Bibliothèque des Mathématiques pour consultation sur place:

       Cours de Théorie des Modèles -- Bruno Poizat

       Model Theory -- Wilfrid Hodges

       Set Theory -- Thomas Jech

       Course on Borel Sets -- Shashi Mohan Srivastava

       Les fichiers d'un livre de Patrick Dehornoy sur la théorie des ensembles:
              chapitre 1 , chapitre 2 , chapitre 3 , chapitre 4 , chapitre 5 , chapitre 6 , chapitre 7 , chapitre 8 , chapitre 9 , chapitre 10 .

Notes de cours

Chapitres 1-7 (Nouvelle version qui contient une exposition de l'exemple fait en cours hors le temps le 28 avril 2008.
Sous peu, le chapitre sur les corps algébriquement clos sera affiché)

Nous remercions nos étudiants (particulièrement Simon Schmidt), Mohammed Belkasmi et Rahim Moosa pour leurs
remarques et corrections vigilantes.

Travaux dirigés

TD 1 , corrigés de certains exercices .

TD 2 , corrigés de certains exercices , corrigé de l'exercice sur la cofinalité .

TD 3 , corrigé de la feuille 3 .

TD 4 , corrigé de la feuille 4 .

TD 5 , corrigé de la feuille 5 .

TD 6 .

Devoirs

Devoir 1, le corrigé du devoir 1. C'est un corrigé incorrect. En effet, la preuve proposée pour l'exercice I.2 (c) est erronée.
C'est un bon exercice pour ceux d'entre vous qui n'ont pas abordé cet exercice d'essayer de repérer l'erreur. C'est un bon
exercice pour les enseignants de trouver un énoncé correct pour le point 2(c) (ils n'y sont pas encore parvenus).

Devoir 2, le corrigé du devoir 2.

Devoir 3, le corrigé du devoir 3.

Devoir 4.

Le calendrier du cours:

Du 29 janvier au 30 avril il y aura une séance;ance de cours chaque jeudi à l'exception des semaines du 16 février et du 13 avril,
les vacances d'hiver et de printemps respectivement. L'examen final aura lieu la semaine du 4 mai. Les travaux dirigés commencent le jeudi 5 février.

Un cours de l'Ecole Doctorale enseigné par Julien Melleray: Théorie descriptive des ensembles.

Les notes de son premier chapitre peuvent vous servir.