Vida Artificial: bitcora- April 18, 2005 A través de los referidos (referred) de las estadísticas, he recalado en la bitácora Vida Artificial ("Inteligencia Artificial, Software Libre y algo de todo lo demás"). En ella, entre otras interesantes anotaciones y comentarios, encontramos un apartado dedicado a "colgar" traducciones al castellano de artículos publicados originalmente en Generation5 (portal dedicado a la Inteligencia Artificial y sus múltiples perspectivas), ocasión...http://programacionlogica.blogspot.com/2005/04/vida-artificial-bit.html Glosario sobre Lgica de Primer Orden- April 17, 2005 Un recurso más que recomendable, Glossary of First-Order Logic: "This glossary is limited to basic set theory, basic recursive function theory, two branches of logic (truth-functional propositional logic and first-order predicate logic) and their metatheory." El autor de este glosario terminológico, Peter Suber, imparte en el Departamento de Filosofía del Earlham College (EUA) el curso Logical Systems (sobre sistemas lógicos formales, lógica de primer orden.http://programacionlogica.blogspot.com/2005/04/glosario-sobre-l-de-primer-orden.html |