SMBC : Logical proofs

Bon, j'espère que vous connaissez Saturday Morning Breakfast Cereal. C'est, j'estime, l'un des ténors de la web-bédé (webcomic) anglophone, avec xkcd. Ceci m'amenant à l'une des dernières planches qui m'a fait rire aux éclats (des heures encore après, l'enthousiasme était toujours bien présent, en témoigne Juliette).

Sur ce...

POur les courageux qui passent encore Logique, trait d'humour !

;)

Et pour les autres, c'est par ici (d'ici demain, lien sera actif) animons.erizo.be

Dissertations

A ceux qui l'ont faite, je propose qu'on "fasse voir" nos dissertations (j'avoue qu'il me plairait d'en lire certaines autres dont le sujet m'intéressait).

Solution : soit vous l'hébergez vous-mêmes et mettez le lien dans les commentaires / dans le fil / sur la page idoine. Soit vous vous inscrivez sur Dropbox et je vous ajouterai au partage d'un dossier "Cours". Soit vous me l'envoyez à l'adresse guillaume_hayot@hotmail.com et je la mettrai en commun dans ce dossier, dont voici l'adresse : http://db.tt/AUqoBkr

Pour l'instant il n'y a que la mienne (et je SAIS qu'il y a des fautes) (dont un lapsus en allemand) (shame on me).

Une petite blague au passage : "Comment occuper indéfiniment un logicien ?
- Lui faire se laver les cheveux, après avoir lu les instructions : 'Appliquer, rincer, recommencer'."

[Annonce] De nouveaux cours disponibles !

Direction la rubrique "Cours en ligne" où vous trouverez désormais :

• Les notes d'histoire et les définitions, partagées par Heloïse
• Les notes d'histoire de Max
• Des notes d'histoires de l'art appartenant à quelqu'un que je ne connais pas et trouvées par hasard sur le net (trois jours après l'exam, c'est pas de chance mais ça peut toujours servir)

Have fun !

Locaux pour Anglais

Voici le lien.

Voici les salles pour l'examen de mercredi, allez jeter un coup d'oeil dans le cours sur l'uv ils expliquent comment colorier les carrés de notre matricule, vraiment so interesting ! my dear

Il n'est jamais trop tard... pour recevoir une mauvaise nouvelle !

Pour ceux qui comme moi ne sont pas aller voir le dossier Moyen-Age en histoire de l'art et non pas vu les quartozes pages de vocabulaire d'introduction à l'architecture, je leur dis courage !

J'ai rassemblé les quartozes photos, une à une, sur ce site d'une lenteur préhistorique et je vous en ai fait un petit powerpoint (word devenait trop énervant).

voilà, cliquez ici.

Je compatis...

Locaux pour Histoire et Histoire de l'art + Autres informations qu'on ne nous envoie pas par mail.

Pour tous ceux qui comme moi n'allaient pas chercher dans tous les sens le numéro du local d'histoire de l'art, voici l'extrait du message que j'ai trouvé :

Les étudiants inscrits en PHIL1 et RELA1 sont convoqués à l'auditoire H.2215 lundi ;-)

Pour Histoire, c'est Chavanne.

Pour les locaux des oraux, cliquez ici.

N'oubliez pas les extraits de la PE.

Plus : Les étudiants qui doivent rendre un travail pendant les vacances de Noël peuvent le déposer dans la boîte aux lettres du secrétariat de Philosophie et d’Ethique le NA3.109

Formules d'intertraductibilité des foncteurs

Mise en ligne sur mon site d'un pdf avec la liste des formules d'intertraductibilité des foncteurs que Sebastien (Guidance) vient de m'envoyer. (Adresse de mon site dans la colonne de droite avec les lien)

[Annonce] Logique formelle : cours de rattrapage le 5 janvier, à 11h

Bonne année à tous !

Voici les infos pour le cours de logique formelle :

Il aura lieu le mercredi 5 janvier à 11h, au Montmartre. C'est un bar pas loin de l'ULB, suivez le plan.


Agrandir le plan

J'ai dit à M. Peeters que la déduction naturelle avait l'air de poser problème pour pas mal d'entre nous, mais n'hésitez pas à venir avec d'autres questions (préparées à l'avance et précises si possible, le but de cette séance n'étant pas de refaire l'intégralité du cours en 2h).

N'hésitez pas à faire passer l'info, et à mercredi !