2026-08-28T01:23:44Zhttps://gredos.usal.es/oai/request

oai:gredos.usal.es:10366/834352025-04-30T21:49:31Zcom_10366_4910com_10366_4843col_10366_4914

Manzano, María 2011-05-03T12:37:12Z 2011-05-03T12:37:12Z 2009 http://hdl.handle.net/10366/83435 Introducción teórica y práctica a la lógica proposicional, sus aplicaciones -en filosofía, matemáticas, I.A., informática y lingüística-, su alcance y sus limitaciones Introducción al razonamiento con diagramas. Introducción teórica y práctica a la lógica de primer orden. Asignatura optativa de la Diplomatura en Ingeniero Técnico en Informática de Sistemas. I. Materiales de clase: PRIMERA PARTE: LÓGICA PROPOSICIONAL: Tema 1. Introducción: ¿Qué es la lógica?, Consistencia y Consecuencia; Tema 2. El lenguaje de la lógica proposicional: Alfabeto, formalización; Tema 3. Semántica: Prácticas con Tarski’s world; Tema 4. Tableaux semánticos: Formalización y resolución de razonamientos, MAFIA SEGUNDA PARTE: CONJUNTOS Y RAZONAMIENTO CON DIAGRAMAS: Tema único. Razonamiento con diagramas de Venn: SILOGÍSTICA. TERCERA PARTE: LÓGICA DE PRIMER ORDEN: Tema 1. (a) Introducción: ¿Por qué necesitamos la lógica de primer orden, (b) El lenguaje de la lógica proposicional: Alfabeto, formalización; Tema 2. Semántica: Prácticas con Tarski’s world; Tema 3. Tableaux semánticos: Formalización y resolución de razonamientos, ACERTIJOS FANTÁSTICOS. II. Prácticas. III. Evaluación de la asignatura. IV. Recursos informáticos. V. Bibliografía. application/zip Español spa Universidad de Salamanca (España). Open Course Ware Attribution-NonCommercial-NoDerivs 3.0 Unported https://creativecommons.org/licenses/by-nc-nd/3.0/ info:eu-repo/semantics/openAccess Lógica Matemática 1203 Ciencia de los ordenadores Lógica Matemática, 2009-10 12532 info:eu-repo/semantics/other info:eu-repo/semantics/other info:eu-repo/semantics/other info:eu-repo/semantics/other