ALESSANDRA GALLINARI LOGICA MATEMATICA PDF

Ayudar al alumno a aprender a razonar y formalizar correctamente. En esto tipo de clases es conveniente aprovechar la presencia y la disponibilidad del profesor para aclarar posibles dudas. Tema 1. Tema 2. Tema 3. Relaciones binarias.

Author:Tojazragore Gakora
Country:Botswana
Language:English (Spanish)
Genre:Life
Published (Last):28 February 2017
Pages:244
PDF File Size:8.9 Mb
ePub File Size:2.33 Mb
ISBN:894-9-23823-753-7
Downloads:24082
Price:Free* [*Free Regsitration Required]
Uploader:Dobei



Por medio de la formalizacin del lenguaje y de sus reglas bsicas, proporciona las herramientas necesarias para poder tratar e intentar resolver rigurosamente problemas que tienen sus origines y aplicaciones en todas las reas de las ciencias.

La definicin de lgica como ciencia formal en la cultura occidental es el resultado de un largo desarrollo histrico que empieza con las obras de algunos filsofos griegos y llega hasta la actualidad. Histricamente las reas de aplicacin ms importantes de la lgica son la filosofa, las matemticas y la informtica.

En las matemticas es necesario aprender a distinguir entre razonamientos que son matemticamente ltima actualizacin: 18 de julio de Vicerrectorado de Profesorado, Titulaciones, Ordenacin Acadmica, Coordinacin y Campus.

Adems, para poder resolver problemas concretos es necesario desarrollar la habilidad de construir razonamientos matemticos originales. La lgica proporciona las herramientas necesarias para el razonamiento matemtico, pero tambin para muchas otras aplicaciones. Toda teora matemtica se construye a partir de unos axiomas, que definen las propiedades bsicas de los objetos de la teora que se consideran verdaderas y, sin embargo, no se demuestran. La geometra eucldea y la construccin de los nmeros reales son dos ejemplos de este tipo de teoras axiomticas.

El modelo matemtico conocido como lgebra de Boole es otro ejemplo muy importante en informtica usado para el diseo de circuitos lgicos y las bsquedas booleanas en grandes colecciones de datos ndices de pginas Web, datos genticos, etc. Los mtodos deductivos de la lgica matemtica estn a la base de la demostracin automtica de teoremas.

Se trata de buscar los sistemas de demostracin ms eficientes para su implementacin en un ordenador. Definida la semntica de un lenguaje de programacin, se pueden usar los mtodos de demostracin de la lgica matemtica para verificar automticamente la correccin de programas y sus propiedades.

La programacin lgica est a la base de la inteligencia artificial y permite deducir nuevos conocimientos a partir de una base de conocimientos los axiomas y una serie de deducciones automticas. Por tanto, algunas de las reas de aplicacin de la lgica en informtica son: La minera de datos. La descripcin de la semntica de los lenguajes de programacin y la verificacin de programas. La demostracin automtica de teoremas.

La programacin lgica y los sistemas basados en el conocimiento en la inteligencia artificial. En particular, los alumnos podrn aplicar sus conocimientos de lgica en las asignaturas relacionadas con el estudio del lgebra, del Clculo, de la Matemtica Discreta, de la Electrnica Digital, de la Teora de Autmatas y Lenguajes Formales, de la Programacin, de las Bases de Datos, etc.

Objetivos Introducir herramientas y conceptos bsicos de la Lgica Matemtica y sus aplicaciones. Ayudar al alumno a aprender a razonar y formalizar correctamente. Conocimientos previos: Los propios de las Matemticas estudiadas en Bachillerato.

Recomendaciones: Bibliografa: tener unos buenos libros de texto facilita enormemente el estudio de cualquier materia. El material de la asignatura es una ayuda para las clases, no pretende sustituir la bibliografa recomendada. Mtodo de estudio: las asignaturas de matemticas requieren un estudio llevado al da. Los temas del programa estn desarrollados de forma tal que el aprendizaje sea progresivo y, por tanto, no es posible entender un nuevo tema si se tienen dudas importantes sobre el anterior.

Es importante que el alumno lea el material de la asignatura antes de las clases tericas correspondientes. En las clases prcticas los alumnos pueden verificar si su nivel de comprensin de la materia es el adecuado y tienen la oportunidad de corregir errores de aprendizaje.

En esto tipo de clases es conveniente aprovechar la presencia y la disponibilidad del profesor para aclarar posibles dudas. Las pruebas parciales tambin sirven para que el alumno pueda verificar su nivel de conocimiento de la materia. Si es necesario, permiten mejorar su preparacin a tiempo para el examen final. Para aclarar dudas es conveniente: volver a estudiar el tema que presenta dificultades consultando distintos textos e intentar resolver los problemas propuestos, preguntar las dudas al profesor en clase o durante sus horas de tutora, trabar en grupo con otros compaeros.

Especficas Capacidad para comprender y dominar los conceptos bsicos de matemtica discreta, lgica, algortmica y complejidad computacional, y su aplicacin para la resolucin de problemas propios de la ingeniera.

Capacidad para adquirir, obtener, formalizar y representar el conocimiento humano en una forma computable para la resolucin de problemas mediante un sistemas informtico en cualquier mbito de aplicacin, particularmente los relacionados con aspectos de computacin, percepcin y actuacin en ambientes o entornos inteligentes.

Temario de la asignatura Bloque temtico I. Tema Tema 1. Tema 2. Algunas nociones de teora de conjuntos, relaciones y funciones. Propiedades bsicas de conjuntos. Relaciones binarias. Apartados ltima actualizacin: 18 de julio de Vicerrectorado de Profesorado, Titulaciones, Ordenacin Acadmica, Coordinacin y Campus. Sintaxis de la lgica de proposicional. Formalizacin del lenguaje natural. Semntica de la lgica proposicional.

Teora interpretativa. Evaluacin semntica de las frmulas. Tautologas, contingencias y contradicciones. Equivalencia de frmulas. Mtodos de refutacin. Tema 3. Teora de la demostracin. Tema 1. Sintaxis de la lgica de primer orden. Sistema de Deduccin Natural.

Trminos y frmulas. Evaluacin semntica de trminos y frmulas. Validez semntica de frmulas. Sistemas de Deduccin Natural. Semntica de la lgica de primer orden. Actividades obligatorias evaluables : 1. Pruebas Tres exmenes parciales de 1 hora Un examen final de 3 horas ltima actualizacin: 18 de julio de Vicerrectorado de Profesorado, Titulaciones, Ordenacin Acadmica, Coordinacin y Campus.

Bloque II, tema 1. Tercer examen parcial, semana Bloque II, tema 3. Bloque III, tema 1. En el examen final el alumno que lo quiera puede volver a examinarse sobre todo el temario.

Ponderacin para la evaluacin continua En el sistema de evaluacin continua la asistencia a clase es obligatoria y su valoracin en el proceso de evaluacin continua de la asignatura la establecern los profesores en cada asignatura. Preguntas de desarrollo escritas. Bloque III, tema 2 y 3.

Liberatoria Puntuacin mnima de 1 a 10 : 3,5 Reevaluable.

KALIKA PURANA ENGLISH PDF

Apuntes y Problemas de Lógica Matemática

.

ECLIPSE DE DIOS BUBER PDF

APUNTES Y PROBLEMAS DE LOGICA MATEMATICA

.

Related Articles