Visión general de etiquetas para: 'lógica'

Entradas en este sitio con 'lógica'

  • Nuevo Bloque de Cursos
     Se ha añadido un apartado de cursos completos al que puedes acceder por medio del nuevo enlace "Cursos" en el menú principal de esta página. El objetivo es ir colgando cu
  • Introducción a Prover9 y Mace4
    Prover9 es un Demostrador Automático de Teoremas para Lógicas de Primer Orden (también se puede utilizar con Lógica Proposicional) y Mace4 busca modelos finitos y contraej
  • Curso acelerado de Lógica Proposicional
    En esta entrada vamos a intentar dar un curso acelerado (aceleradísimo) acerca de qué es la  Lógica Proposicional  y de qué forma se pueden automatizar algunos de los prob
  • Cómo se demuestra que un programa es correcto: Semántica Denotacional
    Mucho se escribe acerca de que una de las bondades habituales de los lenguajes funcionales (puros) es la capacidad que nos proporciona para poder asegurar que los programa
  • Sistemas Basados en Reglas
    Hay muchos casos en los que podemos resolver situaciones complejas haciendo uso de reglas deterministas, hasta el punto de su uso consigue sistemas automáticos que se comp
  • Introducción a la Lógica Difusa
    La forma en que la gente piensa es, inherentemente, difusa. La forma en que percibimos el mundo está cambiando continuamente y no siempre se puede definir en términos de s
  • Opinión 141 de Doron Zeilberger
    Doron Zeilberger :  La Evolución Biológica no nos preparó para el razonamiento lógico ni para las demostraciones rigurosas y, análogamente, la Evolución Cultural Matemátic
  • Análisis Formal de Conceptos
    El análisis formal de conceptos proporciona una metodología para derivar una jerarquía de conceptos (como una ontología) a partir de una colección de objetos y las propied
  • Una introducción a Prolog
    Habitualmente, programar un ordenador significa dar una sucesión de tareas que, al ejecutarlas paso a paso, permiten resolver un problema concreto. Sin embargo, el proceso
  • Ejercicios de Lógica de Primer Orden
    1.- Accede desde aquí a los ejercicios que se proponen en el curso de  Lógica Informática del grado de Tecnologías Informáticas  de la Universidad de Sevilla. 2.– Escribir
  • Ejercicios de Lógica Proposicional
    Recordad que podéis usar la página Gateway to Logic para calcular las formas normales conjuntivas de las fórmulas que vayáis usando. Ejercicios de implementación 1.- Imple
  • Jornadas en memoria del Profesor Alejandro Fernández Margarit
    Durante las últimas décadas, la Lógica Matemática ha experimentado un notable desarrollo que ha tenido como fruto numerosas aplicaciones, tanto en otras ramas de las Matem
  • NetProLogo = NetLogo + Prolog
     Por fin nos hemos decidido y la extensión de NetLogo que preparó Juan Galán para poder ejecutar intérpretes de Prolog desde NetLogo tiene su propia página y está disponib

Etiquetas relacionadas

agentes, modelado, netlogo, simulacion