UNIDAD CURRICULAR: MATEMÁTICA DISCRETA I
|
|
|
- Hugo Roberto Espinoza Torregrosa
- hace 9 años
- Vistas:
Transcripción
1 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 I Prof. Belkis Matheus Prof. Martha Blanco Prof. Olga Domínguez Prof. Hairol Pacheco Prof. Edgar Degryze Prof. Josefina Salvatore Fecha Elaboración Plan de Estudios Octubre Eje de Formación Prelación HAD HTIE Unidades de Crédito Básica - Profesional Ninguna HAD: Horas de Acompañamiento Docente Semanales HTIE: Horas de Trabajo Independiente del Estudiante Semanales FUNDAMENTACIÓN Cuando se trata de responder la pregunta qué es Matemática Discreta, la primera respuesta obvia es señalar que es la parte de la Matemática que estudia los objetos discretos, respuesta no muy satisfactoria, pues todavía no está claro el significado del calificativo discreto ; por ello se dirá que la Matemática Discreta estudia los conjuntos discretos finitos o infinitos. En oposición a las Matemáticas Continuas, que se encargan del estudio de conceptos como continuidad y el cambio continuo, las Matemáticas Discretas estudian estructuras cuyos elementos se pueden contar uno por uno separadamente. Es decir, los procesos en Matemática Discreta son contables, como por ejemplo los números naturales, enteros, grafos y sentencias lógicas. Mientras para el Cálculo Infinitesimal es primordial el estudio de procesos analógicos, la Matemática Discreta es la base de todo lo relacionado con los procesos digitales, y por lo tanto; se constituye en parte fundamental de la Electrónica y justifica su inclusión dentro de los Planes de Estudios para un Ingeniero Electrónico. Matemática Discreta I, es la primera de dos cursos de Matemática Discreta que forman parte del Plan de Estudio de la Carrera, está ubicada en el primer período académico de la malla curricular y junto a Matemática Discreta II son la base para las áreas de formación de la especialidad. Matemática Discreta I, es una Unidad Curricular que se aborda a través del estudio y análisis de cinco (5) módulos: Lógico Proposicional, Lógica de Predicados, Teoría de Conjuntos,
2 Relaciones e Inducción Matemática. Además de aportar desempeños específicos para la formación del Profesional de la Ingeniería, el enfoque didáctico que se da a esta Unidad Curricular permiten abordar las siguientes competencias genéricas: Competencias genéricas del perfil abordadas con mayor énfasis por la Unidad Curricular: Capacidad de análisis y síntesis Capacidad para identificar, plantear y resolver problemas Capacidad de aplicar los conocimientos en la práctica Habilidades para buscar, procesar y analizar información Destrezas para la investigación Capacidad de trabajo en equipo COMPETENCIAS DEL PERFIL PROFESIONAL VINCULADAS CON LA UNIDAD CURRICULAR La unidad curricular Matemática Discreta I vincula las competencias específicas del Ingeniero Electrónico, a través del uso del enfoque sistémico y el pensamiento lógico para la resolución de problemas que requieran modelos matemáticos para el desarrollo de algoritmos; por ello de manera indirecta brinda los desempeños específicos para las siguientes: Contribuir a la formación básica del Ingeniero en Sistema de Información con aportes matemáticos relacionados con la lógica formal, métodos de demostración y lógica de predicados; el conjunto de los enteros, inducción y recursión; relaciones, orden y estructuras; grafos y árboles, conceptos necesarios para el área de Programación. Incentivar a los alumnos a desarrollar sus capacidades de detección y solución de problemas propios de su carrera. Presentar al estudiante de primer año los temas y técnicas de los métodos discretos y el razonamiento, los cuales necesitan un análisis cuidadoso de su estructura y de las posibilidades lógicas. Presentar una amplia gama de aplicaciones cuyas soluciones conducen por sí mismas a procedimientos iterativos que llevan a algoritmos específicos. Desarrollar la madurez matemática del estudiante a través del estudio de un área muy diferente de lo que tradicionalmente se incluye en el cálculo y las ecuaciones diferenciales. COMPETENCIAS DE LA UNIDAD CURRICULAR Aplica los principios de la lógica y modelos matemáticos para el diseño de algoritmos utilizando lenguajes de programación.
3 MÓDULOS MÓDULO I. LÓGICA PROPOSICIONAL Preposiciones simples y compuestas. Conectivos lógicos. Tablas de verdad. Tautologías y contradicciones. Equivalencia lógica. Leyes de la Lógica. Simplificación de proposiciones. Circuitos de interruptores. Argumentos válidos. Reglas de inferencia. Demostraciones directas y por reducción al absurdo. Método para conclusiones condicionales. Argumentos inválidos. Demostraciones por contraejemplo Demuestra la validez de una afirmación, aplicando los fundamentos básicos de la lógica proposicional. Demuestra la validez de afirmaciones usando el método de reducción al absurdo o contraejemplos según sea el caso. MÓDULO II. LÓGICA DE PREDICADOS Preposiciones abiertas. Universo del discurso. Los cuantificadores universal y existencial. Variables libres y acotadas. Valores de verdad de una proposición cuantificada. Equivalencia e implicación lógica de proposiciones abiertas y cuantificadas. Proposiciones contra positiva, recíproca e inversa. Negación de proposiciones cuantificadas. Demostraciones con cuantificadores. Reglas de ejemplificación y generalización universal y existencial. Aplica los fundamentos básicos de la lógica de predicados para demostrar la validez de una sentencia. MÓDULO III. TEORIA DE CONJUNTOS Noción de Conjunto. Determinación por comprensión y extensión. Conjuntos universal y vacío. Conjunto de partes. Operaciones sobre conjuntos: unión intersección. Complementación y diferencia simétrica. Propiedades de las operaciones: Impotencia, conmutatividad, asociatividad, distributividad, absorción y leyes de Morgan. Conjuntos de índices y familias de conjuntos. Particionamiento de conjuntos. Producto cartesiano. Realiza operaciones entre conjuntos dados y expresa por comprensión o extensión sus resultados cuando corresponda. Demuestra usando la terminología de conjuntos, sus operaciones y propiedades, afirmaciones o equivalencias que contenga operaciones entre conjuntos. MÓDULO IV. RELACIONES
4 Definición de relación. Propiedades de relaciones. Relaciones de equivalencia. Clases de equivalencia. Relaciones de orden. Ordenes parciales y totales. Diagramas de Hasse. Elementos minimales y maximales. Mínimos y máximos. Cotas inferiores y superiores. Elementos ínfimo y supremo. Resultados. Propiedades de los reticulados: idempotencia conmutatividad, asociatividad y absorción. Cotas universales. Reticulados acotados, completados y distributivos. Inverso de un elemento Demuestra el tipo de relación que existe entre los elementos de un conjunto utilizando la terminología de las relaciones, junto con sus propiedades y operaciones fundamentales Halla elementos de orden, cotas de conjuntos ordenados y diagramas de Hasse, aplicando las definiciones y propiedades correspondientes. Demuestra cuándo una estructura algebraica es un reticulado, empleando la definición y propiedades de los reticulados MÓDULO V. INDUCCIÓN MATEMÁTICA Ordenes bien fundados. Principio de inducción matemática. Método de inducción completa. Definiciones recursivas. Relación entre recursión e inducción. Demuestra afirmaciones que contienen objetos discretos aplicando la inducción matemática. ESTRATEGIAS DIDÁCTICAS Dado las características de esta Unidad Curricular, donde los estudiantes poseen muy pocos conocimientos previos, se sugiere como estrategias didácticas para los primeros temas exposición por parte del profesor; en las cuales el docente desarrollará la teoría acompañándola de resolución de ejercicios variados, pero con énfasis en el desarrollo del pensamiento lógico del estudiante. Es recomendable entre cada tema teórico presentado por el profesor, dejar un espacio de tiempo para que los estudiantes en forma individual o grupal resuelvan problemas propuestos, en los cuales se evidencie los desempeños declarados en cada uno de los módulos de la Unidad Curricular. Durante el avance del curso se podrá solicitar a los estudiantes que investiguen en internet o algún material bibliográfico información sobre los temas de estudio que se están desarrollando y su relación o aplicación en computación, ello además de iniciarlos en la investigación, permite establecer un diálogo sobre la aplicación de los contenidos del Curso de Matemática Discreta I y la carrera en la cual los estudiantes están inscritos. Finalmente, a los fines de ir consolidando los nuevos saberes se deberá indicar a los estudiantes algunas direcciones web que le permitan realizar lecturas y ampliar sus conocimientos.
5 ESTRATEGIAS DE EVALUACIÓN Los contenidos de la unidad curricular y el desempeño de la competencia se evaluarán mediante evaluación diagnóstica, continua y final. Se aplicarán diversas técnicas e instrumentos acordes con los desempeños que se esperan lograr y con las características del grupo. Se sugieren los siguientes: Prácticas de ejercicios individuales virtuales, práctica de ejercicios grupales, pruebas escritas individuales y grupales a libro abierto y pruebas escritas a libro cerrado. Dado que para el desarrollo del pensamiento lógico matemático es necesario la organización y sistematización de la información se sugiere a los docentes estar atentos a cómo los estudiantes compilan la información de las clases o cómo desarrollan los problemas que se les plantean. REFERENCIAS Grassman, W. (1998). Matemáticas Discretas y Lógica. México: Editorial Prentice Hall. Grimaldi, R. (1998). Matemáticas Discretas Johnsonbaugh, R. (1998). Matemáticas Discretas. México: Editorial Prentice Hall. Kolman, B. (1997). Estructuras Matemáticas Discretas para Computación. México: Editorial Prentice Hall.
UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS
UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS FACULTAD DE INGENIERIA SYLLABUS PROYECTO CURRICULAR: NOMBRE DEL DOCENTE: ESPACIO ACADÉMICO (Asignatura): LÓGICA Obligatorio ( X ) : Básico ( X ) Complementario
ALGEBRA 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
UNIVERSIDAD 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
Universidad 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...
PROGRAMA 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
UNIVERSIDAD 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
SÍLABO POR COMPETENCIAS
Escuela Profesional de Sociología SÍLABO POR COMPETENCIAS CURSO: Lógica Matemática DOCENTE: Lic. Aida Nerida Falcón Cerna Sílabo de Lógica Matemática I.- DATOS GENERALES LINEA DE CARRERA FORMACIÓN PROFESIONAL
Facultad de Ingeniería y Tecnología Informática Técnico en Programación de Computadoras Plan de Estudios 2014 Año 2014 Programa Analítico Lógica (1)
1. OBJETIVOS: 1- OBJETIVOS GENERALES: El objetivo principal de esta asignatura es introducir al alumno en el estudio de los sistemas finitos, conforme a los avances en la era de las computadoras. Se pretende
Matemá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
TÍ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)
FACULTAD DE INGENIERIA ESCUELA PROFESIONAL DE INGENIERIA CIVIL
FACULTAD DE INGENIERIA ESCUELA PROFESIONAL DE INGENIERIA CIVIL SILABO 1. DATOS INFORMATIVOS 1.1. Nombre de la Asignatura : LOGICA 1.. Código de la Asignatura : CIV56 1.3. Número de créditos : 03 créditos
Matemá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
SILABO 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 ([email protected]) Facultad(es): [FACULTAD DE FILOSOFÍA, LETRAS Y CIENCIAS DE LA EDUCACIÓN] Escuela: [CARRERA
Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes
FUNCIONES DE VARIABLE COMPLEJA 1 Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes Lógica Matemática Una prioridad que tiene la enseñanza de la matemática
Lógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013
Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
UNIVERSIDAD 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:
INSTITUTO POLITÉCNICO NACIONAL
PROGRAMA SINTÉTICO UNIDAD ACADÉMICA: ESCUELA SUPERIOR DE CÓMPUTO PROGRAMA Ingeniero en Sistemas Computacionales ACADÉMICO: UNIDAD DE APRENDIZAJE: Discretas NIVEL: I OBJETIVO GENERAL: Aplicar las principales
UNIVERSIDAD TECNOLOGICA DE LOS ANDES
UNIVERSIDAD TECNOLOGICA DE LOS ANDES FACULTAD DE CIENCIAS JURÍDICAS, CONTABLES Y SOCIALES I. DATOS GENERALES: SILABO MATEMÁTICA BÁSICA 1.1 Asignatura : MATEMÁTICA BÁSICA 1.2 Código : CA15011 1.3 Carrera
Coordinació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.
LOGICA MATEMATICA. Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías:
LOGICA MATEMATICA Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: 1 ) q p q p ( q ) p ( Definición ) q p ( Doble Negación ) p q ( Conmutatividad ) (
Contenido. Capítulo I Sistemas numéricos 2. Capítulo II Métodos de conteo 40
CONTENIDO v Contenido Contenido de la página Web de apoyo... xi Página Web de apoyo... xvii Prefacio... xix Capítulo I Sistemas numéricos 2 1.1 Introducción... 4 1.2 Sistema decimal... 5 1.3 Sistemas binario,
UNIDAD CURRICULAR: INTRODUCCION A LAS CIENCIAS ADMINISTRATIVAS III Prof. Fabiola Fulchini Octubre
PROGRAMA ANALÌTICO FACULTAD: CIENCIAS ADMINISTRATIVAS ESCUELA: ADMINISTRACIÓN UNIDAD CURRICULAR: INTRODUCCION A LAS CIENCIAS ADMINISTRATIVAS Código de la Escuela Código Período Elaborado por Fecha Elaboración
Facultad de Ciencias Exactas y Tecnología Universidad Autónoma Gabriel René Moreno CARRERA DE INGENIERIA INDUSTRIAL
PROGRAMA ANALITICO DE LA ASIGNATURA ALGEBRA I (MAT-100) DATOS GENERALES ASIGNATURA:. SIGLA Y CODIGO:... CURSO:.. PREREQUISITOS: HORAS SEMANAS:... CREDITOS: PROFESOR: ÁLGEBRA I MAT-100 Primer Semestre Ninguno
Universidad de Ingeniería y Tecnología Escuela Profesional de Ciencia de la Computación Silabo del curso Periodo Académico 2017-II
Universidad de Ingeniería y Tecnología Escuela Profesional de Ciencia de la Computación Silabo del curso Periodo Académico 2017-II 1. Código del curso y nombre: CS1D1. Estructuras Discretas I 2. Créditos:
Unidad I Elementos de lógica y de Teoría de Conjuntos
INSTITUTO SUPERIOR DE FORMACION DOCENTE Nº 813 SEDE LAGO PUELO PROFESORADO EN MATEMÁTICA PROGRAMA DE ALGEBRA I AÑO 2008 Prof. Ricardo J. Tamer Unidad I Elementos de lógica y de Teoría de Conjuntos Introducción
Lógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012
Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
U N I V E R S I D A D A L A S P E R U A N A S
U N I V E R S I D A D A L A S P E R U A N A S Facultad de Derecho y Ciencia Política Escuela Académico Profesional de Derecho I. DATOS GENERALES SÍLABO 1.1. Asignatura : Razonamiento Matemático 1.2. Ciclo
UNIVERSIDAD MAYOR DE SAN SIMON FACULTAD DE CIENCIAS Y TECNOLOGÍA PLAN GLOBAL ALGEBRA I
UNIVERSIDAD MAYOR DE SAN SIMON FACULTAD DE CIENCIAS Y TECNOLOGÍA PLAN GLOBAL ALGEBRA I I. DATOS DE IDENTIFICACIÓN Nombre de la materia: ALGEBRA I Código: 2008019 Grupo: 4 Carga horaria: 2 TEÓRICAS Y DOS
UNIVERSIDAD 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
Programa de Asignatura
Departamento de Ingeniería Industrial Programa: Ingeniería Mecatrónica Plan 007- Asignatura: Tópicos de Matemáticas Discretas Clave: 9938 Semestre: II Tipo: Obligatoria H. Teoría: H Práctica: HSM: 4 Créditos:
Introducció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.
UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO
UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGÍAS L Ó G I C A Carrera: Programador Universitario en Informática Equipo Docente: Miriam Alagastino Ximena Villarreal
PROGRAMA ANALÍTICO ALGEBRA I (MAT 100)
1. IDENTIFICACION PROGRAMA ANALÍTICO ALGEBRA I (MAT 100) Asignatura ALGEBRA I Código de asignatura(sigla) MAT 100 Semestre I Prerrequisitos NINGUNO Horas semanal (HS) HT 4 HP 2 LAB 0 THS 6 Créditos (CR)
INSTITUTO DE EDUCACION SUPERIOR PEDAGÓGICO PÚBLICO TARAPOTO SÍLABO DE TALLER DE REFORZAMIENTO DE MATEMÁTICA I
SÍLABO DE TALLER DE REFORZAMIENTO DE MATEMÁTICA I I. DATOS GENERALES. 1.1. ÁREA : Taller de reforzamiento de Matemática. 1.2. SEMESTRE ACADÉMICO : 2016 I. 1.3. ESPECIALIDAD : INICIAL I 1.4. HORAS SEMANALES
MATERIA: Lógica Matemática CÓDIGO: UMAT130 CRÉDITOS: 3. PERIODO LECTIVO: Invierno PRE-REQUISITO: Ninguno. 2. OBJETIVOS (Course Objectives Goal))
UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA PROGRAMA ANALÍTICO (SUBJECT DESCRIPTION) MATERIA: Lógica Matemática CÓDIGO: UMAT130 CRÉDITOS: 3 PERIODO
SÍLABO MATEMÁTICA I I. DATOS INFORMATIVOS
SÍLABO MATEMÁTICA I I. DATOS INFORMATIVOS 1.1. Código : 000003 1.. Ciclo : Primero 1.3. Créditos : 1.. Semestre Académico : 013 II 1.5. Duración : 17 Semanas /85 horas/ 1.6. Horas semanales : 5 1.6.1 Horas
UNIDAD CURRICULAR: GEOMETRÍA DESCRIPTIVA II Prof. Gisela Cardozo Octubre Eje de Formación Prelación HAD HTIE
PROGRAMA ANALÌTICO FACULTAD: INGENIERIA ESCUELA: INGENIERIA CIVIL UNIDAD CURRICULAR: GEOMETRÍA DESCRIPTIVA Código de la Escuela Código Período Elaborado por Fecha Elaboración Plan de Estudios 20 20-0372
Matemá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
Matemáticas Discretas TC1003
Matemáticas Discretas TC1003 Métodos de Demostración Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Métodos de Demostración Matemáticas Discretas - p. 1/13 Introducción En esta sección
ELEMENTOS 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.
TEMA I INTRODUCCIÓN A LA LÓGICA
TEMA I INTRODUCCIÓN A LA LÓGICA Policarpo Abascal Fuentes TEMA I Introducción a la lógica p. 1/6 TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2
CIENCIAS 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
UNIDAD CURRICULAR: GEOMETRÍA DESCRIPTIVA III Prof. Gisela Cardozo Octubre Eje de Formación Prelación HAD HTIE
PROGRAMA ANALÌTICO FACULTAD: INGENIERIA ESCUELA: INGENIERIA ELECTRÓNICA UNIDAD CURRICULAR: GEOMETRÍA DESCRIPTIVA Código de la Escuela Código Período Elaborado por Fecha Elaboración Plan de Estudios 25
SYLLABUS CURSO DE GRUMETE DE SERVICIOS: INFORMÁTICA 1. DATOS INFORMATIVOS ASIGNATURA/MÓDULO: Calculo Diferencial E Integral CRÉDITOS: 03
SYLLABUS CURSO DE GRUMETE DE SERVICIOS: INFORMÁTICA. DATOS INFORMATIVOS ASIGNATURA/MÓDULO: Calculo Diferencial E Integral DOCENTE(S): PERÍODO ACADÉMICO III Periodo CÓDIGO: 994 CRÉDITOS: 03 EJE DE FORMACIÓN:
: UN SEMESTRE ACADÉMICO : PRIMER AÑO, PRIMER SEMESTRE
ALGEBRA A. ANTECEDENTES GENERALES CÓDIGO : IIM116A DURACIÓN : UN SEMESTRE ACADÉMICO PRE-REQUISITO : NO TIENE CO-REQUISITO : NO TIENE UBICACIÓN : PRIMER AÑO, PRIMER SEMESTRE CARÁCTER : OBLIGATORIO HRS.DIRECTAS
Contenido. 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
PROGRAMA 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
GUÍ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:
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.
Capí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
FACULTAD DE CIENCIAS DE LA SALUD ESCUELA PROFESIONAL DE ESTOMATOLOGÍA SILABO
FACULTAD DE CIENCIAS DE LA SALUD ESCUELA PROFESIONAL DE ESTOMATOLOGÍA SILABO I. DATOS GENERALES 1.1. Nombre del curso MATEMÁTICA BÁSICA 1.2. Código OD-15011. 1.3. Año Calendario 2016. 1.4. Semestre Académico
Introducción a la Matemática
UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGÍAS PLANIFICACIÓN DE LA ASIGNATURA : Introducción a la Matemática Carrera : Programador Universitario en Informática EQUIPO
En 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
MATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones
MATEMÁTICAS DISCRETAS UNIDAD1 Lógica y Demostraciones Para el estudio de esta unidad debe ubicarse en el Capítulo 1 del texto base, lea atentamente cada uno de los subtemas indicados en el índice de la
Lógica Proposicional. Significado de una Fórmula Proposicional
Proposicional Semántica Semántica Proposicional - Significado de una Fórmula Proposicional El significado de una proposición está dado por su valor de verdad (o sea, si es Verdadera o Falsa) que se obtiene
UNIDAD CURRICULAR: ELECTIVA III (Finanzas Corporativas) Eje de Formación Prelación HAD HTIE. 126 Unidades de Crédito Aprobadas FUNDAMENTACIÓN
PROGRAMA ANALÌTICO FACULTAD: CIENCIAS ADMINISTRATIVAS ESCUELA DE ADMINISTRACION UNIDAD CURRICULAR: ELECTIVA III (Finanzas Corporativas) Código de la Escuela Código Período Elaborado por 05 05-0728 XII
UNIDAD CURRICULAR: MICROECONOMÍA. Eje de Formación Prelación HAD HTIE FUNDAMENTACIÓN
PROGRAMA ANALÌTICO FACULTAD: CIENCIAS ADMINISTRATIVAS ESCUELA: ADMINISTRACIÓN UNIDAD CURRICULAR: MICROECONOMÍA Código de la Escuela Código Período Elaborado por Fecha Elaboración Plan de Estudios 05 05-0651
DEPARTAMENTO DE MATEMÁTICAS Página 1
DEPARTAMENTO DE MATEMÁTICAS Página 1 APROBADO EN EL CONSEJO DE LA FACULTAD DE CIENCIAS EXACTAS ACTA 13 DEL 21 ABRIL 2010 PROGRAMAS DEL DEPARTAMENTO DE MATEMÁTICAS El presente formato tiene la finalidad
Lógica Proposicional
Proposicional Semántica Semántica Proposicional - Significado de una Fórmula Proposicional El significado de una proposición está dado por su valor de verdad (o sea, si es Verdadera o Falsa) que se obtiene
TÉ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
TEMA 1: LÓGICA. p p Operador conjunción. Se lee y y se representa por. Su tabla de verdad es: p q p q
TEMA 1: LÓGICA. Definición. La lógica es la ciencia que estudia el razonamiento formalmente válido. Para ello tiene un simbolismo que evita las imprecisiones del lenguaje humano y permite comprobar la
Lógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden
Contenido Lógica Matemática M.C. Mireya Tovar Vidal Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Definición Traducir enunciados
UNIDAD CURRICULAR: TEORÍA DE ONDAS VII Prof. Juan Hernández Octubre Eje de Formación Prelación HAD HTIE
PROGRAMA ANALÌTICO FACULTAD: INGENIERÌA ESCUELA: INGENIERÍA ELECTRÓNICA UNIDAD CURRICULAR: TEORÍA DE ONDAS Código de la Escuela Código Período Elaborado por Fecha Elaboración Plan de Estudios 25 25-0927
Guí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.
Contenido. BLOQUE I: PRELIMINARES Tema 2 ALGUNAS NOCIONES DE TEORÍA DE CONJUNTOS, RELACIONES Y FUNCIONES Lógica Grado en Ingeniería Informática
Contenido BLOQUE I: PRELIMINARES Tema 2 ALGUNAS NOCIONES DE TEORÍA DE CONJUNTOS, RELACIONES Y FUNCIONES Lógica Grado en Ingeniería Informática Alessandra Gallinari URJC Nociones de teoría de conjuntos
MATEMATICA I NOMBRE DE LA ASIGNATURA
NOMBRE DE LA ASIGNATURA MATEMATICA I Año 2017 Carrera/ Plan: (Dejar lo que corresponda) Licenciatura en Informática Plan 2015 Licenciatura en Sistemas Plan 2015 Licenciatura en Informática Plan 2003-07/Plan
REGLAS Y LEYES LOGICAS
LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros.
Apéndice 1 Reglas y leyes lógicas
1 Apéndice 1 Reglas y leyes lógicas 1. Reglas lógicas Tal como ya se ha visto, una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada en cada caso para
INSTITUTO SUPERIOR DEL PROFESORADO DR. JOAQUÍN V. GONZÁLEZ
Gobierno de la Ciudad de Buenos Aires Ministerio de Educación Dirección General de Educación Superior INSTITUTO SUPERIOR DEL PROFESORADO DR. JOAQUÍN V. GONZÁLEZ NIVEL: Terciario CARRERA: Profesorado en
PROGRAMA PENSAMIENTO LÓGICO MATEMÁTICO
Universidad de Los Andes Núcleo Universitario Dr. Pedro Rincón Gutiérrez Táchira Venezuela Departamento de Ciencias CARRERA DE EDUCACIÓN MENCIÓN: FISICA Y MATEMATICAS PROGRAMA PENSAMIENTO LÓGICO MATEMÁTICO
John 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
LÓ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
Fundamentos 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.
Inteligencia en Redes de Comunicaciones - 04 Razonamiento lógico
El objetivo del Tema 4 es presentar una panorámica general sobre cómo se pueden realizar razonamientos lógicos en un sistema software. 1 Esta es la tabla de contenidos del tema: se estudia la programación
1. DATOS DE LA ASIGNATURA. Nombre de la Asignatura: Carrera: Clave de la Asignatura: SACTA: PRESENTACION. Caracterización de la asignatura.
1. DATOS DE LA ASIGNATURA Nombre de la Asignatura: Carrera: Clave de la Asignatura: Inteligencia Artificial Ingeniería en Informática SID-1305 SACTA: 2-3-5 2. PRESENTACION Caracterización de la asignatura.
SÍLABO MATEMÁTICA DISCRETA ÁREA CURRICULAR: M ATEM ÁTICAS Y CIENCIAS BÁSICAS CICLO I SEMESTRE ACADÉMICO 2017-I
ESCUELA: INGENIERÍA DE COMPUTACIÓN Y SISTEMAS INGENIERÍA INDUSTRIAL INGENIERÍA ELECTRÓNICA INGENIERÍA CIVIL INGENIERÍA DE IND. ALIMENTARIAS SÍLABO MATEMÁTICA DISCRETA ÁREA CURRICULAR: M ATEM ÁTICAS Y CIENCIAS
Cá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)
UNIDAD CURRICULAR: EMPRESAS IV Prof. Fabiola Fulchini Octubre Eje de Formación Prelación HAD HTIE
PROGRAMA ANALÌTICO FACULTAD: CIENCIAS ADMINISTRATIVAS ESCUELA: ADMINISTRACION UNIDAD CURRICULAR: EMPRESAS Código de la Escuela Código Período Elaborado por Fecha Elaboración Plan de Estudios 05 05-0277
En general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión.
Se llama razonamiento lógico al proceso mental de realizar una inferencia de una conclusión a partir de un conjunto de premisas. La conclusión puede no ser una consecuencia lógica de las premisas y aun
Nombre 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
4 horas. 96 horas. Competencias Especificas: Construye algoritmos analizando su complejidad mediante técnicas y métodos documentados.
IS0303 - MATEMÁTICAS DISCRETAS UNIVERSIDAD AUTÓNOMA DE CHIHUAHUA FACULTAD DE INGENIERÍA PROGRAMA DEL CURSO: Matemáticas Discretas DES: Ingeniería Programa(s) Educativo(s): Ingeniería de Software Tipo de
UNIVERSIDAD DE PLAYA ANCHA FACULTAD DE CIENCIAS. Vicerrectora Académica Dirección de Estudios, Innovación Curricular y Desarrollo Docente
UNIVERSIDAD DE PLAYA ANCHA FACULTAD DE CIENCIAS Vicerrectora Académica Dirección de Estudios, Innovación Curricular y Desarrollo Docente PROGRAMA FORMATIVO CARRERA DE FÍSICA MÓDULO: Cálculo diferencial
Guía 4: Demostraciones en Cálculo Proposicional
Introducción a los Algoritmos - 2do. cuatrimestre 2014 Guía 4: Demostraciones en Cálculo Proposicional Docentes: Walter Alini y Luciana Benotti. El objetivo principal de esta guía es lograr un buen entrenamiento
Algebras booleanas. B2) Leyes Distributivas. Cada operación es distributiva con respecto a la otra:
Algebras booleanas AXIOMAS DEL ALGEBRA DE BOOLE Sea B un conjunto en el cual se han definido dos operaciones binarias, + y * (En algunos casos se definen en términos de y respectivamente), y una operación
Objetivos 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
