Mes: junio 2019

  • Hola mundo

    Hola mundo

    En informática, un programa Hola mundo es el que imprime el texto «¡Hola, mundo!» en un dispositivo de visualización, en la mayoría de los casos una pantalla de monitor. Este programa suele ser usado como introducción al estudio de un lenguaje de programación, siendo un primer ejercicio típico, y se considera fundamental desde el punto de vista didáctico.

  • Open Directory Project (ODP)

    Open Directory Project (ODP)

    El Open Directory Project (ODP), también conocido como DMoz (por directory.mozilla.org su nombre de dominio original), fue un proyecto colaborativo multilingüe, en el que editores voluntarios listaban y categorizaban enlaces a páginas web.

  • Lógica de primer orden

    Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.​ Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan solo a variables de individuo, y con predicados y funciones cuyos argumentos son solo… Continue reading "Lógica de primer orden"