Jazmin

CENTRO UNIVERSITARIO
DE LA COSTA NORTE

-------------------------------------------------
TRABAJO DE INVESTIGACIÓN DE LÓGICA Y CONJUNTOS

ING. EN COMPUTACIÓN
ALUMNA: JAZMIN AGUIRRE SUÁREZ
PROFESOR: FERNANDO HUERTA LUNA
PUERTO VALLARTA JALISCO, 17 DE SEPTIEMBRE 2012

CONTENIDO

RELACIÓN DE LA LÓGICA CON OTRAS CIENCIAS
APORTACIONES DE LOS SOFISTAS
¿QUÉ ES EL CONOCIMIENTO?¿QUÉ ES EL PENSAMIENTO?
¿QUÉ ES EL NIVEL SENSORIAL?
¿QUÉ ES EL NIVEL LÓGICO DEL PENSAMIENTO?
CARACTERISTICAS DEL PENSAMIENTO
ELEMENTOS DEL PENSAMIENTO
FACTORES DEL PENSAMIENTO
FORMAS DEL PENSAMIENTO
DEFINICION DE “EL CONCEPTO”, “JUICIO” Y “RAZONAMIENTO”
EL LENGUAJE COMO FORMA DE EXPRESAR EL PENSAMIENTO
EL LENGUAJE SIMBOLICO

RELACIÓN DE LA LÓGICA CON OTRAS CIENCIAS

La lógica estudiala forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un argumento es válido.

Cuando entendemos los elementos del razonamiento, nos damos cuenta de que todas las materias, todas las disciplinas, tienen una lógica fundamental, definida por las estructuras de pensamiento inherentes en ellas.

RELACIÓN DE LA LÓGICA EN LA SIGUIENTES DISCIPLINAS:

*COMPUTACIÓN | * MEDICINA | * CRIMINOLOGÍA | * MATEMÁTICAS | * ECOLOGÍA |

LA LÓGICA EN LA COMPUTACIÓN
Varias áreas de las Matemáticas han resultado útiles para la Ciencia de la Computación: Teoría de números, Álgebra lineal, Probabilidades, etc. Pero por otro lado, y al contrario de otras ciencias, la Computación se ha beneficiado también fuertemente de su interacción con la Lógica.Incluso la lógica ha sido llamada "el cálculo" de la Ciencia de la Computación, lo que quiere decir que sus métodos y conceptos ocupan un lugar central en la estructura de nuestra área.
La influencia de la Lógica en la Computación es observable, en estos y otros campos:
CAMPOS | ESTUDIO E IMPORTANCIA DE LA LÓGICA |
Bases de datos: | Estudia cómo almacenar, consultar y actualizar grandesvolúmenes de información. Es decir, las herramientas declarativas que permiten extraer información desde una fuente de datos corresponden a extensiones de lenguajes lógicos. |
Lenguajes de programación: | Su estudio ha sido fuertemente influenciado por la teoría lógica de tipos. Esta puede ser vista como una teoría explicativa unificadora del diseño, análisis e implementación de los lenguajes deprogramación. Permite, por ejemplo, estudiar ciertos conceptos específicos como los polimorfismos, la abstracción de datos y la herencia, además de desarrollar modelos del comportamiento de los programas. |
Verificación de sistemas computacionales: | El creciente aumento en el tamaño y complejidad de los sistemas computacionales ha hecho cada vez más relevante estudiar las fallas en estos sistemas.La verificación formal es un área que utiliza técnicas de las lógicas temporales para estudiar la confiabilidad y rectitud de los sistemas computacionales. |
Complejidad computacional: | Estudia la cantidad de recursos computacionales que se necesitan para resolver los problemas que aparecen en nuestra especialidad. La lógica ha sido utilizada en este contexto para demostrar que los recursosusuales de los que hablamos en Computación tienen una contraparte descriptiva, que representa la cantidad de recursos necesarios para describir el problema. |

CAMPO DE APLICACIÓN |
Análisis, síntesis y verificación de Programas |
Teoría de la especificación |
Programación Lógica |
Inteligencia Artificial |
Control de Procesos |
Robótica |

LA LÓGICA COMPUTACIONAL SE DEFINE DE LASIGUIENTE MANERA:

LA LÓGICA EN LA MEDICINA
¿Cómo piensan los médicos cuando deben resolver el enigma de qué tiene su paciente? Muchos se han hecho esta pregunta, desde los enfermos que los consultan por necesidad, hasta los filósofos o estudiosos que buscan darle sentido al razonamiento médico, estructurándolo en el marco del pensamiento científico.

¿Cómo se estructura el pensamiento...