Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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
Paradigmas computacionales
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