Re: bilingual translation

2017-04-02 Thread Alessandro Bandeira Duarte
allel" package. I see that reledpar is a replacement for for ledpar. On 31 March 2017 at 11:37, Alessandro Bandeira Duarte mailto:dedekin...@nulfic.org>> wrote: Dear members, I translated the book Begriffsschrift into portuguese using LyX. However, the editor wants a bilingu

bilingual translation

2017-03-31 Thread Alessandro Bandeira Duarte
Dear members, I translated the book Begriffsschrift into portuguese using LyX. However, the editor wants a bilingual edition. I've found the package reledpar. My question: Are there other packages that do the same work? Best regards Alessandro Duarte

bilingual translation

2017-03-31 Thread Alessandro Bandeira Duarte
Dear members, I translated the book Begriffsschrift into portuguese using LyX. However, the editor wants a bilingual edition. I've found the package reledpar. My question: Are there other packages that do the same work? Best regards Alessandro Duarte -- Alessandro Bandeira Duarte

Re: Question

2017-02-14 Thread Alessandro Bandeira Duarte
manager for linux as windows. Please help me to do that. >> >>   >> >> BEST REGARDS >> >>   >> >> ISLAM ELMASRY >> >> SOFTWARE ENGINEER -- Alessandro Bandeira Duarte UFRRJ www.alessandroduarte.com.br [1] http://grupofilosofi

Re: Banco do Brasil solicita que o micro seja formatado -- Alguém passa por isso?

2016-04-04 Thread Alessandro Bandeira Duarte
Já tive que ir na agência duas vezes esse ano. Troquei a senha, mas não formatei meu computador (aliás coisa que nunca fiz desde que o montei). É problema nesse sistema de segurança do BB (o correto era o computador ficar registrado e não pedir mais o código de acesso. Por algum motivo estranho

Re: Tex Live: abntex2

2016-02-09 Thread Alessandro Bandeira Duarte
pdflatex arquivo.tex bibtex arquivo.tex e compilar mais uma ou duas vezes pdflatex arquivo.tex Em 09-02-2016 10:41, Diego Rabatone Oliveira escreveu: Você precisa rodar também o comando bibtex, veja mais em: http://www.bibtex.org/Using/ Dica: Existe uma lista latex-br =) ---

Re: no KBiBteX available for openSUSE Leap 42.1

2015-11-26 Thread Alessandro Bandeira Duarte
Hi, by "I can find no working Kbibtex for it." what do you mean? Have you tried to compile kbibtex? http://home.gna.org/kbibtex/download.html In fact, I use jabref: http://jabref.sourceforge.net/ Em 26-11-2015 13:54, Michael Berger escreveu: Hi, I did the 'leap' from openSUSE 13.2 to 42.1 /KD

Re: Prefeitura de Alvorada/RS realiza novo processo para escolha de Software Livre

2015-10-22 Thread Alessandro Bandeira Duarte
(51) 3288-1764 -- Alessandro Bandeira Duarte UFRRJ www.alessandroduarte.com.br http://grupofilosofiadamatematica.com.br (Usa GNU/Linux) "Colaborar atrai amigos, competir atrai inimigos …" alessandrodua...@ekiga.net

Re: ABNTeX2e e Debian 8 (Jessy)

2015-08-28 Thread Alessandro Bandeira Duarte
nIy92ksKxFPVcvf2nOIT1E7Hv7onD2PY 40bKo68uMrqJKUIRiLF2zLI259ozNABHE+ClCfNYoCgw2dBmP6RiN6tysVJ3OUL6 M9B4Foo6OvZaVqeiE8aHzF8nXE/nhtgGeAwdQ0K1IAbx6uimkKunXik/UzJyucWM eyNdYTYJNaeGLQ5ImXpfVwoIrGLdWWS9FE+dGsb1xL5/bQ3CvJITlqSymHe3wJ4p Ese8YQgqf66ycgAuYGEDxTyhMHAQgeb/5I6iVCmQi7DPVEuBskUnKP7cwc6MNbM= =67Dx -END PGP SIGNATURE--

Re: ABNTeX2e e Debian 8 (Jessy)

2015-08-28 Thread Alessandro Bandeira Duarte
ah sim, estou com o wheezy ainda. Deve ter entrado no jessie Em 27-08-2015 18:16, Alessandro Bandeira Duarte escreveu: Está no texlive 2015. Se instalar manualmente, ok Mas no texlive no repositório do debian acho que não está Em 27-08-2015 18:02, Diego Rabatone Oliveira escreveu: O abntex2

Re: ABNTeX2e e Debian 8 (Jessy)

2015-08-27 Thread Alessandro Bandeira Duarte
Estava com wheezy ainda. De fato, no jessie (texlive 2014), o abntex2 está no pacote texlive-full.

Re: ABNTeX2e e Debian 8 (Jessy)

2015-08-27 Thread Alessandro Bandeira Duarte
agosto de 2015 17:26, Alessandro Bandeira Duarte <mailto:dedekin...@alessandroduarte.com.br>> escreveu: Pela terceira vez, o abntex não tem a classe abntex2, logo o compilador reclamará Portanto, ou instala o abntex2 manualmente ou pode usar esse repositório não-oficial

Re: ABNTeX2e e Debian 8 (Jessy)

2015-08-27 Thread Alessandro Bandeira Duarte
Faria Corcete DUTRA escreveu: Le 27 août 2015 15:24:57 GMT-03:00, Jamenson Ferreira Espindula de Almeida Melo a écrit : ! LaTeX Error: File `abntex2.cls' not found. Por favor, poupe-nos desses cabeçalhos e rodapés inúteis. aptitude install abntex -- Alessandro Bandeira Duarte

Re: LatexKile

2015-05-01 Thread Alessandro Bandeira Duarte
>pdf a figura aparece. > > -- > Manoel -- Alessandro Bandeira Duarte UFRRJ www.alessandroduarte.com.br http://grupofilosofiadamatematica.com.br www.alessandroduarte.com.br/latex_e_linux (Usa GNU/Linux) "Colaborar atrai amigos, competir atrai inimigos …" alessandrodua...@ekiga.net htt

Re: LatexKile

2015-05-01 Thread Alessandro Bandeira Duarte
do crio o pdf a > partir do dvi->ps->pdf a figura aparece. > > -- > Manoel -- Alessandro Bandeira Duarte UFRRJ www.alessandroduarte.com.br http://grupofilosofiadamatematica.com.br www.alessandroduarte.com.br/latex_e_linux (Usa GNU/Linux) "Colaborar atrai amigos, competir atrai

Re: computador compatível com software livre. onde comprar?

2015-04-13 Thread Alessandro Bandeira Duarte
Uso Parabola. Funciona bem nesse hardware (nenhum driver proprietário. Kernel linux-libre: Konsole output Linux logica 3.19.3-gnu-3 #1 SMP PREEMPT Thu Apr 9 17:51:06 UYT 2015 i686 GNU/Linux) Konsole output 00:00.0 Host bridge: Intel Corporation 3rd Gen Core processor DRAM Controller (rev09) 0

Re: computador compatível com software livre. onde comprar?

2015-04-12 Thread Alessandro Bandeira Duarte
Express Fast Ethernet controller (rev 05) On 12-04-2015 21:58, Fred Maranhão wrote: neste mesmo hardware qual? Em 12 de abril de 2015 20:13, Alessandro Bandeira Duarte escreveu: Nesse mesmo hardware, tenho debian 8 instalado, só com main habilitado e linux-libre # # deb cdrom:[Debian GNU

Re: computador compatível com software livre. onde comprar?

2015-04-12 Thread Alessandro Bandeira Duarte
Nesse mesmo hardware, tenho debian 8 instalado, só com main habilitado e linux-libre # # deb cdrom:[Debian GNU/Linux testing _Jessie_ - Official Snapshot i386 NETINST Binary-1 20141115-10:06]/ jessie main # deb cdrom:[Debian GNU/Linux testing _Jessie_ - Official Snapshot i386 NETINST Binary

Re: Porque o KDE trava o meu pc?

2015-02-13 Thread Alessandro Bandeira Duarte
bola de cristal funcionando bem aí... On 02/13/15 20:10, Emerson Sobreiro wrote: > > Simples, provavelmente não habilitou o repositório non-free e assim > não tem driver proprietário. > > Em 13/02/2015 18:46, "Alessandro Bandeira Duarte" > <mailto:dedekin...@ale

Re: Porque o KDE trava o meu pc?

2015-02-13 Thread Alessandro Bandeira Duarte
Por causa do problema de junta On 13-02-2015 12:43, Vitor Hugo wrote: > Porque o KDE trava o meu pc? -- To UNSUBSCRIBE, email to debian-user-portuguese-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/54de22c

Re: OF - latex

2014-09-16 Thread Alessandro Bandeira Duarte
Não conheço, mas gostaria também de saber se há. Poderia ser o caso de se começar uma. Aqui no Brasil, infelizmente, o $\LaTeXe$ não é tão utilizado quanto deveria Em 16-09-2014 23:44, Caio Ferreira escreveu: > lista > > por acaso alguém conhece alguma lista de discossão em português sobre > a f

Re: FSF e Debian

2014-09-12 Thread Alessandro Bandeira Duarte
e o cidadão nem fica corado Em 12-09-2014 22:01, Luiz L. Marins escreveu: > Distribuição Linux para desktop, sem free proprietário, simplesmente > não funciona. > > O que está errado no Linux Desktop são os conceitos defasados de > software livre da FSF, e não as distribuições que abandonaram a

Re: FSF e Debian

2014-09-09 Thread Alessandro Bandeira Duarte
To UNSUBSCRIBE, email to debian-user-portuguese-requ...@lists.debian.org Em 09-09-2014 15:52, Alvaro Netto escreveu: > To UNSUBSCRIBE, email to debian-user-portuguese-requ...@lists.debian.org -- To UNSUBSCRIBE, email to debian-user-portuguese-requ...@lists.debian.org with a subject of "unsubscr

Re: FSF e Debian

2014-09-09 Thread Alessandro Bandeira Duarte
Em 09-09-2014 15:52, Alvaro Netto escreveu: > To UNSUBSCRIBE, email to debian-user-portuguese-requ...@lists.debian.org > > with a subject of "unsubscribe". Trouble? Contact > > listmas...@lists.debian.org > > Archive: > > https://lists.debian.org/cafqwws4rlf2nwulz3dezb9skhb7mv8uaf6jbvu+qxmjrzcu.

Re: FSF e Debian

2014-09-09 Thread Alessandro Bandeira Duarte
descobriu a pólvora... Em 09-09-2014 11:55, S&DeMario escreveu: > concordo com o Djones, muita gente não usa Linux simplesmente por que > não há suporte para um ou outro software proprietário, mas também deve > existir lobby da Microsoft junto a algumas empresas, como Adobe, > Autodesk, que simpl

Re: FSF e Debian

2014-09-08 Thread Alessandro Bandeira Duarte
putz... Em 09-09-2014 00:07, Djones escreveu: > Olá. > > Até onde conheço, o repositório contrib também exclusivamente de > software livre. Apenas não faz parte do projeto Debian, que abrange > todo o repositório main. > > A meu ver o Debian faz muito bem em manter o repositório non-free, não > s

Re: FSF e Debian

2014-09-08 Thread Alessandro Bandeira Duarte
putz... Em 09-09-2014 00:07, Djones escreveu: > Olá. > > Até onde conheço, o repositório contrib também exclusivamente de > software livre. Apenas não faz parte do projeto Debian, que abrange > todo o repositório main. > > A meu ver o Debian faz muito bem em manter o repositório non-free, não > s

Re: [OFF] Governo Federal x Marco Civil x Wikipedia

2014-08-09 Thread Alessandro Bandeira Duarte
loga), não precisa de trollagem de wikipedia (que ninguém lê). Um exemplo da nulidade que é a Miriam: http://www.youtube.com/watch?v=kFH2uHnTxdM&html5=1 -- Alessandro Bandeira Duarte UFRRJ www.alessandroduarte.com.br http://grupofilosofiadamatematica.com.br http://grupofilosofiadamatematica.c

Re: Alo!!!

2014-06-09 Thread Alessandro Bandeira Duarte
O cidadão está trolando... basta ver o tanto de desinformação colocada na lista Em 09-06-2014 15:32, Fred Maranhão escreveu: > Em 9 de junho de 2014 14:58, "J.S.Júnior" escreveu: > ... >> Prefiro continuar ajudando na tradução do debian assim como creio que o >> Adriano Rafael, também rsrs do que

Re: Alo!!!

2014-06-09 Thread Alessandro Bandeira Duarte
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 é troll Em 09-06-2014 11:32, Manoel Pedro de Araújo escreveu: > Para começar o brasileiro tem uma tendencia a copia americano, > primeiro eu começaria com nome genuinamente brasileiro e nao > "debian" o debian tem varios probvlemas com redes, som e ja

Re: Alo!!!

2014-06-07 Thread Alessandro Bandeira Duarte
https://en.wikipedia.org/wiki/Ian_Murdock Em 07-06-2014 23:15, Fred Maranhão escreveu: Em 7 de junho de 2014 13:10, Augusto escreveu: Pelo seguinte Sr. Fred. As Distros seguem as regras dos Países do qual se originam. O Fedora, por exemplo é americano. Tendo em vista os recentes problemas d

Re: APA article document class DEB package

2014-04-18 Thread Alessandro Bandeira Duarte
On 18-04-2014 20:27, Alessandro Bandeira Duarte wrote: > On 18-04-2014 20:07, Richard Heck wrote: >> On 04/18/2014 03:25 PM, kete wrote: >>> This may be a question for Debian or Debian derivative Lyx users. >>> Can any of you tell me how to make the article APA or articl

Re: APA article document class DEB package

2014-04-18 Thread Alessandro Bandeira Duarte
On 18-04-2014 20:07, Richard Heck wrote: > On 04/18/2014 03:25 PM, kete wrote: >> This may be a question for Debian or Debian derivative Lyx users. Can >> any of you tell me how to make the article APA or article APA6 >> document classes available in my document settings? > > I don't know exactly u

Re: APA article document class DEB package

2014-04-18 Thread Alessandro Bandeira Duarte
On 18-04-2014 20:07, Richard Heck wrote: > On 04/18/2014 03:25 PM, kete wrote: >> This may be a question for Debian or Debian derivative Lyx users. Can >> any of you tell me how to make the article APA or article APA6 >> document classes available in my document settings? > > I don't know exactly u

Re: Criação de DVD Bootavel

2014-03-25 Thread Alessandro Bandeira Duarte
"Usei o Daemon pra abrir a imagem" Esse é o problema... Em 03/25/14 16:10, Afrânio Cunha escreveu: Usei o Daemon pra abrir a imagem e o plugin AstroBurn pra gravar o DVD. Em 25/03/2014 16:02, "Leandro Henrique Stein" mailto:leandro.h.st...@gmail.com>> escreveu: Afrânio, Como você

Re: Criação de DVD Bootavel

2014-03-25 Thread Alessandro Bandeira Duarte
Você queimou a imagem? ou gravou como dado? Se for o último caso, é a causa do problema Em 03/25/14 15:57, Afrânio Cunha escreveu: Rodolfo!!! Fazendo o teste primeiramente com uma maquina virtual a mensagem que aparece no Virtual Box é a seguinte: FATAL: No bootable medium found! System halte

Re: Reistalação [Perca de Dados]

2014-03-25 Thread Alessandro Bandeira Duarte
na reinstalação, usou o mesmo usuário? Se não, os dados estão na pasta /home/usuário_anterior Em 25-03-2014 11:46, Christian Rosa escreveu: Pessoal, Hoje pela manhã reinstalei meu sistema e meus DADOS SUMIRAM "HELP ME" Eu tinha o seguinte particionamento / - Para o sistema /home - Onde tinha

Re: Solução definitiva para acessar o Banco do Brasil no Debian 7

2014-03-25 Thread Alessandro Bandeira Duarte
Parece ser algum feature do kernel padrão do jessie. Uso wheezy (i686) e não tive qualquer problema. No gentoo, com kernel 3.13.6 (x86_64), funciona também Em 25-03-2014 11:57, S&DeMario escreveu: Interessante, vou testar depois. Para resolver meu caso instalei o java da Oracle, com kernel 3

Re: [Off-Topic] Texto para reflexão: Geração Ubuntu e a morte do movimento Software Livre no Brasil

2014-02-10 Thread Alessandro Bandeira Duarte
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 ops, open source movement Em 10-02-2014 11:08, Alessandro Bandeira Duarte escreveu: > > Não há nenhum mimimi, apenas a constatação já pronunciada por Stalmman > por conta do free open moviment, uma espécie de quinta coluna. No mais, >

Re: [Off-Topic] Texto para reflexão: Geração Ubuntu e a morte do movimento Software Livre no Brasil

2014-02-10 Thread Alessandro Bandeira Duarte
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Não há nenhum mimimi, apenas a constatação já pronunciada por Stalmman por conta do free open moviment, uma espécie de quinta coluna. No mais, triste é ver usuário querendo instalar o office no "UBUNTO", porque ele é livre para instalar qualquer coisa

Re: Banco do Brasil, Iceweasel, Icedtea

2014-01-24 Thread Alessandro Bandeira Duarte
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Retificando, no 3.11.10-301 também funcionou (agora) Em 24-01-2014 18:59, "Éder S. G. (Jordan)" escreveu: > On 01/24/2014 06:00 PM, Linux - Junior Polegato wrote: >> Galera, > > Boa tarde a todos os membros da lista de discussão debian user > port

Re: [Logica-l] tableaux + latex

2013-06-10 Thread Alessandro Bandeira Duarte
, tb 'e importante nao parecer que vc esta' tentando > levar o credito de quem possui...de qq forma obrigada por mostrar esse > writeLatex em acao. parece bem legal. > abs > Valeria > > On Sat, Jun 8, 2013 at 8:32 PM, Alessandro Bandeira Duarte > <mailto:dedekin.

Re: [Logica-l] tableaux + latex

2013-06-10 Thread Alessandro Bandeira Duarte
Caros, O xypic funciona com texmaths [22] + libreoffice [23] http://www.alessandroduarte.com.br/imagens/var/albums/imagem2.png?m=1370748567 [24] http://www.alessandroduarte.com.br/imagens/var/albums/imagem3-709850655.png?m=1370748642 [25] --- Alessandro Bandeira Duarte UFRRJ [26

[Logica-l] Comparing Peano Arithmetic, Basic Law V, and Hume's Principle

2013-05-28 Thread Alessandro Bandeira Duarte
http://videolectures.net/godelfellowship2011_walsh_cpa/ [1] -- Alessandro Bandeira Duarte UFRRJ [2] www.alessandroduarte.com.br [3] http://grupofilosofiadamatematica.com.br [4] http://grupofilosofiadamatematica.com.br/forum/ [5] http://grupofilosofiadamatematica.com.br/wiki [6

Re: [Logica-l] tableaux + latex

2013-05-28 Thread Alessandro Bandeira Duarte
Caros, segue o código completo: https://www.writelatex.com/201971gzmchf [14] --- Alessandro Bandeira Duarte UFRRJ [15] www.alessandroduarte.com.br [16] http://grupofilosofiadamatematica.com.br [17] http://grupofilosofiadamatematica.com.br/forum/ [18] http

Re: [Logica-l] tableaux + latex

2013-05-28 Thread Alessandro Bandeira Duarte
https://www.writelatex.com/201971gzmchf [6] --- Alessandro Bandeira Duarte UFRRJ [7] www.alessandroduarte.com.br [8] http://grupofilosofiadamatematica.com.br [9] http://grupofilosofiadamatematica.com.br/forum/ [10] http://grupofilosofiadamatematica.com.br/wiki [11

Re: [Logica-l] tableaux + latex

2013-05-27 Thread Alessandro Bandeira Duarte
&& (k) & 5, \lozenge \mbox{S}5\\ > 8. && q &&& (l) & 6, \lozenge \mbox{S}5\\ > 9. && \sim(p\& q) &&& (k) & 4,\square\mbox{S}5\\ > 10. && \sim(p\& q)\ar@{-}[dl]\ar@{-}[dr] &&& (l) & 4,\square\

Re: [Logica-l] tableaux + latex

2013-05-27 Thread Alessandro Bandeira Duarte
Caros, falei do xytree, mas percebi uma solução melhor: xypic, que permite modificar o espaçamento das células http://www.tug.org/applications/Xy-pic/ código: \xymatrix@R=.7pt@C=8pt{ 1. && \sim((\lozenge p\&\lozenge q)\supset\lozenge(p\& q))&&&(n)&NTF\\ 2. && (\lozenge p\&\lozenge q)&&&(n)&1\\

[Logica-l] Tableaux + latex

2013-05-23 Thread Alessandro Bandeira Duarte
e{($k$)}& &xynode{2, $square$S5}\ xynode{} &&xynode{$times$}& &xynode{$times$}&& xynode{}&xynode{}\ } Imagem http://www.alessandroduarte.com.br/imagens/var/resizes/tableaux-435887478.png?m=1369336973 [7] As linhas estão muito "espaçadas", mas dev

[Bug 945605] Re: package icedtea-7-plugin not installed failed to install/upgrade: sub-processo script post-installation instalado retornou estado de saída de erro 2

2012-03-03 Thread Alessandro Bandeira Duarte
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/945605 Title: package icedtea-7-plugin not installed failed to install/upgrade: sub-processo script post-installation instalado retornou estado de

[Bug 945605] [NEW] package icedtea-7-plugin not installed failed to install/upgrade: sub-processo script post-installation instalado retornou estado de saída de erro 2

2012-03-03 Thread Alessandro Bandeira Duarte
Public bug reported: don't install ProblemType: Package DistroRelease: Ubuntu 12.04 Package: icedtea-7-plugin (not installed) ProcVersionSignature: Ubuntu 3.2.0-16.25-generic 3.2.6 Uname: Linux 3.2.0-16-generic i686 NonfreeKernelModules: nvidia ApportVersion: 1.93-0ubuntu2 Architecture: i386 Date

Re: [Logica-l] Fwd: Colóquio sobre Metaphysical Logic na UFRJ

2011-03-30 Thread Alessandro Bandeira Duarte
Está pergunta é retórica? -- Alessandro Bandeira Duarte UFRRJ http://frege.hdfree.com.br/ (Usa GNU/Linux) On Wednesday 30 March 2011 18:37:14 Joao Marcos wrote: > Está para ocorrer um (o primeiro) colóquio sobre "Metaphysical Logic" na > UFRJ. > > Alguém saberi

Re: [Logica-l] incompletude concreta

2011-03-01 Thread Alessandro Bandeira Duarte
> O chato dessa lista é que não dá pra anexos, ou postava o artigo aqui. > uma possibilidade é upar no googledocs e linkar aqui -- Alessandro Bandeira Duarte UFRRJ frege.hdfree.com.br (Usa GNU/Linux) Em terça-feira 01 março 2011, às 06:26:42, Francisco Antonio Doria escreveu: > O ch

Re: [Logica-l] EBL 2011 - extended deadline

2011-01-13 Thread Alessandro Bandeira Duarte
O deadline foi mesmo prorrogado? Na pagina oficial ainda consta 15/01 -- Alessandro Bandeira Duarte UFRRJ (Usa GNU/Linux) On Thursday 13 January 2011 14:06:13 Renata de Freitas wrote: > [ please distribute - apologies for multiple cop

Re: [Logica-l] LaTeX ---> rtf

2011-01-09 Thread Alessandro Bandeira Duarte
Desde que comprei "meu computador" sempre usei linux. Como mencionei, é possível usar o openoffice (libreoffice) que salva em .doc e ainda assim usar o LaTex com o ooolatex... -- Alessandro Bandeira Duarte (Usa GNU/Linux) Em domingo 09 janeiro 2011, às 16:29:45, Francisco Ant

Re: [Logica-l] LaTeX ---> rtf

2011-01-08 Thread Alessandro Bandeira Duarte
.imageshack.us/f/imagem31m.png/ -- Alessandro Bandeira Duarte (Usa GNU/Linux) Em sábado 08 janeiro 2011, às 12:38:06, Carlos Gonzalez escreveu: > Eu já teve que passar artigos para revistas que não aceitavam LaTeX, > usando coisas como latex2rtf e semelhantes (tem alguns programas > c

Re: [Logica-l] LaTeX ---> rtf

2011-01-08 Thread Alessandro Bandeira Duarte
basta descompactar e ver o read... terá que compilar. Pelo que vi make e make install. (terá que ter um compilador). -- Alessandro Bandeira Duarte (Usa GNU/Linux) Em sábado 08 janeiro 2011, às 09:35:14, Francisco Antonio Doria escreveu: > Tô com um livro na Record, todo composto, bonitinho,

Re: [Logica-l] LaTeX ---> rtf

2011-01-08 Thread Alessandro Bandeira Duarte
2rtf/files/latex2rtf- unix/2.1.0/ -- Alessandro Bandeira Duarte (Usa GNU/Linux) Em sábado 08 janeiro 2011, às 09:35:14, Francisco Antonio Doria escreveu: > Tô com um livro na Record, todo composto, bonitinho, em LaTeX, e eles me > pediram pra fazer a conversão. Vou ver se convenço eles

Re: [Logica-l] LaTeX ---> rtf

2011-01-07 Thread Alessandro Bandeira Duarte
latex2rtf http://latex2rtf.sourceforge.net/ -- Alessandro Bandeira Duarte UFRRJ (Usa GNU/Linux) Em sex 07 jan 2011, às 19:06:01, Francisco Antonio Doria escreveu: > Alguem tem um programa que converta LaTeX (source file) em rtf, para mac? > >

[Logica-l] erro

2010-03-23 Thread Alessandro Bandeira Duarte
Sem querer enviei um e-mail para o Abílio, mas tinha um CC para o grupo. -- Alessandro Bandeira Duarte (Usa GNU/Linux) ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] frege - leis basicas da aritmetica em espanhol

2010-03-23 Thread Alessandro Bandeira Duarte
utir isto anteriormente, mas trabalhando o sistema de Robbin que percebi estas estranhezas. Vou tentar ver se (1), (2) e (4) é completo ou não. Para isto, basta mostrar que alguma tautologia é independente de 1,2 e 4. -- Alessandro Bandeira Duarte (usa GNU/Linux) Em Seg 22 Fev 2010, às 2

Re: [Logica-l] frege - leis basicas da aritmetica em espanhol

2010-03-07 Thread Alessandro Bandeira Duarte
Fala Abílio, tomei posse e entrei em exercício na terça passada... -- Alessandro Bandeira Duarte (Usa GNU/Linux) Em Segunda-feira 22 Fevereiro 2010, às 21:08:12, Abílio escreveu: > Ola para todos. > Alguem teria em pdf, ou saberia onde encontrar, uma traducao das Leis > Basicas da A

[Logica-l] concurso

2009-10-08 Thread Alessandro Bandeira Duarte
http://www.ufabc.edu.br/index.php?option=com_content&view=article&id=2329%3Aedital-no-15109-prof-adjunto-i-area-logica-e-filosofia-da-logica-epistemologia-filosofia-da-ciencia-22092009&catid=228%3Aconcursos-professores&Itemid=14 Alessandro Bandeira Duart

Re: [Logica-l] Begriffsschrift + latex

2009-09-19 Thread Alessandro Bandeira Duarte
Caro Hugo Nobrega, era exatamente por isto que eu procurava (ainda sou neófito no uso do latex). Muito obrigado. http://img190.imageshack.us/img190/3826/capturadetelabd.png Também gostaria de agradecer ao Arthur Buchsbaum. Abraços Alessandro Bandeira Duarte (Usa GNU/Linux) Em Sáb 19 Set

[Logica-l] Begriffsschrift + latex

2009-09-19 Thread Alessandro Bandeira Duarte
/6519e120/GGA1.html Um abraço -- Alessandro Bandeira Duarte (Usa GNU/Linux) ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l