[Prévia cron rev] [Próxima Cron rev] [Prévia por assunto] [Próxima por assunto]
[Índice cronológico reverso] [Índice de assunto] [Índice de autor]

Capítulo D1 de Aspectos Teóricos da Computação

O Capítulo D1 do livro Aspectos Teóricos da Computação,

  http://www.ime.usp.br/~is/atc/

pode ser útil para ajudar Vocês na compreensão dos conceitos básicos
referentes a conjuntos, finitude, infinitude, relações, funções,
bijeções, cardinalidade, etc.

Vocês íam receber uma cópia Xerox deste Capítulo do livro, talvez já
tenham recebido.

A partir de hoje, e graças a sugestões de Rucardo Ueda Karpischek, o
Capítulo D1 do livro está disponível no formato pdf com boa qualidade
de impressão neste arquivo, de 1,4MB:

  http://www.ime.usp.br/~is/atc/atc-d1.pdf

Obrigado, Ricardo. Valeu!!

Imre Simon

PS: Reparem que a notação usada no Capítulo D1 de ATC difere
ligeiramente da notação usada pelo Enderton e muitos outros
autores. Nos ATC denota-se a imagem da função f no ponto x por xf em
vez da notação mais comum de f(x). Isto é feito para tornar mais
natural a notação para a composição de funçÕes (ou de relações) um
assunto muito importante nos demais capítulos da parte D.