Tópico: LaTeX e unicode

[Eleitor de Mário Oliveira]

Muitíssimo obrigado, Snake!

Olha que bonito que ficou:

http://pt.wikibooks.org/wiki/L%C3%B3gica:_C%C3%A1lculo_Quantificacional_Cl%C3%A1ssico

[Anonymous]

Traduz os símbolos pra gente?

"N" significa que estou falando de números naturais.

N1. ∀x(sx ≠ x)
Para todo x, o sucessor de x é diferente de x.
 
N2. ∀x∀y(sx = sy → x = y)
Para todo x e para todo y, se o sucessor de x é igual ao sucessor de y, então x é igual a y.

N3. ∀x(x+0 = x)
Para todo x, x+0 = x

N4. ∀x∀y(x+sy = s(x+y))
Para todo x e para todo y, x somado ao sucessor de y é igual ao sucessor de x+y.
Ex: 3+(4+1) = 1+(3+4)
 
N5. ∀x(x*0 = 0)
Para todo x, x multiplicado por zero é igual a zero.

N6. ∀x∀y(x*sy = (x*y)+x)
Para todo x e para todo y, x multiplicado pelo sucessor de y é igual a (x*y)+x.
Ex: 2*(3+1) = (2*3)+2
 
N7. ∀x¬(x<0)
Nenhum x é menor que 0.

N8. ∀x∀y(x<sy ↔ (x<y ∨ x=y))
Para todo x e para todo y, x é menor que o sucessor de y se, e somente se, x é menor que y ou x é igual a y.
 
N9. ∀x∀y(x<y ∨ x=y ∨ y<x)
Para todo x e para todo y, ou x é menor que y, ou x é igual a y, ou y é menor que x.

AhTah, eh o cjto dos # naturais junto c/o Zero.

[Eleitor de Mário Oliveira]

Zero é Natural.

[SnowRaptor]

Agora fiquei curioso sobre este latex. Você poderiam me explicar ou me indicar uma leitura?

LaTeX é uma linguagem de formataçào de texto. um tutorial muito bom pode ser encontrado aqui ou em português

É usado para produzir documentos de alta qualidade tipográfica sem que o autor tenha de deixar de se concentrar no conteúdo para corrigir/alterar o design. É como se fosse um HTML: o autor indica a funçào de cada pedaço de texto, dizendo se é um título de seçào, informaçòes sobre uma figura ou mesmo se está escrevendo uma fórmula matematica. O programa (compilador) converte isso apra negritos,c entralizados, subscritos, sobrescritos, cira indices, referências cruzadas e índices remissivos sozinho, fazendo usos de comandos colocados no meio do texto. O resultado final pode ser uma série de páginas em HTML, um arquivo postscript, uma figura (gif, png) ou um documento em PDF.

Não tem os problemas de incompatibilidade entre versões que apresenta, por exemplo, o word, além de que gera arquivos .PDF que podem ser lidos em qualquer plataforma com programas gratuitos, sem distorções.

É amplamente utilziado na comunidade científica pela facilidade de se criar fórmular matemáticas, referências cruzadas, desenhos esquemáticos, índices remissivos, Sumários, índices de tabelas e figuras, etc.

Exemplo: para fazer o sumário do seu trabalho, basta colocar o comando

Código: [Selecionar]

\tableofcontents no lugar onde deseja que o sumário apareça e quando voc6e compilar (processar) o arquivo, ele estará lá. Se você acrescentar coisas no meio do seu trabalho, o índice será recalculado na próxima compilação.

E é de graca[/b]

[uiliníli]

Não acham que esse tópico com mais de 30 replies poderia ser movido da área testes?

[SnowRaptor]

Não acham que esse tópico com mais de 30 replies poderia ser movido da área testes?

Acho. Virou uma bela discussào sobre o LaTeX

E como ja'foi diso, LaTeX e escrito assim porque o nome é todo em maiusculas,com o A sbscrito e o e sobrescrito. A última letra é a grega "chi" e nào o X latindo, então pronuncia-se la-téc ou lei-téc.

[Snake]

O resultado final pode ser uma série de páginas em HTML, um arquivo postscript, uma figura (gif, png) ou um documento em PDF.

Esqueceu do DVI

Faltou também citar outra vantagem, que é a de o arquivo fonte, usado para gerar o documento, poder ser aberto em qualquer editor de texto, não precisando de programas pesados para a edição. Além de o arquivo guardar a mesma informação de um DOC ou RTF utilizando um espaço bem menor.

[SnowRaptor]

O resultado final pode ser uma série de páginas em HTML, um arquivo postscript, uma figura (gif, png) ou um documento em PDF.

Esqueceu do DVI

Ninguém ia entender...  

Faltou também citar outra vantagem, que é a de o arquivo fonte, usado para gerar o documento, poder ser aberto em qualquer editor de texto, não precisando de programas pesados para a edição. Além de o arquivo guardar a mesma informação de um DOC ou RTF utilizando um espaço bem menor.

Verdade..

[Hold the Door]

Conforme pedidos, o tópico foi transferido da área de testes para a área bate-papo.

[SnowRaptor]

Valeu, Angelo.

Só pra constar, um relatório de 48 páginas, em LaTeX fica com 200KB.