Introduccion Computacional
Páginas: 3 (600 palabras)
Publicado: 26 de febrero de 2013
Índice general
Introducción 1
Objetivos y contenidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1Motivación para los alumnos de Ingeniería Informática . . . . . . . . .. . . . . . . . . . 2Bibliografía recomendada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Parte I. LÓGICA DE PREDICADOS 5
1 LÓGICA DE PROPOSICIONES 7
Resumen
. . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Objetivos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Metodología
. .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81.1 Sintaxis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81.1.1 El lenguaje dela Lógica de Proposiciones . . . . . . . . . . . . . . . . . . . 91.1.2 Sobre la estructura inductiva del lenguaje . . . . . . . . . . . . . . . . . . . 121.1.3 Derivación de conceptos sintácticos . .. . . . . . . . . . . . . . . . . . . . 151.1.4 Eliminación de paréntesis . . . . . . . . . . . . . . . . . . . . . . . . . . . 191.2 Semántica . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . 201.2.1 Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201.2.2 Valores de verdad de fórmulas atómicas . . . . . . . . . . . . . . . . . . . .221.2.3 Semántica de las conectivas . . . . . . . . . . . . . . . . . . . . . . . . . . 221.2.4 Valores de verdad de fórmulas complejas . . . . . . . . . . . . . . . . . . . 241.2.5 Tablas de verdad .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 251.2.6 Tautologías y contradicciones . . . . . . . . . . . . . . . . . . . . . . . . . 261.3 Conceptos semánticos básicos . . . . . . .. . . . . . . . . . . . . . . . . . . . . . 271.3.1 Satisfacibilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 271.3.2 Validez . . . . . . . . . . . . . . . . . . . . . . . ....
Introducción 1
Objetivos y contenidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1Motivación para los alumnos de Ingeniería Informática . . . . . . . . .. . . . . . . . . . 2Bibliografía recomendada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Parte I. LÓGICA DE PREDICADOS 5
1 LÓGICA DE PROPOSICIONES 7
Resumen
. . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Objetivos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Metodología
. .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81.1 Sintaxis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81.1.1 El lenguaje dela Lógica de Proposiciones . . . . . . . . . . . . . . . . . . . 91.1.2 Sobre la estructura inductiva del lenguaje . . . . . . . . . . . . . . . . . . . 121.1.3 Derivación de conceptos sintácticos . .. . . . . . . . . . . . . . . . . . . . 151.1.4 Eliminación de paréntesis . . . . . . . . . . . . . . . . . . . . . . . . . . . 191.2 Semántica . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . 201.2.1 Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201.2.2 Valores de verdad de fórmulas atómicas . . . . . . . . . . . . . . . . . . . .221.2.3 Semántica de las conectivas . . . . . . . . . . . . . . . . . . . . . . . . . . 221.2.4 Valores de verdad de fórmulas complejas . . . . . . . . . . . . . . . . . . . 241.2.5 Tablas de verdad .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 251.2.6 Tautologías y contradicciones . . . . . . . . . . . . . . . . . . . . . . . . . 261.3 Conceptos semánticos básicos . . . . . . .. . . . . . . . . . . . . . . . . . . . . . 271.3.1 Satisfacibilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 271.3.2 Validez . . . . . . . . . . . . . . . . . . . . . . . ....
Leer documento completo
Regístrate para leer el documento completo.