ASIGNATURA: LOGICA Cód.: Régimen: Cuatrimestral Horas reloj semanales: 4 (cuatro) Escuelas: Psicología/Psicopedagogía Año 2012 FUNDAMENTOS:
|
|
- Juan Luis Quintana Crespo
- hace 6 años
- Vistas:
Transcripción
1 ASIGNATURA: LOGICA Cód.: 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 una unidad que está patente en los comienzos del pensamiento humano y que adquiere mayor precisión y complejidad de campos de aplicación en el transcurso del tiempo. Al expresar la naturaleza de los hechos lógicos evitando la fractura de las dimensiones natural y formal propias del pensamiento, aunque haciendo hincapié en las propiedades del último aspecto, la disciplina lógica se mantiene en los límites de su originalidad y cumple con su función de instrumento racional propedéutico para sus ramas superiores ( metodología y filosofía de la lógica ) así como para pensar sin errores en el resto de las ciencias y la filosofía. OBJETIVOS: GENERAL: Desarrollar la capacidad para comprender las estructuras lógico- formales del discurso, y para descubrir las relaciones de inferencia válidas e inválidas en los razonamientos. ESPECIFICOS: a) Conocimiento y comprensión del proceso semiótico, en el lenguaje natural y en los lenguajes artificiales. b) Comprensión del lenguaje formalizado de la lógica y de la noción de cálculo. c) Conocimiento de las estructuras lógicas y de sus relaciones. d) Conocimiento y comprensión de las conectivas extensionales como functores de verdad de las proposiciones moleculares. e) Comprensión de las relaciones de implicación, deducibilidad, equivalencia, contradictoriedad y contrariedad en la lógica de enunciados. f) Capacidad para abastecer e interpretar las estructuras y nexos. g) Capacidad para aplicar las reglas de inferencia y equivalencia en la demostración de validez de los razonamientos de la lógica proposicional. h) Conocimiento y comprensión de la lógica de predicados como interpretación formalizada de la lógica de términos. i) Capacidad para aplicar a los razonamientos de la lógica de predicados, las leyes específicas de esta lógica y las reglas de inferencia y equivalencia de la lógica proposicional. j) Comprensión del concepto abstracto de clase. k) Capacidad para diferenciar las operaciones entre clases, que originan nuevas clases, de las relaciones entre clases que determinan proposiciones.
2 l) Capacidad para representar gráficamente operaciones y relaciones entre clases. CONTENIDOS MINIMOS: Unidad I: Unidad II: Unidad III: Unidad IV: Unidad V: La Lógica como disciplina filosófica y científica. Las estructuras lógicas. Lógica de enunciados o Lógica proposicional. Lógica de predicados o Lógica cuantificacional. Lógica de clases. PROGRAMA ANALITICO: Unidad I: La Lógica como disciplina filosófica y científica. 1) Breve noticia histórica: la lógica aristotélica como lógica de términos, la lógica estoica como lógica de enunciados, la logística contemporánea. 2) Consideraciones sobre el lenguaje. Los lenguajes naturales: función informativa, expresiva y directiva. La función performativa. 3) Los niveles del lenguaje: lenguaje y metalenguaje. 4) La semiótica como metalenguaje. 4.1.) Dimensiones semióticas, sintaxis, semántica y pragmática. Unidad II: Las estructuras lógicas. 1) Los términos. 1.1) Términos de individuo y propiedad. Comprensión y extensión. 1.2) Términos lógicos o sincategoremáticos y términos nológicos o categoremáticos. 2) Las proposiciones. 2.1) Proposiciones y formas proposicionales. 2.2) Clasificación de las proposiciones: predicativas (simples y complejas); relacionales, atómicas y moleculares. Las proposiciones apofánticas clásicas: A,E,I,O. 3) Los Razonamientos: 3.1) Premisas y conclusión. 3.2) Clasificación de los razonamientos: de inferencia inmediata y mediata. Razonamientos deductivos y nodeductivos. La inducción y la analogía. 3.3) Validez e invalidez de los razonamientos. 4) Falacias. 4.1) Falacias Formales. 4.2) Falacias no formales: de inatinencia y de ambigüedad. Unidad III: Lógica de enunciados o Lógica proposicional. 1) Proposiciones atómicas y moleculares, extensionales y no-extensionales. 2) Las conectivas extensionales: negación, conjunción, disyunción, condicional y bi-condicional. Tablas de verdad. Abstracción e interpretación. 3) Tautologías. Contradicciones. Contingencia. Consistencia e inconsistencia. 4) Relaciones lógicas: implicación, deducibilidad, equivalencia, contradictoriedad, contrariedad.
3 5) Los razonamientos en la lógica proposicional: silogismos hipotéticos y disyuntivos. Los dilemas. 5.1) Prueba de validez por el método del condicional asociado. 5.2) Prueba de invalidez por el método de asignación de valores. 6) Las leyes lógicas. 6.1) Reglas metalógicas de inferencia y equivalencia. 6.2) El método demostrativo. Unidad IV: Lógica de predicados o Lógica cuantificacional. 1) Términos de individuo y de propiedad. 1.1) Las proposiciones singulares con predicados monádicos. 2) Funciones proposicionales y proposiciones. 3) Los cuantificadores. Cuantificación universal y existencial. 3.1) Proposiciones generales simples y complejas, con predicados monádicos. 3.2) Las proposiciones apofánticas clásicas en la lógica de predicados. Unidad V: Lógica de clases. 1) Concepto de clase. Modos de caracterización. 2) Relaciones entre individuos y clases: pertenencia y no-pertenencia. 3) Relaciones entre clases: inclusión e igualdad. 3.1) Simbolización y representación gráfica. 4) Los razonamientos en la lógica de clases. 4.1) El silogismo categórico según el método de los diagramas de Venn. METODOLOGIAS DE ENSEÑANZA Y APENDIZAJE: La materia lógica es esencialmente teórico-práctica. Todo contenido teórico que explica el docente es, en primer término, ejemplificado en el pizarrón con todos los casos posibles. Luego de eso, y con el manual de ejercicios que obligatoriamente deben llevar a clase los alumnos, se procede a asignar a los estudiantes, la resolución de un ejercicio, y de deslizarse algún error, es debidamente corregido y fundamentado por el docente. Además se indica una serie de ejercicios que los alumnos deben realizar en su casa y se corrigen en la clase siguiente. Sólo después de esa tarea se puede comenzar un nuevo tema teórico, que también se afianza mediante la resolución de ejercicios siguiendo la misma metodología explicada. Esto es así porque en Lógica tanto como en Matemática- los conocimientos están encadenados mediante una rigurosa necesidad racional, y deben impartirse yendo desde lo más simple a lo más complejo, por cuanto los conocimientos más complejos se fundamentan en los más simples y los incluyen. La mayor dificultad de la enseñanza de la Lógica, que es también la más fructífera y la que permite formar nuevas aptitudes en los alumnos, es lograr que éstos puedan reconocer estructuras abstractas, a partir de fórmulas con contenido intuitivo, sean del lenguaje natural o del lenguaje lógico. Esto implica, primero aprender a abstraer el lenguaje natural en su simbolización lógica, como asimismo, interpretar el lenguaje lógico y darle un contenido en lenguaje natural. Y en segundo lugar, abstraer el lenguaje lógico en variables metalógicas que muestran la estructura proposicional en su mayor grado de abstracción. Es esta tarea de abstracción el aspecto no mecánico ni matemático de la Lógica. Y es la que exige
4 del docente una metodología creativa que consiste en mostrar para cada formulación abstracta un ejemplo intuitivo fácil de comprender. Ese camino de ida y vuelta, desde lo relativamente concreto a su formulación abstracta, y desde lo abstracto a lo intuitivo concreto, es el método que permite que los estudiantes obtengan una nueva capacidad, una nueva aptitud que será permanentemente aplicada en sus estudios posteriores, cualesquiera que ellos fuesen. Los razonamientos abstractos, según leyes lógicas, son el aspecto mecánico y matemático de la lógica, cuyo aprendizaje se obtiene por repetición y ejercitación. EVALUACIÓN: El método de enseñanza de esta disciplina permite la evaluación permanente de los estudiantes. Así logra el docente detectar cuáles son los estudiantes que tienen mayores dificultades en el aprendizaje, tanto como cuáles son aquellos para quienes la lógica es una suerte de entretenido juego intelectual. A partir de eso, es posible formar pequeños grupos en los cuales algún estudiante-ayudante pueda, tanto como lo hace el profesor, sentarse al lado de los alumnos con dificultades y explicarles de modo personal, en sus cuadernos, aquellas relaciones de abstracción o de inferencia que no comprenden de manera inmediata. Como es obvio, este método permite al docente formar una nota de concepto de cada estudiante y evaluar sus progresos, concepto que más tarde influirá en la evaluación numérica que se obtiene en los parciales La materia exige la aprobación de dos parciales. El alumno alcanza la regularidad con un mínimo de 6 puntos en cada parcial. Si hubiera resultado aplazado o estado ausente en cualquier parcial recupera con un examen de 8 puntos como mínimo, para acceder a la promoción. En caso contrario, y siempre que en ambos parciales el alumno obtenga una calificación no menor de cuatro puntos, la materia es regularizada y el alumno queda habilitado para rendir examen final en carácter de alumno regular. El examen final para alumnos regulares es también escrito y contiene la misma cantidad de ejercicios y el mismo grado de dificultad que el segundo parcial integrador. En el caso de alumnos que rinden examen en condición de libres, el temario contiene todos los temas del programa, aún si no se han dado en clase, y tiene cierto grado mayor de dificultad que el temario de los alumnos regulares. La materia es cuatrimestral, con una carga horaria de cuatro horas reloj semanales. CRONOGRAMA DEL DICTADO DE CLASES: Clase 01: Unidad I, puntos 1, 2, 3 y 4. Clase 02: Unidad II, puntos 1, 2 y 3. Clase 03: Unidad II, punto 4. Clase 04: Unidad III, puntos 1, 2 y 3. Clase 05: Unidad III, puntos 4 y 5. Clase 06: Unidad III, punto 6. Clase 07: Continuación punto 6 de Unidad III. Clase 08: 1º Parcial Clase 09: Unidad IV, punto 1, 2 y 3. Clase 10: Unidad V, puntos 1 y 2.
5 Clase 11: Unidad V, punto 2 ( continuación ). Clase 12: Unidad V, punto 3. Clase 13: Unidad V, punto 3 ( continuación ). Clase 14: Unidad V, punto 4. Clase 15: 2º Parcial. BIBLIOGRAFIA GENERAL: COHEN, M.R.: Introducción a la Lógica, F.C.E., México, COPI, Irving: Introducción a la Lógica. EUDEBA COLACILLI DE MURO, M.A. y J.: Elementos de Lógica moderna y Filosofía. Ed. Estrada. Buenos Aires FERRATER MORA, J. y LEBLANC, H.: Lógica matemática.ed. F.C.E.México GIANELLA DE SALAMA, A.: Lógica simbólica y elementos de metodología de las ciencias. Ed. El Ateneo. Buenos Aires MORENO, Alberto: Lógica Matemática. EUDEBA. Buenos Aires.1969 DEAÑO, Alfredo: Introducción a la Lógica Formal. Alianza Ed. Madrid GARRIDO, M.: Lógica Simbólica. Ed. Tecnos. Madrid
UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO
UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGÍAS L Ó G I C A Carrera: Programador Universitario en Informática Equipo Docente: Miriam Alagastino Ximena Villarreal
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 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 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 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 detallesGuía de estudio de Lógica Examen final 1 y 2da. Vuelta. Prof. Federico Meza Mejía Ciclo escolar
Página 1 de 5 Guía de estudio de Lógica Examen final 1 y 2da. Vuelta. Prof. Federico Meza Mejía Ciclo escolar 2014-2015 1. Definición real y etimológica de lógica. 2. Definición real y etimológica de filosofía.
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 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 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 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 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 detallesLógica de Predicados
Lógica de redicados Lógica de predicados Lógica de predicados Cálculo de predicados Reglas de inferencia Deducción proposicional Demostración condicional Demostración indirecta Valores de certeza y Tautología
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 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 detallesCoordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos
Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.
Más 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 detallesNOMBRE DE LA ASIGNATURA: Lógica II: Lógica cuantificacional. CICLO: Ciclo Superior
Universidad Autónoma de la Ciudad de México Academia de Filosofía e Historia de las ideas: Área de Lógica y Epistemología Ciclo Superior del Colegio de Humanidades y Ciencias Sociales NOMBRE DE LA ASIGNATURA:
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 detallesPROCESO DE PLANEACIÓN DIDÁCTICA DEL PROYECTO INTEGRADOR DE
PROCESO DE PLANEACIÓN DIDÁCTICA DEL PROYECTO INTEGRADOR DE 1er. SEMESTRE. CBU 2015. LÓGICA Eje: Salud adolescente y práctica de habilidades sociales: convivencia y prevención de la violencia. Proyecto:
Más detallesRAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA
ESCUELA DEL MINISTERIO PÚBLICO Dr. Gonzalo Ortiz de Zevallos Roedel RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA Dr. Luis Alberto Pacheco Mandujano Gerente Central de la Escuela del Ministerio Público
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 detallesUNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS FACULTAD DE DERECHO Y CIENCIA POLÍTICA SYLLABUS
UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS FACULTAD DE DERECHO Y CIENCIA POLÍTICA I. INFORMACIÓN GENERAL SYLLABUS 1. Escuela Académico Profesional: Derecho 2. Departamento Académico: Derecho 3. Plan de estudios:
Más detallesREGLAS Y LEYES LOGICAS
LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros.
Más detallesLÓGICA Y PENSAMIENTO CRÍTICO
LÓGICA Y PENSAMIENTO CRÍTICO La disciplina en el pensamiento, como piedra angular de la generación del conocimiento, ha sido reconocida desde la antigüedad y se ha valorado cada día más con un elemento
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 detallesALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es
Más detallesPrograma Analítico Vicerrectoría de Educación Superior
División de Ingeniería y Tecnologías Departamento de Física y Matemáticas Periodo : Primavera 2010 Nombre del curso: LOGICA MATEMATICA Clave: FM1140 Seriación: FM 1190 Línea Curricular: MATEMATICA HTS:
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 detallesApéndice 1 Reglas y leyes lógicas
1 Apéndice 1 Reglas y leyes lógicas 1. Reglas lógicas Tal como ya se ha visto, una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada en cada caso para
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 detallesLÓGICA PRIMER SEMESTRE UNIDAD I. INTRODUCCION.
LÓGICA PRIMER SEMESTRE PRIMER PERIODO 1 1.1 DEFINICION DEL CONCEPTO DE LOGICA FORMAL 1.- Expra la etimología de lógica formal 2.- Explica las características de la lógica formal 3.- Menciona la definición
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 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 detallesREPÚBLICA BOLIVARIANA DE VENEZUELA UNIVERSIDAD BICENTENARIA DE ARAGUA VICERRECTORADO ACADÉMICO ARAGUA VENEZUELA
REPÚBLICA BOLIVARIANA DE VENEZUELA UNIVERSIDAD BICENTENARIA DE ARAGUA VICERRECTORADO ACADÉMICO ARAGUA VENEZUELA CARRERA: DERECHO AÑO:_1er UNIDADCURRICULAR LOGICA JURIDICA CODIGO: DE-123 REQUISITO: 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 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 detallesPlaneación Didáctica Lógica I Desarrollo de la Lógica sugerido
Unidad I Planeación Didáctica Lógica I Desarrollo de la Lógica Tiempo sugerido Teoría: 10 hrs. Práctica:5hrs. Propósito Para que sensibilice y comprenda la relación entre la Lógica y la filosofía, fundamente
Más detallesMatemáticas Dicretas LÓGICA MATEMÁTICA
Matemáticas Dicretas LÓGICA MATEMÁTICA Esta pagina fue diseñada como un auxiliar y herramienta para aquellos que esten interesados en reforzar y tener mas conocimientos sobre las matematicas discretas.
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 detallesGOBIERNO DE LA CIUDAD AUTONOMA DE BUENOS AIRES MINISTERIO DE EDUCACIÓN DIRECCION DE FORMACION TECNICA SUPERIOR INSTITUTO DE FORMACION TECNICA SUPERIOR
PLANIFICACIÓN DE ACTIVIDAD CURRICULAR AÑO 2015 Cátedra: Introducción a las Ciencias Comisión: Profesor: Mg. Hernán Nazer 1. DATOS DE LA ACTIVIDAD CURRICULAR Materia: Introducción a las Ciencias PLAN de
Más detallesINSTITUTO FRANCISCO POSSENTI, A.C. Per crucem ad lucem. Preparatoria (1085)
INSTITUTO FRANCISCO POSSENTI, A.C. Per crucem ad lucem Preparatoria (1085) GUÍA DE LÓGICA CLAVE: 1404 Tema 1. Introducción 1. Da la definición real y etimológica de Lógica. 2. Cuál es el objeto propio
Más detallesIntroducción a la Lógica
Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí
Más detallesTEMA 1: LÓGICA. p p Operador conjunción. Se lee y y se representa por. Su tabla de verdad es: p q p q
TEMA 1: LÓGICA. Definición. La lógica es la ciencia que estudia el razonamiento formalmente válido. Para ello tiene un simbolismo que evita las imprecisiones del lenguaje humano y permite comprobar la
Más detallesMATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones
MATEMÁTICAS DISCRETAS UNIDAD1 Lógica y Demostraciones Para el estudio de esta unidad debe ubicarse en el Capítulo 1 del texto base, lea atentamente cada uno de los subtemas indicados en el índice de la
Más detallesLÓGICA I Programa del curso
UNIVERSIDAD NACIONAL DE COLOMBIA FACULTAD DE CIENCIAS HUMANAS DEPARTAMENTO DE FILOSOFÍA Curso: Lógica I 2015-II Profesor: Gustavo Silva (gasilvac@unal.edu.co) LÓGICA I Programa del curso I. Objetivos y
Más detallesCapítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición:
Capítulo 2 Conjuntos 2.1 Introducción El concepto de conjunto, de singular importancia en la ciencia matemática y objeto de estudio de una de sus disciplinas más recientes, está presente, aunque en forma
Más detallesLógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012
Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Más detallesp q p q p (p q) V V V V V F F F F V V F F F V F
3.2 Reglas de inferencia lógica Otra forma de transformación de las proposiciones lógicas son las reglas de separación, también conocidas como razonamientos válidos elementales, leyes del pensamiento,
Más detallesUNIVERSIDAD NACIONAL DE SAN MARTÍN-T
UNIVERSIDAD NACIONAL DE SAN MARTÍN-T FACULTAD DE INGENIERÍA DE SISTEMAS E INFORMÁTICA Escuela Académico Profesional de Ingeniería de Sistemas e Informática Semestre Académico 2015-II SILABO I. INFORMACIÓN
Más detallesInteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román.
Inteligencia en Redes de Comunicaciones Razonamiento lógico Julio Villena Román jvillena@it.uc3m.es Índice La programación lógica Lógica de predicados de primer orden Sistemas inferenciales IRC 2009 -
Más detallesÍNDICE PRIMERA PARTE METODOLOGÍA JURÍDICA
ÍNDICE INTRODUCCIÓN... 15 PRIMERA PARTE METODOLOGÍA JURÍDICA INTRODUCCIÓN... 21 CAPÍTULO I. LA APLICACIÓN DEL DERECHO. CASOS FÁCILES, CASOS DIFÍCILES Y JUSTIFICACIÓN DE LA RESPUESTA... 25 1. INTRODUCCIÓN...
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 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 detallesSÍLABO DESARROLLADO DE LÓGICO - MATEMÁTICA PROGRAMA REGULAR
SUBDIRECCIÓN ACADÉMICA SÍLABO DESARROLLADO DE LÓGICO - MATEMÁTICA PROGRAMA REGULAR LA LÓGICA NO GOBIERNA EL COMPORTAMIENTO HUMANO 2014 SÍLABO LÓGICO-MATEMÁTICA (PROCESO REGULAR) I. DATOS GENERALES EJE
Más 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 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 detallesCapítulo 1 Lógica Proposicional
Capítulo 1 Lógica Proposicional 1.1 Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases
Más detallesIntrod. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar
ClasesATodaHora.com.ar > Exámenes > UBA - UBA XXI > Introd. al Pensamiento Científico Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar Razonamientos: Conjunto de propiedades
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 detalles4. OBJETIVOS General Desarrollar capacidades en el estudiante para interpretar problemas organizacionales mediante el uso del lenguaje matemático.
010-14-04 1 de 1. IDENTIFICACIÓN Nombre de la Asignatura MATEMATICAS I Naturaleza Semestre TEORICO I PRE-REQUITO:. JUSTIFICACIÓN No de Créditos 3 Duración 144 Hs Código 9900011 TP TD Trabajo Presencial
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 detallesRAZONAMIENTO Y ARGUMENTACIÓN JURÍDICA
RAZONAMIENTO Y ARGUMENTACIÓN JURÍDICA I. DATOS INFORMATIVOS 1.1 Código : 060560 1.2 Ciclo : EE 1.3 Semestre Académico : 2015-I 1.4 Créditos : 02 1.5 Duración : 17 semanas 1.6 Horas semanales : 02 1.7 Prerrequisito
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 detallesForma lógica de enunciados
Forma lógica de enunciados Marisol Miguel Cárdenas Lenguaje natural y lenguaje formal El lenguaje natural es aquel que utilizamos cotidianamente. Surge históricamente dentro de la sociedad y es aprendido
Más detallesMétodos de Inteligencia Artificial
Métodos de Inteligencia Artificial L. Enrique Sucar (INAOE) esucar@inaoep.mx ccc.inaoep.mx/esucar Tecnologías de Información UPAEP Contenido Lógica proposicional Lógica de predicados Inferencia en lógica
Más detallesMateria: Matemáticas Curso: Octavo de Básica
Materia: Matemáticas Curso: Octavo de Básica BREVE DESCRIPCIÓN DE LA CLASE: Formar entre el profesor y el estudiante/es una comunidad de trabajo por medio de la creatividad y estructura de los conocimientos
Más detallesEpistemología y Evolución del Pensamiento Científico Cuadernillo para el cursado
Epistemología y Evolución del Pensamiento Científico Cuadernillo para el cursado 2015 Universidad Nacional de Tucumán Fac. Bioquímica Química y Farmacia Profesores: Titular: Dra. María Natalia Zavadivker
Más detallesTeoría y Lógica de la Ciencia Política (CP-4412) I-2012
1 Facultad de Ciencias Sociales Escuela de Ciencias Políticas Teoría y Lógica de la Ciencia Política (CP-4412) Carga Académica: 3 Créditos Requisito: CP-3414 Análisis e Interpretación de Datos Políticos
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 detallesComprende el concepto de función y reconoce sus principales características. Grafica adecuadamente una función.
UNIVERSIDAD TECNOLÓGICA DE LOS ANDES FACULTAD DE INGENIERIAS ESCUELA PROFESIONAL DE INGENIERIA DE SISTEMAS E INFORMATICA SILABO I.- DATOS GENERALES 1.1. Nombre del curso : Matemática Básica 1.2. Código
Más detallesSistemas deductivos. Lógica Computacional. Curso 2005/2006. Departamento de Matemática Aplicada Universidad de Málaga
Sistemas deductivos Lógica Computacional Departamento de Matemática plicada Universidad de Málaga Curso 2005/2006 Contenido 1 Sistema axiomático de Lukasiewicz Sistema proposicional Extensión a predicados
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 detallesMATEMÁTICA 1 JRC El futuro pertenece a aquellos que creen en la belleza de sus sueños
MATEMÁTICA 1 JRC LÓGICA Es la ciencia formal que estudia los principios y procedimientos que permiten demostrar la validez o invalidez de una inferencia, es decir, reconocer entre un razonamiento correcto
Más detallesFILOSOFÍA DEL LENGUAJE
GUIA DOCENTE DE LA ASIGNATURA FILOSOFÍA DEL LENGUAJE MÓDULO MATERIA CURSO SEMESTRE CRÉDITOS TIPO Lógica y lenguaje Filosofía del Lenguaje 2º 3º 6 Obligatorio PROFESOR(ES) DIRECCIÓN COMPLETA DE CONTACTO
Más detallesLOGICA MATEMATICA. El dar un juicio nos permite comparar las características primarias o secundarias del objeto o termino y valorarlas
DEINICIÓN ETIMOLÓGICA DE LÓGICA EL término LOGICA viene de dos voces griegas: Logos, que significa palabra, tratado, pensamiento o razón e icos que significa relacionado con, por lo tanto lógica significa
Más detallesMaterial diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional
Lógica Proposicional INTRODUCCIÓN El humano se comunica con sus semejantes a través de un lenguaje determinado (oral, simbólico, escrito, etc.) construido por frases y oraciones. Estas pueden tener diferentes
Más detallesANOTACIONES BÁSICAS SOBRE LÓGICA PROPOSICIONAL FILOSOFÍA 1º BACHILLERATO
Pág. 1 Lógica Proposicional La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones
Más detalleslogica computacional Tema 1: Introducción al Cálculo de Proposiciones
Tema 1: Introducción al Cálculo de Proposiciones Introducción al concepto de cálculo Un cálculo es una estructura pura; un sistema de relaciones. Un cálculo se compone de lo siguiente: Un conjunto de elementos
Más detallesUNIVERSIDAD NACIONAL DEL NORDESTE Facultad de Ciencias Económicas. Prof./Esp. Norma R. García
UNIVERSIDAD NACIONAL DEL NORDESTE Facultad de Ciencias Económicas Prof./Esp. Norma R. García Unidad II: Ciencia y Lenguaje Tema: La Proposición. Niveles. Bibliografía: Klimovsky, Gregorio Desventuras del
Más detallesESQUEMAS ARGUMENTATIVOS: QUÉ SON Y PARA QUÉ SIRVEN? LILIAN BERMEJO-LUQUE Dpto. de Filosofía I Universidad de Granada
ESQUEMAS ARGUMENTATIVOS: QUÉ SON Y PARA QUÉ SIRVEN? LILIAN BERMEJO-LUQUE Dpto. de Filosofía I Universidad de Granada lilianbl@ugr.es OBJETIVOS: Caracterizar la Teoría de la Argumentación como que integra
Más detallesUNIVERSIDAD LIBRE PROGRAMAS ANALÍTICOS SECCIONAL: PEREIRA FACULTAD: INGENIERIAS. PROGRAMA ACADÉMICO: Ingeniería de Sistemas
PROGRAMAS ANALÍTICOS SECCIONAL: PEREIRA FACULTAD: INGENIERIAS PROGRAMA ACADÉMICO: Ingeniería de Sistemas JORNADA: DIURNA 1.- INFORMACION DEL DOCENTE E-mail institucional: E-mail personal: 2.- ESTUDIOS
Más detallesRAZONAMIENTO LÓGICO LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO. La lógica se puede clasificar como:
La lógica se puede clasificar como: 1. Lógica tradicional o no formal. 2. Lógica simbólica o formal. En la lógica tradicional o no formal se consideran procesos psicológicos del pensamiento y los métodos
Más detallesResumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.
Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Elementos de lógica Una proposición es una oración declamativa a la cual se le puede asignar un valor verdad: verdadera (V)
Más detallesIntroducción a la Ingeniería
Introducción a la Ingeniería Página 1 de 5 Programa de: Introducción a la Ingeniería UNIVERSIDAD NACIONAL DE CÓRDOBA Facultad de Ciencias Exactas, Físicas y Naturales República Argentina Carrera: Ingeniería
Más detallesNORMAS DEL CURSO PARA EL DOCENTE: NORMAS DEL CURSO PARA EL DISCENTE:
UNIVERSIDAD AUTÓNOMA DEL ESTADO DE MÉXICO CENTRO UNIVERSITARIO DE IXTLAHUACA, A.C. ESCUELA PREPARATORIA "QUÍMICO JOSÉ DONACIANO MORALES" CLAVE 91 PLAN DE CLASES ASIGNATURA: CÁLCULO DIFERENCIAL E INTEGRAL
Más detallesEjercicios de Lógica Proposicional *
Ejercicios de Lógica Proposicional * FernandoRVelazquezQ@gmail.com Notación. El lenguaje proposicional que hemos definido, aquel que utiliza los cinco conectivos,,, y, se denota como L {,,,, }. Los términos
Más detallesTema III Silogismos Categóricos
Laboratorio de Altos Estudios en Ciencias Informáticas Programa de Entrenamiento Académico (PEA) en Ciencias Informáticas Cátedra de Introducción a la Lógica y Métodos Científicos Prof. Eugenia Bahit Tema
Más detallesIntroducción: Proposiciones, argumentos e inferencias. Inferencias deductivas e inductivas. Deducción: Inferencias transitivas (Silogismos lineales)
Tema 2.- Deducción. Psicología del Pensamiento, Guión del Tema 2 Prof.: Eduardo Madrid Bloque 1: Razonamiento y variedades del pensamiento. Introducción: Proposiciones, argumentos e inferencias. Inferencias
Más detallesEjercicios. I Lógica de enunciados, NAU llibres, Lógica de predicados, NAU llibres, Valencia 1998.
1. Nociones previas sobre lógica y lenguaje. 2. Lógica de enunciados I 3. Lógica de enunciados II. Deducción 4. Lógica aristotélica 5. Lógica de predicados de primer orden 6. Metodología BUCHER, T.G.,
Más detallesInteligencia en Redes de Comunicaciones - 04 Razonamiento lógico
El objetivo del Tema 4 es presentar una panorámica general sobre cómo se pueden realizar razonamientos lógicos en un sistema software. 1 Esta es la tabla de contenidos del tema: se estudia la programación
Más detallesUniversidad Nacional Abierta y a Distancia UNAD-Lógica Matemática - Georffrey Acevedo G. A que viene la lógica?
A que viene la lógica? Autor: Georffrey Acevedo G. Noviembre 16 de 2008. Los conceptos de proposiciones, conectivos e inferencias confluyen al analizar un razonamiento. Para tener claridad sobre los conceptos
Más detallesAPENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN
LOGICA (FCE-UBA) APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente
Más detallesPLANEACIÓN DIDÁCTICA GENERAL DE LA ASIGNATURA: LÓGICA
PLANEACIÓN DIDÁCTICA GENERAL DE LA ASIGNATURA: LÓGICA ACADEMIA: FILOSOFÍA SEMESTRE: PRIMERO HORAS TEÓRICAS 3 CRÉDITOS 8 HORAS PRÁCTICAS 2 TIPO DE CURSO OBLIGATORIO TOTAL DE HORAS: 5 ELABORÓ MITZI NAZARETH
Más detallesFACULTAD DE CIENCIAS EMPRESARIALES MATEMÁTICA I SÍLABO. 1.6 Horas de clase semanal : Teoría (03h.) Práctica (02h.)
FACULTAD DE CIENCIAS EMPRESARIALES MATEMÁTICA I SÍLABO 1. DATOS GENERALES 1.1 Carreras Profesionales : Contabilidad y Finanzas 1.2 Ciclo de Estudios : I 1.3 Créditos : 4 1.4 Condición : Obligatorio 1.5
Más detallesUNIVERSIDAD NACIONAL DEL NORDESTE Facultad de Ciencias Económicas. Prof./Esp. Norma R. García
UNIVERSIDAD NACIONAL DEL NORDESTE Facultad de Ciencias Económicas Prof./Esp. Norma R. García UNIDAD II: CIENCIA Y LENGUAJE TEMA: Lenguaje Objeto y Metalenguaje. Lógica y Lenguaje. Sentencias y Argumentación.
Más detallesUNIVERSIDAD DEL CARIBE UNICARIBE. Escuela de Educación
UNIVERSIDAD DEL CARIBE UNICARIBE Escuela de Educación Programa de Asignatura Nombre de la asignatura : Matemática en el c. v. de la Educación Media I Carga académica : 3 Créditos Modalidad : Semipresencial
Más detallesFacultad de Ciencias Bioquímicas y Farmacéuticas UNIVERSIDAD NACIONAL DE ROSARIO
Expediente Nº 6075/240 y agreg. Rosario, 25 de Marzo de 2010 VISTO el presente expediente, mediante el cual la Dirección Académica del Departamento Matemática y Estadística, eleva el programa analítico
Más detallesUNIVERSIDAD TÉCNICA DE AMBATO FACULTAD DE INGENIERIA AGRONOMICA CARRERA DE MEDICINA VETERINARIA Y ZOOTECNIA MODALIDAD PRESENCIAL
UNIVERSIDAD TÉCNICA DE AMBATO FACULTAD DE INGENIERIA AGRONOMICA CARRERA DE MEDICINA VETERINARIA Y ZOOTECNIA MODALIDAD PRESENCIAL MÓDULO FORMATIVO LÓGICA MATEMATICA PRIMER SEMESTRE MANOLO SEBASTIAN MUÑOZ
Más detallesCURSO NIVELACIÓN LÓGICA MATEMÁTICA PROYECTO UNICOMFACAUCA TU PROYECTO DE VIDA LAS PROPOSICIONES
LAS PROPOSICIONES Objetivo Brindar al estudiante un concepto claro en la formulación, interpretación y aplicabilidad de las proposiciones. La interpretación de las proposiciones compuestas permite al estudiante
Más detallesUNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD CURSO DE LÓGICA MATEMÁTICA TRABAJO FINAL PUNTOS A DESARROLLAR
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD CURSO DE LÓGICA MATEMÁTICA TRABAJO FINAL Con su grupo de trabajo resolver los siguientes puntos, sustentando cada una de sus respuestas. PUNTOS A DESARROLLAR
Más detalles