Introducción Manos a la obra

Algoritmos y Estructura de Datos I

LATEX

Facultad de Ciencias Exactas y Naturales

Viernes 30 de Marzo de 2012

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I
Introducción Manos a la obra

WYSIWYG, WYSIWYM & WTF

WYSIWYG: What You See Is What You Get

En este paradigma escribiremos directamente lo que queremos
obtener. Por ejemplo, cuando queremos agregar una imagen,
directamente la insertamos donde queremos ponerla.
WYSIWYM: What You See Is What You Mean
En este paradigma escribiremos texto y comandos que luego
de ser compilados se convierten en nuestro archivo final.

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I
Introducción Manos a la obra

Un poco de motivación

 3+2

(5∗7)+1
∀y ∈ {1, 2, 3} : 2 × y ≤ 150/2

Unos sı́mbolos raros, paréntesis de distinto tamaño, cosas a distinta

altura. ¿Cuánto se tarda en escribirlo en un editor como Word?
¿ Y un auxiliar de un problema del TP ?

aux incluida (as1 : [Alumno], as2 : [Alumno]) : Bool =

(∀x ← as1)cuenta(x, as1) ≤ cuenta(x, as2) ;
¿Y las prácticas de la materia? Sı́, hechas en LATEX.
¿Y los TPs? También, hechos en LATEX.
¿Y esta presentación? Listo, ya se entendió.

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I
Introducción Manos a la obra

Otro poco de motivación

Texto plano (Notepad) A Mano Word, OpenOffice, etc LATEX

4 6 8 10

Nota máxima por formato de entrega

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I
Introducción Manos a la obra

Otro poco de motivación

Corrigió texto plano

Corrigió LATEX

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I
Introducción Manos a la obra

Entornos
Y para arrancar, ¿qué necesitamos?
Un compilador y un editor de texto para LATEX.
Vamos a mostrarles Texmaker, un editor que funciona en varios
sistemas operativos, pero hay muchos para elegir.
Pueden bajar Texmaker de
http://www.xm1math.net/texmaker/download.html.
Para instalar el paquete completo:
En Linux: depende de la distribución (sudo apt-get
install texlive-full texmaker en Ubuntu, por ejemplo)
En Windows: MikTex http://miktex.org/ y Texmaker por
separado
En Mac: MacTex http://www.tug.org/mactex/ y
Texmaker por separado
Facultad de Ciencias Exactas y Naturales
Algoritmos y Estructura de Datos I
Introducción Manos a la obra

Estructura de un archivo LATEX

Para nuestro primer texto:

Abrimos nuestro editor de texto
Comenzamos el documento indicando qué tipo de texto
estamos escribiendo. Vamos a usar \documentclass{article}
A continuación ponemos los paquetes que vamos a usar:
\usepackage. . .
Empezamos el contenido de nuestro documento:
\begin{document}
Escribimos el texto que queremos
Terminamos nuestro documento con \end{document}
Compilamos para que se genere un pdf con nuestro texto

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I
Introducción Manos a la obra

¿Y cómo hacemos los sı́mbolos raros?

Sı́mbolos raros:
Para sı́mbolos simples: http://detexify.kirelabs.org/
Otra versión: http://sketch-a-char.kirelabs.org/
Para cosas más complicadas:
Ej: ¿Cómo hago una sumatoria con el ı́ndice abajo y la cota
arriba?)
Google: “latex sum limits below above”

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I
Introducción Manos a la obra

Modo matemático

En algunos casos puede que se topen con sı́mbolos que se pueden

usar sólo en el modo matemático o que quieran escribir fórmulas.
Para escribir algo en modo matemático, la forma más simple es
escribirlo entre signos de pesos ($).
Por ejemplo: $ \forall x \in \mathbb{N} : x+1 \geq x $
∀x ∈ N : x + 1 ≥ x
Es importante tener esto presente porque muchas veces al intentar
usar un sı́mbolo del modo matemático, sale el siguiente error:
! Missing $ inserted.
Como el error no suele indicar el número de lı́nea correcto, si no
estamos atentos es difı́cil entender en qué nos confundimos.

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I
Introducción Manos a la obra

¿Y los ejercicios de TP?

Macros!
Para facilitarles la transición a LATEX, se va a subir a la página de la
materia un template con el esqueleto de la resolución del TP.
Además va a haber otro archivo con las definiciones de los
comandos para las construcciones más comunes: definiciones de
problemas, requiere, asegura, funciones auxiliares, listas por
comprensión y varias cosas más.

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I
Introducción Manos a la obra

Un par de ejemplos

¿Qué podemos escribir?

Problemas:
\begin{problema}{nombreProblema}{parám}{tipoRes}
\requiere[nombreOpcional]{fórmula}
\modifica{variable}
\asegura[nombreOpcional]{fórmula}
Tipos: \begin{tipo}{NombreTipo}
\observador{nombreObservador}{parámetros}
\invariante[nombreOpcional]{fórmula}
Sı́mbolos
\ent genera Z
\float genera R
Y más...

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I
Introducción Manos a la obra

Un par de ejemplos
Un problema entero:
\begin{problema}{iguales}{r1, r2 : Racional}{Bool}
\asegura{result == \newline
(numerador(r1) * denominador(r2) == \newline
numerador(r2) * denominador(r1))}
\end{problema}

Se muestra ası́:
problema iguales (r1, r2 : Racional) = result : Bool {
asegura result ==
(numerador (r 1) ∗ denominador (r 2) ==
numerador (r 2) ∗ denominador (r 1)) ;
}
Facultad de Ciencias Exactas y Naturales
Algoritmos y Estructura de Datos I
Introducción Manos a la obra

Un par de ejemplos
Un tipo completo:
\begin{tipo}{Persona}
\observador{nombre}{p: Persona}{String}
\observador{edad}{p: Persona}{\ent}
\invariante[yaNacio]{edad(p) \geq 0}
\end{tipo}

Se muestra ası́:
tipo Persona {
observador nombre (p: Persona) : String ;
observador edad (p: Persona) : Z ;
invariante yaNació : edad(p) ≥ 0 ;
}
Facultad de Ciencias Exactas y Naturales
Algoritmos y Estructura de Datos I
Introducción Manos a la obra

Un par de ejemplos

Agregar una foto (en su forma más básica) es también bastante

simple.
Con el siguiente código se incluye una imagen, con su tamaño
aumentado un 10%.
\includegraphics[scale=1.1]{fotoPablic.jpg}

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I
Introducción Manos a la obra

¡Terminamos!

Resumiendo:
Hay LATEXpara su S. O.
Si usan LATEX, tienen parte del TP hecho.
Vimos lo mı́nimo. Si algo no sale, busquen por Internet y
pregunten.

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I