GUÍA DOCENTE
LOGICA
GRADO EN INGENIERIA INFORMATICA
CURSO 2013-14
Fecha de publicación: 05-09-2013
Vicerrectorado de Profesorado,Titulaciones, Ordenación Académica, Coordinación y Campus
Prepara tus exámenes
Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity
Consigue puntos base para descargar
Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium
Orientación Universidad
Prepara tus exámenes
Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity
Busca documentos
Prepara tus exámenes con los documentos que comparten otros estudiantes como tú en Docsity
Busca tu universidad
Encuentra los documentos específicos para los exámenes de tu universidad
Video Cursos
Estudia con lecciones y exámenes resueltos basados en los programas académicos de las mejores universidades
Quiz
Responde a preguntas de exámenes reales y pon a prueba tu preparación
Consigue puntos base para descargar
Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium
Comunidad
Pregúntale a la comunidad
Pide ayuda a la comunidad y resuelve tus dudas de estudio
Ebooks gratuitos
¡Nuestros e-books salva-estudiantes!
Descarga nuestras guías gratuitas sobre técnicas de estudio, métodos para controlar la ansiedad y consejos para la tesis preparadas por los tutores de Docsity
Guia Docente, Guías, Proyectos, Investigaciones de Ingeniería Infórmatica
Asignatura: Lógica, Profesor: , Carrera: Ingeniería Informática, Universidad: URJC
Tipo: Guías, Proyectos, Investigaciones
2016/2017
1 / 10
Esta página no es visible en la vista previa
¡No te pierdas las partes importantes!
Vista previa parcial del texto
¡Descarga Guia Docente y más Guías, Proyectos, Investigaciones en PDF de Ingeniería Infórmatica solo en Docsity!
GUÍA DOCENTE
LOGICA
GRADO EN INGENIERIA INFORMATICA
CURSO 2013-
Fecha de publicación: 05-09-
Vicerrectorado de Profesorado,Titulaciones, Ordenación Académica, Coordinación y Campus
I.-Identificación de la Asignatura
Tipo FORMACIÓN BÁSICA
Período de impartición 1 curso, 1Q semestre
Nº de créditos 6
Idioma en el que se imparte Castellano
II.-Presentación
Competencias Generales
CB1.Capacidad para la resolución de los problemas matemáticos que puedan plantearse en la ingeniería. Aptitud para aplicar los conocimientos sobre: álgebra lineal; cálculo diferencial e integral; métodos numéricos; algorítmica numérica; estadística y optimización. CB3.Capacidad para comprender y dominar los conceptos básicos de matemática discreta, lógica, algorítmica y complejidad computacional, y su aplicación para la resolución de problemas propios de la ingeniería. CG8.Conocimiento de las materias básicas y tecnologías, que capaciten para el aprendizaje y desarrollo de nuevos métodos y tecnologías, así como las que les doten de una gran versatilidad para adaptarse a nuevas situaciones. CG9.Capacidad para resolver problemas con iniciativa, toma de decisiones, autonomía y creatividad. Capacidad para saber comunicar y transmitir los conocimientos, habilidades y destrezas de la profesión de Ingeniero Técnico en Informática.
Competencias Específicas
CE23. Capacidad para adquirir, obtener, formalizar y representar el conocimiento humano en una forma computable para la resolución de problemas mediante un sistema informático en cualquier ámbito de aplicación, particularmente los relacionados con aspectos de computación, percepción y actuación en ambientes o entornos inteligentes.
IV.-Contenido
IV.A.-Temario de la asignatura
Bloque temático Tema Apartados
I.- Preliminares. Tema 1. Introducción.
Tema 2. Algunas nociones de teoría de conjuntos, relaciones y funciones.
Propiedades básicas de conjuntos. Relaciones binarias. Funciones.
II.- Lógica de proposiciones Tema 1. Sintaxis de la lógica de proposicional.
Alfabeto. Fórmulas. Formalización del lenguaje natural.
Tema 2. Semántica de la lógica proposicional. Teoría interpretativa.
Evaluación semántica de las fórmulas. Tautologías, contingencias y contradicciones. Equivalencia de fórmulas. Métodos de refutación. Tableaux.
Tema 3. Teoría de la demostración. Sistema de Deducción Natural.
III.- Lógica de predicados de primer orden.
Tema 1. Sintaxis de la lógica de primer orden.
Alfabeto. Términos y fórmulas. Formalización del lenguaje natural.
Tema 2. Semántica de la lógica de primer orden. Teoría interpretativa.
Evaluación semántica de términos y fórmulas. Validez semántica de fórmulas. Equivalencia de fórmulas.
Tema 3. Teoría de la demostración. Sistemas de Deducción Natural.
IV.B.-Actividades formativas
Tipo Descripción
Otras Lecciones magistrales (30 h.)
Prácticas / Resolución de ejercicios Resolución de Ejercicios (14 h.)
Otras Pruebas (4 h.)
Otras Tutorías (12 h.)
Lecturas Estudio bibiliografía (35 h.)
Otras Preparación de pruebas (55 h.)
V.-Tiempo de Trabajo
Clases teóricas 30
Clases prácticas de resolución de problemas, casos, etc. 14
Prácticas en laboratorios tecnológicos, clínicos, etc. 0
Realización de pruebas 4
Tutorías académicas 12
Actividades relacionadas: jornadas, seminarios, etc. 0
Preparación de clases teóricas 15
Preparación de clases prácticas/problemas/casos 20
Preparación de pruebas 55
Total de horas de trabajo del estudiante 150
VI.-Metodología y plan de trabajo
Tipo Periodo Contenido
Pruebas Semana 1 a Semana 15 Pruebas en las semanas señaladas
Clases Teóricas Semana 1 a Semana 15 Exposición por parte del profesor
Prácticas Semana 1 a Semana 15 Resolución de ejercicios
Lecturas Semana 1 a Semana 15 Lectura y estudio de la bibliografía
Otras Actividades Semana 1 a Semana 15 Trabajo tutelado/propuesto
VII.-Métodos de evaluación
VII.A.-Ponderación para la evaluación
Evaluación Ordinaria: Si el profesorado considera que la asistencia es obligatoria deberá especificarse con precisión. (Nota: para no admitir a una prueba a un estudiante por no cumplir con el mínimo de asistencia, se deberá poder justificar por el profesor utilizando un sistema probatorio, como por ejemplo, una hoja de firmas) La distribución y características de las pruebas de evaluación son las que se describen a continuación o se difundirán en cada curso académico en las primeras semanas del periodo de impartición de la asignatura y se colgará en el campus virtual de cada grupo. Evaluación extraordinaria: Los alumnos que no consigan superar la evaluación ordinaria serán objeto de la realización de una evaluación extraordinaria de cuya valoración dependerá de las indicaciones aportadas por el profesor al inicio del curso y en su campus virtual. Con carácter general será un examen en las fechas oficiales establecidas de carácter teórico y/o práctico.
Observaciones
Realización de dos pruebas parciales eliminatorias con nota mínima de 4 sobre 10. Ambas son reevaluables tanto en la convocatoria de diciembre como en la de junio. Contendrán problemas de respuesta abierta o tipo test. La nota mínima para aprobar la asignatura es de 5 sobre 10. Prueba I. Preliminares y Lógica Proposicional (40%) (mitad de curso) Prueba II. Lógica de Predicados (50%) (final de curso) Un 10% de la evaluación estará vinculado a la participación en clase.
VII.B.-Evaluación de alumnos con dispensa académica
Para que un alumno pueda optar a esta evaluación, tendrá que obtener la 'Dispensa Académica' para la asignatura, que habrá solicitado al Decano/a o Director/a del Centro que imparte su titulación. La Dispensa Académica se podrá conceder siempre y cuando las peculiaridades propias de la asignatura lo permitan.
Asignatura con posibilidad de dispensa: Si
VII.C.-Revisión de las pruebas de evaluación
Conforme a la normativa de reclamación de exámenes de la Universidad Rey Juan Carlos.
- Tramo Docentia