Estructuras

Tema 5

Estructuras Discretas y Ciencias de la Computación

Jaime Oyarzo Espinosa jaime.oyarzo@uah.es Profesor Asociado, Universidad de Alcalá eLearning Consultant, LUND University, SwedenContenidos
Introducción Lógica en la informática Métodos de prueba Matemática Discreta Conjuntos, Relaciones, Funciones Técnicas de Recuento Grafos y árboles Algebra de BOOLE Análisis numérico Medidasen la informática y su terminología Simulación Tema 5
© EM/JOE 2

1

Lógica en la informática

Tema 5
© EM/JOE 3

Lógica proposicional
En la lógica de proposiciones, los enunciadosdeclarativos pueden ser verdaderos o falsos, pero no las dos cosas a la vez. El lenguaje está formado por: Enunciados simples (proposiciones): unidad mínima del lenguaje con información. Conectivas: permitenconstruir frases nuevas (relacionan proposiciones). Negación (~) ~ Conjunción (∨), unión ∨ Disyunción (∧), intersección ∧ Condicional (→), representa causa/efecto →
Tema 5
© EM/JOE 4

2Programación lógica
La programación lógica nace de la idea de crear un lenguaje más cercano al lenguaje natural y a la forma de pensar humana. Se intenta separar la lógica del problema del control delprograma: Algoritmo = Lógica + Control

Tema 5
© EM/JOE 5

Lógica matemática: necesaria?
No en caso de:
Cálculos basados en operaciones aritméticas (que un humano puede memorizar y aplicar Búsquedade datos (por simple comparación con un patrón dado); Clasificación u ordenación de datos (siguiendo un criterio establecido);

SI, en caso de
Tareas en que interviene la capacidad deductiva, quepodemos calificar como "inteligentes", en las que se requiere: Tener conocimiento sobre el dominio; Razonar con tal conocimiento; Conocer cómo dirigir o guiar tal razonamiento Tema 5
© EM/JOE 6

3Métodos de prueba
La lógica proposicional cuenta con varios métodos de decisión: Tablas de Verdad Análisis de Valores de Verdad Reducción a Forma Real Arboles Lógicos

Tema 5
© EM/JOE 7...