Unidad1.

Paradigmas del pensamiento Actividad4 Alumno: Gaston Maudet a_Elabore un listado de ejemplos de las tresformas de pensamiento detallados anteriormente, teora, abstraccin y diseo. Paradigma de la teora _Los antiguos griegos lo usaron cuando desarrollaron el mtodo axiom tico ! estudiaron los criterios "ormales del ra#onamiento. _La invenci$n de %apier de los logaritmos. _Los tra&a'os de Galileo. _Las investigaciones de (oole: uso del modelo para o&tener conclusiones. _Lei&ni#: investigaci$n de la aritmtica _von %eumann:el conocimiento ! utili#aci$n de los tra&a'os de G)del ! *uring contri&u!eron a esta. Paradigma de la a&stracci$n _Los antiguos griegos lo usaron cuando consideraron el ra#onamiento ordinario+ o&servaron sus patrones ! "ormularon otros nuevos. _Los &a&ilonios ! los egipcios lo utili#aron al de"inir est ndares de pro&lemas+ tales como el inters compuesto. _La introducci$n del lge&ra de ,i-te implica&a expresar pro&lemas en "orma sim&$lica. _Los tra&a'os de Galileo al utili#ar la matem tica para modeli#ar eventos ! procesos del mundo real. _Las investigaciones de (oole: utili#aci$n de sm&olos en la modeli#aci$n del ra#onamiento. _Lei&ni#: su idea respecto a la posi&ilidad de reducir el ra#onamiento a la reali#aci$n de c lculos "ue un intento de modeli#ar el c lculo sim&$lico. _von %eumann: sus propuestas so&re el almacenamiento del programa ! del "uncionamiento secuencial del procesador. Paradigma de dise.o _Los &a&ilonios ! los egipcios lo utili#aron para desarrollar mtodos /ue resolvieran los pro&lemas de"inidos usando el paradigma de a&stracci$n. _0nvenci$n de la regla de c lculo. _1c2i3ard ! Pascal al construir m /uinas capaces de calcular. _Los desarrollos de (a&agge so&re la 4m /uina analtica5. _Lei&ni#: construcci$n de la rueda de Lei&ni#. _von %eumann b_Agregue a la lista anterior ejemplos que se encuentren en la historia de la informtica. ara ello puede consultar el tema en !nternet. _A.o 1647 *esis de 8laude 12annon so&re teora matem tica de la comunicaci$n 9uso del lge&ra de (oole para la construcci$n de m /uinas l$gicas: Teora y abstraccin

_A.o 1;<4 =il2elm 1c2ic3ard constru!e la primera calculadora mec nica. Diseo _1616: los inventores estadounidenses =. >. ?ccles ! @. =. Aordan desarrollan el primer circuito multivi&rador o &iesta&le 9en lxico electr$nico "lipB"lop:. ?l "lipB"lop permiti$ dise.ar circuitos electr$nicos /ue podan tener dos estados esta&les+ alternativamente+ pudiendo representar as el 7 como un estado ! el otro con un 1. ?sto "orm$ la &ase del almacenamiento ! proceso del &it &inario+ estructura /ue utili#an las actuales computadoras. Teoria y diseo _16C1:Durt G)del pu&lic$ un documento so&re los lengua'es "ormales &asados en operaciones aritmticas. Lo us$ para codi"icar ar&itrariamente sentencias ! prue&as "ormales+ ! mostr$ /ue los sistemas "ormales+ como las matem ticas tradicionales+ son inconsistentes en un cierto sentido+ o /ue contienen sentencias impro&a&les pero ciertas. 1us resultados son "undamentales en las ciencias te$ricas de la computaci$n. Teora y abstraccin _16;7: se crea el primer compilador de computador Abstraccin y diseo _164E: ,annevar (us2 desarroll$ la teora de Memex+ un dispositivo de 2ipertexto ligado a una li&rera de li&ros ! pelculas. Teora y diseo