Universidad Nacional del Litoral Facultad de Humanidades y Ciencias
|
|
- Ramón Martín San Martín
- hace 5 años
- Vistas:
Transcripción
1 PF001: Lógica I er. Cuatrimestre 12: Licenciatura en Filosofía 17: Profesorado de Filosofía Titular: DAHLQUIST, Manuel Alberto Equipo de Cátedra: IBAÑEZ, Eduardo Alejandro GIOVANNINI, Eduardo Nicolas Régimen de cursado: Cuatrimestral Presentación de la materia: La lógica es la disciplina de los modos de razonar bien. La lógica simbólica en sus lenguajes de primer y segundo orden aplican técnicas formales para establecer las condiciones bajo las cuales que un argumento sea bueno (válido) y, además, establece un método para poder llevar adelante la tarea. La lógica se vincula con la filosofía bajo tres aspectos: a) Estudia argumentos y los argumentos son el material de que está hecha la filosofía; Es pues una herramienta fundamental para desarrollar trabajos y para emprender lecturas dentro de nuestra área; b) Estudia el lenguaje y el lenguaje es -al menos desde principios del siglo XX- uno de los tópicos centrales de la filosofía; c) A partir de sus indagaciones y propuestas ha desarrollado definiciones de conceptos ligados a la columna vertebral de los estudios en filosofía; no pueden abordarse seriamente cuestiones vinculadas a la verdad, los sistemas deductivos, el conocimiento, el lenguaje y la racionalidad sin apelar a los conceptos que de conocimiento, verdad, sistema, consistencia, tipos, categorías, etc. que ésta disciplina nos ha legado. Resulta pues insoslayable tanto para quienes se dediquen a la enseñanza de la filosofía, como para aquellos que se ocupen de las investigaciones. Propósitos/objetivos: - Comprender el carácter instrumental de la lógica, como herramienta para la comprensión de los argumentos; - Manipular los lenguajes de la lógica proposicional y de primer orden; - Comprender los conceptos básicos de la disciplina; - Asomarse a las cuestiones más importantes de la filosofía de la lógica.
2 Organización de contenidos y bibliografía: Unidad: 1 Las nociones de teoría de conjuntos son necesarias para quien estudia lógica por las siguientes razones: La lógica se explica utilizando dos metalenguajes: el español y la teoría de conjuntos; Muchas de las nociones básicas de la lógica se expresan utilizando teoría de conjuntos; Históricamente los caminos de las dos disciplinas se vinculan en la etapa de refundación de la disciplina en mano de matemáticos, filósofos y lógicos. Por lo anterior, es fundamental que el alumno disponga de los fundamentos necesarios para comprender y manipular estas nociones. 1. PRELIMINARES EN TEÓRIA DE CONJUNTOS Unidad 1: Introducción 1.1. Pinceladas históricas 1.2. Teoría intuitiva de conjuntos La selva de Cantor Problemas en la teoría intuitiva de conjuntos: la paradoja de Russell Solución de las paradojas 1.3. El Universo matemático 1.4. Teoría axiomática de conjuntos Unidad 2: Álgebra de Conjuntos 2.1. El lenguaje de la Teoría de Conjuntos 2.2. Igualdad, inclusión y conjunto vacío 2.3. Operaciones Unidad 3: Relaciones y Funciones 3.1. Clases unitarias, pares y díadas 3.2. Conjunto potencia (o conjunto de las partes de un conjunto) 3.3. Gran unión y gran intersección 3.4. Producto cartesiano 3.5. Relaciones binarias 3.6. Relación inversa, producto relativo y restricción 3.7. Imagen bajo una relación y relación identidad Propiedades de ciertas relaciones 3.9. Relaciones de equivalencia 3.10.Relaciones de Orden 3.11.Funciones, composición 3.12.Funciones de A en B
3 Elementos de Lógica Formal, Calixto, Jané y Jansana; (1998), Ariel, Barcelona Unidad: 2 En esta parte del programa se ocupa de la sintaxis, semántica y noción de consecuencia, propias de los lenguajes de proposicionales. II LÓGICA PROPOSICIONAL Unidad 4: Sintaxis de la lógica proposicional 4.1. El lenguaje de la lógica proposicional Unidad 5: Semántica de la lógica proposicional 5.1 Verdad con una asignación 5.2. Tautologías y contradicciones 5.3. Tablas de verdad Unidad 6: Equivalencia lógica 6.1. El concepto de equivalencia lógica 6.2. Eliminación de conectivas Unidad 7: Consecuencia lógica 7.1. Satisfacibilidad 7.2. Consecuencia lógica Unidad 8: Formas normales 8.1. De tablas de verdad a fórmulas 8.2. Formas normales 8.3. Sistemas completos de conectivas Unidad 9: Lógica proposicional y lenguaje natural 9.1. Simbolización 9.2. Consecuencia y argumentación Elementos de Lógica Formal, Calixto, Jané y Jansana; (1998), Ariel, Barcelona Unidad: 3 En esta parte del programa se ocupa de la sintaxis, semántica y noción de consecuencia, propias de los lenguajes de primer orden. III LÓGICA DE PRIMER ORDEN Unidad 10: Sintaxis de los lenguajes de primer orden Introducción
4 10.2. Los lenguajes de primer orden Unidad 11: Semántica de los lenguajes de primer orden Estructuras Verdad en una estructura Simbolización Unidad 12: Verdad, equivalencia y consecuencia lógica 9.l. Verdad lógica 9.2. Equivalencia lógica 9.3. Consecuencia lógica Unidad 13: Lógica de primer orden con símbolos funcionales Introducción Sintaxis Semántica Unidad 14: Cálculo deductivo Introducción El cálculo deductivo Reglas derivadas Algunos principios sobre deducibilidad Unidad 15: Teorías y modelos Introducción y preliminares El teorema de corrección Conjuntos consistentes maximales Teorías de Henkin y modelos canónicos El teorema de completud Aplicaciones Teorías y axiomas Elementos de Lógica Formal, Calixto, Jané y Jansana; (1998), Ariel, Barcelona Trabajos y evaluaciones: Los alumnos deberán rendir dos parciales y entregar tres TP. Si los TP están aprobados y los exámenes son aprobados promediando como nota 8 (ocho), el alumno será promocionado. Exigencias para obtener regularidad:
5 Si los TP están aprobados y los exámenes son aprobados sin las condiciones de la promoción, el alumno será regular. Modalidad de examen final: El examen final será escrito y abarcará la totalidad de la materia, tanto en su parte práctica como teórica. De no ser claramente satisfactorio, podrá incluir preguntas orales por parte del tribunal. Cronograma estimado: Semanas UNIDADES/EJES TEMÁTICOS * * * * 2 * * * * * 3 * * * * * * Programa Oficializado por el Consejo Directivo Resolución Nº 233/17
ló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 detallesUniversidad Nacional del Litoral Facultad de Humanidades y Ciencias
MAT18: Introducción al Análisis 2017-1er. Cuatrimestre 01: Profesorado de Matemática Titular: IAFFEI, Bibiana Raquel Equipo de Cátedra: IAFFEI, Bibiana Raquel CARENA, Marilina Régimen de cursado: Cuatrimestral
Más detallesUniversidad Nacional del Litoral Facultad de Humanidades y Ciencias
BIO09: Matemática Básica 2014-1er. Cuatrimestre 06: Licenciatura en Biodiversidad 02: Profesorado de Biología Titular: ROSTAGNO, Marí a Herminia Equipo de Cátedra: TEMPERINI, Karina Guadalupe CAVATORTA,
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 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 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 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 detallesUniversidad Nacional del Litoral Facultad de Humanidades y Ciencias
FIL27: Filosofía del Lenguaje 2013-2do. Cuatrimestre 12: Licenciatura en Filosofía 17: Profesorado de Filosofía Titular: ZERBUDIS, Ezequiel Jorge Equipo de Cátedra: GONZALO, Adriana Noemí DAHLQUIST, Manuel
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: Profesorado de Matemática PLAN DE ESTUDIOS: 2001 ASIGNATURA: Taller de
Más detallesUnidad 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
Más detallesTema 10: Conceptos Metalógicos
Facultad de Informática Grado en Ingeniería Informática Lógica PARTE 2: LÓGICA DE PRIMER ORDEN Tema 10: Conceptos Metalógicos Profesor: Javier Bajo jbajo@fi.upm.es Madrid, España 12/11/2012 Introducción
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 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 detallesMÓDULO MATERIA CURSO SEMESTRE CRÉDITOS TIPO
GUIA DOCENTE DE LA ASIGNATURA CURSO 2013-14 LÓGICA MÓDULO MATERIA CURSO SEMESTRE CRÉDITOS TIPO Lógica y lenguaje PROFESOR Lógica y teoría de la argumentación 1º 2º 6 Obligatorio DIRECCIÓN COMPLETA DE CONTACTO
Más detallesPROGRAMA DE CURSO. Horas de Trabajo Personal ,0 2,0 5,0. Horas de Cátedra
PROGRAMA DE CURSO Código MA1101 Nombre Introducción al Álgebra Nombre en Inglés Introduction to Algebra SCT Unidades Docentes Horas de Cátedra Horas Docencia Auxiliar Horas de Trabajo Personal 6 10 3,0
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 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 detallesUNIVERSIDAD NACIONAL DEL SUR 115 DEPARTAMENTO DE MATEMÁTICA. Elementos de AIgebra. ASIGNATURAS CORRELA TlVAS PRECEDENTES APROBADAS
BMIA BLANCA UNIVERSIDAD NACIONAL DEL SUR 115, Elementos de AIgebra AREAN : 11 HORAS DE CLASE TEORlCAS PRACTICAS Dr. Manuel Abad Por semana IPor cuatrim. Por semana IPor cuatrim. Dra. Laura Rueda 6 I 90
Más detallesPROGRAMA DE CURSO UNIDADES TEMÁTICAS. Unidades Docentes Cátedra Auxiliares Trabajo Personal
PROGRAMA DE CURSO Código MA1101 Nombre del Curso Introducción al Álgebra Unidades Docentes Cátedra Auxiliares Trabajo Personal 10 3.0 2.0 5.0 Requisitos Requisitos específicos Carácter del curso Ingreso
Más detallesUniversidad de Buenos Aires Facultad de Filosofía y Letras Departamento de Filosofía. Período: 2do cuatrimestre de 2009.
Universidad de Buenos Aires Facultad de Filosofía y Letras Departamento de Filosofía CÁTEDRA: LÓGICA Período: 2do cuatrimestre de 2009 Profesor a cargo: Dr Eduardo Barrio (Adjunto Regular del Área de Lógica)
Más detallesPontificia Universidad Católica del Ecuador
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
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 detallesNombre y Apellido. Ing. Antonio H. Dell'Osa. Ing. José Nicolás Ricciardi. Alejandro Carhuas
INSTITUTO DE DESARROLLO ECONÓMICO E INNOVACIÓN Año: 2018 PROGRAMA DE LA ASIGNATURA: Álgebra (MA045) CÓDIGO: MA045 AÑO DE UBICACIÓN EN EL PLAN DE ESTUDIOS: 1 año FECHA ULTIMA REVISIÓN DE LA ASIGNATURA:
Más detallesLógica Proposicional
Nombre del curso: Lógica Proposicional Datos básicos del curso: Tipo de propuesta curricular: Nueva creación. Tipo de materia: Obligatoria. Materia compartida con otro PE o Entidad Académica: No. Programas
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 detallesLICENCIATURA EN FILOSOFÍA ASIGNATURA: LÓGICA 1 PRIMER SEMESTRE CLAVE HORAS/SEMANA/SEMESTRE TOTAL DE CRÉDITOS TEORÍCAS PRÁCTICAS HORAS
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE FILOSOFÍA Y LETRAS LICENCIATURA EN FILOSOFÍA ASIGNATURA: LÓGICA 1 PRIMER SEMESTRE PROFESOR: Jesús Raymundo Morado Estrada CICLO: BÁSICO ÁREA: LÓGICA
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 detallesUniversidad Nacional del Litoral Facultad de Humanidades y Ciencias
BIO12: Estadística I 2017-1er. Cuatrimestre 06: Licenciatura en Biodiversidad Titular: TAUBER, Liliana Mabel Equipo de Cátedra: TAUBER, Liliana Mabel REDONDO, Yanina Teresita SANTELLAN, Silvana María Régimen
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 detallesANEXO I OBJETIVOS Y/O ALCANCES DE LA ASIGNATURA
1 Corresponde al Anexo I de la Resolución N 8/01 ANEXO I DEPARTAMENTO DE: Matemática CARRERA/S - PLAN/ES : Profesorado en Matemática Plan 1998 Profesorado en Matemática y Computación Plan 1986 Profesorado
Más detallesUNIVERSIDAD 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
Más detallesFacultad 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 detallesCARRERA: TECNICATURA EN TURISMO CÁTEDRA: MATEMÁTICA
UNIVERSIDAD AUTÓNOMA DE ENTRE RÍOS FACULTAD DE CIENCIAS DE LA GESTIÓN SEDE VILLAGUAY CARRERA: TECNICATURA EN TURISMO CÁTEDRA: MATEMÁTICA CARÁCTER: CUATRIMESTRAL (PRIMER CUATRIMESTRE) HORAS SEMANALES: 3
Más detallesPontificia 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 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 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 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 detallesTema 6: Teoría Semántica
Tema 6: Teoría Semántica Sintáxis Lenguaje de de las las proposiciones Lenguaje de de los los predicados Semántica Valores Valores de de verdad verdad Tablas Tablas de de verdad verdad Tautologías Satisfacibilidad
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 detallesContenido. Prólogo... Prólogo a la edición en español Argumentos y proposiciones lógicas Introducción
CONTENIDO vii Contenido Prólogo... Prólogo a la edición en español... XVIl XXI 1 Cálculo proposicional... 1 1.1 Argumentos y proposiciones lógicas 1.1.1 Introducción 1 1 1.1.2 Algunos argumentos lógicos
Más detallesÁLGEBRA SUPERIOR I. Semestre: Primero Horas: 72 Hrs/sem: 4.5 Créditos: 10 Clave: AG-01 DESCRIPCIÓN DE LA ASIGNATURA:
ÁLGEBRA SUPERIOR I Semestre: Primero Horas: 72 Hrs/sem: 4.5 Créditos: 10 Clave: AG-01 DESCRIPCIÓN DE LA ASIGNATURA: Las proposiciones, cuantificadores, conjuntos, funciones, permutaciones, combinaciones,
Más detallesInstituto de Enseñanza Superior Nº 1 Dra. Alicia Moreau de Justo Programa de Lógica y Teoría de la Argumentación (Plan 2015)
Instituto de Enseñanza Superior Nº 1 Dra. Alicia Moreau de Justo Programa de Lógica y Teoría de la Argumentación (Plan 2015) Docente: Mg. Claudio M. Conforti FUNDAMENTACIÓN: El tema central de la lógica
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 detallesAplicación Colegio H. y C.S. X C. y T. C. y H.
PROGRAMA DE ESTUDIOS: LÓGICA I PROTOCOLO Fechas Mes/año Clave Semestre Elaboración Febrero 2006 Nivel Licenciatura x Maestría Doctorado Revisión Julio 2010 Ciclo Integración Básico Superior x Aplicación
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 detallesUNIVERSIDAD MICHOACANA DE SAN NICOLAS DE HIDALGO PROGRAMA DE LOGICA II SEGUNDO SEMESTRE
UNIVERSIDAD MICHOACANA DE SAN NICOLAS DE HIDALGO COORDINACION GENERAL DEL BACHILLERATO SEGUNDO SEMESTRE UBICACIÓN DE LA ASIGNATURA: TRONCO COMUN HORAS SEMANALES 3 HORAS TOTALES 42 CLAVE 2G Morelia, Mich.,
Más detallesELEMENTOS DE LA MATEMATICA
ELEMENTOS DE LA MATEMATICA SEMESTRE: Primero CODIGO ANTERIOR: 22G7 CODIGO: 8101 REQUISITOS: No tiene CREDITOS: 6 HORAS DE TEORIA: 4 HORAS DE PRACTICA : 4 TEMA 1: Lógica simbólica. Las conectivas lógicas.
Más 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 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 detallesNombre y Apellido. Beatriz Depetris. Lucas Romano
INSTITUTO DE DESARROLLO ECONÓMICO E INNOVACIÓN Año: 2018 PROGRAMA DE LA ASIGNATURA: Elementos de Lógica y Matemática Discreta (MA008) CÓDIGO: MA008 AÑO DE UBICACIÓN EN EL PLAN DE ESTUDIOS: 1 año FECHA
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 detallesPROYECTO DOCENTE ASIGNATURA: "Lógica" Grupo: Grp Clases Teóricas-Prácticas Lógica.(929729) Titulacion: Grado en Filosofía Curso:
PROYECTO DOCENTE ASIGNATURA: "Lógica" Grupo: Grp Clases Teóricas-Prácticas Lógica.(929729) Titulacion: Grado en Filosofía Curso: 2013-2014 DATOS BÁSICOS DE LA ASIGNATURA/GRUPO Titulación: Año del plan
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 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 Nacional de Río Cuarto. Facultad de Ciencias Humanas
Departamento: Filosofía Carrera: Profesorado y Licenciatura en Filosofía. Asignatura: Lógica. Código/s 6471. Curso: Primero Comisión: A Régimen de la asignatura: Anual Asignación horaria semanal: 4 horas
Más detallesCATEDRA: LÓGICA
CATEDRA: LÓGICA - 2001 DEPARTAMENTO CIENCIAS SOCIALES CARRERA LICENCIATURA EN ECONOMÍA TURNO NOCHE SEMESTRE PRIMERO 2001 Asignaturas correlativas previas NINGUNA Asignaturas correlativas posteriores METODOLOGÍA
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 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 DE GUANAJUATO
NOMBRE DE LA ENTIDAD: NOMBRE DEL PROGRAMA EDUCATIVO: UNIVERSIDAD DE GUANAJUATO CAMPUS LEÓN; DIVISIÓN DE CIENCIAS E INGENIERÍAS Licenciatura en Ingeniería Biomédica NOMBRE DE LA MATERIA: Lógica Matemática
Más detallesUniversidad Autónoma de San Luis Potosí Coordinación Académica región Altiplano Programas Sintéticos de la Licenciatura de Ingeniería de Minerales
ÁLGEBRA DATOS BÁSICOS DEL CURSO Semestre Horas de teoría Horas de práctica Horas trabajo Créditos por semana por semana adicional estudiante I 2 2 2 6 OBJETIVOS DEL CURSO Tipo de propuesta curricular:
Más detallesPROGRAMA DE POSGRADO DE FILOSOFÍA DE LA CIENCIA. CURSO: Propedéutico Lógica y Pensamiento Crítico. Semestre
1 UNIVERSIDAD NACIONAL AUTONOMA DE MÉXICO PROGRAMA DE POSGRADO DE FILOSOFÍA DE LA CIENCIA CURSO: Propedéutico Lógica y Pensamiento Crítico Semestre 2012-2 Profesores: Dra. Atocha Aliseda Llera Mtro. Jesús
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 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 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 INGENIERÍA DEPARTAMENTO FÍSICO-MATEMÁTICO
FACULTAD DE INGENIERÍA DEPARTAMENTO FÍSICO-MATEMÁTICO Nombre de la materia: ÁLGEBRA A Clave Facultad:... 0041 Clave CACEI: CB Clave U.A.S.L.P.:... 00023 No. de créditos: 8 Nivel del Plan de Estudios:...
Más detallesINSTITUTO POLITECNICO NACIONAL SECRETARIA ACADEMICA DIRECCION DE ESTUDIOS PROFESIONALES EN INGENIERIA Y CIENCIAS FISICO MATEMATICAS
ESCUELA: UNIDAD PROFESIONAL INTERDISCIPLINARIA DE INGENIERÍA Y CIENCIAS SOCIALES Y ADMINISTRATIVAS CARRERA: LICENCIATURA EN CIENCIAS DE LA INFORMÁTICA LÍNEA CURRICULAR: COORDINACION: ACADEMIAS DE MATEMÁTICAS
Más detallesUniversidad Nacional del Litoral Facultad de Humanidades y Ciencias
MAT60: Estadística II 2013-2do. Cuatrimestre 01: Profesorado de Matemática Titular: TAUBER, Liliana Mabel Equipo de Cátedra: VERA CANDIOTI, Cecilia TAUBER, Liliana Mabel REDONDO, Yanina Teresita Régimen
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 detallesTotal de horas: Horas de teoría: semana UNIDAD 1 OBJETIVO
PROGRAMA DE ESTUDIOS Nombre de la unidad de aprendizaje Seminario de solución de problemas de Matemáticas Discretas Modalidad: Presencial Departamento: Departamento de Ciencias Básicas, Aplicadas e Ingenierías
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 detallesProgramas CONTENIDOS MÍNIMOS DE LA ASIGNATURA, SEMINARIO, TALLER, SEGÚN EL PLAN DE ESTUDIOS
Programas 2015 1. PRESENTACIÓN 1.1. CARRERA Filosofía 1. 2. NOMBRE DE LA ASIGNATURA, SEMINARIO, TALLER Lógica I 1.3. CONTENIDOS MÍNIMOS DE LA ASIGNATURA, SEMINARIO, TALLER, SEGÚN EL PLAN DE ESTUDIOS Introducción
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 detallesU n i v e r s i d a d A u t ó n o m a d e S a n L u i s P o t o s í
A) Nombre del Curso 3 ÁLGEBRA I B) Datos básicos del curso Semestre Horas de teoría por semana Horas de práctica por semana Horas trabajo adicional estudiante Créditos I 3 2 3 8 C) Objetivos del curso
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 detallesCARTA DEL ESTUDIANTE MAB 304 LÓGICA Y TEORÍA DE CONJUNTOS
CARTA DEL ESTUDIANTE MAB 304 LÓGICA Y TEORÍA DE CONJUNTOS BACHILLERATO Y LICENCIATURA EN ENSEÑANZA DE LA MATEÁTICA ESCUELA DE MATEMÁTICA Nombre del docente: Jonathan Espinoza González (G:01) Correo electrónico
Más detallesI Al finalizar el curso el estudiante será capaz de:
A) Nombre del Curso ÁLGEBRA I B) Datos básicos del curso Semestre Horas de teoría por semana Horas de práctica por semana Horas trabajo adicional estudiante Créditos I 3 2 3 8 C) Objetivos del curso Objetivos
Más detallesUNIVERSIDAD AUTÓNOMA DE CHIAPAS Facultad de Contaduría y Administración, Campus I
Programa descriptivo por unidad de competencia Programa educativo Licenciatura en Ingeniería en Desarrollo y Tecnologías de Software Modalidad Presencial Clave MA02 H S M Horas Unidad de Teoría Práctica
Más detallesINSTITUTO 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
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 detallesBENEMÉRITA UNIVERSIDAD AUTÓNOMA DE PUEBLA
BENEMÉRITA UNIVERSIDAD AUTÓNOMA DE PUEBLA FACULTAD CIENCIAS DE LA COMPUTACIÓN PROGRAMA DE LA MATERIA CORRESPONDIENTE A LA LICENCIATURA EN CIENCIAS DE LA COMPUTACIÓN. Coordinación: NOMBRE DE LA MATERIA:
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 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 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 : TEORÍA DE CONJUNTOS CÓDIGO : 22138 SEMESTRE : TERCERO
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 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 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 detallesDocente/s R/ I. R Varas, Valeria Susana Cs Exactas y Nat. R Varas, Valeria Susana Cs Exactas y Nat.
Ciclo Académico: 2010 Año de la Carrera: Horas de Clases Semanales Régimen de Cursado Primero Teoría Práctica Otros i (1) Anual 1er.Cuatr. 2do.Cuatr. Otros (2) 3 3 X (1) Observaciones: (2) Observaciones:
Más detallesPara más información consulte los sitios:
Documento disponible para su consulta y descarga en Memoria Académica, repositorio institucional de la Facultad de Humanidades y Ciencias de la Educación (FaHCE) de la Universidad Nacional de La Plata.
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 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 detallesCONTENIDO PROGRAMÁTICO DEL SUB-PROYECTO: MATEMÁTICA GENERAL. PROGRAMA: Ciencias de la Salud. CARRERA: Licenciatura en Orientación
Universidad Nacional Experimental De los Llanos Occidentales Ezequiel Zamora Dirección de Innovación Curricular - DIC Programa Ciencias de la Salud Comisión Curricular de la carrera: Licenciatura en Orientación
Más detallesCONCEPTOS BÁSICOS DE LA TEORÍA DE CONJUNTOS. ESTRUCTURAS ALGEBRAICAS.
TEMA 11 ÍNDICE CONCEPTOS BÁSICOS DE LA TEORÍA DE CONJUNTOS. ESTRUCTURAS ALGEBRAICAS. 1. INTRODUCCIÓN 2. CONJUNTOS 3. SUBCONJUNTOS 4. OPERACIONES 4.1 UNIÓN 4.2 INTERSECCIÓN 4.3 COMPLEMENTO 4.4 DIFERENCIA
Más detallesLÓGICA MATEMÁTICA. Ingeniería. Obligatoria. UNIVERSIDAD AUTÓNOMA DE CHIHUAHUA Clave: 08MSU0017H. FACULTAD INGENIERÍA Clave: 08USU4053W
UNIVERSIDAD AUTÓNOMA DE CHIHUAHUA Clave: 08MSU007H FACULTAD INGENIERÍA Clave: 08USU4053W PROGRAMA DEL CURSO: LÓGICA MATEMÁTICA DES: Ingeniería Programa(s) Educativo(s): Ingeniería Matemática Tipo de materia:
Más detallesMATEMÁTICA BÁSICA GUÍA PROGRAMÁTICA (EDICIÓN 2010) PROFESOR:
UNIVERSIDAD DE SAN CARLOS DE GUATEMALA CENTRO UNIVERSITARIO DE ORIENTE CIENCIAS ECONÓMICAS MATEMÁTICA BÁSICA GUÍA PROGRAMÁTICA (EDICIÓN 2010) PROFESOR: CHIQUIMULA, GUATEMALA, JULIO DE 2010 CARLO FERNANDO
Más detallesIngeniería de Programa(s) Educativo(s): Software. Clave de la materia: BC201. UNIVERSIDAD AUTÓNOMA DE CHIHUAHUA Clave: 08MSU0017H
UNIVERSIDAD AUTÓNOMA DE CHIHUAHUA Clave: 08MSU007H Clave: 08USU4053W FACULTAD DE INGENIERÍA PROGRAMA DEL CURSO: LÓGICA COMPUTACIONAL DES: Ingeniería Ingeniería de Programa(s) Educativo(s): Software Tipo
Más detalles