Lógica Matemática, 2009-10

Manzano, María

Título

dc.contributor.author	Manzano, María
dc.date.accessioned	2011-05-03T12:37:12Z
dc.date.available	2011-05-03T12:37:12Z
dc.date.issued	2009
dc.identifier.uri	http://hdl.handle.net/10366/83435
dc.description	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.	es_ES
dc.description.tableofcontents	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.
dc.format.mimetype	application/zip
dc.language	Español
dc.language.iso	spa	es_ES
dc.publisher	Universidad de Salamanca (España). Open Course Ware	es_ES
dc.rights	Attribution-NonCommercial-NoDerivs 3.0 Unported
dc.rights.uri	https://creativecommons.org/licenses/by-nc-nd/3.0/
dc.subject	Lógica Matemática	es_ES
dc.title	Lógica Matemática, 2009-10	es_ES
dc.title.alternative	12532	es_ES
dc.type	info:eu-repo/semantics/other	es_ES
dc.type	info:eu-repo/semantics/other	es_ES
dc.type	info:eu-repo/semantics/other	es_ES
dc.type	info:eu-repo/semantics/other	es_ES
dc.subject.unesco	1203 Ciencia de los ordenadores	es_ES
dc.rights.accessRights	info:eu-repo/semantics/openAccess