3180681
Descrição
Mapa Mental por wendysesshomaru1, atualizado more than 1 year ago
|
Criado por wendysesshomaru1
mais de 9 anos atrás
|
|
Historia
Logica
Computacional
- G. Frege, uno de los fundadores de la l´ogica simb´olica moderna, fue el
primero en intentar desarrollar la tesis del logicismo: las matem´aticas
son reducibles a la l´ogica.
- Raimundo Lulio sugiri´o en 1272 la existencia de una
m´aquina que produjera todo el conocimiento (incluso
intent´o construirla).
- Leibniz, en 1660, sugirió la idea de ordenar las verdades
lógicas, la base misma de la definición de demostración
formal.
- Boole en 1854 señaló la analogía entre operaciones algebraicas y
operaciones lógicas, incorporando así la lógica a las
matemáticas, al reducir la lógica al álgebra (álgebras de Boole).
- El teorema de Herbrand, 1930, es el
fundamento mismo de la demostraci´on
autom´atica de teoremas.
- El teorema de Herbrand, 1930, es el
fundamento mismo de la demostraci´on
autom´atica de teoremas.
- Boole en 1854 señaló la analogía entre operaciones algebraicas y
operaciones lógicas, incorporando así la lógica a las
matemáticas, al reducir la lógica al álgebra (álgebras de Boole).
- Leibniz, en 1660, sugirió la idea de ordenar las verdades
lógicas, la base misma de la definición de demostración
formal.
- J.A. Robinson, 1960, introdujo el principio de
resoluci´on, un m´etodo de decisi´on mucho
m´as eficiente que los existentes hasta la fecha.
- A partir de los años 50 una parte importante de la
investigación en lógica se centra en el estudio de sus
aplicaciones en computación, en particular como herramienta
de programación
- A partir de los años 50 una parte importante de la
investigación en lógica se centra en el estudio de sus
aplicaciones en computación, en particular como herramienta
de programación
Quer criar seus próprios Mapas Mentais gratuitos com a GoConqr? Saiba mais.