Articles — French

Cours Latex sur les Bases d'entiers

Informe L4

Ce document regroupe les codes TIKZ des figures utilisées pour le cours "Interactions magnétiques" situé à la page http://femto-physique.fr/electromagnetisme/Interaction magnétique.php

Ce document regroupe les codes TIKZ des figures utilisées pour le cours "Champ magnétique créé par des courants électriques" situé à la page http://femto-physique.fr/electromagnetisme/biot_et_savart.php

This is the full PDF of Edible Food Book, a CC-BY-SA-3.0 book. Copyright © 2013 Abdelkrime Aries <kariminfo0@gmail.com> Some fonts and colours have been modified from the original. The partial source code of the book (because the complete book contains so many images!) can be found in this example. Or get the complete source at the original Github site.

Il s'agit des transparents d'une initiation à LaTeX, formation destinée aux doctorants de l'École doctorale SICMA. Elle est proposée chaque année à Télécom Bretagne (sur les sites de Brest ou de Rennes). À l'origine elle provient d'un cours que j'ai monté dans les années '90 pour l'association GUTenberg, et que j'ai donné des dizaines de fois en France et en Belgique, ces 20 dernières années. Les transparents ont bien évolué au gré des évolutions du monde TeX. Je me sers de ces transparents également pour un cours proposé aux professeurs de CPGE dans le cadre du groupe LIESSE. ATTENTION : il ne s'agit que de *transparents* de cours, ils ne sont ni exhaustifs ni suffisamment commentés pour servir à un véritable auto-apprentissage.

Template: (c) 2010 Association for Computing Machinery (ACM) For tracking purposes => this is v1.3 - March 2012

Kamalraj Muruganathan's CV

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.