Académique Documents
Professionnel Documents
Culture Documents
Autran Macdo e
Introduo ca
Como eu comeo? c
A 1. L TEX tem que estar instalado.
O que est contido num arquivo .tex? a \documentclass{article} . . prembulo a \begin{document} . . texto \end{document}
\LaTeX!!!!!!
Acentuao ca cedilha minscula = \c{c} u cedilha maiscula = \c{C} u til = \ { letra } acentos = \ acento { letra } acento ::= (agudo); ^(circ.); (crase); (trema) i com acento = \ acento {\i}
O que colocado no prembulo? e a Informaes sobre a formatao do texto, tais como: co ca t tulo e autores do texto; data; carga de pacotes; denio de macros; ca distribuio do texto ao longo do papel; ca ...
Exemplo de um artigo \documentclass[12pt,a4paper]{article} \usepackage[brazil]{babel} \title {Verifica\c{c}\~{a}o Simb\{o}lica de Modelos} \author{Autran Mac\^{e}do \and Mark Song} \date{} \begin{document} \maketitle . .
O resumo do artigo . . \begin{abstract} Sistemas de hardware e software t\^{e}m se tornado cada vez mais complexos. Tradicionalmente, sistemas complexos s\~{a}o validados por meio de t\{e}cnicas de simula\c{c}\~{a}o e teste. Contudo ...... \end{abstract}
10
Uma seo do artigo ca Symbolic Model Checking Uma alternativa para minimizar o problema de exploso de estados foi proa posta no in dos anos 90 e conhecida como Symbolic Model Checking cio e - SMC [2,3]. . . . \section*Symbolic Model Checking Uma alternativa para minimizar o problema de explos\~ao de estados foi proposta no in\{\i}cio dos anos 90 e \{e} conhecida como \textit{Symbolic Model Checking} SMC~\cite{bcm+92,Ma}. \ldots
11
Referencia a uma parte do texto A gura 1 ilustra esta estrutura Kripke. Observe que os estados 1 e 2 no a so alcanveis, pois partindo-se de S0 no h transies para . . . a ca a a co A figura~\ref{fig:fig2} ilustra esta estrutura Kripke. Observe que os estados 1 e 2 n\~{a}o s\~{a}o alcan\c{c}\{a}veis, pois partindo-se de $S_0$ n\~{a}o h\{a} transi\c{c}\~{o}es para \ldots
12
13
Figuras ao longo do texto As guras tem que estar no formato eps. \begin{gure} [htb] \begin{center} \resizebox{!}{9cm} \{includegraphics{guras/estrutKripke.eps}} \caption{Grafo de transio de estados.} ca \label{g:g2} \end{center} \end{gure}
14
Agrupamento de texto em itens enumerate - os itens so numerados automaticamente. a description - os objetos so destacados de sua descrio. a ca itemize - os itens so precedidos por uma bolinha. a
15
Agrupamento de texto em itens \begin{description} \item[enumerate] - os itens s\~{a}o numerados automaticamente. \item[description] - os objetos s\~{a}o destacados de sua descri\c{c}\~{a}o. \item[itemize] - os itens s\~{a}o precedidos por uma "bolinha". \end{description}
16
Agrupando o texto em itens Um outro exemplo de uso de uso de agrupamento. \begin{itemize} \item O que \{e} \LaTeX? \item \LaTeX\ \{e} melhor do que uma ferramenta \textit{WYSIWYG}? \item Por que usar o \LaTeX? \end{itemize}
17
Referncia ` bibliograa e a Alternativa 1 \begin{thebibliografy}{} ... \bibitem{Ma} Kenneth Macmillan. \emph{Symbolic Model Checking}. ... \end{thebibliografy}
18
19
Referncia ` bibliograa e a 1. Produzir um arquivo .bib 2. Lanar o programa bibtex c bibtex arq.tex
20
Um arquivo BIBTEX @article{ACP95, author = {T. Anderson and D. Culler and D. Patterson}, title = {A case for {NOW} ({N}etwork {O}f {W}orkstations)}, journal = {IEEE Micro}, volume = 15, number = 1, year = 1995, month = {February}, pages = {54-64}}
21
Concluso a
22
Concluso a
23
Referncias e www.ctan.org
A L TEX - Users Guide and Reference Manual, Leslie Lamport