Programación Lógica y Funcional

By facebooker_1383664501685920
  • 2004 BCE

    2004 PROLOG

    2004 PROLOG
    La programación lógica progresó lentamente, más recientemente, con su integración en las metodologías de orientación a objetos.
  • 1997 BCE

    1997 Fundadores de la Programación Lógica

    1997 Fundadores de la Programación Lógica
    La Asociación de programación lógica otorga a quince investigadores el título de Fundadores de la programación lógica.
  • 1980 BCE

    1980 Haskell

    1980 Haskell
    Es un lenguaje de programación estandarizado multi-propósito puramente funcional con semánticas no estrictas y fuerte tipificación estática.
  • 1979 BCE

    1979 Robert Kowalski

    1979 Robert Kowalski
    Da una introducción general a la lógica y a los algoritmos
    utilizados en la programación lógica.
  • 1978 BCE

    1978 Paradigma Funcional y Jhon Backus

    1978 Paradigma Funcional y Jhon Backus
    Propuso el paradigma de programación funcional, que es esencialmente programación aplicativa que hace uso de funcionales.
  • 1968 BCE

    1968 Programación Lógica y Funcional:

    1968 Programación Lógica y Funcional:
    En su forma presente puede ser rastreada atrás en debates a finales de los años sesenta y comienzos de los setenta.
  • 1959 BCE

    1959 APL

    1959 APL
    Es funcional en su estilo y tiene gran conjunto de operadores que permiten la ejecución completamente automática de las iteraciones
  • 1958 BCE

    1958 LISP

    1958 LISP
    Es una familia de lenguajes de programación para computadoras con una distintiva y larga historia. Fué inventado por John McCarthy en 1958.
  • 1954 BCE

    1954 FORTRAN

    1954 FORTRAN
    Fortran (del inglés Formula Translating System) es un lenguaje
    de programación alto nivel. Fué desarrollado en 1954 por John
    Backus.
  • 1951 BCE

    1951 CLAUSULAS HORN

    1951 CLAUSULAS HORN
    El nombre "cláusulas Horn" viene de el lógico Alfred Horn, quien fue el primero en señalar el significado de las cláusulas en 1951.
  • 1949 BCE

    1949 Lenguaje Ensamblador

    1949 Lenguaje Ensamblador
    El primer lenguaje ensamblador creado fue diseñado
    por Maurice Wilkes, en la universidad de Cambridge en 1950.
  • 1943 BCE

    1943 PLANKALKÜL

    1943 PLANKALKÜL
    Konrad Zuse fue la primera persona en la historia en construir una computadora digital de trabajo
  • 1936 BCE

    1936 Lenguaje Binario

    1936 Lenguaje Binario
    Konrad Zuse, ingeniero alemán, diseño y fabricó la Z1, la que para muchos es la primera computadora programable de la historia.
  • 1923 BCE

    1923 Thoralf Skolem

    1923 Thoralf Skolem
    Mostró que la teoría natural de números podría ser desarrollada constructivamente con el de definiciones recursivas como las de Peano
  • 1920 BCE

    1920 Paradigma Imperativo

    1920 Paradigma Imperativo
    Algunos de los fundadores son M. Schöfinkel, Haskell Curry y Alonzo Church.
  • 1894 BCE

    1894 Formulaire de Mathématique

    1894 Formulaire de Mathématique
    Giuseppe Peano demostro que los números naturales podían ser construidos por aplicaciones de la función sucesora.
  • 1834 BCE

    1834 Ada Lovelace

    1834 Ada Lovelace
    Primer Programadora se le conoce así por su trabajo sobre la máquina calculadora mecánica de uso general de Charles Babbage