Gallery — Recent

Comparto este trabajo para quien le pueda servir la plantilla que utilizamos, únicamente con fines educativos.

Níckolas Alves' Academic CV Created with the AltaCV template

This example shows how to automatically generate citations and a bibliography with biblatex and biber. Biblatex and biber work together to automatically format references and citations like the older cite or natbib and bibtex tool chain, but they offer more powerful and easier to use formatting and better support for special characters (unicode). For a full list of biblatex styles, see the user guide in the biblatex manual.

Una plantilla (no oficial) para la tesis de los itamitas.

DEMOSTRACION DEL TEOREMA DEL LIMITE DE COMPOSICION DE FUNCIONES

LaTeX Template for the Bulletin and Journal of the Australian Mathematical Society. This template was originally published on ShareLaTeX and subsequently moved to Overleaf in November 2019.

This popular visualization of the Porter Value Chain is a great example of how LaTeX can be used to produce striking, high quality formatting of simple objects such as tables. Originally posted as this answer on TeX StackExchange, we've pre-loaded the table into Overleaf to let you easily add your own content. Simply click the table to start editing online. Once you're done, you can insert the table into a longer LaTeX document, or download as a PDF for use as a standalone piece. If you're new to LaTeX, checkout the third part of our free online LaTeX course for more hints on creating presentations and drawings in LaTeX.

A simple submission slip designed to be attached to student work for marking. The source code is available on github. This is the release from 12th April 2014. This work is provided for use under the open source MIT license (MIT).

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.