-
Notifications
You must be signed in to change notification settings - Fork 3
Syllabus pour le cours de 1ère à l'ESI (www.heb.be/esi)
mcodutti/Logique1-Syllabus
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
*** ATTENTION : Ce repository n'est plus maintenu. *** Le cours a été découpé en 2 activités d'apprentissages *** dans le nouveau décret paysage. *** cf : https://github.com/HEB-ESI/DEV1-ALM-Syllabus-Algo *** et https://github.com/HEB-ESI/DEV2-ALM-Syllabus-Algo ======================================================================== Slides pour le cours de Logique 1ère année à l’ESI (http://www.heb.be/esi) Contact : [email protected] ======================================================================== Le document de base a été obtenu par conversion de la version ODT via l’outil writer2latex (w2l). Le document LaTeX est découpé en plusieurs parties log1.tex : le document maitre log1.sty : le style fait maison algoesi.sty : style pour de beaux algorithmes auto.sty : le style créé par l'outil de conversion log1-debut.tex : les premières pages (page de garde, toc) log1-chapitre-* : les chapitres log1-annexe : l'annexe log1-fin : les dernières pages (vide pour l’instant) Pour produire le document : pdflatex log1.tex Pour inclure l'index, il faut compiler avec~: pdflatex log1.tex makeindex -s perso.ist log1.idx pdflatex log1.tex Le document est gros. Pour compiler plus vite, on peut - décommenter la ligne \includeonly - ou utiliser rubber qui offre une option pour choisir le chapitre à compiler
Releases
No releases published
Packages 0
No packages published