Realidades Paralelas

Sunday, December 12, 2004

Mais um desejo aos ventos

Eu realmente queria que existisse uma tecnologia barata de impressão com qualidade razoável. São tantos artigos, manuais, documentação, livros e etc... Tem hora que dá vontade de imprimir e ir estudar na biblioteca, longe do monitor. Mas se for fazer isso sempre, eu gasto minha bolsa inteira com tinta e papel.

E aí, Papai Noel, desenrola uma impressora boa e com baixissimo custo de impressão ?

Wednesday, December 08, 2004

Grupóides, Monóides, Herculóides

Resenha do livro Matemática Discreta para Computação e Informática, de Paulo Blauth Menezes.

Eu costumo reclamar por aí que livro técnico brasileiro é uma desgraça. Os livros ruins quase sempre têm sido maioria, embora a situação tenha melhorado um pouco nos últimos tempos. Que fique claro que eu estou falando de livros de autores brasileiros, e não necessariamente traduções de livros técnicos importados (embora algumas traduções sejam deploráveis também). E a culpa não é tanto dos autores; pelo que eu sei, as editoras impõem prazos curtíssimos. Enquanto nos livros de fora é normal você ler que o autor passou anos preparando um livro didático, aqui na Terra Brasilis o tempo médio é por volta de 6 meses. Isso é mais sentido nos livros das ciências básicas, que requerem um cuidado de elaboração que normalmente não cabe em 6 meses. Ainda por cima, muitos livros são porcamente tipografados e mal escritos.

Uma vantagem dos livros do Paulo Blauth Menezes é que são bem escritos. Mesmo assim, fica a sensação que o livro é pouco mais que notas de aula. Os assuntos são tratados corretamente, mas de forma muito superficial. Além disso, existe uma quantidade enorme de assuntos para um livro deste tamanho; existe até uma introdução à teoria das categorias que serve de muito pouco. Os exercícios são interessantes, mas pouco desafiantes, na maioria. Os exemplos de aplicações também são muito simples, embora nesse caso exista uma justificativa, já que é comum que estudantes de ciência da computação façam uma matéria de matemática discreta logo no primeiro semestre.

Para mim foi proveitoso ler sobre reticulados, e ver como alguns conceitos da matemática como relações e homomorfismo são vistos pelo ponto de vista da computação. Por exemplo, funções parciais dificilmente são tratadas em livros de matemática, mas são muito importantes na computação.

Enfim, o material é bom, mas o livro poderia se aprofundar mais, talvez reduzindo o escopo dos assuntos cobertos ou dividindo em dois volumes. A tipografia do livro também poderia ser bem melhor, principalmente em relação à notação matemática. Seria interessante ver outra edição, de preferência com alguns desses problemas resolvidos.

Wednesday, December 01, 2004

Salada

Ok, agora eu estou estudando zilhões de coisas e tentando construir algumas idéias. Na verdade, eu tive idéias, alguns palpites, e estou correndo atrás da teoria para ver o que é viável, onde eu posso desenvolver alguma coisa.

Decidi estudar mesmo teoria dos jogos, lógica da computabilidade e computação interativa. Mas é bom estudar lógica linear também, que é um formalismo alternativo para mais ou menos o tipo de coisa. Estou até lendo sobre a Web Semântica, porque acho que algumas coisas nela podem ser relevantes, mesmo que eu não vá trabalhar diretamente com RDF ou OWL ou o que seja.

Sistemas reativos também, reflexão, mutação, avaliação em múltiplos estágios (programação generativa, meta-programação, MOPs), avaliação parcial, transformações... a lista não tem fim. Mas estou em estágio de exploração mesmo, e espero que dessa bagunça surja alguma idéia interessante para desenvolver. Espero mesmo...