Estructuras Discretas y Ciencias de la Computación
|
|
- Teresa Giménez Gil
- hace 6 años
- Vistas:
Transcripción
1 Estructuras Discretas y Ciencias de la Computación Jaime Oyarzo Espinosa jaime.oyarzo@uah.es Profesor Asociado, Universidad de Alcalá elearning Consultant, LUND University, Sweden Contenidos Introducción Lógica en la informática Métodos de prueba Matemática Discreta Conjuntos, Relaciones, Funciones Técnicas de Recuento Grafos y árboles Algebra de BOOLE Análisis numérico Medidas en la informática y su terminología Simulación 2 1
2 Lógica en la informática 3 Lógica proposicional En la lógica de proposiciones, los enunciados declarativos pueden ser verdaderos o falsos, pero no las dos cosas a la vez. El lenguaje está formado por: Enunciados simples (proposiciones): unidad mínima del lenguaje con información. Conectivas: permiten construir frases nuevas (relacionan proposiciones). Negación (~) Conjunción ( ), unión Disyunción ( ), intersección Condicional ( ), representa causa/efecto 4 2
3 Programación lógica La programación lógica nace de la idea de crear un lenguaje más cercano al lenguaje natural y a la forma de pensar humana. Se intenta separar la lógica del problema del control del programa: Algoritmo = Lógica + Control 5 Lógica matemática: necesaria? No en caso de: Cálculos basados en operaciones aritméticas (que un humano puede memorizar y aplicar Búsqueda de datos (por simple comparación con un patrón dado); Clasificación u ordenación de datos (siguiendo un criterio establecido); SI, en caso de Tareas en que interviene la capacidad deductiva, que podemos calificar como "inteligentes", en las que se requiere: Tener conocimiento sobre el dominio; Razonar con tal conocimiento; Conocer cómo dirigir o guiar tal razonamiento 6 3
4 Métodos de prueba La lógica proposicional cuenta con varios métodos de decisión: Tablas de Verdad Análisis de Valores de Verdad Reducción a Forma Real Arboles Lógicos 7 Tablas de Verdad 8 4
5 Matemática Discreta Qué es? Parte de la matemática que estudia los objetos discretos (respuesta imprecisa ) Comencemos con un ejemplo Los números naturales: N = {1,2,3,4,5,6,7.} Los números Reales positivos: R + Que significa N R +, N R + Diferencias? 9 Estructuras Discretas Los números naturales son un conjunto de elementos discretos (separados y contables) Los números Reales positivos contienen siempre números entre ellos, son contínuos. En matemáticas: discreto es lo contrario de continuo. discreto continuo 10 5
6 Porqué estudiar Matemática Discreta? Todas las matemáticas tienen un carácter instrumental (medir, calcular, definir, etc.) Matemática Discreta: vinculada a las ciencias de la computación El ordenador trata con objetos finitos (1, 0), aunque estos objetos pueden ser muy grandes. 11 Conjuntos, Relaciones, Funciones Conjuntos Colección de elementos con alguna característica común. { } {Pedro, María, Ana, John} {1,2,3,4,5,6,7.} {1,3,5,7,9,11,13 } Conjunto finito? Conjunto infinito? Ley que asocia un elemento a otro. RELACIÓN: pertenecen al mismo conjunto. FUNCIONES: pueden pertenecer a dos conjuntos distintos. 12 6
7 Operaciones con Conjuntos Intersección: A B = {x (x A) (x B)} Unión: A B = {x (x A) (x B)} Venn diagrams: Conjuntos A y B disjuntos, si A B = ; 13 Funciones Asociar elementos de un conjunto a elementos de otro conjunto mediante un proceso Ejemplo: y = 2x Procesos ejemplo: Fórmula matemática Buscar nombre de usuario en base de datos 14 7
8 Funciones definición A y B son dos conjuntos Función: asignación a cada valor de A, uno y sólo un elemento de B Notación: f: : A B NO son Función: Hay más de un valor para 1 No hay valor para 2 15 Funciones Inyectivas: f: : A B f(a) = f(a ) a = a Suprayectivas. Para cada elemento en B existe uno en A tal que f(a) = b Biyectivas si es inyectiva y suprayectiva 16 8
9 Técnicas de Recuento Cardinal de un conjunto. Combinatoria. Funciones generadoras. Relaciones de recurrencia. 17 Grafos Objeto combinatorio formado por un conjunto finito de vértices, unidos entre sí por aristas. Ejemplo: grafo con tres vértices: 18 9
10 Grafos: Utilidad en Informática Construcción de algoritmos eficientes para localizar elementos en una lista. Cálculo de alternativas en juegos: ayudan e determinar estrategias ganadoras (p.ej. Ajedrez) Modelamiento de procedimientos mediante una secuencia de decisiones. Desarrollo de algoritmos para construir redes que conectan nodos de red, con menor costo de trasmisión. 19 Grafos 20 10
11 Árboles Grafo conexo sin ciclos, es decir, 2 vértices se conectan por un único camino simple. 21 Árboles 22 11
12 Algebra de BOOLE Relación de orden. Álgebras de Boole. Álgebra de Boole {0, 1}. 23 Algebra de BOOLE 24 12
13 Matemática Discreta, Aplicaciones Recuento Contar si hay suficientes direcciones IP Cantidad posible de contraseñas Simulaciones computacionales: posibles alternativas Programación: relacion aplicación lenguaje sistema operativo 25 Matemática Discreta, Aplicaciones Algebra de Boole Operaciones y leyes para trabajar con el conjunto de {0, 1} Construcción de algoritmos, previo a la programación Búsqueda en internet 26 13
14 Matemática Discreta, Aplicaciones Teoría de Grafos Para diseñar circuitos (varias capas) Estructura de Internet Red de transporte: camino mas corto entre 2 ciudades Transporte aéreo: combinaciones de vuelos entre dos ciudades Calcular número de colores para colorear un mapa 27 Grafos. Aplicaciones 28 14
15 Grafos. Aplicaciones 29 Grafos. Aplicaciones 30 15
16 Grafos. Aplicaciones 31 BIBLIOGRAFÍA I. Anderson, Introducción a la combinatoria, Vicens Vives, 1993 N. Biggs, Matemática Discreta, Vicens Vives, 1989 F. García Merayo, Matemática Discreta, Paraninfo, 2001 R. P. Grimaldi, Matemáticas Discreta y Combinatoria, Addisson Wesley, 1997 K. N. Rosen, Discrete Mathematics and its Applications, McGrawHill,
Introducción a la Matemática Discreta
Introducción a la Matemática Discreta Teoría de Conjuntos Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 20 Introducción a la Matemática Discreta Temario Tema 1. Teoría de Conjuntos.
Más detallesIntroducción a la Matemática Discreta
Introducción a la Matemática Discreta Lógica proposicional y Álgebras de Boole Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 25 Introducción a la Matemática Discreta Temario Tema 1.
Más detallesContenido. Contenidos interactivos... xiii Plataforma de contenidos interactivos... xviii Prefacio... xix. Parte I Fundamentos...
Contenido Contenidos interactivos... xiii Plataforma de contenidos interactivos... xviii Prefacio... xix Parte I Fundamentos... 1 Capítulo I Lógica, conjuntos e inducción... 2 1.1 Introducción... 4 1.2
Más detallesIntroducción a la Matemática Discreta
Introducción a la Matemática Discreta Recursión Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 15 Introducción a la Matemática Discreta Temario Tema 1. Teoría de Conjuntos. Tema 2. Lógica
Más detallesEn lo particular, esta materia permitirá al alumno aplicar las herramientas básicas de matemáticas discretas en:
Nombre de la asignatura: Matemáticas Discretas Créditos: 3 2-5 Aportación al perfil En lo particular, esta materia permitirá al alumno aplicar las herramientas básicas de matemáticas discretas en: El análisis
Más detallesMatemática Discreta I
Programa de la Asignatura: Matemática Discreta I Código: 742 Carrera: Ingeniería en Computación Plan: 2008 Carácter: Obligatoria Unidad Académica: Secretaría Académica Curso: Primer Año Primer cuatrimestre
Más detallesUNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA SEMESTRE: Segundo a cuarto CLAVE: 0271 HORAS A LA SEMANA/SEMESTRE TEÓRICAS PRÁCTICAS CRÉDITOS 5/80
Más detallesNombre de la asignatura : Matemáticas Discretas. Carrera : Ingeniería en Sistemas Computacionales. Clave de la asignatura : SCB-9305
1. D A T O S D E L A A S I G N A T U R A Nombre de la asignatura : Matemáticas Discretas Carrera : Ingeniería en Sistemas Computacionales Clave de la asignatura : SCB-9305 Horas teoría-horas práctica-créditos
Más detallesGUÍA DOCENTE Matemática Discreta
GUÍA DOCENTE 2016-2017 Matemática Discreta 1. Denominación de la asignatura: Matemática Discreta Titulación Grado en Ingeniería Informática Código 6348 2. Materia o módulo a la que pertenece la asignatura:
Más detallesLógica proposicional. Ivan Olmos Pineda
Lógica proposicional Ivan Olmos Pineda Introducción Originalmente, la lógica trataba con argumentos en el lenguaje natural es el siguiente argumento válido? Todos los hombres son mortales Sócrates es hombre
Más detallesPROGRAMA DE MATEMATICAS DISCRETAS
PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR FACULTAD DE INGENIERIA ESCUELA DE INGENIERIA DE SISTEMAS PROGRAMA DE MATEMATICAS DISCRETAS 1. DATOS INFORMATIVOS 1.1 Escuela : Ingeniería 1.2 Carrera : Ingeniería
Más detallesCarrera: SCB Participantes. Representantes de la academia de sistemas y computación de los Institutos Tecnológicos.
1.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: Clave de la asignatura: Horas teoría-horas práctica-créditos Matemáticas para computación Ingeniería en Sistemas Computacionales SCB - 0422
Más detallesTÍTULO: MATEMÁTICA DISCRETA Y LÓGICA Disponibilidad
TÍTULO: MATEMÁTICA DISCRETA Y LÓGICA Disponibilidad Calculo proposicional 1 Argumentos y proposiciones lógicas 1 Algunos argumentos lógicos importantes 2 Proposiciones 4 Conexiones lógicas 5 Negación (tabla)
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: Descripción Departamento de Matemáticas ITESM Módulo I: Descripción Matemáticas Discretas - p. 1/15 En esta sección veremos un poco de la historia de la Lógica: desde
Más detallesRECURSIVIDAD. Ángeles Martínez Sánchez Curso 2016/2017 DMATIC ETSISI
RECURSIVIDAD Conjuntos definidos recursivamente Fórmulas en lógica de proposiciones Los números naturales Listas Correspondencias recursivas Definición de correspondencia y de función recursiva Árbol de
Más detallesObjetivos formativos de Matemática Discreta. Tema 1: Conjuntos, aplicaciones y relaciones
Objetivos formativos de Matemática Discreta Para cada uno de los temas el alumno debe ser capaz de hacer lo que se indica en cada bloque. Además de los objetivos que se señalan en cada tema, se considera
Más detallesCarrera: Licenciatura en Sistemas. Materia: Matemática Discreta. Profesores Adjuntos: Lic. José Vázquez. Instructor Ayudante: Lic.
Carrera: Licenciatura en Sistemas Materia: Matemática Discreta Profesores Adjuntos: Lic. José Vázquez Lic. Alejandra Vranic Instructor Ayudante: Lic. Laura Liodi Año: 2012 Cuatrimestre: 1º Cuatrimestre
Más detallesPrograma de Ciencias de Computadoras
UNIVERSIDAD INTERAMERICANA DE PUERTO RICO RECINTO METROPOLITANO FACULTAD DE CIENCIAS Y TECNOLOGÍA DEPARTAMENTO DE CIENCIAS DE COMPUTADORAS Y MATEMÁTICAS I. INFORMACIÓN GENERAL Programa de Ciencias de Computadoras
Más detallesUNIVERSIDAD DEL VALLE DE MÉXICO PROGRAMA DE ESTUDIO DE LICENCIATURA PRAXIS MES XXI
UNIVERSIDAD DEL VALLE DE MÉXICO PROGRAMA DE ESTUDIO DE LICENCIATURA PRAXIS MES XXI NOMBRE DE LA ASIGNATURA: MATEMÁTICAS DISCRETAS Y ALGORÍTMICAS FECHA DE ELABORACIÓN: ENERO 2005 ÁREA DEL PLAN DE ESTUDIOS:
Más detallesToda copia en PAPEL es un "Documento No Controlado" a excepción del original.
S U P E RIO R DE MISANTLA Apartado: 7. Copia No. Código: PD- AEF-04 Versión No.: 03 Hoja : de Analiza y resuelve problemas computacionales utilizando las técnicas básicas de lógica e inducción matemática.
Más detallesIntroducción a la Matemática Discreta. Boletín de problemas. Temas 1, 2 y 3. Grado en Ingeniería Informática. Ingeniería del Software
Introducción a la Matemática Discreta Boletín de problemas Temas 1, 2 y 3 Grado en Ingeniería Informática Ingeniería del Software Curso 2010/2011. Grupos 1 y 2 Teoría de conjuntos. Lógica proposicional.
Más detallesIngeniería Informática Descriptores Creditos ECTS Carácter Curso Cuatrimestre
Guía Materia 2011 / 2012 DATOS IDENTIFICATIVOS Matemáticas: Fundamentos matemáticos para la informática Asignatura Código Titulacion Matemáticas: Fundamentos matemáticos para la informática O06G150V01103
Más detallesFUNDAMENTOS MATEMÁTICOS
FUNDAMENTOS MATEMÁTICOS Grado en Ingeniero de Sistemas de Información Universidad de Alcalá Curso Académico 2015/2016 Primer Curso Primer Cuatrimestre GUÍA DOCENTE Nombre de la asignatura: Código: 780001
Más detallesMatemáticas Discretas Lógica
Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas Lógica Cursos Propedéuticos 2010 Ciencias Computacionales INAOE Lógica undamentos de Lógica Cálculo proposicional Cálculo de predicados
Más detallesPROGRAMA INSTRUCCIONAL
UNIVERSIDAD FERMÍN TORO VICE RECTORADO ACADÉMICO FACULTAD DE INGENIERÍA ESCUELA DE COMPUTACIÓN PROGRAMA INSTRUCCIONAL DATOS BÁSICOS DE LA ASIGNATURA Nombre de la asignatura: Código Semestre U.C. Pre- Requisito
Más detallesCarrera: MTE Participantes Representante de las academias de ingeniería Mecatrónica de los Institutos Tecnológicos.
.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: Clave de la asignatura: Horas teoría-horas práctica-créditos: Matemáticas Discretas MTE-08 --6.- HISTORIA DEL PROGRAMA Lugar y fecha de elaboración
Más detallesCONTENIDO. 1.- Introducción a la Inteligencia Artificial (IA) 2.- Lógica de predicados. 3.- Búsqueda de soluciones
CONTENIDO 1.- Introducción a la Inteligencia Artificial (IA) 2.- Lógica de predicados 3.- Búsqueda de soluciones 4.- Lenguajes de IA e Introducción a Sistemas Expertos 1.- Introducción a la Inteligencia
Más detallesPROGRAMA INSTRUCCIONAL
UNIVERSIDAD FERMIN TORO VICE RECTORADO ACADEMICO UNIVERSIDAD FACULTAD DE INGENIERIA ESCUELA DE MANTENIMIENTO MECÁNICO ESCUELA DE TELECOMUNICACIONES ESCUELA DE ELÉCTRICA ESCUELA DE COMPUTACIÓN PROGRAMA
Más detallesESTRUCTURAS DISCRETAS
ESTRUCTURAS DISCRETAS Grado en Ingeniería Informática Grado en Ingeniería de Computadores Universidad de Alcalá Curso Académico 2016/2017 Curso 1º Cuatrimestre 2º GUÍA DOCENTE Nombre de la asignatura:
Más detallesELEMENTOS DE LA MATEMATICA
ELEMENTOS DE LA MATEMATICA SEMESTRE: Primero CODIGO ANTERIOR: 22G7 CODIGO: 8101 REQUISITOS: No tiene CREDITOS: 6 HORAS DE TEORIA: 4 HORAS DE PRACTICA : 4 TEMA 1: Lógica simbólica. Las conectivas lógicas.
Más detalleslogica computacional Tema 1: Introducción al Cálculo de Proposiciones
Tema 1: Introducción al Cálculo de Proposiciones Introducción al concepto de cálculo Un cálculo es una estructura pura; un sistema de relaciones. Un cálculo se compone de lo siguiente: Un conjunto de elementos
Más detallesCoordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos
Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.
Más detallesJohn Venn Matemático y filósofo británico creador de los diagramas de Venn
Georg Cantor Matemático Alemán creador de la teoría de conjuntos John Venn Matemático y filósofo británico creador de los diagramas de Venn August De Morgan Matemático ingles creador de leyes que llevan
Más detallespersonal.us.es/elisacamol Elisa Cañete Molero Curso 2011/12
Teoría de conjuntos. Teoría de Conjuntos. personal.us.es/elisacamol Curso 2011/12 Teoría de Conjuntos. Teoría de conjuntos. Noción intuitiva de conjunto. Propiedades. Un conjunto es la reunión en un todo
Más detallesALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es
Más detallesApuntes de Lógica Proposicional
Apuntes de Lógica Proposicional La lógica proposicional trabaja con expresiones u oraciones a las cuales se les puede asociar un valor de verdad (verdadero o falso); estas sentencias se conocen como sentencias
Más detallesINGENIERIA MATEMATICA PROGRAMAS DE ESTUDIO DEL SEGUNDO SEMESTRE MATEMATICAS DISCRETAS
INGENIERIA MATEMATICA PROGRAMAS DE ESTUDIO DEL SEGUNDO SEMESTRE MATEMATICAS DISCRETAS INSTITUTO POLITÉCNICO NACIONAL SECRETARÍA ACADÉMICA DIRECCIÓN DE ESTUDIOS PROFESIONALES ESCUELA: Escuela Superior de
Más detallesUNIVERSIDAD TECNOLÓGICA DE PEREIRA FACULTAD DE INGENIERÍAS MAESTRÍA EN INGENIERÍA DE SISTEMAS Y COMPUTACIÓN MATEMATICA AVANZADA PARA LA COMPUTACIÒN
UNIVERSIDAD TECNOLÓGICA DE PEREIRA FACULTAD DE INGENIERÍAS MAESTRÍA EN INGENIERÍA DE SISTEMAS Y COMPUTACIÓN MATEMATICA AVANZADA PARA LA COMPUTACIÒN OBJETIVO GENERAL La matemática discreta surge como una
Más detallesCapítulo 4. Lógica matemática. Continuar
Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además
Más detallesPROYECTO DOCENTE ASIGNATURA: "Introducción a la Matemática Discreta"
PROYECTO DOCENTE ASIGNATURA: "Introducción a la Matemática Discreta" Grupo: Clases Teór. Introd. a la Mat. Discreta. Grupo 3 TECN. INFORMÁTICAS(963438) Titulacion: Grado en Ingeniería Informática-Tecnologías
Más detallesCIENCIAS FORMALES CIENCIAS FÁCTICAS
UNA CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS FORMALES CIENCIAS FÁCTICAS CIENCIAS FORMALES MATEMÁTICA LÓGICA CIENCIAS FÁCTICAS FÍSICA BIOLOGÍA QUÍMICA CIENCIAS SOCIALES OTRAS CIENCIAS FORMALES VOCABULARIO
Más detallesUniversidad Abierta y a Distancia de México. Licenciatura en matemáticas. 2 cuatrimestre. Introducción al pensamiento matemático
Universidad Abierta y a Distancia de México Licenciatura en matemáticas 2 cuatrimestre Introducción al pensamiento matemático Clave: 1 Índice... 3 Ficha de identificación... 3 Descripción... 3 Propósitos...
Más detallesIntroducción a la Matemática Discreta
Introducción a la Matemática Discreta Aritmética Entera Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 36 Introducción a la Matemática Discreta Temario Tema 1. Teoría de Conjuntos. Tema
Más detallesLógica Proposicional. Cátedra de Matemática
Lógica Proposicional Cátedra de Matemática Abril 2017 Qué es la lógica proposicional? Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un
Más detallesFACULTAD DE INGENIERÍA INDUSTRIAL Y DE SISTEMAS SÍLABO
FACULTAD DE INGENIERÍA INDUSTRIAL Y DE SISTEMAS SÍLABO 1. GENERALIDADES 1.1. Denominación de Asignatura : Introducción a la Matemática Discreta 1.2. Código : I115 1.3. Fecha de Aprobación : enero de 2011
Más detallesEscuela Técnica Superior de Ingeniería. Informática. Grado en Ingeniería Informática
Escuela Técnica Superior de Ingeniería Informática Grado en Ingeniería Informática GUÍA DOCENTE DE LA ASIGNATURA: OPTIMIZACIÓN Curso Académico 2013/2014 Fecha: 14/06/2013 1 1. Datos Descriptivos de la
Más detallesLógica proposicional
Lógica proposicional La palabra lógica viene del griego y significa, razón, tratado o ciencia. En matemáticas es la ciencia que estudia los métodos de razonamiento proporciona reglas y técnicas para determinar
Más detallesBenemérita Universidad Autónoma de Puebla
Tarea No. 1 Matemáticas Elementales Profesor Fco. Javier Robles Mendoza Benemérita Universidad Autónoma de Puebla Facultad de Ciencias de la Computación Lógica y Conjuntos 1. Considere las proposiciones
Más detallesHoras Trabajo Estudiante: 128
PROGRAMAS DE:: CIIENCIIAS BÁSIICAS E IINGENIIERÍÍAS DEPARTAMENTO DE MATEMÁTIICAS Y ESTADÍÍSTIICA CONTENIIDOSS PPROGRAMÁTIICOSS PPOR UNIIDADESS DE APPRENDIIZAJJE Curso: Créditos: 3 Lógica Matemática Horas
Más detallesUNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA MT106
UNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA NOMBRE DE MATERIA CÓDIGO DE MATERIA DEPARTAMENTO ÁREA DE FORMACIÓN LOGICA Y CONJUNTOS MT106 CIENCIAS BIOLOGICAS BÁSICA COMUN CENTRO UNIVERSITARIO CENTRO
Más detallesOrganización de Computadoras Apunte 3: Sistemas de Numeración: Operaciones Lógicas
Organización de Computadoras 2003 Apunte 3: Sistemas de Numeración: Operaciones Lógicas Para comprender este tema, me parece apropiado que repasen el tema de cálculo proposicional introducido en el curso
Más detallesFundamentos de Lógica y Teoría de Conjuntos
Índice general 1. Lógica y Teoría de conjuntos 3 1.1. Introducción a la Lógica............................ 3 1.1.1. Repaso histórico (Ref. Grimaldi pág. 187).............. 3 1.1.2. Conceptos básicos (Ref.
Más detallesSILABO POR ASIGNATURA 1. INFORMACION GENERAL. [CORONEL ALVARADO RUTH MARIELA SEPTIEMBRE 2016-FEBRERO 2017 [PRESENCIAL]
SILABO POR ASIGNATURA 1. INFORMACION GENERAL Coordinador: CORONEL ALVARADO RUTH MARIELA (ruth.coronel@ucuenca.edu.ec) Facultad(es): [FACULTAD DE FILOSOFÍA, LETRAS Y CIENCIAS DE LA EDUCACIÓN] Escuela: [CARRERA
Más detallesCálculo Proposicional
Universidad Técnica ederico Santa María Departamento de Informática undamentos de Informática 1 Cálculo Proposicional Dr. Gonzalo Hernández Oliva Dr. Gonzalo Hernández USM I-1 Cálculo Proposicional 1 1)
Más detallesTEMA IV TEORÍA DE GRAFOS
TEMA IV TEORÍA DE GRAFOS Poli Abascal Fuentes TEMA IV Teoría de grafos p. 1/? TEMA IV 4. TEORÍA DE GRAFOS 4.1 GRAFOS 4.1.1 Introducción 4.1.2 Definiciones básicas 4.1.3 Caminos y recorridos 4.1.4 Subgrafos,
Más detallesGuía de Ejercicios: Lógica y Teoría de Conjuntos
Guía de Ejercicios: Lógica y Teoría de Conjuntos Área de Matemática Objetivo de aprendizaje Usar conectivos lógicos y relaciones conjuntistas. Negar una proposición. Contenidos 1. Elementos de lógica proporcional.
Más detallesUn enunciado es toda frase u oración que se emite
OBJETIO 2: Aplicar la lógica proposicional y la lógica de predicados en la determinación de la validez de una proposición dada. Lógica Proposicional La lógica proposicional es la más antigua y simple de
Más detallesANOTACIONES BÁSICAS SOBRE LÓGICA PROPOSICIONAL FILOSOFÍA 1º BACHILLERATO
Pág. 1 Lógica Proposicional La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones
Más detallesINDICE INTRODUCCION1 DESARROLLO2 GRAFOS (CONCEPTO).2 ARISTAS...2 VERTICES2 CAMINOS.3 CLASIFICACION DE GRAFOS...3 GRAFOS EULERIANOS.
INDICE INTRODUCCION1 DESARROLLO2 GRAFOS (CONCEPTO).2 ARISTAS...2 VERTICES2 CAMINOS.3 CLASIFICACION DE GRAFOS...3 GRAFOS EULERIANOS.7 GRAFOS CONEXOS7 ÁRBOLES..7 BOSQUES DE ÁRBOLES...8 RECORRIDO DE UN GRAFO..8
Más detallesMatemática Discreta I
Matemática Discreta I Guía de Aprendizaje Información al estudiante 1. Datos Descriptivos Asignatura Materia Departamento responsable Matemática Discreta I Matemáticas Matemática Aplicada Créditos ECTS
Más detallesUNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS
UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS MATERIA: UMAT 130 Lógica Matemática HORARIO: PROFESOR(A): Ing. Rubén Pacheco Villamar SEMESTRE:
Más detallesCONCEPTOS BÁSICOS DE LA TEORÍA DE CONJUNTOS. ESTRUCTURAS ALGEBRAICAS.
TEMA 11 ÍNDICE CONCEPTOS BÁSICOS DE LA TEORÍA DE CONJUNTOS. ESTRUCTURAS ALGEBRAICAS. 1. INTRODUCCIÓN 2. CONJUNTOS 3. SUBCONJUNTOS 4. OPERACIONES 4.1 UNIÓN 4.2 INTERSECCIÓN 4.3 COMPLEMENTO 4.4 DIFERENCIA
Más detallesInteligencia Artificial
Inteligencia Artificial Inteligencia, concepto Es la capacidad para aprender o comprender. Suele ser sinónimo de intelecto (entendimiento), pero se diferencia de éste por hacer hincapié en las habilidades
Más detallesGuía de estudio para el examen de admisión al Posgrado en Ciencias de la Computación
Guía de estudio para el examen de admisión al Posgrado en Ciencias de la Computación El examen consiste en cinco temas generales, repartidos en 90 preguntas de opción múltiple. El tiempo acordado para
Más detallesEn la fig. 1 se representa el grafo, G=(V,A) donde: V = {1, 2, 3, 4, 5, 6} A = { {1,2}, {1,3}, {1,5}, {3}, {3,4}, {4,5}, {5,6} }
Unidad 1 Parte 1 - Teoría de Grafos Introducción En este capítulo veremos la noción matemática de grafo y propiedades de los mismos. En capítulos subsiguientes veremos las estructuras de datos utilizadas
Más detallesMatemáticas Básicas para Computación
Matemáticas Básicas para Computación MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 1 Sesión No. 6 Nombre: Álgebra Booleana Objetivo Durante la sesión el participante identificará las principales características
Más detallesCapítulo 3. Conjuntos. Continuar
Capítulo 3. Conjuntos Continuar Introducción Georg Cantor definió el concepto de conjunto como una colección de objetos reales o abstractos e introdujo el conjunto potencia y las operaciones entre conjuntos.
Más detallesencontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el segundo (q) que Pitágoras era geómetra.
Álgebra proposicional Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases u oraciones. Estas
Más detallesAmpliación Matemática Discreta. Justo Peralta López
Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Definición semántica de las proposiciones 3 Diagrama de valores de certeza 4 Evaluación de fórmulas.
Más detallesGrado en Ingeniería Informática-Tecnologías Informáticas
Curso 1º 1 2060001 Fundamentos de Programación 12 A 1 2060002 Administración de Empresas 6 C1 1 2060003 Cálculo Infinitesimal y Numérico 6 C1 1 2060004 Circuitos Electrónicos Digitales 6 C1 1 2060005 Introducción
Más detallesIntroducción a la Lógica
Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí
Más detallesCURSO NIVELACIÓN LÓGICA MATEMÁTICA PROYECTO UNICOMFACAUCA TU PROYECTO DE VIDA LAS PROPOSICIONES
LAS PROPOSICIONES Objetivo Brindar al estudiante un concepto claro en la formulación, interpretación y aplicabilidad de las proposiciones. La interpretación de las proposiciones compuestas permite al estudiante
Más detallesTel.: / Fax.: Página Web:
1 Corresponde al Anexo I de la Resolución N 152/05 Anexo I DEPARTAMENTO: MATEMÁTICA CARRERAS/S - PLAN/ES: Licenciatura en Matemática Plan 1986 CURSO: Primer año Primer Cuatrimestre REGIMEN: cuatrimestral
Más detallesMaterial diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional
Lógica Proposicional INTRODUCCIÓN El humano se comunica con sus semejantes a través de un lenguaje determinado (oral, simbólico, escrito, etc.) construido por frases y oraciones. Estas pueden tener diferentes
Más detallesGuía para el estudiante
Guía para el estudiante Guía realizada por Jefferson Bustos Profesional en Matemáticas Master en Educación Nombre: Fecha: Curso: Dentro del lenguaje común, las palabras y frases pueden tener diversas interpretaciones.
Más detallesInteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román.
Inteligencia en Redes de Comunicaciones Razonamiento lógico Julio Villena Román jvillena@it.uc3m.es Índice La programación lógica Lógica de predicados de primer orden Sistemas inferenciales IRC 2009 -
Más detallesUNIDAD CURRICULAR: MATEMÁTICA DISCRETA I
PROGRAMA ANALÌTICO FACULTAD DE CIENCIAS DE LA INFORMÁTICA ESCUELA DE COMPUTACIÓN UNIDAD CURRICULAR: MATEMÁTICA DISCRETA I Código de la Escuela Código Período Elaborado por 10 10-0609 I Prof. Belkis Matheus
Más detallesQué es la Matemática Discreta? En matemática, discreto significa separado y distinto, es lo opuesto a continuo.
Qué es la Matemática Discreta? Qué es la Matemática Discreta? continuo discreto o o o o o o En matemática, discreto significa separado y distinto, es lo opuesto a continuo. La Matemática discreta trata:
Más detallesUNIVERSIDAD LIBRE PROGRAMAS ANALÍTICOS SECCIONAL: PEREIRA FACULTAD: INGENIERIAS. PROGRAMA ACADÉMICO: Ingeniería de Sistemas
PROGRAMAS ANALÍTICOS SECCIONAL: PEREIRA FACULTAD: INGENIERIAS PROGRAMA ACADÉMICO: Ingeniería de Sistemas JORNADA: DIURNA 1.- INFORMACION DEL DOCENTE E-mail institucional: E-mail personal: 2.- ESTUDIOS
Más detallesMATEMATICA PARA INFORMATICA III
INFORMACION GENERAL FACULTAD O CENTRO: CIENCIAS DE LA EDUCACION Y HUMANIDADES PLAN DE ESTUDIO: 1999 CARRERA: INFORMATICA EDUCATIVA ORIENTACION: EDUCATIVA ASIGNATURA: ESTRUCTURAS DISCRETAS AÑO ACADEMICO:
Más detallesCONJUNTO: Colección o agregado de ideas u objetos de cualquier especie.
RESUMEN DE MATEMATICAS I PARTE I CONJUNTOS CONJUNTO: Colección o agregado de ideas u objetos de cualquier especie. A= {números pares} B= { banda de rock} ELEMENTO: Son las ideas u objetos cualesquiera
Más detallesUNIVERSIDAD AUTÓNOMA DE ZACATECAS PLAN ANALÍTICO
ÁREA ACADÉMICA UNIVERSIDAD AUTÓNOMA DE ZACATECAS PLAN ANALÍTICO CIENCIA BÁSICA UNIDAD ACADÉMICA PROGRAMA ACADÉMICO MATEMÁTICAS LICENCIATURA CICLO ESCOLAR AGOSTO-DICIEMBRE UNIDAD DIDÁCTICA LÓGICA Y TEORÍA
Más detallesLa Lógica estudia la forma del razonamiento. La Lógica Matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la
LÓGICA MATEMÁTICA OBJETIVOS Definirás proposición simple. Definirás proposiciones compuestas: Disyunción y conjunción. Relacionarás dichas proposiciones con las operaciones de conjuntos: unión e intersección.
Más detallesCoordinación General Educativa
Coordinación General Educativa Programa de estudio de asignatura con enfoque por competencias Pensamiento matemático viernes, 06 de septiembre de 2013 0 DATOS GENERALES DE LA ASIGNATURA Unidad Académica
Más detallesTema 1: Sintaxis y semántica de la lógica proposicional
Lógica informática Curso 2003 04 Tema : Sintaxis y semántica de la lógica proposicional José A. Alonso Jiménez Andrés Cordón Franco Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesLógica proposicional Objetivo específico: Aplicaciones:
Lógica roosicional Objetivo esecífico: Introducir los concetos y oeraciones básicos y comrobar ue ermite estructurar razonamientos, de forma concisa y recisa, y discernir si determinadas afirmaciones son
Más detallesTÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN
TÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN HOJA DE ASIGNATURA CON DESGLOSE DE UNIDADES TEMÁTICAS 1. Nombre de la asignatura Desarrollo de Habilidades De Pensamiento
Más detallesSolución al parcial 14
Solución al parcial 14 Marque V(erdadero) o F(also) según considere la proposición. 1. La lógica difusa es la emulación del razonamiento aproximado que realizan las máquinas. F: Las máquinas no realizan
Más detallesJohn Venn Matemático y filósofo británico creador de los diagramas de Venn
Georg Cantor Matemático Alemán creador de la teoría de conjuntos John Venn Matemático y filósofo británico creador de los diagramas de Venn August De Morgan Matemático ingles creador de leyes que llevan
Más detallesMatemática Discreta II
Programa de la Asignatura: Matemática Discreta II Código: 744 Carrera: Ingeniería en Computación Plan: 2008 Carácter: Obligatoria Unidad Académica: Secretaría Académica Curso: Primer Año Segundo cuatrimestre
Más detallesTablas de Verdad L Ó G I C A P R O P O S I C I O N A L
Tablas de Verdad L Ó G I C A P R O P O S I C I O N A L Tablas de verdad Toda preposición es verdadera o falsa, pero no puede ser ambas. Sobre esta base las proposiciones atómicas sólo tienen dos valores:
Más detallesSÍLABO DESARROLLADO DE LÓGICO - MATEMÁTICA PROGRAMA REGULAR
SUBDIRECCIÓN ACADÉMICA SÍLABO DESARROLLADO DE LÓGICO - MATEMÁTICA PROGRAMA REGULAR LA LÓGICA NO GOBIERNA EL COMPORTAMIENTO HUMANO 2014 SÍLABO LÓGICO-MATEMÁTICA (PROCESO REGULAR) I. DATOS GENERALES EJE
Más detallesConjuntos, Relaciones y Funciones.
Capítulo 1 Conjuntos, Relaciones y Funciones. 1.1. Conjuntos. 1.1.1. Conjuntos y subconjuntos, pertenencia e inclusión. Definición 1.1.1. (informal de conjunto y elementos.) Un conjunto es una colección
Más detallesCarta al estudiante MAT030 Matemática para Informática
Carta al estudiante MAT030 Matemática para Informática 1. Aspectos generales del curso Unidad: Escuela de Matemática Nombre: Matemática para Informática Código: MAT030 Nivel: Bachillerato Periodo lectivo:
Más detallesUNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD VICERRECTORÍA ACADÉMICA Y DE INVESTIGACIÓN SYLLLABUS MATEMÁTICAS DISCRETAS
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD VICERRECTORÍA ACADÉMICA Y DE INVESTIGACIÓN SYLLLABUS MATEMÁTICAS DISCRETAS 204041 1. INFORMACIÓN GENERAL DEL CURSO ESCUELA O UNIDAD: Ciencias Básicas, Tecnología
Más detallesLógica matemática y fundamentos ( )
1 / 28 Lógica matemática y fundamentos (2016 17) Tema 2: Deducción natural proposicional José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación
Más detallesConjuntos, relaciones y funciones
Conjuntos, relaciones y funciones Matemáticas Discretas para el Diseño Geométrico Teoría de conjuntos Representación y manipulación de grupos 2 1 Motivación Las nociones que estudiaremos constituyen fundamentos
Más detallesIngeniería Informática
Grado en Ingeniería Informática Escuela Superior de Ingeniería Avda. de la Universidad de Cádiz, 10 11519 - Puerto Real (Cádiz) 95483200 grado.informatica@uca.es http://esingenieria.uca.es Itinerario Curricular
Más detallesLÓGICA Y MÉTODOS DISCRETOS
Página 1 de 8 GUÍA DOCENTE DE LA ASIGNATURA LÓGICA Y MÉTODOS DISCRETOS MÓDULO MATERIA CURSO SEMESTRE CRÉDITOS TIPO Formación Básica Matemáticas 1 o 2 o 6 Básica PROFESOR(ES) Benjamín Alarcón Heredia Jesús
Más detallesLÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS
LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS Patricia Zamora Villalobos John Alexander Coral Llanos Josué Maleaño Trejos Prof. Francisco Carrera Fecha de entrega: miércoles de setiembre
Más detalles