ASIGNATURA: MATEMÁTICA DISCRETA I
|
|
- Sara Raquel Cordero Moya
- hace 6 años
- Vistas:
Transcripción
1 1 FUNDAMENTOS: ASIGNATURA: MATEMÁTICA DISCRETA I Código: Régimen: Cuatrimestral Horas Semanales: 4 Horas prácticas: 30 Horas teóricas: 30 Horas totales: 60 Escuela de Sistemas Año del programa: 2016 Este curso está diseñado para que los alumnos de la Escuela de Sistemas, adquieran un criterio y comprensión lógica, para formar un pensamiento ordenado en vistas a la resolución de problemas de mediana complejidad. Aborda nuevos esquemas y planteos no tradicionales a la par que facilita conceptos que son básicos en la ciencia de la computación. Se presentan métodos de deducción utilizados tanto en la lógica proposicional como en la lógica de predicados. Asimismo esta disciplina proporciona al alumno algunas estructuras básicas tales como grafos, matrices, sus propiedades y algunos usos que se hacen de los mismos en búsquedas y otro tipo de algoritmos. OBJETIVOS: Al finalizar el curso el alumno deberá haber adquirido las habilidades para: Comprender y manejar herramientas provistas por la Matemática Discreta, que son soporte de los conceptos de base de las Ciencias de la Computación. Identificar los elementos fundamentales de la Lógica. Construir e interpretar los enunciados de nuestro entorno mediante las componentes sintáctica y semántica de la lógica. Diferenciar la lógica proposicional de la lógica de predicados. Operar con lenguajes simbólicos para posteriormente, en otras asignaturas, comprender las bases teóricas de los modelos sistémicos. Manejar los métodos de demostración tanto en la lógica de predicados como en la lógica proposicional. Construir a partir de una relación, el grafo dirigido y la matriz correspondiente. Interpretar las propiedades de las relaciones. CONTENIDOS MINIMOS:
2 2 Definición y composición de una proposición y de una función proposicional. Elementos de Lógica Proposicional y de primer orden. Métodos de demostración. Pruebas formales de validez de argumentos. Enfoque sintáctico y semántico. Demostraciones por Deducción, Inducción y Recursión. Relaciones, grafos y matrices. Razonamientos: Deductivo Inductivo. Lógica Proposicional. Evaluación Semántica de Fórmulas. Validez y no Validez. Prueba Formal de Validez de Razonamientos. Lógica de Predicados. Relaciones. PROGRAMA ANALÍTICO Unidad I: Estructuras Lógicas: Breve reseña histórica de la Lógica Formal. Noción y objeto de la Lógica Formal. Principios Lógicos: identidad, no contradicción y tercero excluido. Términos. Proposiciones. Nexos Lógicos. Formas proposicionales. Razonamientos. Tipos: Deductivo, Inductivo y Analógico. Premisas y Conclusión. Unidad II: Lógica Proposicional Evaluación Semántica de Fórmulas. Conectivos Lógicos: negación, conjunción, disyunción inclusiva y excluyente, condicional y bicondicional. Simbolización. Tablas de Verdad. Abstracción e interpretación. Equivalencias Lógicas y Leyes Lógicas: de inferencia y de equivalencia. Razonamientos Deductivos: Validez y no validez. Prueba de Validez por el método del Condicional Asociado, prueba de invalidez por asignación de valores. Prueba Formal de Validez: Método Demostrativo, Deducción Natural, Reducción al Absurdo. Fórmulas bien formadas. Unidad III: Lógica de Predicados: Lógica de Predicados de primer orden. Funciones Proposicionales. Cuantificadores. Universal y Existencial. Negación de Cuantificadores. Intercambio de Cuantificadores. Simbolización. Proposiciones Generales Simples y Complejas. Cuadro de Oposición. Prueba de Verdad. Razonamientos en la Lógica de Predicados. Prueba Formal de Validez de Razonamientos. Unidad IV: Lógica de Clases. Conjuntos: Noción de Conjunto. Definición por extensión y comprensión. Diagramas de Venn. Pertenencia e Inclusión. Operaciones. Sucesiones: forma explícita y recursiva. Principio de Inducción Completa. Unidad V: Relaciones: Conjunto producto. Matrices Booleanas. Definición de Relación. Matriz y Grafo Dirigido de una Relación: Trayectorias y Ciclos. Propiedades de las Relaciones: Reflexividad, Simetría, Transitividad y Antisimetría. Relación de Equivalencia y de Orden.
3 3 METODOLOGIAS DE ENSEÑANZA Y APRENDIZAJE: La metodología empleada parte de una exposición teórica, seguida de variados ejemplos aportados por el docente. Se pasará luego al desarrollo práctico de la asignatura que se podrá efectuar mediante grupos de estudio y/o resolución en pizarra a cargo de estudiantes, con intervención de los compañeros en la corrección. Se evaluará al alumno mediante dos exámenes parciales escritos, a través de los cuales se medirá el desarrollo y conclusión de los ejercicios, sosteniéndose el mismo criterio en el examen final. La duración de la materia es cuatrimestral con 15 semanas de 4 horas reloj. Las clases se desarrollan en el aula con utilización de pizarrones, en el cual el docente desarrolla la teoría acompañándola con ejercicios variados. Se intercalará entre cada tema teórico dictado por el docente, un espacio de tiempo para que el estudiante, ya sea en forma individual o grupal, resuelva ejercicios propuestos tomados de la guía de trabajos prácticos confeccionada para este fin. Durante la cursada se requerirá a los estudiantes, en ocasiones en forma individual y otras en forma grupal, que busquen información sobre temas propuestos en la bibliografía sugerida o Internet. Bajo esta modalidad provocamos que el estudiante se inicie en la investigación bibliográfica. Con la presentación de estos trabajos y exposición propiciamos un diálogo alternado para compartir y esclarecer la información. EVALUACIÓN: Se evaluará al alumno mediante dos exámenes prácticos escritos, en cuya corrección se tendrá en cuenta: el desarrollo mecánico de la ejercitación, la conclusión e interpretación de lo formulado en cada punto del examen. Se podrá recuperar uno de ellos en el último día de clases. Condición promocional: La materia es de carácter promocional, dicha instancia se obtiene cumpliendo los siguientes requisitos: Se deberá tener el 75% de asistencia a clases, haber completado la ejercitación del aula virtual y tener aprobados los dos exámenes parciales con promedio 7 (siete), cada parcial tendrá nota mayor o igual a 6 puntos. En este caso sólo se concurrirá al examen final con el propósito de asentar la nota en el Acta respectiva. Condición regular: La regularidad de la signatura se obtiene por el cumplimiento de las siguientes condiciones: 75% de asistencia a clase, aprobación de dos exámenes parciales escritos cuya clasificación es de 4 (cuatro) o más, pudiendo recuperar un examen. El dictado de la materia se efectúa una vez a la semana con una carga horaria de 4 horas semanales durante 16 semanas. CRONOGRAMA:
4 4 Clase Unidad Teoría Práctica 1 I I I II II II III III III IV IV V V V V 2 2 BIBLIOGRAFÍA OBLIGATORIA: E-Book Espinosa, Ramon Matemáticas para la Computación, Editorial AlfaOmega, 2ª Ed, 2010.ISBN E-book Espinosa, Ramon Matemáticas Discretas. Editorial AlfaOmega, 2ª Ed, 2010.ISBN Paniagua Aris, E. Sanchez Gonzalez, J. Rubio, F. Lógica Computacional. España. Editorial Thomson Colacilli de Muro, María Angélica y Julio César. Elementos de la lógica moderna y filosofía. Buenos Aires. Editorial Estrada Kolman, B. Busby, R.Estructuras de Matemáticas Discretas para la Computación. México. Editorial Prentice Hall Planeamiento Educativo GdePlaneamiento@kennedy.edu.ar
5 5
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
Más detallesASIGNATURA: LOGICA Cód.: Régimen: Cuatrimestral Horas reloj semanales: 4 (cuatro) Escuelas: Psicología/Psicopedagogía Año 2012 FUNDAMENTOS:
ASIGNATURA: LOGICA Cód.: 11 102 Régimen: Cuatrimestral Horas reloj semanales: 4 (cuatro) Escuelas: Psicología/Psicopedagogía Año 2012 FUNDAMENTOS: La lógica como ciencia del razonamiento correcto conserva
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 detallesUNIVERSIDAD 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
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 detallesConocer las clasificaciones y categorías fundamentales de la lógica formal y no formal. Comprender críticamente conceptos y teorías fundamentales.
1 Universidad Nacional del Nordeste Departamento de Filosofía Materia: Lógica I Régimen de cursado: cuatrimestral Ubicación en el diseño curricular: 1er. año Profesora: Sonia Raffin Año: 2017 Propuesta
Más detallesASIGNATURA: PROBABILIDAD Y ESTADÍSTICA I
ASIGNATURA: PROBABILIDAD Y ESTADÍSTICA I FUNDAMENTOS: Código: 15-325 Horas Semanales: Horas prácticas: 30 Horas teóricas: 30 Horas totales: 60 Carrera: Sistemas Año del programa: 2016 Considerando que
Más detallesUNIVERSIDAD 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
Más detallesUNIVERSIDAD AUTÓNOMA DE ZACATECAS Francisco García Salinas UNIDAD ACADÉMICA DE DERECHO
UNIVERSIDAD AUTÓNOMA DE ZACATECAS Francisco García Salinas UNIDAD ACADÉMICA DE DERECHO MATERIA UBICACIÓN EN EL PLAN DE ESTUDIO LÓGICA MATEMÁTICA PRIMER SEMESTRE OBJETIVO GENERAL Dotar al estudiante de
Más detallesUNIVERSIDAD 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
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 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 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 detallesUNIVERSIDAD AUTÓNOMA DE SINALOA FACULTAD DE ADMINISTRACIÓN AGROPECUARIA Y DESARROLLO RURAL (FAADER) LIC. EN INFORMÁTICA
UNIVERSIDAD AUTÓNOMA DE SINALOA FACULTAD DE ADMINISTRACIÓN AGROPECUARIA Y DESARROLLO RURAL (FAADER) LIC. EN INFORMÁTICA 1 Asignatura Propósito del curso: Clave: DATOS DE IDENTIFICACIÓN Matemáticas discretas
Más detallesPROGRAMA 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)
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 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 detallesFacultad 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
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 detallesLÓGICA CARRERA: Licenciatura en Filosofía. DOCENTE: Fernán Gustavo Carreras CURSO: segundo año. CICLO LECTIVO 2012
LÓGICA CARRERA: Licenciatura en Filosofía. DOCENTE: Fernán Gustavo Carreras CURSO: segundo año. CICLO LECTIVO 2012 Introducción: Consideramos que la enseñanza de la lógica como ciencia debe de estar encaminada
Más detalles: 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
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 detallesSÍ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
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 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 detallesASIGNATURA: LOGICA Y METODOLOGIA DE LAS CIENCIAS CARRERA: CONTADOR PUBLICO // LIC. EN ADMINISTRACION
Universidad Nacional de Lomas de Zamora Resolución Nº CAE / 031 ASIGNATURA: LOGICA Y METODOLOGIA DE LAS CIENCIAS CARRERA: CONTADOR PUBLICO // LIC. EN ADMINISTRACION DEPARTAMENTO: HUMANIDADES TITULAR A
Más detallesPrograma 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:
Más detallesUNIVERSIDAD NACIONAL DE RÍO CUARTO FACULTAD DE CIENCIAS EXACTAS, FÍSICO-QUÍMICAS Y NATURALES DEPARTAMENTO DE COMPUTACIÓN
UNIVERSIDAD NACIONAL DE RÍO CUARTO FACULTAD DE CIENCIAS EXACTAS, FÍSICO-QUÍMICAS Y NATURALES DEPARTAMENTO DE COMPUTACIÓN CARRERA/S: Analista Computación, Profesorado en Computación, Licenciatura en Ciencias
Más detallesUNIVERSIDAD DE BUENOS AIRES FACULTAD DE FILOSOFIA Y LETRAS
UNIVERSIDAD DE BUENOS AIRES FACULTAD DE FILOSOFIA Y LETRAS DEPARTAMENTO: MATERIA: PROFESOR: CUATRIMESTRE: Filosofía Lógica Carlos A. Oller 1ro AÑO: 2013 PROGRAMA Nº: 0211 UNIVERSIDAD DE BUENOS AIRES FACULTAD
Más detallesASIGNATURA: BASE DE DATOS I
1 ASIGNATURA: BASE DE DATOS I Cód. 32-305 Régimen cuatrimestral Horas reloj semanales: 4 Horas prácticas: 22 Horas teóoricas: 38 Horas totales: 60 Carrera: Sistemas Año del programa 2016 FUNDAMENTOS: Toda
Más detalles3. OBJETIVOS ESPECÍFICOS (De formación académica): Como resultado de cada capítulo el estudiante estará en capacidad de:
MATERIA Lógica y Argumentación. CÓDIGO 08273 PRERREQUISITOS: Ninguno. PROGRAMAS: Todos los programas de pregrado. PERÍODO ACADÉMICO: 162-2 (Segundo semestre de 2016) INTENSIDAD HORARIA: 4 horas semanales
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 detallesLÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA
LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA La lógica formal o simbólica, a diferencia de la lógica clásica, utiliza un lenguaje artificial, es decir, está rigurosamente construido, no admite cambios en el
Más detallesFACULTAD 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
Más detallesDEPARTAMENTO 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
Más detallesASIGNATURA: ANALISIS Y DISEÑO ORIENTADO A OBJETOS
1 ASIGNATURA: ANALISIS Y DISEÑO ORIENTADO A OBJETOS Código: 32 409 Régimen: Cuatrimestral Horas reloj semanales: 4 Horas teóricas: 36 Horas prácticas: 24 Horas Totales: 60 Carrera: Sistemas Año del programa:2016
Más detallesUNIVERSIDAD DEL CARIBE UNICARIBE. Escuela de Educación. Programa de Asignatura
UNIVERSIDAD DEL CARIBE UNICARIBE Escuela de Educación Programa de Asignatura Nombre de la asignatura : Introducción a la Lógica Carga académica : 3 Créditos Modalidad : Semipresencial Clave : DHS-190 Pre-requisito
Más detallesU 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
Más detallesMATERIA: 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
Más detallesLó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
Más detallesUniversidad 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:
Más detallesLógica. P r o g r a m a C u r s o : 2 do a ñ o. H o r a s r e l o j : 4 h o r a s s e m a n a l e s
Lógica P r o g r a m a 2 0 1 7 C a r r e r a : L i c e n c i a t u r a e n F i l o s o f í a C u r s o : 2 do a ñ o R é g i m e n : C u a t r i m e s t r a l H o r a s r e l o j : 4 h o r a s s e m a n
Más detallesDES: Ingeniería Programa(s) Educativo(s): Ingeniería de Software Tipo de materia: Obligatoria Clave de la materia: BC201 Semestre: 2
UNIVERSIDAD AUTÓNOMA DE CHIHUAHUA Clave: 08MSU0017H Clave: 08USU4053W FACULTAD DE INGENIERÍA PROGRAMA DEL CURSO: LÓGICA COMPUTACIONAL DES: Ingeniería Programa(s) Educativo(s): Ingeniería de Software Tipo
Más detallesPrograma Regular. Asignatura: Lenguajes Formales y Autómatas. Carrera: Ingeniería en Informática. Ciclo Lectivo: Segundo Cuatrimestre 2017
Programa Regular Asignatura: Lenguajes Formales y Autómatas. Carrera: Ingeniería en Informática. Ciclo Lectivo: Segundo Cuatrimestre 2017 Código SIU-Guaraní: I3020 Año en el plan de estudios: 4 Año Coordinador/Profesor:
Más detallesMATEMATICA 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
Más detallesSÍLABO : OPERACIONES MATEMÁTICAS I
SÍLABO I. INFORMACIÓN GENERAL ASIGNATURA : OPERACIONES MATEMÁTICAS I ESPECIALIDAD : TODAS LAS CARRERAS CICLO : I PRE- REQUISITO : NINGUNO HORAS SEMANALES : 3 II. DESCRIPCIÓN DEL CURSO La matemática, por
Más detallesCÁTEDRA: LÓGICA I PLANIFICACIÓN AÑO Equipo Cátedra: Lucía Hilal Ximena Villarreal
CÁTEDRA: LÓGICA I PLANIFICACIÓN AÑO 2.016 Equipo Cátedra: Lucía Hilal Ximena Villarreal 0 1.- IDENTIFICACIÓN: 1.1- Nombre de la Asignatura /Obligación Curricular LÓGICA I 1.2- Carrera /s LICENCIATURA EN
Más detallesEnunciados Abiertos y Enunciados Cerrados
I n g. L u z A d r i a n a M o n r o y M a r t í n e z L ó g i c a 1 Unidad II lógica proposicional Es probable que en el siglo IV antes de la Era Común, se iniciara con Aristóteles el estudio de la Lógica;
Más detalles4 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
Más detallesUniversidad Autónoma de Nayarit Área de Económico-Administrativa Licenciatura en Sistemas Computacionales
Universidad Autónoma de Nayarit Área de Económico-Administrativa Licenciatura en Sistemas Computacionales 1. DATOS DE IDENTIFICACIÓN NOMBRE Y CLAVE DE LA UNIDAD DE APRENDIZAJE Matemáticas para computadora
Más detallesTeoremas: 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
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 detallesUNIVERSIDAD DE COSTA RICA FACULTAD DE CIENCIAS BÁSICAS ESCUELA DE MATEMÁTICA DEPARTAMENTO DE MATEMÁTICA APLICADA
UNIVERSIDAD DE COSTA RICA FACULTAD DE CIENCIAS BÁSICAS ESCUELA DE MATEMÁTICA DEPARTAMENTO DE MATEMÁTICA APLICADA MA0291 INTRODUCCIÓN A LA MATEMÁTICA PARA COMPUTACIÓN. II ciclo, 2017 CARTA AL ESTUDIANTE.
Más detallesSÍ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
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 detallesFACULTAD DE CIENCIAS DE LA SALUD ESCUELA PROFESIONAL DE ENFERMERIA SILABO
FACULTAD DE CIENCIAS DE LA SALUD ESCUELA PROFESIONAL DE ENFERMERIA SILABO 1. DATOS INFORMATIVOS 2. SUMILLA 1.1. Nombre de la Asignatura : MATEMATICA 1.2. Código de la asignatura : E02 1.3 Número de créditos
Más detallesUNIVERSIDAD DE PLAYA ANCHA FACULTAD DE HUMANIDADES. Vicerrectora Académica Dirección de Estudios, Innovación Curricular y Desarrollo Docente
UNIVERSIDAD DE PLAYA ANCHA FACULTAD DE HUMANIDADES Vicerrectora Académica Dirección de Estudios, Innovación Curricular y Desarrollo Docente PROGRAMA FORMATIVO CARRERA DE PEDAGOGÍA EN FILOSOFÍA Módulo:
Más detallesCARRERA PROFESIONAL DE ADMINISTRACIÓN DE EMPRESAS SILABO DE LA ASIGNATURA: MATEMÁTICA
CARRERA PROFESIONAL DE ADMINISTRACIÓN DE EMPRESAS SILABO DE LA ASIGNATURA: MATEMÁTICA 1. DATOS INFORMATIVOS 1.1. Nombre de la Asignatura : MATEMÁTICA 1.2. Código de la asignatura : AE102 1.3. Número de
Más detallesUniversidad Autónoma de la Ciudad de México Nada humano me es ajeno
PROTOCOLO PROGRAMA DE ESTUDIOS PROGRAMA DE ESTUDIOS: LÓGICA II, CUANTIFICACIONAL Nombre completo de acuerdo con el Plan de Estudios Fechas Mes/año Clave Semestre Elaboración 2005 Nivel Licenciatura x Maestría
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 detallesFacultad de Ciencias Agrarias UNIVERSIDAD NACIONAL DE MAR DEL PLATA AREA DEPARTAMENTO PROGRAMA DE MATEMATICA I 1-OBJETIVOS: A) Dominio cognoscitivo:
Ciencias 1-OBJETIVOS: A) Dominio cognoscitivo: 1) Comprender los conceptos básicos de la asignatura: Lógica Matemática y Conjuntos, matrices, determinantes, sistemas de ecuaciones, Geometría Analítica
Más detallesFACULTAD DE DERECHO Y CIENCIA POLÍTICA
FACULTAD DE DERECHO Y CIENCIA POLÍTICA ESCUELA PROFESIONAL DE DERECHO SÍLABO I. DATOS GENERALES 1.1 Asignatura : Lógica Jurídica. 1.2 Código : 0703-07412 1.3 Nivel : Pregrado 1.4 Semestre Académico : 2016-II
Más detallesPrograma de Lógica para la solución de problemas
Programa de Lógica para la solución de problemas Octubre del 2006 B @ UNAM Asignatura: Lógica para la solución de problemas Plan: 2006 Créditos: 10 Bachillerato: Módulo 2 Tiempo de dedicación total: 80
Más detallesFACULTAD DE DERECHO Y CIENCIAS ADMINISTRATIVAS ESCUELA PROFESIONAL DE DERECHO
FACULTAD DE DERECHO Y CIENCIAS ADMINISTRATIVAS ESCUELA PROFESIONAL DE DERECHO 1. DATOS INFORMATIVOS SILABO 1.1. Nombre de la Asignatura : MATEMÁTICA 1.2. Código de la asignatura : D 02 1.3. Número de créditos
Más detallesJUSTIFICACIÓN DESCRIPCIÓN
ASIGNATURA : PROGRAMA DE LÓGICA MATEMÁTICA DEPARTAMENTO : PROGRAMA DE FILOSOFIA SEMESTRE : VII SEMESTRE PRERREQUISITO. CARÁCTER DE LA ASIGNATURA : Teórico - práctica No. CRÉDITOS : 3 CREDITOS INTENSIDAD
Más detallesUniversidad Católica Argentina Santa María de los Buenos Aires Facultad de Ciencias Económicas del Rosario Departamento Matemática
Universidad Católica Argentina Santa María de los Buenos Aires Facultad de Ciencias Económicas del Rosario Departamento Matemática CARRERA: Contador Público. TOTAL DE HS/SEM: 6 h ASIGNATURA: Matemática
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 detallesProfesorado en Filosofía y Ciencias de la Educación. Plan de Estudios: Resolución C. D. F. H. N 106/95. Ordenanza C. S. N 009/09
UNIVERSIDAD NACIONAL DE CATAMARCA FACULTAD DE HUMANIDADES DEPARTAMENTO DE FILOSOFIA Y CIENCIAS DE LA EDUCACIÓN PROGRAMA: Lógica I Profesorado en Filosofía y Ciencias de la Educación Plan de Estudios: Resolución
Más detallesArquitectura y Sistemas de Operativos
Universidad Tecnológica Nacional Facultad Regional San Francisco Técnico Superior en Programación Arquitectura y Sistemas de Operativos PLANIFICACIÓN CICLO LECTIVO 2013 ÍNDICE TÉCNICO SUPERIOR EN PROGRAMACIÓN...
Más detallesMÓDULO MATERIA CURSO SEMESTRE CRÉDITOS TIPO
GUIA DOCENTE DE LA ASIGNATURA LÓGICA MÓDULO MATERIA CURSO SEMESTRE CRÉDITOS TIPO Lógica y lenguaje PROFESOR(ES) Lógica y teoría de la argumentación 1º 2º 6 Obligatorio DIRECCIÓN COMPLETA DE CONTACTO PARA
Más detallesFundamentos básicos de matemáticas: Lógica Proposicional
Fundamentos básicos de matemáticas: Lógica Proposicional Victor Hugo Gil A. Universidad del Valle 28 de agosto de 2016 Victor Hugo Gil A. (Univalle) Lógica Proposicional 28 de agosto de 2016 1 / 10 Lógica
Más detallesSumario Prólogo Unidad didáctica 1. Historia de la lógica Objetivos de la unidad... 10
ÍNDICE SISTEMÁTICO PÁGINA Sumario... 5 Prólogo... 7 Unidad didáctica 1. Historia de la lógica... 9 Objetivos de la unidad... 10 1. Introducción... 11 2. Efemérides... 13 3. La Lógica de Aristóteles...
Más detalles1.5- Contenidos mínimos establecidos en el Plan de Estudios para la
1.- IDENTIFICACIÓN: 1.1- Nombre de la Asignatura /Obligación Curricular LÓGICA I 1.2- Carrera /s Licenciatura en Sistemas de Informacion (Plan 2011) 1.3- Ubicación de la Asignatura/Obligación Curricular
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 detallesUNIVERSIDAD DE COSTA RICA FACULTAD DE CIENCIAS BÁSICAS ESCUELA DE MATEMÁTICA DEPARTAMENTO DE MATEMÁTICA APLICADA
UNIVERSIDAD DE COSTA RICA FACULTAD DE CIENCIAS BÁSICAS ESCUELA DE MATEMÁTICA DEPARTAMENTO DE MATEMÁTICA APLICADA MA0291 INTRODUCCIÓN A LA MATEMÁTICA PARA COMPUTACIÓN. I ciclo, 2016 CARTA AL ESTUDIANTE.
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 detallesINDICE. Presentación. iii Prologo
INDICE Presentación iii Prologo ix Lógica jurídica fundamental I. Introducción. Fundamentación lógica del Pensamiento jurídico 1.1. Hacia el lenguaje de la lógica 39 1.1.1. Aproximación a la naturaleza
Más detallesIntroducció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
Más detallesCarga académica Horas teóricas Horas prácticas Total de horas Créditos. Seriación Ninguna Ninguna
I. Datos de identificación Espacio educativo donde se imparte Licenciatura Facultad de Derecho Derecho Unidad de aprendizaje Lógica Jurídica Clave Carga académica 2 2 4 6 Horas teóricas Horas prácticas
Más detallesASIGNATURA: ESTRUCTURA DE DATOS II
ASIGNATURA: ESTRUCTURA DE DATOS II Cód: 31-206 Régimen cuatrimestral Horas reloj semanales: 4 Horas teóricas: 15 Horas prácticas: 45 Horas totales: 60 Carrera: Sistemas 2016 FUNDAMENTOS: Un tipo de dato
Más detallesCompiladores e Intérpretes
Programa de la Asignatura: Compiladores e Intérpretes Código: 767 Carrera: Ingeniería en Computación Plan: 2008 Carácter: Obligatoria Unidad Académica: Secretaría Académica Curso: Cuarto Año Primer cuatrimestre
Más detallesTaller de Análisis Lógico de Argumentos Filosóficos Semestre FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS. I. Lenguaje formal.
FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS I. Lenguaje formal. 1 II. Definición y utilidad de la formalización Formalización es el proceso de traducción de los argumentos del lenguaje natural a esquemas
Más detallesMATEMÁTICA BÁSICA PROFESOR LICDA. NANCY CAROLINA CASTILLO RAMÍREZ DE LINARES
UNIVERSIDAD DE SAN CARLOS DE GUATEMALA CENTRO UNIVERSITARIO DE ORIENTE CIENCIAS ECONÓMICAS PROGRAMA FIN DE SEMANA MATEMÁTICA BÁSICA GUÍA PROGRAMÁTICA (EDICIÓN 2017) CHIQUIMULA, GUATEMALA JULIO 2017 PROFESOR
Más detallesMatemáticas y Estadística Nombre del curso
FORTALECIMIENTO DE LA FORMACIÓN BÁSICA UNIVERSIDAD DEL NORTE 1 1. Identificación del curso División Ciencias Básicas Departamento Matemáticas y Estadística Nombre del curso Matemáticas Básicas-2 Código
Más detallesINDICE Introducción: Cultura y Filosofía; Conocimiento y Lógica 1. Idea de cultura 2. Concepto de filosofía 3. El Conocimiento y la lógica
INDICE Contenido VII Prólogo a la primera edición XV Prólogo a la segunda edición XVII Prólogo a la tercera edición XIX Introducción: Cultura y Filosofía; Conocimiento y Lógica 1. Idea de cultura 1 1.
Más detallesPrograma Regular. conocimientos generales acerca de la Ingeniería de Software. Se aplicaran los
Programa Regular Asignatura: Ingeniería de Software I Carrera/s: Ingenieria en informática Ciclo lectivo: 2017 Docente/s: Esp. Lic. Sergio Daniel Conde Carga horaria semanal: 5 Horas, Semanales. Tipo de
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 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 detallesASIGNATURA: ANALISIS Y DISEÑO DE SISTEMAS EN TIEMPO REAL
1 ASIGNATURA: ANALISIS Y DISEÑO DE SISTEMAS EN TIEMPO REAL Cód.: 32-407 Horas Semanales: 4 Horas prácticas: 77 Horas teóricas: 43 Horas totales: 120 Carrera: Sistemas Año del programa: 2016 FUNDAMENTOS:
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 detallesSOBRE LOGICA MATEMATICA. Sandra M. Perilla-Monroy. Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia.
SOBRE LOGICA MATEMATICA Sandra M. Perilla-Monroy Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. Resumen. sandraperilla@usantotomas.edu.co Carrera 9 No 51-11 Bogotá Colombia
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 detallesFACULTAD DE TEOLOGÍA SAN VICENTE FERRER
FACULTAD DE TEOLOGÍA SAN VICENTE FERRER GUÍA DOCENTE Lógica 1. DESCRIPCIÓN 2. OBJETIVOS 3. ACTIVIDADES 4. CRITERIOS DE EVALUACIÓN ASIGNATURA Curso Ciclo Anual Semestral 1 Institucional x Tipo de Asignatura
Más detallesLICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 /
Práctico N 1 Lenguaje de la lógica LICENCIATURA EN MATEMÁTICA proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 / 2 0 1 0 PRÁCTICO N 1 1. Fundamentación: fundamentar la expresión Por lo tanto del siguiente
Más detallesI N T R O D U C C I Ó N
I N T R O D U C C I Ó N Joven Bachiller: Como parte de las acciones de mejora para fortalecer el nivel académico de nuestros estudiantes, el Colegio de Bachilleres, pone a disposición, para estudiantes,
Más detallesINGENIERÍA QUÍMICA, MECÁNICA, ELECTRICISTA, TELECOMUNICACIONES
PROGRAMA ANALÍTICO DEPARTAMENTO: CIENCIAS BÁSICAS CARRERAS: INGENIERÍA QUÍMICA, MECÁNICA, ELECTRICISTA, TELECOMUNICACIONES ASIGNATURA: ÁLGEBRA LINEAL CÓDIGO: 0404 AÑO ACADÉMICO: 2016 PLANES DE ESTUDIOS:
Más detallesProfesorado en Filosofía y Ciencias de la Educación Plan de Estudios: Resolución C. D. F. H. N 106/95. Ordenanza C. S. N 009/09
UNIVERSIDAD NACIONAL DE CATAMARCA FACULTAD DE HUMANIDADES DEPARTAMENTO DE FILOSOFIA Y CIENCIAS DE LA EDUCACIÓN PROGRAMA: Lógica II Profesorado en Filosofía y Ciencias de la Educación Plan de Estudios:
Más detallesGuía Docente ESCUELA POLITÉCNICA SUPERIOR
Guía Docente FUNDAMENTOS MATEMÁTICOS DE LA INFORMÁTICA I PRIMER CURSO PRIMER SEMESTRE GRADO: INGENIERÍA DE SISTEMAS DE INFORMACIÓN MODALIDAD: PRESENCIAL CURSO 2016/2017 ESCUELA POLITÉCNICA SUPERIOR 1.
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 detalles