Computadoras, Lógica y Evolución

12/08/13
Computadoras, Lgica y Evolucin - Taringa!
Computadoras, Lgica y Evolucin

Escucha
www.taringa.net/musica La msico cubana, YUSA, reconocida en el mundo como la mximo exponente, suena Gratis en Taringa Msica!
Empec un bachillerato en informtica y una de las materias que curso es lgica.

Como parte de un trabajo realic una pequea investigacin en la web para entender la relacin entre lgica, informtica y electrnica. Este post no es solo un copy paste, al ser mi idea entenderlo lo mejor posible, amplo algun parrafo con algunas acotaciones/explicaciones a nivel personal y ahondo en cada uno de los conceptos que se relacionan con el titulo del post. Puede ser un poco pesado de leer y a veces difcil de entender, pero le recomiendo a quien guste de la informtica y quiera tal vez dar como yo primeros pasos en la programacin, leer con tranquilidad para entender conceptos que son elementales a la hora de entender como se escribe el cdigo de un software y para entender como funcionan los lenguajes de programacin.
Lgica El primer pensador en formalizar el sistema lgico fue Aristteles (384 A.C.), de tal manera quesus propuestas
han trascendido hasta nuestros das. Aristteles plante susideas en varias obras, reunidas posteriormente bajo el nombre de Organon (rgano, herramienta), para difundir su conocimiento sobre las leyes del razonamiento, argumentando que estas eran vitales para adentrarse en el mundode la filosofa.
La lgica es una ciencia formal y una rama de la filosofa que estudia los principios de
la demostracin einferencia vlida. La palabra deriva del griego antiguo (logike), que significa dotado de razn, intelectual, dialctico, argumentativo, que a su vez viene de (logos), palabra, pensamiento, idea, argumento, razn oprincipio. La lgica examina la validez de los argumentos en trminos de su estructura, (estructura lgica), independientemente del contenido especfico del discurso y de la lengua utilizada en su expresin y de losestados realesa los que dicho contenido se pueda referir. La lgica es considerada una ciencia formal. Tradicionalmente ha sido considerada como una parte de la filosofa. Pero en su desarrollo histrico, a partir del final del siglo XIX, y su formalizacin simblica ha mostrado su ntima relacin con las matemticas ;de tal forma que algunos la consideran como Lgica matemtica. En el sigloXX la lgica ha pasado a ser principalmente la lgica simblica. Un clculo definido por unossmbolos y unas reglas de inferencia. Lo que ha permitido un campo de aplicacin fundamental enla
www.taringa.net/posts/ciencia-educacion/14576143/Computadoras-Logica-y-Evolucion.html 1/23
12/08/13
actualidad: la informtica.
Lgica Aristotlica La lgica aristotlica supone que la mente reproduce slo la realidad, la existencia de las cosas tal y como
son, por ello es una ciencia objetiva que se dedica a estudiar conceptos, desglosndolos en predicables y predicamentos. La lgica analiza juicios y formas de razonamiento y su manera de expresar resultados es elsilogismo o razonamiento deductivo categrico. El elemento bsico es el trmino o concepto. Este representa un objeto en la mente del hombre de manera que no pueda ser afectado por los sentidos, la memoria o la mente. Un concepto tiene comprensin (caractersticas del objeto) y extensin (hace alusin la cantidad de sujetos a los que el concepto puede aplicarse). La unin entre los trminos oconceptos es una proposicin. Segn Aristteles, habra cuatro formas bsicasde proposiciones afirmativas: Todo A es B (universal afirmativo). Ningn A es B (universal negativo). Algunos A son B (particularafirmativo). Algunos A no son B (particularnegativo). Las letras sustituyen a palabrascomunes como perro, animal de cuatro patas o 'cosa viviente', llamadastrminos. A partir de las proposiciones se construyen los silogismos o razonamientos. Un silogismo bien formulado consta de dos proposiciones que fungen como premisas y de una conclusin, debiendo tener cada premisa un trmino en comn con la conclusin y un segundo trmino relacionado con la otra premisa. En lgica clsica se formulan reglas por las que todos los silogismos bien construidos se identifican como formas vlidas o no vlidas de argumentacin.
Una interpretacin formal.

En los lenguajes naturales, una misma palabra puede significar diversas cosas dependiendo de la interpretacin que se le d. Por ejemplo, en el idioma espaol, la palabra banco puede significar un edificio o un asiento, mientras que en otros idiomas puede significar algo completamente distinto o nada en absoluto. En consecuencia, dependiendo de lainterpretacin, variar tambin el valor de verdad de la oracin el banco est cerca. Las interpretaciones formales asignan significados inequvocos a los smbolos, y valores de verdad a las frmulas.
Silogismos Aristteles consideraba la lgica como lgica de relacin de trminos.Los trminos se unen o separan en los
juicios. Los juicios aristotlicos sonconsiderados desde el punto de vista de unin o separacin de dos trminos, unSujeto y un predicado. Hoy se hablara de proposicin. La diferencia entre juicio yproposicin es importante. La proposicin afirma un hecho como un todo,que es o no es, como contenido lgico del conocimiento. El juicio, en cambio, atribuye un predicado a un sujeto lgico del conocimiento otorgando a los trminos al mismo tiempo una funcin lingstica de significado (semntica) y una funcin formal lgica (sintctica). Esto tiene su importancia en el concepto mismo del contenido de uno, el juicio, y la otra, la proposicin, especialmente en los casos de negacin, como se considera, ms adelante, en la problemtica dela lgica silogstica.
12/08/13
Mantenemos aqu la denominacin de juicio por ser lo ms acorde con lo tradicional, teniendo en cuenta que este tipo de lgica, como tal, est en claro desuso, sustituida por la lgica simblica en la que esta lgica es interpretada como lgica de clases. La relacin entre los trminos de unjuicio, al ser comparado con un tercero que hace de "trmino medio", hace posible la aparicin de las posibles conclusiones. As pues, el silogismo consta de dos juicios, premisa mayor y premisa menor,en los que se comparan tres trminos, de cuya comparacin se obtiene un nuevo juicio como conclusin. La lgica trata de establecer las leyes que garantizan que, de la verdad de los juicios comparados (premisas), sepueda obtener con garanta de verdad un nuevo juicio verdadero (conclusin).
Un silogismo es un razonamiento donde se deduce una conclusin partiendo de 2 juicios. Este est
conformado por 3 partes y a su vez por 3 trminos. Las tres partes son: Premisa mayor (la ms universal), Premisa menor (menos universal) y la conclusin. Los tres trminos que mencionamos son el trmino mayor y el trmino menor (Sujeto y Predicado de la conclusin: S es P), finalmente eltrmino medio (letra M) que aparece en ambos juicios Hay 4 formas vlidas de silogismo, todas dependiendo de la variacin del trmino medio y de su funcin en los juicios; listadas a continuacin:
Forma A: Todo A es B. Para todo x, si x es A entonces es B. Forma E: Ningn A es B. Para todo x, si x es A entonces no es B. Forma I: Algn A es B. Existe al menos un x que es A y es B. Forma O: Algn A no es B. Existe al menos un x tal que es A y no es B.A (universal afirmativa) contraria E(universal negativa) I (particular afirmativa) contraria O(particular negativa) A contradictoria O E contradictoria I
12/08/13
A subalterna I E subalterna O
Los temas que van a marcar el desarrollo de la lgica formal. Son de especial importancia la idea de
Descartes de una Mathesis universalis y de Leibniz que, con su Characteristica Universalis supone la posibilidad de un lenguaje universal, especificado con precisin matemtica sobre la base de que la sintaxisde las palabrasdebera estar en correspondencia con las entidades designadas como individuos o elementos metafsicos,lo que hara posible un clculo o computacin mediante algoritmo en el descubrimiento de la verdad. Aparecen los primeros intentos y realizaciones de mquinas de clculo, (Pascal,Leibniz) y, aunque su desarrollo no fue eficaz, sin embargo la idea de una Mathesis Universal o Caracterstica Universal, propuestas para crear un lenguaje formal universal, es el antecedente inmediato del desarrollo de la lgica simblica a partir del siglo XX.
Algoritmos En matemticas, ciencias de la computacin y disciplinas relacionadas, un algoritmo (del griego y latn, dixit
algorithmus y este a su vez del matemtico persa Al-Juarismi) es un conjunto preescrito de instrucciones o reglas bien definidas, ordenadas y finitas que permite realizar una actividad mediante pasos sucesivos que no generen dudas a quien deba realizar dicha actividad. Dados un estado inicial y una entrada, siguiendo los pasos sucesivos se llega a un estado final y se obtiene una solucin. Los algoritmos son el objeto de estudio de la algoritmia. En la vida cotidiana, se emplean algoritmos frecuentemente para resolver problemas. Algunos ejemplos son los manuales de usuario, que muestran algoritmos para usar un aparato, o las instrucciones que recibe un trabajador por parte de su patrn. Algunos ejemplos en matemticason el algoritmo de la divisin para calcular el cociente de dos nmeros, elalgoritmo de Euclides para obtener el mximo comn divisor de dos enteros positivos, o el mtodo de Gausspara resolver un sistema lineal de ecuaciones.
Los diagramas de flujo sirven para representar algoritmos de manera grfica:
www.taringa.net/posts/ciencia-educacion/14576143/Computadoras-Logica-y-Evolucion.html
4/23
12/08/13
En general, no existe ningn consenso definitivo en cuanto a la definicin formal de algoritmo. Muchos
autores los sealan como listas de instrucciones para resolver un problema abstracto, es decir, que un nmero finito de pasos convierten los datos de un problema (entrada) en una solucin(salida). Sin embargo cabe notar que algunos algoritmos no necesariamente tienen que terminar o resolver un problema en particular. Por ejemplo, una versin modificada de la criba de Eratstenes que nunca termine de calcular nmeros primos no deja de ser un algoritmo. A lo largo de la historia varios autores han tratado de definir formalmente a los algoritmos utilizando modelos matemticos como mquinas de Turing entre otros. Sin embargo, estos modelos estn sujetos a un tipo particular de datos como son nmeros, smbolos o grficas mientras que, en general, los algoritmos funcionan sobre una vasta cantidad de estructuras de datos. En general, la parte comn en todas las definiciones se puede resumir en las siguientes tres propiedades siempre y cuando no consideremos algoritmos paralelos: Tiempo secuencial. Un algoritmo funciona en tiempo discretizado paso a paso, definiendo as una secuencia de estados "computacionales" por cada entrada vlida (la entrada son los datos que se le suministran al algoritmo antes de comenzar). Estado abstracto. Cada estado computacional puede ser descrito formalmente utilizando una estructura de primer orden y cada algoritmo es independiente de su implementacin (los algoritmos son objetos abstractos) de manera que en un algoritmo las estructuras de primer orden son invariantes bajo isomorfismo. Exploracin acotada. La transicin de un estado al siguiente queda completamente determinada por una descripcin fija y finita; es decir, entre cada estado y el siguiente solamente se puede tomar en cuenta una cantidad fija y limitada de trminos del estado actual.
En resumen, un algoritmo es cualquier cosa que funcione paso a paso, donde cada paso se pueda describir
sin ambigedad y sin hacer referencia a una computadora en particular, y adems tiene un lmite fijo en cuanto a la cantidad de datos que se pueden leer/escribir en un solo paso. Esta amplia definicin abarca tanto a algoritmos prcticos como aquellos que solo funcionan en teora, porejemplo el mtodo de Newton y laeliminacin de Gauss-Jordan funcionan, almenos en principio, con nmeros de precisin infinita; sin embargo no esposible programar la precisin infinita en una computadora, y no por ello dejande ser algoritmos. En particular es posible considerar una cuarta propiedad que puede ser usada para validar la tesis de ChurchTuring de que toda funcin calculable se puede programar en una mquina de Turing (o equivalentemente, en un lenguaje de programacin suficientemente general): Aritmetizabilidad. Solamente operaciones innegablemente calculables estn disponibles en el paso inicial.
Medios de expresin de un algoritmo

Los algoritmos pueden ser expresadosde muchas maneras, incluyendo al lenguaje natural, pseudocdigo,diagramas de flujo y lenguajes de programacin entre otros. Las descripciones en lenguaje natural tienden a ser ambiguas y extensas. El usar pseudocdigo y diagramas de flujo evita muchas ambigedades del lenguaje natural. Dichas expresiones son formas ms estructuradas para representaralgoritmos; no obstante, se mantienen independientes de un lenguaje de programacin especfico. La descripcin de un algoritmo usualmente se hace en tres niveles: Descripcin de alto nivel. Se establece el problema, se selecciona un modelo matemtico y se explica el algoritmo de manera verbal, posiblemente con ilustraciones y omitiendo detalles. Descripcin formal. Se usa pseudocdigo para describir la secuencia de pasos que encuentran la solucin.Implementacin. Se muestra el algoritmo expresado en un lenguaje de programacin especfico o algn objeto capaz de llevar a cabo instrucciones.
5/23
12/08/13
Tambin es posible incluir un teorema que demuestre que el algoritmo es correcto, un anlisis de complejidad o ambos.
Diagrama de flujo
numeros naturales
que encuentra la suma de los primeros 50
Los diagramas de flujo son descripciones grficas de algoritmos; usan smbolos conectados con flechas para
indicar la secuencia de instrucciones y estn regidos por ISO. Los diagramas de flujo son usados para representar algoritmos pequeos, ya que abarcan mucho espacio y su construccin es laboriosa. Por su facilidad de lectura son usados como introduccin a los algoritmos, descripcin de un lenguaje y descripcin de procesos a personas ajenas a la computacin. Los algoritmos pueden ser expresadosde muchas maneras, incluyendo al lenguaje natural, pseudocdigo, diagramas deflujo y lenguajes de programacin entre otros.
Las descripciones en lenguajenatural tienden a ser ambiguas y extensas. El usar pseudocdigo y diagramas
de flujo evita muchas ambigedades del lenguaje natural. Dichas expresiones son formas ms estructuradas para representar algoritmos; no obstante, se mantienen independientes de un lenguaje de programacin especfico.
Pseudocdigo
El pseudocdigo (falso lenguaje,el prefijo pseudo significa falso) es una descripcin de altonivel de un algoritmo que emplea una mezcla de lenguaje natural con algunas convenciones sintcticas propias de lenguajes de programacin, como asignaciones, ciclos y condicionales, aunque no est regido por ningn estndar. Es
12/08/13
utilizado para describir algoritmos en libros y publicaciones cientficas, y como producto intermedio durante el desarrollo de un algoritmo,como los diagramas de flujo, aunque presentan unaventaja importante sobre estos, y es que los algoritmos descritos enpseudocdigo requieren menos espacio para representar instrucciones complejas. El pseudocdigo est pensado para facilitar a las personas el entendimiento de un algoritmo, y por lo tanto puedeomitir detalles irrelevantes que son necesarios en una implementacin.Programadores diferentes suelen utilizar convenciones distintas, que puedenestar basadas en la sintaxis de lenguajes de programacin concretos. Sinembargo, el pseudocdigo, en general, es comprensible sin necesidad de conocero utilizar un entorno de programacin especfico, y es a la vez suficientementeestructurado para que su implementacin se pueda hacer directamente a partir del. As el pseudodocdigo cumple con lasfunciones antes mencionadas para representar algo abstracto los protocolos sonlos lenguajes para la programacin.
Unalgoritmo se puede concebir como una funcin que transforma los datos de un problema (entrada) en los
datos de una solucin(salida). Ms aun, los datos se pueden representar a su vez como secuencias de bits, y en general, desmbolos cualesquiera.1911Como cada secuencia de bits representa a un nmeronatural (vaseSistema binario), entonces los algoritmos sonen esencia funciones de los nmeros naturales en los nmeros naturales que sse pueden calcular. Es decir que todo algoritmo calcula una funcin donde cadanmero natural es la codificacin de un problema o de una solucin. En ocasiones los algoritmos sonsusceptibles de nunca terminar, por ejemplo, cuando entran a un bucleinfinito. Cuando esto ocurre, el algoritmo nunca devuelve ningnvalor de salida, y podemos decir que la funcin queda indefinida para ese valorde entrada. Por esta razn se considera que los algoritmos son funcionesparciales, es decir, no necesariamente definidas en todo su dominio de definicin. Cuando una funcin puede sercalculada por medios algortmicos, sin importar la cantidad de memoria queocupe o el tiempo que se tarde, se dice que dicha funcin es computable. No todas las funciones entresecuencias datos son computables.
Evolucin de la computacin En 1614 elescocs John Napier publica una obra en la que se explica por vez primera eluso del logaritmo,
funcin que permite transformar las multiplicaciones ensumas y las divisiones en diferencias. El clculo logartmico supuso para losastrnomos de la poca un adelanto semejante al que supusieron las computadorasen el siglo XX. En 1617 Napier da aconocer el baco rabdolgico cuya funcin era calcular productos y cocientes.Estaba compuesto por una tabla numerada en un lateral y varias varillas demarfil.
7/23
12/08/13
Pocos aos ms tarde, entre 1620 y 1630, aparece la regla de clculo, invento que seatribuye a William Oughtred. La regla de clculo permita realizar operacionesaritmticas mediante escalas basadas en los logaritmos: se emplean lneassuperpuestas de nmeros que se desplazan, permitiendo realizar los clculos.
8/23
12/08/13
En 1623 el astrnomo alemn Wilhelm Schickard inventa laprimera mquina de clculo, a la que llam reloj calculador y que fue ideadapara ser usada por su amigo astrnomo Johannes Kepler, a quien escribi unascartas en las que adjuntaba diversos bocetos del invento y detallaba su funcionamiento (usaba discos dentados), lo que sirvi para hacer unareconstruccin a escala que est expuesta en el Museo de la Ciencia de Munich.
El fsico y matemtico francs Blaise Pascal a la edad de 19 aos desarroll, en 1642, un calculador mecnico, primeramente llamadoMquina aritmtica, y despus Pascalina, para realizar sumas y restas. Usaba unsistema de ruedas dentadas similar al que ide Schickard. La base de lasoperaciones consista en contar los dientes de un engranaje, al igual que uncuenta kilmetros. Uno de los primeros lenguajes deprogramacin informtica lleva su nombre: el lenguaje Pascal (1970).
9/23
12/08/13
Gottfried Wilhelm Leibniz (1646-1716), filsofo, matemtico, fsico, jurista ypoltico alemn, tiene tambin un lugar importante dentro de la historia de lainformtica. Mencin especial merece la creacin del clculo infinitesimal,descubri el clculo diferencial.
Fue el precursor de la lgica matemtica, proponiendo un sistema binario para la realizacin de clculos.
Tambininvent una mquina de clculo que se llam Calculadora Universal, capaz derealizar sumas, diferencias, multiplicaciones, divisiones e, incluso, racescuadradas. Su elemento caracterstico era un tambor cilndrico con nuevedientes de longitud variable, llamado rueda escalonada o rueda de Leibniz, quese encuentra en prcticamente todas las calculadoras mecnicas posteriores,incluso en algunas del siglo XX.
Estas no eran mquinas automticas ya que requeran la intervencin humana durante el proceso. A comienzos del siglo XIX, el francs Joseph-MarieJacquard inventa un telar mecnico cuyos diseos se reproducan gracias a una seriede tarjetas perforadas, las cuales permitan repetir el diseo del dibujo en latela siempre que se desease. Las tarjetas perforadas transmitan a la tejedoralas instrucciones necesarias para su funcionamiento.
El matemtico e ingeniero britnico Charles Babbage es considerado el autntico padre de
los ordenadores.Debido a los numerosos errores que se producan en el clculo de tablasmatemticas, tuvo la idea de crear una mquina que ejecutara ese trabajo,eliminando el error humano y facilitando la tarea de realizar operacionesrepetitivas. En 1822 present su proyecto para el desarrollo de la 'mquinadiferencial' en la Royal Astronomical Society. Resolva polinomios de segundogrado mediante un mtodo numrico diferencial. Era capaz de realizar cualquierclculo y de almacenar programas.
10/23
12/08/13
En 1833, Charles Babbage se centra en un nuevo proyecto:una mquina que tuviera un propsito general, que fuera capaz de resolvermltiples problemas matemticos. La llamara Mquina Analtica. Funcionaba avapor y constaba de un mecanismo de entrada y salida mediante tarjetasperforadas basadas en el modelo de Jacquard, una memoria para 1.000 nmeros de50 cifras, una unidad de control para que las operaciones se realizasen en elorden correcto y una unidad aritmtico-lgica para los clculos. Inclusodispona de un sistema de impresin en papel similar al que se usara variasdcadas despus. Este invento es considerado el primer ordenador de lahistoria. Babbage cont con la colaboracin de la matemtica AdaAugusta Byron (1815-1852), hija de Lord Byron,que fascinada por el trabajo del inventor, particip en el patrocinio y lapromocin de la mquina analtica. Ada escribi diversos programas para resolverecuaciones trascendentes e integrales definidas. De este modo se considera aAda Byron como la primera programadora de ordenadores del mundo. En su honor sellam Ada al lenguaje de programacin desarrollado en 1979 a instancias delDepartamento de Defensa de los Estados Unidos, que buscaba estandarizar losnumerosos programas que existan.
Charles Babbage muri sin lograr terminar deconstruir su gran invento, pero sus ideas y diseos sentaran las
bases para eldesarrollo de los ordenadores modernos.
George Boole, matemtico y filsofo britnico, hizopblico en 1854 un estudio sobre las
leyes delpensamiento en las que se basan las teoras matemticas de la lgica y
12/08/13
laprobabilidad, aplicando smbolos a operaciones lgicas. Surge as el lgebra dela lgica o lgebra de Boole, que en el siglo XX sera aplicado en laconstruccin de ordenadores y circuitos.
Herman Hollerith ingenieroneoyorquino de origen alemn, consigui por vez primera
automatizar elprocesamiento de grandes cantidades de informacin con la ayuda de un aparatode propia creacin: la mquina censadora o tabuladora.
En 1879 Hollerith desarrolla un sistemade cmputo automatizado, y lo hizo diseando una mquina que utilizaba tarjetasen las que se representaba la informacin mediante perforaciones que erandetectadas por la mquina, clasificando (tabulando) debidamente la informacinsegn la lgica de Boole.
En 1896 Hollerithfund su propia compaa, Tabulating Machine Company, que en 1911 se fusioncon otras dos empresas, formando la Computing TabulatingRecording Company (CTR), sta a su vez pasa a manos de Thomas Watson en 1914 ydiez aos ms tarde, en 1924, tomara el nombre de 'International BusinessMachines (IBM). La aparicin de la tecnologa elctrica permite laincorporacin de rels, interruptores binarios con 2 posiciones:encendido-apagado. Se recupera el sistema de numeracin binario, ya usado porLeibniz. Importante es la aportacin de Boole que reduce la lgica (operacionesmatemticas) a combinaciones de Verdadero-Falso. En agosto de 1936 AlanMathison Turing public un artculo sobre el funcionamiento de calculadoresbinarios. La Mquinade Turing era una mquina terica que sera capaz de transformar con precisinoperaciones elementales, previamente definidas, en smbolos. Prcticamente almismo tiempo, en Estados Unidos, Alonzo Church di a conocer el 'LambdaCalculus', un trabajo equivalente, naciendo as la Tesis de Church-Turing. Por ello,Turing y Church, son considerados padres de la Ciencia de la Computacin y la Inteligencia Artificial.
12/08/13
Basndose en estos fundamentos, el ingeniero KonradZuse construy en 1938 la Z1, un prototipo de computadoraelectromecnica de sistema binario que poda ser programada y usaba relselctricos para automatizar los procesos, leyendo las instrucciones de unacinta perforada. No lleg a funcionar correctamente debido a laimperfeccin de las piezas mecnicas.
En 1941 cre la Z3, dispona de una memoria de64 palabras, procesador, unidad de lectura y unidad de control que decodificabala instruccin leda y transfera los datos.
En 1950 realiza laprimera venta de un ordenador a una compaa suiza, sera el modelo Z4. John Vincent Atanasoff estadounidense de origenblgaro, doctor en Fsica terica, es considerado el inventor del ordenadordigital electrnico. Atanasoff concibi la idea 'en una taberna de Iowa',durante el invierno de1937. Estableci loscuatro principios bsicos en los que se fundamentara su invento: el uso deelectricidad y componentes electrnicos, un sistema binario, condensadores comoelementos de memoria y un sistema lgico para el cmputo ( y no la enumeracin,como ocurra con las mquinas anlogas). La construccin se realiz entre 1937 y 1942, yAtanasoff cont con la ayuda de Clifford Edward Benning, un alumno deingeniera elctrica. En diciembre de 1939 haban terminado un prototipo quefuncionaba
12/08/13
correctamente y al que llamaran ABC (Antanasoff Berry Computer). En 1940 Atanasoffasiste a una conferencia del Dr. John William Mauchly y le muestra su mquina.Mauchly copia ideas de la ABCpara disear junto con John Presper Eckert la ENIAC (Electronic Numerical Integrator AndComputer), considerada la primera computadora digital electrnica del mundo,hasta que en 1967 un litigio entre Honeywell y Sperry Rand Corporation (quehaba adquirido la patente sobre la ENIAC), provoc que un juez concluyera en 1973 que la patente de ENIAC no era vlida. En 1938 se public latesis del ingeniero y matemtico estadounidense Claude Elwood Shannon, sobre la Teora matemtica de la Comunicacin, en laque demostr cmo el lgebra de Boole se poda utilizar en el anlisis y lasntesis de la conmutacin y de los circuitos digitales y cmo la combinacinde circuitos poda representar operaciones aritmticas y lgicas complejas,relacionando as lgica y electrnica. Las aportaciones de Shannon seranfundamentales tambin en el desarrollo de la criptografa y los sistemas decompresin de datos. En febrero de 1944, elingeniero estadounidense Howard Hathaway Aiken, financiado por IBM, termina laconstruccin del ordenador electromecnico MARK I, basndose en los diseos dela mquina analtica de Charles Babbage. Tena unas dimensiones gigantescas:meda unos 15,5 metrosde largo, unos 2,40 metros de alto y unos 60 centmetros deancho, su peso era de unas cinco toneladas y en su interior se reparta uncableado de unos 800 kilmetros de longitud con casi 3 millones deconexiones. Estaba compuesta por unas 750.000 piezas, y cerca de 1500interruptores. Haca uso del sistema decimal en lugar del binario, y contena72 registros mecnicos, cada uno de los cuales poda almacenar 23 dgitosdecimales ms un dgito para el signo.
14/23
12/08/13
El 15 de febrero de 1946 se hace unapresentacin pblica en la Universidad de Pennsylvania de ENIAC.

Fue el primer computador digital electrnico. Pesaba32 toneladas y meda 2,40 metros de ancho por 30 de largo. Estaba compuesto por17.460 vlvulas, 7.200 diodos de cristal, 1.500 rels, 70.000 resistencias,10.000 condensadores y 5 millones de soldaduras, produciendo tal calor que latemperatura de la sala en que se encontraba llegaba a los 50C. Dispona de capacidadpara resolver en un segundo 5.000 sumas y 360 multiplicaciones, aunque parareprogramarla era preciso cambiar de posicin las conexiones de los cables, loque requera un trabajo muy laborioso.
15/23
12/08/13
En 1952 se concluy la construccin delEDVAC (Electronic Discrete Variable Automatic Computer). Diseada tambin porMauchly y Eckert, a quienes se uni el matemtico hngaro John von Neumann.Esta computadora contaba por primera vez con capacidad de almacenamiento dememoria para los programas, lo que evitaba el tedioso trabajo de reconexin queera necesario en la mquina ENIAC. La memoria consista en lneas de mercuriodentro de un tubo de vidrio al vaco, donde un impulso electrnico poda ir yvenir en 2 posiciones, para almacenar los ceros y unos, empleando as nmerosbinarios. Constaba de 4.000 vlvulas y 10.000 diodos de cristal, con unaautonoma de hasta 8 horas.
16/23
12/08/13
EEl transistor (Transfer Resistor) es inventado por los Laboratorios BellTelephone en 1947 acabar sustituyendo a los tubos de vaco o vlvulas, debidoa la gran diferencia de sus prestaciones: tamao minsculo, menor coste y menorconsumo elctrico, generando as tambin menos calor. La vida til deltransistor es prcticamente ilimitada, mientras que las vlvulas deban serreemplazadas con mucha frecuencia. Las primeras computadoras construidascompletamente a base de transistores fueron introducidas por las compaas NCR(NCR 304,1957) y RCA (RCA 501,1958). Sin embargo, IBM cre los modelos mspopulares en la dcada de los 60. El primer modelo de IBM que empleabatransistores fue el IBM 7090, creado a finales de 1958.
Tiene lugar tambin la ampliacin de las memoriasinternas, la generalizacin del concepto de arquitectura modificable y el usode perifricos de gran masa de memoria como los tambores y discos magnticos. Aparecen los lenguajes ensambladores que traducen lasinstrucciones del cdigo mquina: - FORTRAN (Formula Translator), lenguaje empleado enaplicaciones cientficas y desarrollado entre 1954 y 1957 por la compaa IBM. - LISP (List Processing) creado en 1958 por JohnMcCarthy en el Instituto Tecnolgico de Massachusetts. - COBOL (Common Business Oriented Language)informtica de gestin empresarial. - ALGOL (Algorithmic Language). Usado en lasuniversidades. En 1959, el ingeniero estadounidense Jack St. ClaireKilby invent el circuito integrado monoltico cuando trabajaba para TexasInstruments. El invento original era un dispositivo creado con un monocristalde germanio
12/08/13
que integraba seis transistores en una misma base semiconductora.Esto permiti por un lado abaratar costos y por el otro aumentar la capacidadde procesamiento reduciendo el tamao fsico de las mquinas.
En 1974, la empresa estadounidense Intel Corporationpresent el modelo de microprocesador 8080. Contena 4.500 transistores y podamanejar 64k de memoria RAM. El 8080 fue el cerebro del primer ordenadorpersonal (PC), el Altair 8800, fabricado por la compaa MITS (MicroInstrumentation Telemetry Systems). El primer modelo no contaba con monitor niteclado, tan slo con luces LED y pequeas palancas o switches para facilitarla programacin. La informacin era almacenada en cassettes de grabadoras y eravisualizada en aparatos de televisin.
El primer lenguaje de programacin para la mquina fueel Altair BASIC, escrito por William Henry Gates y Paul Allen, quienes despusfundaran Microsoft. El Sistema Operativo que utilizaba el Altair 8800 era elCP/M (Control Program for Microcomputers), escrito por Gary Kildall.
12/08/13
En 1976 Steve Wozniak (entoncesingeniero en Hewlett-Packard) y Steve Jobs (que trabajaba en Atari) fabrican enel garaje de su casa la microcomputadora Apple I. Steven Jobs convenci aWozniak para continuar la fabricacin para la venta al pblico y en abril de1976 naci la empresa Apple Computers. El Apple I se construa manualmente y nolleg a ser vendido de forma masiva.
En 1981 IBM lanza al mercado su primer IBM-PC. En estapoca destaca el desarrollo de los sistemas operativos, que buscan unaintegracin entre el usuario y el ordenador, a travs de la utilizacin degrficos. Microprocesador, Chips de memoria,Microminiaturizacin
12/08/13
Dos mejoras en la tecnologa de las computadorasmarcan el inicio de la cuarta generacin: elreemplazo de las memorias con ncleos magnticos, por las de chips de silicio yla colocacin de Muchos ms componentes en un Chip: producto de lamicrominiaturizacin de los circuitos electrnicos. El tamao reducido delmicroprocesador y de chips hizo posible la creacin de las computadoraspersonales (PC Personal Computer). Hoy en da las tecnologas LSI (Integracin a granescala) y VLSI (integracin a muy gran escala) permiten que cientos de miles decomponentes electrnicos se almacenen en un chip. Usando VLSI, un fabricantepuede hacer que una computadora pequea rivalice con una computadora de laprimera generacin que ocupaba un cuarto completo.
20/23
12/08/13
Para bien o para mal la informtica se ha transformado en parte de nuestras vidas, el usode esta hoy en da se ve reflejado tanto en investigaciones cientificas como enla recreacin, anq an falta mucho de lo cual tal vez no lleguemos a ver
21/23
12/08/13
Gracias x pasar, espero no haya sido muy denso, anq para seguir entendiendo falta mucho, espero haya sido til. Como siempre, dudas, comentarios y/o puntos bienvenidos!!! Estos son algunos de mis posts anteriores:
Telescopio Kepler, ojo en el espacio info y novedades nuevos planetas descubiertos Samsung SUR40 Evolucin de dispositivos Microsoft Surface
12/08/13
Personaliza tu Banner De T! y tus post Fl Studio 9 Full + info Tutorial basico Fl 9 Introduccin, Tiempos e instrumentos Algo mas que guitar hero, guitarras electrnicas Gadgets Tecnologicos para hacer msica La msica de los nmeros Tus canciones de Guitar Pro con instrumentos "reales" Buen compilado de gifs animados de bandas de Rock
Fuentes de Informacin
El contenido del post es de mi autora, y/o, es un recopilacin de distintas fuentes.
23/23

Computadoras, Lógica y Evolución

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Computadoras, Lógica y Evolución

Încărcat de

Drepturi de autor:

Formate disponibile

12/08/13

Computadoras, Lgica y Evolucin - Taringa!

Computadoras, Lgica y Evolucin

Empec un bachillerato en informtica y una de las materias que curso es lgica.

Computadoras, Lgica y Evolucin - Taringa!

Una interpretacin formal.

Computadoras, Lgica y Evolucin - Taringa!

Computadoras, Lgica y Evolucin - Taringa!

Los diagramas de flujo sirven para representar algoritmos de manera grfica:

Computadoras, Lgica y Evolucin - Taringa!

Medios de expresin de un algoritmo

Computadoras, Lgica y Evolucin - Taringa!

que encuentra la suma de los primeros 50

Computadoras, Lgica y Evolucin - Taringa!

Computadoras, Lgica y Evolucin - Taringa!

Computadoras, Lgica y Evolucin - Taringa!

Computadoras, Lgica y Evolucin - Taringa!

El matemtico e ingeniero britnico Charles Babbage es considerado el autntico padre de

Computadoras, Lgica y Evolucin - Taringa!

Computadoras, Lgica y Evolucin - Taringa!

Herman Hollerith ingenieroneoyorquino de origen alemn, consigui por vez primera

Computadoras, Lgica y Evolucin - Taringa!

Computadoras, Lgica y Evolucin - Taringa!

Computadoras, Lgica y Evolucin - Taringa!

El 15 de febrero de 1946 se hace unapresentacin pblica en la Universidad de Pennsylvania de ENIAC.

Computadoras, Lgica y Evolucin - Taringa!

Computadoras, Lgica y Evolucin - Taringa!

Computadoras, Lgica y Evolucin - Taringa!

Computadoras, Lgica y Evolucin - Taringa!

Computadoras, Lgica y Evolucin - Taringa!

Computadoras, Lgica y Evolucin - Taringa!

Computadoras, Lgica y Evolucin - Taringa!

Computadoras, Lgica y Evolucin - Taringa!

El contenido del post es de mi autora, y/o, es un recopilacin de distintas fuentes.

S-ar putea să vă placă și