Lógica Computacional

Universidad Nacional “Pedro Ruiz Gallo”
Facultad de Ciencias Físicas y Matemática

ESCUELA PROFESIONAL
DE ING. COMPUTACIÓN E INFORMATICA
CURSO:
Lógica Matemática

PROFESOR:
Sifuentes Justiniano Nelson
ALUMNOS:
Inoñan Valdivia, Yuliana
Vásquez Chamay, Yoreli
CICLO:Segundo
TEMA:
Lógica computacional

Lambayeque, 00 de 2012.

LA LÓGICA
APLICADA AL
CAMPO DE LA
COMPUTACIÓN

INTRODUCCIÓN
La lógica constituye la herramienta formal de razonamiento en la mayor parte de asignaturas en la carrera de informática.
La lógica está dada por unconjunto de símbolos (el lenguaje), una serie de propiedades asumidas como verdaderas (axiomas). Cuando esta lógica se usa para formalizar y razonar sobre propiedades de sistemas de computación, la denominamos lógica computacional y la principal ventaja de usarla en el campo de la computación e informática es que asegure el buen funcionamiento de los sistemas de computación.

MEDIOS Y MATERIALES:En el trabajo que presentaremos en esta oportunidad, daremos a conocer la aplicación de la lógica en la rama de la computación.
Para ello tenemos que conocer diversos conceptos y métodos, los cuales hemos adquirido por diversas fuentes (libros, enciclopedias, internet, etc.).Estos conceptos son necesarios para el desarrollo de ejercicios lógicos-computacionales ya sea lógica binaria, lógicadifusa, lógica en circuitos, etc.
Además haremos uso de programas como el Pseint, Sle, c++, etc., los cuales nos permitirán programar y comprobar el uso correcto de algoritmos, aplicando la lógica computacional.

OBJETIVOS:

Objetivo General:
El fin del uso de la lógica en la rama de la computación, es lograr el diseño de programas óptimos utilizando el uso correcto de la lógica (elementoprincipal en la programación). Programas, los cuales son muy útiles e importantes que nos permitirán desarrollarnos adecuadamente en el ámbito empresarial.

Objetivo específico:
* Proporcionar una formación sólida en los fundamentos formales de la Lógica Computacional observando el carácter abstracto y simbólico
* Motivar en el estudiante su capacidad de razonamiento y mayor habilidadpara pensar lógicamente en la comprensión de problemas
* Apreciar la Lógica Computacional en cuanto a su aplicabilidad y saber emplearla para presentar soluciones a los problemas computacionales.

ZONA DE ESTUDIOS:
Nuestra zona de estudios está establecida dentro del campo de las ciencias lógicas y las ciencias computacionales, puesto que ambas se complementan y nos dan una amplia visión dela lógica computacional.
Además queremos mostrar la importancia de ambas ciencias en el desarrollo de la tecnología y la comodidad respectivamente en la vida del hombre.

Fundamentos Teóricos:
LÓGICA:
1.- Definición: Proviene del griego LOGOS, que aparte de significar estudio o tratado, también significa: idea, espíritu, razón y pensamiento. Y de ICOS que significa “relativo a”.
Por lotanto lógica es la ciencia que estudia el pensamiento y la razón. Su objetivo de estudio es la razón y el pensamiento, es decir, estudia su orden estructura y coherencia.
Tipos de lógica:
1. LÓGICA PROPOSICIONAL
Definición:
Es una parte de la lógica que tiene por objeto de estudio la proposición y la relación entre ellas, así como la función que tienen las variables proposicionales y losconectivos lógicos.
Conceptos Previos
Lenguaje: Es un conjunto de sonidos, letra, gestos y símbolos mediante los cuales se transmite un mensaje. En el lenguaje oral o escrito, nos referimos a letras, palabras o vocablos que al agruparse pueden tener significación o carecer de ella.
Juicio: Es el acto mental por la cual toda persona puede distinguir el bien del mal y lo verdadero de lo falso, es...