Pontificia Universidad Católica del Ecuador
|
|
- Gregorio González Sandoval
- hace 6 años
- Vistas:
Transcripción
1 Pontificia Universidad Católica del Ecuador 1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Cálculo Proposicional y de Predicados CÓDIGO: CARRERA: NIVEL: Ingeniería de Sistemas Primero No. CRÉDITOS: 4 CRÉDITOS TEORÍA: 4 CRÉDITOS PRÁCTICA: SEMESTRE / AÑO ACADÉMICO: PROFESOR: Primero Nombre: Grado académico o título profesional: Breve indicación de la línea de actividad académica: Indicación de horario de atención a estudiantes: Correo electrónico: Fausto Honorato Meneses Becerra Ingeniero Civil, Ingeniero de Sistemas, Diploma Superior en Gestión para el Aprendizaje Universitario. Cálculo Proposicional y de Predicados forma parte del área del conocimiento de la Matemática Aplicada. Lunes de 18h00 a 19h00 y Miércoles de 17h00 a 18h00 fmeneses@puce.edu.ec fmenesesb@gmail.com Teléfono: y DESCRIPCIÓN DE LA MATERIA: Cálculo de Proposicional y de Predicados es parte del área de la Lógica y de la Matemática, que se encarga del estudio de los enunciados, las conectivas, las funciones y tablas de verdad y su simplificación, la lógica de enunciados como sistema axiomático y la lógica de enunciados como sistema de reglas de inferencia. 3. OBJETIVO GENERAL: Desarrollar en los estudiantes las bases para aplicar las matemáticas en la Ingeniería de Sistemas. 1
2 Pontificia Universidad Católica del Ecuador 4. OBJETIVOS ESPECÍFICOS: Desarrollar en los estudiantes criterios aplicados a la lógica matemática clásica en los temas principales: a) El cálculo de proposiciones. b) El cálculo de predicados. 5. CONTENIDOS I Unidad : Lógica Formal. 1.1 Cálculo Proposicional La teoría formal del Cálculo Proposicional Introducción. Uso del lenguaje. Lenguajes y metalenguajes. Sintaxis, Semántica y Pragmática Semejanzas y diferencias entre lenguajes naturales y artificiales La noción del cálculo Razonamientos formalmente válidos, Silogismos Teoría de conjuntos. Conectivas proposicionales Fórmulas bien formadas y tablas de verdad. Tautologías Leyes del cálculo proposicional. Verificación de estas leyes usando tablas de verdad y teoría de conjuntos El Sistema Principia Matemática. Deducción de teoremas. Argumentación y evaluación Conjuntos adecuados de conectivas. Equivalencias y Consecuencias lógicas Argumentaciones. Falacias y Sofismas Validación de argumentaciones en el Cálculo Proposicional. II Unidad: El cálculo de predicados. 2.1 La teoría formal del cálculo de predicados Proposiciones categóricas Cuantificadores. Fórmulas bien formadas Reglas de inferencia. Interpretaciones. Satisfabilidad y verdad Modelos Fórmulas lógicamente válidas Consecuencias lógicas en el cálculo de predicados Argumentaciones. Falácias y sofismas. Validación de argumentaciones en el cálculo de predicados. 6. METODOLOGÍA, RECURSOS: Clases Magistrales. Taller Pedagógico. Lluvia de ideas. Resolución de problemas. Investigación. 2
3 Otros. Pontificia Universidad Católica del Ecuador Pizarrón. Borrador y tiza líquida. Apuntes de clases. Bibliografía. 7. EVALUACIÓN: CRONOGRAMA DE EVALUACIONES: Examen I Parcial: 20/sep/2012. Examen II Parcial: 08/nov/2012. Examen III Parcial: 10/dic/2012. SISTEMA DE CALIFICACIÓN (puntaje asignado a pruebas parciales): I y II Parcial: Asistencia 1 PUNTO, Promedio de pruebas, lecciones y trabajos 6 PUNTOS, Examen 8 PUNTOS. IIi Parcial: Asistencia 1 PUNTO, Promedio de pruebas, lecciones y trabajos 5 PUNTOS, Proyecto de Investigación 5 PUNTOS, Examen 9 PUNTOS. FECHA DE ENTREGA DE CALIFICACIONES EN SECRETARÍA: I Parcial: 27/sep/2012. II Parcial: 15/nov/2012. Examen III Parcial: 13/dic/ BIBLIOGRAFÍA: 1. Alfredo Deaño -- Introducción a la Lógica Formal. 2. Patrick Suppes -- Introducción a la Lógica Simbólica. 3. Robert Korfhage -- Lógica y Algoritmos 4. Grimaldi -- Matemáticas Discretas. 5. Elaine Rich & Kevin Knight -- Inteligencia Artificial. 3
4 Aprobado: Pontificia Universidad Católica del Ecuador Por el Consejo de Escuela f) Director de Escuela fecha: Por el Consejo de Facultad f) Decano fecha: INFORMACIÓN ADICIONAL PARA LA ELABORACIÓN DEL PROGRAMA Inicio del primer semestre : 13 de agosto del 2012 Fin del primer semestre : 14 de diciembre del 2012 Exámenes finales: del 10 al 14 de diciembre del
5 Asignatura: Cálculo Proposicional y de Predicados Organización Docente Semanal SEMANA (1-17) N de horas de clases teóricas ACTIVIDADES DE INTERACCIÓN DOCENTE - ESTUDIANTES (HORAS PRESENCIALES) N de horas de clases prácticas, laboratorios, talleres N de horas de tutorías especializadas TRABAJO AUTÓNOMO DEL ESTUDIANTE (HORAS NO PRESENCIALES) ACTIVIDADES (Descripción) N de horas EVALUACIONES TEMAS A TRATAR (N del tema, unidad, o capítulo descritos en Contenidos) 1 semana Unidad I: semana Unidad I: semana Unidad I: semana Unidad I: semana Unidad I: semana Examen I Parcial Unidad I: semana Unidad I: semana Unidad I: semana Unidad I: semana Unidad I: semana Examen II Parcial Unidad I: Examen III Parcial, 12 a 18 Recepción de Unidad II: semana Proyectos 18 semana EXÁMENES 5
Pontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS FACULTAD: INGENIERÍA CARRERA: SISTEMAS Asignatura/Módulo: CÁLCULO PROPOSICIONAL Y DE Código: 1400 PREDICADOS Plan de estudios: Nivel: Primero Prerrequisitos: Preparatorio Correquisitos:
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: INTELIGENCIA ARTIFICIAL CÓDIGO: 12652 CARRERA: NIVEL: Ingeniería de Sistemas quinto No. CRÉDITOS: 4 CRÉDITOS TEORÍA: 2 CRÉDITOS PRÁCTICA: 2 SEMESTRE / AÑO ACADÉMICO:
Más detallesPontificia Universidad Católica del Ecuador
Pontificia Universidad Católica del Ecuador Facultad de Ingeniería, Escuela de Sistemas E-MAIL: dga@puce.edu.ec Av. 12 de Octubre 1076 y Roca Apartado postal 17-01-2184 Fax: 593 2 299 16 56 Telf: 593 2
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Lógica Jurídica CÓDIGO: 13354 CARRERA: Derecho NIVEL: 2 No. CRÉDITOS: 4 SEMESTRE / AÑO ACADÉMICO: Primero 2010-2011 PROFESOR: Nombre: Grado académico o título profesional:
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 detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Lenguajes de Programación CÓDIGO: 13056 CARRERA: NIVEL: Sistemas Cuarto No. CRÉDITOS: 4 CRÉDITOS TEORÍA: 2 CRÉDITOS PRÁCTICA: 2 SEMESTRE / AÑO ACADÉMICO: Segundo
Más detallesPontificia Universidad Católica del Ecuador
1.- DATOS INFORMATIVOS: MATERIA O MÓDULO : Algebra CÓDIGO: CARRERA: Ingeniería Civil NIVEL: Preparatorio No. DE CRÉDITOS: 4 CRÉDITOS TEORÍA: 4 SEMESTRE / AÑO ACADÉMICO: Primero / año académico 2009 2010
Más detallesGrado en Matemáticas GUÍA DOCENTE Curso
Grado en Matemáticas GUÍA DOCENTE Curso 2009-2010 Centro: Facultad de Ciencias, Estudios Agroalimentarios e Informática Dirección: Madre de Dios, 51 postal: 26006 Teléfono: +34 941 299 607 Fax: +34 941
Más detallesIntroducción al uso del programa SAP2000, utilizando los diferentes elementos que incluye el software.
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: CÓDIGO: 10751 COMPUTACION APLICADA AL ANALISIS ESTRUCTURAL CARRERA: NIVEL: INGENIERIA CIVIL OCTAVO No. CRÉDITOS: 2 CRÉDITOS TEORÍA: 1 CRÉDITOS PRÁCTICA: 1 SEMESTRE
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: PLANEACION I CÓDIGO: 14022 CARRERA: NIVEL: INGENIERIA CIVIL OCTAVO No. CRÉDITOS: 4 CRÉDITOS TEORÍA: 4 CRÉDITOS PRÁCTICA: 0 SEMESTRE / AÑO ACADÉMICO: PRIMER SEMESTRE
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Cálculo Integral CÓDIGO: 10242 CARRERA: NIVEL: Ingeniería Civil Dos No. CRÉDITOS: 6 CRÉDITOS TEORÍA: 6 CRÉDITOS PRÁCTICA: 0 SEMESTRE 1 / AÑO ACADÉMICO: PROFESOR:
Más detallesPontificia Universidad Católica del Ecuador
Pontificia Universidad Católica del Ecuador Facultad o Escuela de Administración E-MAIL: dga@puce.edu.ec Av. 12 de Octubre 1076 y Roca Apartado postal 17-01-2184 Fax: 593 2 299 16 56 Telf: 593 2 299 15
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: INSTALACIONES ELÉCTRICAS CÓDIGO: 12618 CARRERA: NIVEL: ARQUITECTURA SEXTO NIVEL No. CRÉDITOS: CRÉDITOS TEORÍA: CRÉDITOS PRÁCTICA: SEMESTRE / AÑO ACADÉMICO: AGOSTO
Más detallesPrograma del Curso Lógica para informáticos I Semestre, 2018
Programa del Curso Lógica para informáticos I Semestre, 2018 Datos Generales Sigla: IF-1400 Nombre del curso: Lógica para Informáticos Tipo de curso: teórico Número de créditos: 2 Número de horas semanales
Más detallesPontificia Universidad Católica del Ecuador
Pontificia Universidad Católica del Ecuador 1. DATOS INFORMATIVOS: MATERIA O MÓDULO: ADMINISTRACIÓN FINANCIERA CÓDIGO: 14529 CARRERA: NIVEL: ECOTURISMO CUARTO No. CRÉDITOS: 4 CRÉDITOS TEORÍA: 4 CRÉDITOS
Más detallesPontificia Universidad Católica del Ecuador
Pontificia Universidad Católica del Ecuador 1. DATOS INFORMATIVOS: Av. 1 de Octubre 1076 y Roca Apartado postal 17-01-18 Fax: 593 99 16 56 MATERIA O MÓDULO: CALCULO DIFERENCIAL CÓDIGO: 1063 CARRERA: NIVEL:
Más detallesPontificia Universidad Católica del Ecuador
Pontificia Universidad Católica del Ecuador Facultad de Ingeniería, Escuela de Sistemas E-MAIL: dga@puce.edu.ec Av. 12 de Octubre 1076 y Roca Apartado postal 17-01-2184 Fax: 593 2 299 16 56 Telf: 593 2
Más detalleslógicos y leyes lógicas. Falacias formales. Razonamientos deductivos y no deductivos.
Universidad Nacional de Río Cuarto Facultad de Ciencias Humanas Departamento de Filosofía Licenciatura y Profesorado en Filosofía Cátedra: LÓGICA (6471) Año Académico 2011 Régimen: Anual Horas semanales:
Más detallesFORMATO DE CONTENIDO DE CURSO PLANEACIÓN DEL CONTENIDO DE CURSO
FACULTAD DE: CIENCIAS DE LA EDUCACIÓN PROGRAMA DE: LICENCIATURA EN MATEMÁTICAS 1. IDENTIFICACIÓN DEL CURSO PLANEACIÓN DEL CONTENIDO DE CURSO NOMBRE : LÓGICA MATEMÁTICA CÓDIGO : 22133 SEMESTRE : SEGUNDO
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 detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Diseño de Empaques de papel CÓDIGO: 12714 CARRERA: NIVEL: Diseño Electiva No. CRÉDITOS: 3 CRÉDITOS TEORÍA: CRÉDITOS PRÁCTICA: SEMESTRE / AÑO ACADÉMICO: Segundo
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 detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: CÓDIGO: 15749 Principios y Aplicaciones de Cromatografía Líquida de Alto Rendimiento (HPLC) CARRERA: NIVEL: Ciencias Químicas, mención Química Analítica VII No.
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: Av. 12 de Octubre 107 y Roca Fax: 593 2 299 1 5 MATERIA O MÓDULO: MATEMATICAS FINANCIERAS CÓDIGO: 14250 CARRERA: NIVEL: No. CRÉDITOS: ESCUELA DE HOTELERIA Y TURISMO SEGUNDO 4 CRÉDITOS
Más detallesPontificia Universidad Católica del Ecuador
Apartado postal 17-01-218 1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Normas de Calidad ISO CÓDIGO: 1556 CARRERA: NIVEL: Licenciatura en Ciencias Químicas con mención en Química Analítica cuarto No. CRÉDITOS:
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: CONSTRUCCIONES III CÓDIGO: 10829 CARRERA: ARQUITECTURA NIVEL: 5 No. CRÉDITOS: 3 CRÉDITOS TEORÍA: CRÉDITOS PRÁCTICA: SEMESTRE / AÑO ACADÉMICO: 02-2009 PROFESOR:
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Trigonometría CÓDIGO: IC 15715 CARRERA: Civil NIVEL: Preparatorio (P1 y P2) No. CRÉDITOS: 4 CRÉDITOS TEORÍA: 4 CRÉDITOS PRÁCTICA: 0 SEMESTRE / AÑO ACADÉMICO: Segundo
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 detallesUniversidad Autónoma de Nayarit Área Económico-Administrativa Licenciatura en Economía
9. ACERVOS DE CONSULTA ACERVOS BÁSICOS Borrajo Daniel (1997). Inteligencia Artificial Métodos y Técnicas. Granollers, Toni. (2005) Diseño de Sistemas Interactivos Centrados en el Usuario. Ballario, Jorge
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Resistencia de Materiales I CÓDIGO: 14642 CARRERA: NIVEL: Ingeniería Civil IV No. CRÉDITOS: 5 CRÉDITOS TEORÍA: 5 CRÉDITOS PRÁCTICA: 0 SEMESTRE / AÑO ACADÉMICO:
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Taller de Redacción Periodística I CÓDIGO: 15262 CARRERA: NIVEL: Comunicación Quinto No. CRÉDITOS: 4 CRÉDITOS TEORÍA: 4 CRÉDITOS PRÁCTICA: SEMESTRE / AÑO ACADÉMICO:
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 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 detallesPontificia Universidad Católica del Ecuador
Pontificia Universidad Católica del Ecuador Facultad de Psicología E-MAIL: dga@puce.edu.ec Av. 1 de Octubre 176 y Roca Apartado postal 17-1-184 Fax: 593 99 16 56 Telf: 593 99 15 35 Quito - Ecuador 1. DATOS
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Estructuras de Datos 1 CÓDIGO: 11780 CARRERA: NIVEL: Ingeniería Segundo No. CRÉDITOS: 6 CRÉDITOS TEORÍA: 6 CRÉDITOS PRÁCTICA: 0 SEMESTRE / AÑO ACADÉMICO: Primero
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Cálculo diferencial CÓDIGO: 10241 CARRERA: Ingeniería Civil NIVEL: Primero. Paralelo 1 y 2 No. CRÉDITOS: 6 CRÉDITOS TEORÍA: 6 CRÉDITOS PRÁCTICA: 0 SEMESTRE 1 /
Más detallesPENSAMIENTO MATEMATICO
PENSAMIENTO MATEMATICO UJAT DAIS CREDITOS: 6 HORAS TEORICAS: 1 HORAS PRACTICAS: 4 TOTAL DE HORAS CLASE A LA SEMANA: 5 TOTAL DE SEMANAS EN EL SEMESTRE: 16 UNIDADES DE APRENDIZAJE: 2 PENSAMIENTO MATEMATICO
Más detallesPontificia Universidad Católica del Ecuador
Pontificia Universidad Católica del Ecuador Facultad de Ciencias Humanas Escuela de Sociología E-MAIL: dga@puce.edu.ec Av. 12 de Octubre 1076 y Roca Apartado postal 17-01-2184 Fax: 593 2 299 16 56 Telf:
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Resistencia de Materiales I CÓDIGO: 14642 CARRERA: NIVEL: Ingeniería Civil IV No. CRÉDITOS: 5 CRÉDITOS TEORÍA: 5 CRÉDITOS PRÁCTICA: 0 SEMESTRE / AÑO ACADÉMICO:
Más detallesLOGICA Y ALGEBRA DISCRETA
LOGICA Y ALGEBRA DISCRETA Franco D. Menendez LABIA FACET - UNT DOCENTES Ing. Franco D. Menendez fmenendez@herrera.unt.edu.ar Mg. Ing. Gustavo Juarez gjuarez@herrera.unt.edu.ar CURSADO Teoría-Práctica:
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: INTRODUCCION A LAS MATEMATICAS CÓDIGO: 14091 CARRERA: NIVEL: ECOTURISMO PRIMERO No. CRÉDITOS: 4 CRÉDITOS TEORÍA: 4 CRÉDITOS PRÁCTICA: SEMESTRE / AÑO ACADÉMICO:
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: CÓDIGO: CARRERA: NIVEL: Contabilidad Básica IS Ingeniería de Sistemas Tercero No. CRÉDITOS: 4 CRÉDITOS TEORÍA: 4 CRÉDITOS PRÁCTICA: - SEMESTRE / AÑO ACADÉMICO:
Más detallesPontificia Universidad Católica del Ecuador
Apartado postal 17-01-218 1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Introducción a la traducción CÓDIGO: 20275 CARRERA: NIVEL: Lingüística Aplicada Quinto No. CRÉDITOS: CRÉDITOS TEORÍA: CRÉDITOS PRÁCTICA:
Más detallesPontificia Universidad Católica del Ecuador
Pontificia Universidad Católica del Ecuador 1. DATOS INFORMATIVOS: MATERIA O MÓDULO: PRINCIPIOS DE ADMINISTRACION CÓDIGO: 14240 CARRERA: NIVEL: COMUNICACION VI No. CRÉDITOS: 4 CRÉDITOS TEORÍA: 4 CRÉDITOS
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Seminario Electivo de Literatura Española CÓDIGO: 14721 CARRERA: NIVEL: No. CRÉDITOS: Comunicación Cuarto Tres CRÉDITOS TEORÍA: CRÉDITOS PRÁCTICA: SEMESTRE / AÑO
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: CÓDIGO: CARRERA: NIVEL: No. CRÉDITOS: CRÉDITOS TEORÍA: CRÉDITOS PRÁCTICA: SEMESTRE / AÑO ACADÉMICO: PROFESOR: Nombre: Grado académico o título profesional: Breve
Más detallesPontificia Universidad Católica del Ecuador
Pontificia Universidad Católica del Ecuador Facultad de Ingeniería Escuela de Sistemas E-MAIL: dga@puce.edu.ec Av. 12 de Octubre 1076 y Roca Apartado postal 17-01-214 Fax: 593 2 299 16 56 Telf: 593 2 299
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 detallesUNIVERSIDAD AUTÓNOMA DE BAJA CALIFORNIA SUR INGENIERÍA EN TECNOLOGÍA COMPUTACIONAL. ASIGNATURA Inteligencia Artificial II. Ingeniería Aplicada
UNIVERSIDAD AUTÓNOMA DE BAJA CALIFORNIA SUR DEPARTAMENTO ACADÉMICO DE SIS COMPUTACIONALES INGENIERÍA EN TECNOLOGÍA COMPUTACIONAL ASIGNATURA Inteligencia Artificial II ÁREA DE Ingeniería Aplicada CONOCIMIENTO
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Organización y Arquitectura de Computadoras CÓDIGO: CARRERA: NIVEL: Ingeniería de Sistemas 3ro No. CRÉDITOS: 4 CRÉDITOS TEORÍA: 4 CRÉDITOS PRÁCTICA: 0 SEMESTRE
Más detallesBenemérita Universidad Autónoma de Puebla Vicerrectoría de Docencia Dirección General de Educación Superior Facultad de Ciencias de la Computación
PLAN DE ESTUDIOS (PE): Licenciatura en Ciencias de la Computación ÁREA: Ciencias de la Computación ASIGNATURA: Lógica Matemática CÓDIGO: CCOM-012 CRÉDITOS: 5 FECHA: 28 de junio de 2012 1 1. DATOS GENERALES
Más detallesPontificia Universidad Católica del Ecuador
Pontificia Universidad Católica del Ecuador 1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Lecturas de Literatura Ecuatoriana I CÓDIGO: 13016 CARRERA: Comunicación NIVEL: 6 No. CRÉDITOS: 3 CRÉDITOS TEORÍA: 3
Más detallesPontificia Universidad Católica del Ecuador
Apartado postal 17-01-21 1. DATOS INFORMATIVOS: MATERIA O MÓDULO: CÓDIGO: CARRERA: NIVEL: SIMULACIÓN IS702A INGENIERÍA DE SISTEMAS SÉPTIMO No. CRÉDITOS: CRÉDITOS TEORÍA: CRÉDITOS PRÁCTICA: 0 SEMESTRE /
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Proyectos Sociales CÓDIGO: 20788 CARRERA: NIVEL: Gestión Social Quinto No. CRÉDITOS: 5 CRÉDITOS TEORÍA: 4 CRÉDITOS PRÁCTICA: 1 SEMESTRE / AÑO ACADÉMICO: PROFESOR:
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Matemática Básica CÓDIGO: 13225 CARRERA: NIVEL: Ingeniería de Sistemas Preparatorio No. CRÉDITOS: 10 CRÉDITOS TEORÍA: 10 CRÉDITOS PRÁCTICA: - SEMESTRE / AÑO ACADÉMICO:
Más detallesTaller Escultura 1 1. DATOS INFORMATIVOS: ARTES VISUALES SEGUNDO MATERIA O MÓDULO: CÓDIGO: CARRERA: NIVEL: No. CRÉDITOS: 3 CRÉDITOS TEORÍA:
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Taller Escultura 1 CÓDIGO: 14780 CARRERA: NIVEL: ARTES VISUALES SEGUNDO No. CRÉDITOS: 3 CRÉDITOS TEORÍA: CRÉDITOS PRÁCTICA: 3 SEMESTRE / AÑO ACADÉMICO: PRIMER SEMESTRE
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: CÓDIGO: CARRERA: NIVEL: Matemática Básica IS Ingeniería de Sistemas Preparatorio No. CRÉDITOS: 10 CRÉDITOS TEORÍA: 10 CRÉDITOS PRÁCTICA: - SEMESTRE / AÑO ACADÉMICO:
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: INVESTIGACION DE OPERACIONES CÓDIGO: CARRERA: NIVEL: INGENIERÍA DE SISTEMAS Cuarto No. CRÉDITOS: 4 CRÉDITOS TEORÍA: CRÉDITOS PRÁCTICA: SEMESTRE / AÑO ACADÉMICO:
Más detallesPontificia Universidad Católica del Ecuador
Pontificia Universidad Católica del Ecuador Facultad o Escuela de. E-MAIL: dga@puce.edu.ec Av. de Octubre 076 y Roca Apartado postal 7-0-84 Fax: 593 99 6 56 Telf: 593 99 5 35 Quito - Ecuador. DATOS INFORMATIVOS:
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 2010A DEL PROGRAMAS DEL DEPARTAMENTO DE MATEMÁTICAS El presente formato tiene la finalidad
Más detallesUNIVERSIDAD NACIONAL DE RÍO CUARTO FACULTAD DE CIENCIAS EXACTAS, FÍSICO-QUÍMICAS Y NATURALES DEPARTAMENTO DE MATEMÁTICA
UNIVERSIDAD NACIONAL DE RÍO CUARTO FACULTAD DE CIENCIAS EXACTAS, FÍSICO-QUÍMICAS Y NATURALES DEPARTAMENTO DE MATEMÁTICA CARRERA/S: Analista en Computación, Profesorado en Ciencias de la Computación, Licenciatura
Más detallesPontificia Universidad Católica del Ecuador
Av. de Octubre 076 y Roca Apartado postal 7-0-8 Fax: 59 99 6 56 Telf: 59 99 5 5. DATOS INFORMATIVOS: MATERIA O MÓDULO: VIDEO CÓDIGO: 78 CARRERA: ARTES VISUALES NIVEL: : º No. CRÉDITOS: CRÉDITOS TEORÍA:
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: RESISTENCIA DE MATERIALES II CÓDIGO: 14643 CARRERA: NIVEL: INGENIERIA CIVIL QUINTO No. CRÉDITOS: 5 CRÉDITOS TEORÍA: 5 CRÉDITOS PRÁCTICA: 0 SEMESTRE / AÑO ACADÉMICO:
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 detallesPontificia Universidad Católica del Ecuador
Pontificia Universidad Católica del Ecuador Escuela de Ciencias Históricas E-MAIL: dga@puce.edu.ec Av. 12 de Octubre 1076 y Roca Apartado postal 17-01-2184 Fax: 593 2 299 16 56 Telf: 593 2 299 15 35 Quito
Más detallesPontificia Universidad Católica del Ecuador Facultad de Ingeniería
1. DATOS INFORMATIVOS: Pontificia Universidad Católica del Ecuador MATERIA: Trigonometría CÓDIGO: CARRERA: Civil NIVEL: Preparatorio No. CRÉDITOS: CRÉDITOS TEORÍA: 4 SEMESTRE/AÑO ACADÉMICO: Agosto - Diciembre
Más detallesPontificia Universidad Católica del Ecuador
Pontificia Universidad Católica del Ecuador Facultad de Ingeniería - Escuela de Sistemas. E-MAIL: dga@puce.edu.ec Av. 12 de Octubre 1076 y Roca Apartado postal 17-01-2184 Fax: 593 2 299 16 56 Telf: 593
Más detallesFecha de elaboración: Agosto de Fecha de última actualización: Julio de Seriación explícita
Programa elaborado por: PROGRAMA DE ESTUDIO Lógica Matemática Programa Educativo: Licenciatura en Matemáticas Área de Formación : Sustantiva Profesional Horas teóricas: 4 Horas prácticas: 1 Total de Horas:
Más detallesSílabo de Lógica. Horas Teóricas: 2 Prácticas: 2
Sílabo de Lógica I. Datos Generales Código Carácter UC0544 Obligatorio Créditos 3 Periodo Académico 2017 Prerrequisito Ninguno Horas Teóricas: 2 Prácticas: 2 II. Sumilla de la Asignatura La asignatura
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Algebra Lineal y Geometría Analítica CÓDIGO: CARRERA: Civil NIVEL: Primero No. CRÉDITOS: 6 CRÉDITOS TEORÍA: CRÉDITOS PRÁCTICA: SEMESTRE / AÑO ACADÉMICO: Segundo,
Más detallesSistemas Formales y Lógica
UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGÍAS Sistemas Formales y Lógica Carrera: Licenciatura en Matemática Docente: Miriam Alagastino AÑO 2016 PLANIFICACIÓN DE
Más detallesPontificia Universidad Católica del Ecuador
Pontificia Universidad Católica del Ecuador Facultad de Comunicación, Lingüística y Literatura Escuela de Comunicación E-MAIL: dga@puce.edu.ec Av. 12 de Octubre 1076 y Roca Apartado postal 17-01-2184 Fax:
Más detallesPontificia Universidad Católica del Ecuador
Pontificia Universidad Católica del Ecuador Facultad de Economía E-MAIL: dga@puce.edu.ec Av. 12 de Octubre 1076 y Roca Apartado postal 17-01-218 Fax: 593 2 299 16 56 Telf: 593 2 299 15 35 Quito - Ecuador
Más detallesASIGNATURA: MATEMÁTICA DISCRETA I
1 FUNDAMENTOS: ASIGNATURA: MATEMÁTICA DISCRETA I Código: 15-111 Régimen: Cuatrimestral Horas Semanales: 4 Horas prácticas: 30 Horas teóricas: 30 Horas totales: 60 Escuela de Sistemas Año del programa:
Más detalles1. DATOS INFORMATIVOS:
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Taller de diseño productos V CÓDIGO: 16185 CARRERA: NIVEL: DISEÑO DE PRODUCTOS V No. CRÉDITOS: 8 CRÉDITOS TEORÍA: 4 CRÉDITOS PRÁCTICA: 4 SEMESTRE / AÑO ACADÉMICO:
Más detallesINSTITUTO POLITECNICO NACIONAL SECRETARIA ACADEMICA DIRECCIÓN DE ESTUDIOS PROFESIONALES EN INGENIERÍA Y CIENCIAS FÍSICO MATEMÁTICAS
ESCUELA: UNIDAD PROFESIONAL INTERDISCIPLINARIA DE INGENIERIA Y CIENCIAS SOCIALES Y ADMINISTRATIVAS. CARRERA: INGENIERIA EN INFORMATICA. COORDINACION: ACADEMIAS DE MATEMÁTICAS. DEPARTAMENTO: CIENCIAS BÁSICAS.
Más detallesPontificia Universidad Católica del Ecuador
Pontificia Universidad Católica del Ecuador Facultad o Escuela de. E-MAIL: dga@puce.edu.ec Av. 12 de Octubre 1076 y Roca Apartado postal 17-01-2184 Fax: 593 2 299 16 56 Telf: 593 2 299 15 35 Quito - Ecuador
Más detallesPontificia Universidad Católica del Ecuador
Pontificia Universidad Católica del Ecuador Facultad o Escuela de. E-MAIL: dga@puce.edu.ec Av. 12 de Octubre 1076 y Roca Apartado postal 17-01-2184 Fax: 593 2 299 16 56 Telf: 593 2 299 15 35 Quito - Ecuador
Más detallesGALO RAZA DÁVILA, Licenciado en Ciencias de la Educación (Magister en Docencia Universitaria). Cálculo
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: CÁLCULO DIFERENCIAL CÓDIGO: 10241 CARRERA: Civil NIVEL: Primero No. CRÉDITOS: 6 SEMESTRE / AÑO ACADÉMICO: II semestre 2011-2012 PROFESOR: Nombre: Grado académico
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 detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: MATEMATICAS BASICAS CÓDIGO: 1308 CARRERA: NIVEL: COMUNICACIÓN PRIMERO No. CRÉDITOS: 3 CRÉDITOS TEORÍA: 3 CRÉDITOS PRÁCTICA: 3 SEMESTRE / AÑO ACADÉMICO: PRIMER SEMESTRE
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 detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: INVESTIGACION DE OPERACIONES CÓDIGO: CARRERA: NIVEL: INGENIERÍA DE SISTEMAS Cuarto No. CRÉDITOS: 4 CRÉDITOS TEORÍA: CRÉDITOS PRÁCTICA: SEMESTRE / AÑO ACADÉMICO:
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: RÉGIMEN DEL IMPUESTO A LA RENTA CÓDIGO: CARRERA: NIVEL: JURISPRUDENCIA ELECTIVA DE PERFIL No. CRÉDITOS: TRES (3) CRÉDITOS TEORÍA: TRES (3) CRÉDITOS PRÁCTICA: 0
Más detallesPONTIFICIA UNIVERSIDAD CATÓLICA DEL ECUADOR FACULTAD DE INGENIERÍA ESCUELA DE SISTEMAS LABORATORIO DE FÍSICA I INGENIERÍA DE SISTEMAS PREPARATORIO
PONTIFICIA UNIVERSIDAD CATÓLICA DEL ECUADOR FACULTAD DE INGENIERÍA ESCUELA DE SISTEMAS 1. DATOS INFORMATIVOS: MATERIA O MÓDULO: CÓDIGO: CARRERA: NIVEL: LABORATORIO DE FÍSICA I 12047 INGENIERÍA DE SISTEMAS
Más detallesPontificia Universidad Católica del Ecuador
Pontificia Universidad Católica del Ecuador 1. DATOS INFORMATIVOS: Fax: 59 2 299 16 56 Telf: 59 2 299 15 5 MATERIA O MÓDULO: ESTETICA 2 CÓDIGO: 1459 CARRERA: ARTES VISUALES NIVEL: No. CRÉDITOS: 2 CRÉDITOS
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Biodiversidad y desarrollo CÓDIGO: CARRERA: Licenciatura en Ciencias Biológicas NIVEL: IV VI - VIII No. CRÉDITOS: 2 CRÉDITOS TEORÍA: 2 CRÉDITOS PRÁCTICA: SEMESTRE
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 detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: ESTADÍSTICA CÓDIGO: 11286 CARRERA: NIVEL: DOCENCIA TRONCO COMÚN SEGUNDO No. CRÉDITOS: 3 CRÉDITOS TEORÍA: 3 CRÉDITOS PRÁCTICA: - SEMESTRE / AÑO ACADÉMICO: Segundo
Más detallesPontificia Universidad Católica del Ecuador
Fax: 59 2 299 16 56 Telf: 59 2 299 15 5 1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Desarrollo Organizacional CÓDIGO: 16866 CARRERA: Comunicación NIVEL: 7 No. CRÉDITOS: CRÉDITOS TEORÍA: CRÉDITOS PRÁCTICA:
Más detallesFACULTAD DE CIENCIAS 2000 NATURALES Y MUSEO P R 0 G R A M A LÓGICA
FACULTAD DE CIENCIAS 2000 NATURALES Y MUSEO P R 0 G R A M A LÓGICA 1. CONTENIDO GLOBAL Y ARTICULACION Es una materia instrumental diseñada para la carrera de antropología. Se propone estimular la capacidad
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 detallesPROGRAMA ANALÍTICO DE ASIGNATURA
UNIVERSIDAD AUTÓNOMA DEL ESTADO DE HIDALGO COORDINACIÓN DE DOCENCIA DIRECCIÓN DE PLANEACIÓN Y DESARROLLO EDUCATIVO 1.- DATOS GENERALES PROGRAMA ANALÍTICO DE ASIGNATURA 1.1 INSTITUTO: INSTITUTO DE CIENCIAS
Más detallesPontificia Universidad Católica del Ecuador
Pontificia Universidad Católica del Ecuador Facultad Arquitectura, Diseño y Artes. E-MAIL: dga@puce.edu.ec Av. 12 de Octubre 1076 y Roca Apartado postal 17-01-2184 Fax: 59 2 299 16 56 Telf: 59 2 299 15
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: RESISTENCIA DE MATERIALES II CÓDIGO: 14643 CARRERA: NIVEL: INGENIERIA CIVIL QUINTO No. CRÉDITOS: 5 CRÉDITOS TEORÍA: 5 CRÉDITOS PRÁCTICA: 0 SEMESTRE / AÑO ACADÉMICO:
Más detallesI. DESCRIPCIÓN DE LA ASIGNATURA
UNIVERSIDAD ALAS PERUANAS FACULTAD DE CIENCIAS DE LA COMUNICACIÓN SILABO POR COMPETENCIA DATOS INFORMATIVOS 1.1. Asignatura : Lógica 1.2. Código : 1001-10E01 1.3. Pre-requisito : NINGUNO 1.4. Ciclo Académico
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 detalles