Sobre enseñanza a distancia, un wikilibro.

Logical Methods in Computer Science

What We Can Do About Science JournalsJohn Baez advice

Christopher TownsendI work in locale theory and topos theory. My preoccupation is that the theory of compact Hausdorff spaces and the theory of sets have such a lot in common that they can be expressed as the same theory. Therefore I am developing axioms for a category of spaces in which the theory of compact Hausdorff spaces is dual to the theory of sets (the duality is not standard categorical duality, but is order enriched duality; the category of spaces is order enriched). A further aim is to extend this work to an axiomatization of the category of Grothendieck toposes.

PLT Online Excelente lista de libros online sobre semántica de lenguajes

International Conference on Quantitative Evaluation of Systems (QEST)

FOMI 2006 - Formal Ontologies Meet Industry stefano borgo , thomas reichherzer

Metamath Home Page

Foundations of Mathematics. Mathematical Logic. By K.Podnieks

Thales and Friends - Mykonos meeting

A coalgebraic view on positive modal logic Get

Modal Logic, Stone Duality and Coalgebras I need to get the proceedings of this.

Reprints in Theory and Applications of Categories

ftp://ftp.math.mcgill.ca/pub/barr/pdffiles/Index.html Barr's site with pdf of many of his works.

Avi Wigderson's Home PageCS & math

Gil Kalai, World-Wide-Web Home Page Ver artículos sobre Auman, QC, juegos.

The n-Category Café The most interesting thing about this is the usage of MathML. I want to use that in this blog!

Introduction to Category Theory

A gentle inroduction

DBLP: R. Lowen Dubois & Prade dicen que en Lowen 1978 hay un enfoque categorico.

http://mathworld.wolfram.com/FareySequence.html

Farey sequences. Are they related to the sequences obtained from number in base n?

00001111
00110011
01010101in Math world

In wikipedia

"Introduction to Probability" in Adobe Portable Document Format (pdf)

Universal Algebra and Diagrammatic Reasoning Link to Burris and Sankapanavar, Topor Triples, etc.