Está en la página 1de 2

Control de lectura

Nombre: Jonathan Sánchez


Fecha:22/10/19

El teorema de Godel en el que decía que cualquier teoría matemática será siempre
incompleta, motivó a Alang turing a estudiar las funciones que podían ser calculadas y
las que no surgiendo de esta manera el teorema de turing el cuál además introdujo el
concepto de la máquina de Turing.

Claude Shannon creo las bases para la aplicación de la lógica matemática a los circuitos
combinatorios y secuenciales

Autómata: es un sistema capaz de transmitir información. Es decir acepta señales de


su entorno, como resultado cambia de estado y transmite otras señales a su medio.

Lenguajes y gramáticas: Noam Chomsky propuso la teoría de las gramáticas


transformacionales, teoría que estableció las bases para la lingüística matemática y
sirvió como herramienta para el estudio de los lenguajes de computadora. Dividió el
estudio de los lenguajes en gramática y semántica pudiendo a su vez la gramática
analizar la morfología de las palabras y su combinación para tener una correcta
sintaxis.

Informática teórica.- Consigue mejores sistemas de computación y clasifica problemas


de acuerdo a su dificultad.

En sus inicios las computadoras eran grandes circuitos electrónicos y el concepto de


programa aún no existía, siendo estas computadoras, si podían nombrarse así,
imposibles de programar mediante el uso de un lenguaje, y su “programación”
consistía en modificar su hardware de alguna forma para que cumpliesen con la tarea
requerida, lo cual era propenso a muchos errores.

El concepto de programa almacenado permitió la lectura de un programa dentro de la


memoria de la computadora, y después la ejecución de las instrucciones del mismo sin
tener que volverlas a escribir.

Debido a al trabajo de John von Neumann ahora se tiene la idea de un computador


que ejecute un conjunto mínimo de instrucciones básicas para realizar todas sus
operaciones en lugar de cambiar su arquitectura de hardware para llevar a cabo la
misma labor. Debido a esto ahora surge el concepto de lenguaje de máquina, el cual
expresa a nivel de este conjunto de instrucciones básicas expresadas en binario, el
programa que resolvía la tarea requerida por el operador de la computadora.
Noam Chomsky comenzó con su estudios del lenguaje natural por ese mismo
momento lo cual junto con las maquinas abstractas permitieron sentar las bases de los
compiladores modernos. A medida que el problema del léxico, sintaxis y semántica se
comprendía mejor gracias a los avances en estas áreas, se empezaron a realizar
programas que automatizaran esta parte del desarrollo de un compilador, llamándose
a estos programas compiladores de compilador.

La arquitectura de Von Neumann marca el punto de partida de la informática


moderna. Si se escribían los programas utilizando claves mnemotécnicas
(abreviaciones de los códigos de operación, más fáciles de recordar que los números),
los programas eran más sencillos de escribir: Lenguaje Ensamblador.

Paradigmas computacionales

Los lenguajes de programación se iniciaron imitando y abstrayendo las instrucciones


existentes de forma predeterminada en las computadoras.

Con el paso del tiempo surgieron dos paradigmas o patrones de tipos de lenguajes de
lenguajes de programación, proviniendo ambos de las matemáticas. El paradigma
funcional, que está basado en la noción abstracta del cálculo de una función como se
estudia en el cálculo lambda. El paradigma lógico, que se encuentra basado en la lógica
simbólica. Posteriormente, surgió un cuarto paradigma, el orientado a objetos.
Posteriormente, surgió un cuarto paradigma, el orientado a objetos

BIBLIOGRAFÍA: https://app.ute.edu.ec/content/6990-7-86-1-6-24/Clase%201%20-
%20Introducci%C3%B3n.pdf

También podría gustarte