Logica matematica

Timeline created by Sebastian Calvo
  • Logica del siglo XX

    Logica del siglo XX
    A comienzos de siglo pasado, Hilbert consideraba a la lógica como una teoría axiomatizada.
  • Primer avance significativo.

    Primer avance significativo.
    Se debe a Gentzen
    con el desarrollo de la técnica natural de
    deducción y el cálculo sucesivo, con los que creó un
    64 Revista Educación en Ingeniería • Enero a Junio de 2013
    kit de herramientas sintácticas.
  • Union

    Union
    Se una la ingenieria en comunicacion y ingenieria de trasmision.
  • Quien la publico

    Quien la publico
    Fue publicada por Melvin J. Kelly
  • Inteligencia artificial

    Inteligencia artificial
    Newell
    y Simon desarrollaron el General Problem
    Solver y Newell, Shaw y Simon diseñaron el
    sistema Logic Theorist, con los que impactaron la
    Inteligencia Artificial contemporánea.
  • Se plantea un origen

    Se plantea un origen
    La Bell Thelephone plantea un origen para la ingenieria en sistemas.
  • Algoritmos

    Algoritmos
    En los años 50, cuando los computadores fueron
    accesibles, Davis y Putnam (1960) utilizaron los resultados de Herbrand y elaboraron el primer algoritmo
    de computador para demostrar el teorema.
  • Cuestion

    Cuestion
    Por otro lado, Herbrand
    aportó la probabilidad de insatisfacción sobre
    los universos de Herbrand mediante un modelo teórico
    e hizo posible la re-escritura del problema de decisión
    de primer orden.
  • IBM

    IBM
    Una definicion de ingenieros de sistemas.
  • Estudio

    Estudio
    Se crean las nuevas carreras sobre computación en los institutos técnicos de mexico.
  • Primero en usar el algoritmo

    Primero en usar el algoritmo
    El primero
    utiliza el algoritmo del British Museum, un método
    de búsqueda horizontal a ciegas de bajo rendimiento,
    con base en los axiomas y reglas de inferencia dadas
    por Russell y Whitehead .