Arthur,
vc teria os livros de Ricardo Feijó para compartilher?
Um abraço,
Vitor
--- Em qui, 9/10/08, Arthur Buchsbaum <[EMAIL PROTECTED]> escreveu:
De: Arthur Buchsbaum <[EMAIL PROTECTED]>
Assunto: [Logica-l] formando uma biblioteca digital de Lógica em djvu
Para: "'Lista acadêmica brasileira dos profissionais e estudantes da área de
LOGICA'" <[email protected]>
Data: Quinta-feira, 9 de Outubro de 2008, 0:54
Consegui o arquivo. Muito grato, é um grande presente!!! A pessoa que escaneou
o mesmo fez um trabalho de profissional!
Eu estou aprendendo a fazer o mesmo. Compro ou consigo um exemplar do livro,
peço a um bibliotecário ou profissional afim para desfiar o livro, e passo
folha por folha do mesmo, incluindo a capa e contracapa, no meu escâner, usando
o Document Express (http://www.celartem.com/en/products/djvu.asp), que gera um
documento em djvu com uma qualidade excelente, e um arquivo de tamanho
reduzido. No final, o mesmo profissional reconstitui para mim o livro, do qual
passo a ter tanto a versão impressa como um arquivo em djvu para compartilhar
com os demais. Considero o formato djvu muito superior ao formato pdf, que
ainda é mais conhecido e popular.
Com isto, estou formando uma biblioteca digital de livros de Lógica e assuntos
afins (Matemática, Filosofia, Computação, etc.), a qual venho compartilhando
com meus alunos e outros interessados.
Em breve, vou enviar um DVD com este material para aqueles que me solicitaram.
O processo antigo de comprar, fotocopiar e/ou pegar livros impressos
emprestados é muito oneroso e ineficaz. Em geral, nem eu nem meus alunos
podemos comprar legalmente o que necessitamos, e precisamos consultar várias
fontes bibliográficas. As bibliotecas universitárias, mesmo que tivessem um
acervo mais completo, também não podem atender na demanda necessária, pois
precisamos dispor permanentemente de certas obras, e não apenas tomá-las
emprestado por algumas semanas.
a) Arthur Buchsbaum
De: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] Em nome de Adolfo Neto
Enviada em: quinta-feira, 9 de outubro de 2008 00:00
Para: Arthur Buchsbaum
Assunto: Re: [Logica-l] RES: Livro sobre matemáticos e as origens do computador
Oi Arthur,
É só clicar na bandeira da inglaterra que fica em inglês...
[]s
Adolfo
==========================================
Adolfo Neto
Departamento Acadêmico de Informática
Universidade Tecnológica Federal do Paraná
Fone: (41) 3310-4644 / Fax: (41) 3310-4646
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Blog: http://professoradolfo.blogspot.com
==========================================
2008/10/8 Arthur Buchsbaum <[EMAIL PROTECTED]>
O sítio está em russo, daí não consigo saber onde clicar para importar o
arquivo do referido livro, se este estiver disponível. Sabes como proceder?
De: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] Em nome de Adolfo Neto
Enviada em: quarta-feira, 8 de outubro de 2008 15:29
Para: Lista acadêmica brasileira dos profissionais e estudantes da área de
LOGICA
Assunto: [Logica-l] Livro sobre matemáticos e as origens do computador
Engines of Logic: Mathematicians and the Origin of the Computer
Author: Martin Davis
Publisher: W. W. Norton & Company
File size: 2 MB
File type: djvu rared
A truly excellent book. Both as a 'history of ideas' and in its consideration
of the personal trials and tribulations faced by Leibniz, Frege, Boole,
Hilbert, Cantor, Godel, and Turing. The book traces the development of the
computer through the life and work of these logicians/mathematicians, from
Leibniz's dream of a language of symbolic logic and a machine capable of
producing and testing true propositions in that language. This book is relevant
not only to philosophers, mathematicians, and computer scientists, but to
writers who seek understanding of the relations between language and logic in
the contemporary electronic landscape. It will also be a good read for anyone
wishing to understand the intellectual atmospheres from which the computer
arose.
And it is poignant in its reflections on the fate of some of the most gifted
logicians in history. Cantor spent a lot of time in sanitoriums; Godel starved
himself to death over paranoia that his food was being poisoned; Alan Turing
probably committed suicide by eating a poisoned apple.
Fonte: http://englishtips.org/index.php?newsid=1150804312
==========================================
Adolfo Neto
Departamento Acadêmico de Informática
Universidade Tecnológica Federal do Paraná
Fone: (41) 3310-4644 / Fax: (41) 3310-4646
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Blog: http://professoradolfo.blogspot.com
==========================================
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Novos endereços, o Yahoo! que você conhece. Crie um email novo com a sua
cara @ymail.com ou @rocketmail.com.
http://br.new.mail.yahoo.com/addresses_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
