Gallery Items tagged French
INF 424 Logique
Ceci est le polycopié de cours du module INF424, qui fait partie la majeure Informatique de la formation d'ingénieurs de Télécom Bretagne ainsi que du Master of Science CSDS (Computer Science & Decision Systems). Il comporte trois parties :
Logique du premier ordre, : systèmes formels, théorie des modèles, satisfaisabilité, normalisation, résolution.
Logiques de description, et en particulier SROIQ.
Sémantique et vérification des langages de programmation.
Yannis Haralambous
Page de manuel
J'ai essayé de reproduire sous LaTeX la mise en page d'un extrait du manuel de français Colibris à destination des 5e. On voit que LaTeX permet en particulier d'afficher des notes de bas de page directement en dessous d'un texte.
Nicolas Reichel
FSJEGJ Master Thesis Template
Master thesis template for the Faculty of law, Economic and Management Sciences of Jendouba - Computer Sciences department. This template is created by Ahmed Dridi.
Ahmed Dridi
Gustavo SOUZA VIEIRA DUTRA's résumé
Gustavo SOUZA VIEIRA DUTRA's résumé. Created with the Medium Length Professional CV template.
Gustavo
Charte graphique École Centrale de Lyon (ECL)
D'après la charte graphique 2019 de l'ECL : https://campus.ec-lyon.fr/charte-logos-outils-4788.kjsp?RF=1460981314923
Thomas C
TP d'initiation à Python3 et à la programmation
Tutoriel d'initiation à python3
Laurent Guéguen
Aide-mémoire LaTeX UQAC 2019
Aide-mémoire français pour l'atelier LaTeX de l'UQAC 2019. D'après le travail de Dave Richeson du Dickinson College (http://divisbyzero.com/).
Émile Bélanger
LaTeX intro rapide & aide mémoire
Source: Dave Richeson (divisbyzero.com), Dickinson College
Version francaise par Vincent Pantaloni, prof.pantaloni.free.fr
Traduction, correction et adaptation à la typographie française.
Une anti-seche en deux pages pour une intro rapide ou un aide mémoire des différentes fonctions.
A imprimer en recto verso par exemple.
Feel free to distribute this example, but please keep the referral to divisbyzero.com
Vincent PANTALONI
Instructions aux auteurs pour la préparation sous LaTeX\ d'articles pour RNTI la Revue des Nouvelles Technologies de l'Information
Avant propos : ces exemples de fichiers ont été mis à jour grâce à l'aide précieuse de Gilbert Ritschard. Pour toute question ou remarque n'hésitez pas à nous contacter : venturini@univ-tours.fr
Version 3 2008-05-21
Version 3.1 2012-11-26 Bruno Pinaud
Version 3.1.1 2012-11-27 Gilles Venturini
Version 3.1.2 2013-04-25 Gilles Venturini
Overleaf note: Version 3.1.2 updated in Dec 2016 to fix font/input encoding compatibilty with XeLaTeX
RNTI