Formulaire pour le cours de Logique MAthématique

Dans le cadre de mes études à l’Ecole d’Ingénieurs du canton de Vaud, je suis un cours qui se prénomme Logique Mathématique (LMA). C’est un cours sur de la logique élémentaire, mais finalement c’est très basique vu que ça ne dure que trois mois.

Pour l’examens, nous avons droit à un formulaire de 2 pages, je me suis donc amusé avec Latex pour faire un tel formulaire. J’ai trouvé sur Internet une page concernant l’utilisation de Latex dans le cadre de la logique (Latex for Logicians). Sur cette page j’ai trouvé un paquetage Latex pour mettre en forme de manière jolie les déductions naturelles. J’ai ensuite complété mon formulaire avec le reste de la matière, il est donc disponible içi. Je poste ce message en éspérant que mon pote Google se chargera de l’indéxer pour les suivants.

En ce qui concerne ce formulaire, il est bien évidemment disponible sous licence FDL.

1 commentaire

  1. Commentaire de: Georges-André [Visiteur] Email
    03.09.09 @ 11:20

    Google est mon ami et encore plus quand je vois qu'il a effectivement indexé ton poste.

    Je suis bien content d'être tombé dessus avant la rentrée, il risque de m'être utile, à moi ainsi qu'aux autres copains qui commence cette année.

    J'vais garder l'adresse sous le coude ^^
    Merci beaucoup !

Les commentaires sont fermés pour cet article.