quinta-feira, julho 14, 2005

Posts pequenos, muito o que fazer

Sim, sim, acabei de estudar um pouco sobre reticulados de Skolem; daqui a pouco devo ler sobre sistemas de tipos sub-estruturais e tipos dependentes. Mais tarde, se der tempo, um pouco sobre corpos finitos e campos de Galois.

E isso porque hoje não vai dar tempo de ler sobre escalonamento em grids. Hm... talvez, se eu não dormir... até que não é uma má idéia. Alguém sabe se tem algum remédio baseado em modafinil por aqui ?