• Caphi
iFAC
Accueil du site Cours  Logique L2

Logique L2

mercredi 14 mars 2012, François Schmitz


Vous trouverez ci-dessous :

  • le fascicule complet de logique des propositions.
  • la correction de l’examen de janvier 2012.
  • le fascicule complet de logique des prédicats
  • les corrigés des exercices faits en T.D. au second semestre (le fichier sera mis à jour semaine après semaine).

Documents joints





Commentaires...
Haut de page up

  • Voir également sur iFac...
    • Travaux dirigés de logique L1

      Sébastien Motta
      On trouvera ici les contrôles continus des années passées, des exercices et des textes évoqués lors des travaux dirigés de logique L1. On trouvera pour le premier semestre : Le contrôle continu de 2009-2010 du premier semestre. Le contrôle continu de 2010-2011 du premier semestre. Le contrôle continu de 2011-2012 du premier semestre. Entraînez vous à faire ces contrôles continus en temps limité (i.e. pour chaque contrôle, en moins de deux heures). On trouvera pour le second semestre : Le petit (...)

    • Logique L1

      François Schmitz
      Vous trouverez ci-dessous le fascicule « Rudiments de logique propositionnelle ». Dans cette version la table des matières donne les pages exactes. Vous trouverez également les contrôles continus des années précédentes. Enfin, le fascicule sur le calcul des classes et la logique des prédicats monadiques est maintenant disponible.

    Haut de page up

rechercher sur iFAC


aide & repérage

logouniv        Le site iFAC est mis à disposition selon les termes de la licence Creative Commons Paternité - Pas d'Utilisation Commerciale - Pas de Modification 2.0 France.      Contrat Creative Commons