jeudi, avril 06, 2006

Groupe de discussion (2) : LICENCE

J'ai créé un deuxième groupe, spécifique aux (nombreux) élèves des différents niveaux de la Licence. Cela nous permet de doubler la capacité de stockage des documents, et de disposer d'un outil de communication ciblé.
Je suis très content d'annoncer que ce groupe est déjà actif, et qu'il semble qu'il y ait une réelle motivation. C'est parfait, pourvu que ça dure.
Merci à Nicolas (que j'ai bombardé modo) de s'être dévoué pour donner donner de précieuses explications.

Groupe de discussion

Ce blog est maintenant associé à un groupe de discussion qui servira aussi de base de donnée en ligne. Vous y trouverez les supports d'enseignement des cours de logique.
Nota: il faut être inscrit au groupe pour avoir accès aux fichiers.

Atelier "Techniques Formelles"

Je vous rappelle que Tero Tulenheimo continue à assurer l'encadrement de l'atelier "Techiques Formelles", le mercredi de 13h30 à 15h30. Programme : métathéorie de la logique de premier ordre.
Ouvrage de référence : Smullyan, First-Order Logic, Dover.

Prochaine séance : mercredi 12 avril. Reprise au §3, p. 57.

samedi, avril 01, 2006

Demi-journées débloquées

Le mercredi 5 et le jeudi 6 avril, les portes de l'université seront ouvertes pour accueillir et informer les étudiants sur la poursuite des enseignements après le blocage.
Des supports de travails seront disponibles en-ligne.

L'équipe de logique souhaite insister sur le fait que le déficit de formation compromet sérieusement la qualité de la formation sur l'ensemble du parcours, et invite les étudiants intéressés par la mention "Logique,..." à prendre contact avec Laurent Keiff pour l'organisation des cours de (re)mise à niveau.

Naissance

Le blog "Pragmatisme Dialogique" a pour vocation d'être une plateforme de diffusion des informations concernant les activités du groupe de recherche du même nom de l'université Lille 3.
Le groupe s'articule autour du Pr. Shahid Rahman.


On trouvera ici des informations concernant (i) les cours de logique L1 et L2 en tronc commun; (ii) les cours de la mention "Logique, épistémologie et histoire de sciences" et (iii) les activités de recherche du groupe.