[Logica-l] Fw: Homenagem Newton

2010-06-10 Por tôpico Dídimo Matos
Em agosto estaremos realizando na UFPB uma homenagem ao professor Newton da Costa. Aproveitaremos o lançamento do livro do Prof. Matias Francisco Dias sobre Teoria da Recursão, que será no dia 19, e faremos um pequeno encontro de 3 dias (17, 18 e 19 de agosto deste ano) para discutir suas teori

[Logica-l] LSFA 2010 Deadline extension June 13th!!

2010-06-10 Por tôpico flavio leonardo cavalcanti de moura
LSFA 2010 - 5th Workshop on Logical and Semantic Frameworks, with Applications Call for Papers Scope Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for formal specification of systems and programming lang

[Logica-l] Figura eps

2010-06-10 Por tôpico Decio Krause
Pessoal Alguém me dá uma dica de como se coloca um arquivo *.eps num LaTeX da vida? Precisa baixar algo? Eu tenho que foramatar um texto que tem o seguinte: $$ %--- \includegraphics[width=12cm]{nona1.eps} %- $$ O meu micro não entende isso. Sugestões? Agradeço. Abr

Re: [Logica-l] Figura eps

2010-06-10 Por tôpico Rodrigo Valceli Raimundo
Você usa pdflatex ou latex/dvips/pspdf ? Geralmente o pdflatex só aceita figuras .pdf/.jpg/.png Você pode utilizar epstopdf para converter a figura e retirar a extensão do includegraphics. Assim se compilar direto com o pdflatex ele pega a figura .pdf e se compilar com latex/dvips/pspdf ele pega a

Re: [Logica-l] Figura eps

2010-06-10 Por tôpico Carolina Blasio
Olá! Eu bem que já tentei fazer isso, mas na pressa (ou seria falta de paciência...) descobri como converter a imagem de .eps para .jpeg pelo ImageMagik. aliás dá para converter qualquer formato de imagem em qualquer formato de imagem por ele, entre outras mil funções. E se você não tiver o pro

Re: [Logica-l] Figura eps

2010-06-10 Por tôpico Julio Stern
Decio: Tente isto: %artigodecio.tex \begin{center} \includegraphics*[width=4.0cm, height=7.0cm, angle=-90, viewport=1 20 270 210, clip]{fig1.eps} %378 264 { Figure 1: Figura do Decio} \end{center} Os argumentos height, angle, viewport e clip sao opcionais. Se foce esp

Re: [Logica-l] Figura eps

2010-06-10 Por tôpico Pedro H. Zambrano
Olá! Prezado Décio: Escreveu no preâmbulo a linha \usepackage[dvips]{graphicx} ? Não precisa baixar programa nem pacote algum ... Acho que se vc tentou escrever essa linha, é porque está usando o compilador LaTeX ... nesse caso, precisa escrever essa linha no preâmbulo do documento. Se usar pdf