Introduccion Manos a la obra

Algoritmos y Estructura de Datos ILATEX

Facultad de Ciencias Exactas y Naturales

Miercoles 1 de Abril de 2015

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I

Introduccion Manos a la obra

WYSIWYG, WYSIWYM & WTF

WYSIWYG: What You See Is What You GetEn este paradigma escribiremos directamente lo que queremosobtener. Por ejemplo, cuando queremos agregar una imagen,directamente la insertamos donde queremos ponerla.

WYSIWYM: What You See Is What You MeanEn este paradigma escribiremos texto y comandos que luegode ser compilados se convierten en nuestro archivo final.

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I

Introduccion Manos a la obra

Un poco de motivacion

∀y ∈ {1, 2, 3} :

(3+2

(5∗7)+1

2

)× y ≤ 150/2

Unos sımbolos raros, parentesis de distinto tamano, cosas a distintaaltura. ¿Cuanto 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 practicas de la materia? Sı, hechas en LATEX.¿Y los TPs? Tambien, hechos en LATEX.¿Y esta presentacion? Listo, ya se entendio.

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I

Introduccion Manos a la obra

Un poco de motivacion

∀y ∈ {1, 2, 3} :

(3+2

(5∗7)+1

2

)× y ≤ 150/2

Unos sımbolos raros, parentesis de distinto tamano, cosas a distintaaltura. ¿Cuanto 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 practicas de la materia? Sı, hechas en LATEX.¿Y los TPs? Tambien, hechos en LATEX.¿Y esta presentacion? Listo, ya se entendio.

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I

Introduccion Manos a la obra

Un poco de motivacion

∀y ∈ {1, 2, 3} :

(3+2

(5∗7)+1

2

)× y ≤ 150/2

Unos sımbolos raros, parentesis de distinto tamano, cosas a distintaaltura. ¿Cuanto 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 practicas de la materia? Sı, hechas en LATEX.

¿Y los TPs? Tambien, hechos en LATEX.¿Y esta presentacion? Listo, ya se entendio.

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I

Introduccion Manos a la obra

Un poco de motivacion

∀y ∈ {1, 2, 3} :

(3+2

(5∗7)+1

2

)× y ≤ 150/2

Unos sımbolos raros, parentesis de distinto tamano, cosas a distintaaltura. ¿Cuanto 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 practicas de la materia? Sı, hechas en LATEX.¿Y los TPs? Tambien, hechos en LATEX.

¿Y esta presentacion? Listo, ya se entendio.

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I

Introduccion Manos a la obra

Un poco de motivacion

∀y ∈ {1, 2, 3} :

(3+2

(5∗7)+1

2

)× y ≤ 150/2

Unos sımbolos raros, parentesis de distinto tamano, cosas a distintaaltura. ¿Cuanto 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 practicas de la materia? Sı, hechas en LATEX.¿Y los TPs? Tambien, hechos en LATEX.¿Y esta presentacion? Listo, ya se entendio.

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I

Introduccion Manos a la obra

Otro poco de motivacion

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

4 6 8 10

Nota maxima por formato de entrega

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I

Introduccion Manos a la obra

Otro poco de motivacion

Corrigio texto planoCorrigio LATEX

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I

Introduccion Manos a la obra

Entornos

Y para arrancar, ¿que necesitamos?Un compilador y un editor de texto para LATEX.Existen editores que funcionan en varios sistemas operativos, unaopcion es Texmaker.Pueden bajar Texmaker dehttp://www.xm1math.net/texmaker/download.html.Para instalar el paquete completo:

En Linux: depende de la distribucion (sudo apt-get

install texlive-full texmaker en Ubuntu, por ejemplo)

En Windows: MikTex http://miktex.org/ y Texmaker porseparado

En Mac: MacTex http://www.tug.org/mactex/ yTexmaker por separado

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I

Introduccion Manos a la obra

Estructura de un archivo LATEX

Para nuestro primer texto:

Abrimos nuestro editor de texto

Comenzamos el documento indicando que tipo de textoestamos escribiendo. Vamos a usar \documentclass{article}A continuacion 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

Introduccion Manos a la obra

¿Y como hacemos los sımbolos raros?

Sımbolos raros:

Para sımbolos simples: http://detexify.kirelabs.org/

Otra version: http://sketch-a-char.kirelabs.org/

Para cosas mas complicadas:Ej: ¿Como hago una sumatoria con el ındice abajo y la cotaarriba?)Google: “latex sum limits below above”

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I

Introduccion Manos a la obra

Modo matematico

En algunos casos puede que se topen con sımbolos que se puedenusar solo en el modo matematico o que quieran escribir formulas.Para escribir algo en modo matematico, la forma mas simple esescribirlo entre signos de pesos ($).Por ejemplo: $ \forall x \in \mathbb{N} : x+1 \geq x $∀x ∈ N : x + 1 ≥ xEs importante tener esto presente porque muchas veces al intentarusar un sımbolo del modo matematico, sale el siguiente error:! Missing $ inserted.Como el error no suele indicar el numero de lınea correcto, si noestamos atentos es difıcil entender en que nos confundimos.

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I

Introduccion Manos a la obra

¿Y los ejercicios de TP?

Macros!Para facilitarles la transicion a LATEX, se va a subir a la pagina de lamateria un template con el esqueleto de la resolucion del TP.Ademas va a haber otro archivo con las definiciones de loscomandos para las construcciones mas comunes: definiciones deproblemas, requiere, asegura, funciones auxiliares, listas porcomprension y varias cosas mas.

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I

Introduccion Manos a la obra

¿Y los ejercicios de TP?

Macros!

Para facilitarles la transicion a LATEX, se va a subir a la pagina de lamateria un template con el esqueleto de la resolucion del TP.Ademas va a haber otro archivo con las definiciones de loscomandos para las construcciones mas comunes: definiciones deproblemas, requiere, asegura, funciones auxiliares, listas porcomprension y varias cosas mas.

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I

Introduccion Manos a la obra

¿Y los ejercicios de TP?

Macros!Para facilitarles la transicion a LATEX, se va a subir a la pagina de lamateria un template con el esqueleto de la resolucion del TP.Ademas va a haber otro archivo con las definiciones de loscomandos para las construcciones mas comunes: definiciones deproblemas, requiere, asegura, funciones auxiliares, listas porcomprension y varias cosas mas.

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I

Introduccion Manos a la obra

Un par de ejemplos

¿Que podemos escribir?

Problemas:\begin{problema}{nombreProblema}{param}{tipoRes}

\requiere[nombreOpcional]{formula}\modifica{variable}\asegura[nombreOpcional]{formula}

Tipos: \begin{tipo}{NombreTipo}\observador{nombreObservador}{parametros}\invariante[nombreOpcional]{formula}

Sımbolos

\ent genera Z\float genera R

Y mas...

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I

Introduccion Manos a la obra

Un par de ejemplos

Un problema entero: Dados dos numeros, dividir y devolver el resto\begin{problema}{ cociente }{ a,b : \ent } {\ent}\requiere{b \neq 0}\modifica{a}\asegura{a == pre(a) \ div \ b}\asegura{result == pre(a) \ mod \ b }\end{problema}Se muestra ası:

problema cociente (a,b:Z) = res : Z {requiere b 6= 0 ;modifica a ;asegura a == pre(a) div b ;asegura result == pre(a) mod b ;

}Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I

Introduccion Manos a la obra

Un par de ejemplos

Un auxiliar:\aux{sinRepetidos}{l : [T]}{\bool}{(\forall i \selec [0..\longitud{l})) l i \notin l (i..\longitud{l})}

Se muestra ası:aux sinRepetidos (l : [T]) : Bool = (∀i ← [0.. |l |)) li /∈ l(i .. |l |) ;

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I

Introduccion Manos a la obra

Un par de ejemplos

Agregar una foto (en su forma mas basica) es tambien bastantesimple.Con el siguiente codigo se incluye una imagen, con su tamanoreducido al 30%.\includegraphics[scale=0.3]{success.jpg}

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I

Introduccion 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 ypregunten.

Facultad de Ciencias Exactas y Naturales

Algoritmos y Estructura de Datos I