Pular para o conteúdo

Alessandro Duarte

[;\LaTeXe;] - Pacotes relacionados à Lógica
LaTeX - Básico
Apresentação
GNU/Linux-libre e demais softwares livres
Lyx
Artigos
Lula livre
abnTeX2
- Usando o abnTeX2 - Parte 1
- Usando o abnTeX - parte 2 (Criando capa e elementos pré-textuais)

[;\LaTeXe;] - Pacotes relacionados à Lógica

Postaremos aqui dicas sobre pacotes utilizados para produzir fórmulas e deduções lógicas.

Sobre o autor:

Estudou na Escola Técnica Federal de Química (1991-1995). Graduou-se Bacharel em Filosofia em 2001. Fez Mestrado e Doutorado na PUC-Rio entre 2002-2009. Atualmente é professor de Lógica e Filosofia da Matemática na UFRRJ. É seguidor do movimento do Software Livre e há pouco tempo descobriu o [;\LaTeXe;].

Fórum

Projeto GNU e Fundação Software Livre

Projeto GNU
Fundação Software Livre

Links das Principais Distribuições GNU

Debian
Fedora
Gentoo
Slackware
Parabola
Ututo
Trisquel
GnewSense
Musix
Dynebolic
PureOS

Links para [;\LaTeXe;]

Projeto [;\LaTeXe;]
Ctan
Texlive
[;\LaTeXe;] para Lógicos
[;\LaTeXe;] para Linguístas

Posts recentes

Entrevista com Stallman
Marco Civil da Internet
Marco Cívil da Internet: Por que devemos apoiar?
Apresentação

Páginas

abnTeX2
- Usando o abnTeX2 - Parte 1
- Usando o abnTeX - parte 2 (Criando capa e elementos pré-textuais)
Apresentação
Artigos
GNU/Linux-libre e demais softwares livres
LaTeX - Básico
Lula livre
Lyx
[;\LaTeXe;] - Pacotes relacionados à Lógica

Eventos GNU

Arquivos

novembro 2013
setembro 2013
agosto 2013

junho 2025
D	S	T	Q	Q	S	S
1	2	3	4	5	6	7
8	9	10	11	12	13	14
15	16	17	18	19	20	21
22	23	24	25	26	27	28
29	30

« nov

Meta

Acessar
Feed de posts
Feed de comentários
WordPress.org

Pesquisar por:

Meta

Acessar
Feed de posts
Feed de comentários
WordPress.org

Este trabalho foi licenciado com uma Licença Creative Commons - Atribuição-NãoComercial-CompartilhaIgual 3.0 Não Adaptada.

© 2025 Alessandro Duarte • Built with GeneratePress