Enviado por Erick Castellanos el Mié, 13/04/2016 - 10:00
Los perezosos siempre hablan de lo que piensan hacer, de lo que harán; los que de veras hacen algo no tienen tiempo de hablar ni de lo que hacen.
-- Johan Wolfgang von Goethe (1749-1832); poeta, novelista y dramaturgo alemán.
Enviado por Erick Castellanos el Mar, 12/04/2016 - 10:00
La ciencia humana consiste más en destruir errores que en descubrir verdades.
-- Sócrates (470-399 a.C.); filósofo griego.
Enviado por Erick Castellanos el Lun, 11/04/2016 - 10:00
En la circunferencia, el comienzo y el fin coinciden.
-- Heráclito (544-480 a.C.); filósofo griego.
Enviado por Erick Castellanos el Dom, 10/04/2016 - 12:52
El libro es capote de torero, paraguas para el sol y la lluvia, escudo contra las flechas de la estulticia, de la imbecilidad que inundan el cielo. El libro es la alhomada para tener los mejores sueños, cama de clavos para tener las más chidas pesadillas, el libro es pañuelo para las lágrimas, bálsamo para las heridas, el libro es este ladrillo que construye ciudadanía, casas, muros, universos. Somos lo que hemos leído; por el contrario seremos la ausencia que los libros dejaron en nuestras vidas.
-- Benito Taibo.
Enviado por Erick Castellanos el Sáb, 09/04/2016 - 10:00
Sólo es digno de libertad quien sabe conquistarla cada día.
-- Johan Wolfgang von Goethe (1749-1832); poeta, novelista y dramaturgo alemán.
Enviado por Erick Castellanos el Vie, 08/04/2016 - 10:00
Si te caes siete veces, levántate ocho.
-- Proverbio.
Enviado por Erick Castellanos el Jue, 07/04/2016 - 10:00
Un peligro previsto está medio abolido.
-- William Shakespeare (1564-1616); poeta y dramaturgo inglés.
Enviado por Erick Castellanos el Jue, 07/04/2016 - 09:00
En un principio, al leer el título de este libro, supuse que sería acerca del procedimiento necesario para la toma de decisiones desde una perspectiva cognitiva, como en el contexto de avatares o agentes o similares. Sin embargo, al comenzar a leerlo, me quedó claro que el tema principal es el razonamiento lógico, la lógica matemática. De cualquier manera, seguí leyendo el material ya que fue refrescante recordar una buena parte de este material ya que aprendí esos tópicos hace algunos años. Me parece que es importante mantener en mente este tipo de contenido para tener la capacidad de formalizar el razonamiento que uno hace cuando está escribiendo de manera científica, y ser capaz de mostrar un mecanismo sólido y completo de porqué llegamos a las conclusiones de lo que decimos.
Siendo más específico, el libro trata los algoritmos necesarios para poder decidir (determinar si una fórmula lógica es válida o no) en diferentes lógicas. Las lógicas que abarca este libro son: lógica proposicional, lógica de equidad y funciones no interpretadas, aritmética linear, vectores de bits, arreglos, lógica de apuntadores, fórmulas cuantificadas, combinación de teorías, y codificación proposicional. Para cada una de ellas, explica brevemente los alcances y las limitaciones sobre las que trabajará, y después algún algoritmo (de varios posibles) para poder decidir, de manera algorítmica, sobre ella.
Enviado por Erick Castellanos el Mié, 06/04/2016 - 10:00
La libertad no es nada más que una oportunidad para ser mejor.
-- Albert Camus (1913-1960); novelista y dramaturgo francés, premio Nobel Literatura.
Enviado por Erick Castellanos el Mar, 05/04/2016 - 10:00
Cerrar los oídos a los argumentos contrarios será indicio de carácter fuerte, pero a veces lo es de imbecilidad.
-- Friedrich Nietzsche (1844-1900); filósofo alemán.
Páginas