08_PredIntro.pdf - Lgica de Predicados Lgica Lgica de...

Info icon This preview shows pages 1–9. Sign up to view the full content.

View Full Document Right Arrow Icon
Lógica de Predicados Lógica 1 Lógica de Predicados
Image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Lógica de Predicados Lógica 2 Motivación Un sistema informático no es otra cosa que un modelo de una parte de la realidad , típicamente de un servicio. – el servicio que debe proveer la bedelía de la facultad o un banco o un supermercado, etc. Cómo se construye típicamente este modelo?
Image of page 2
Lógica de Predicados Lógica 3 Sistema Informático Realidad Problema Datos Procesos Sistema Información Anális is y Dis e ño Especificación Implem.
Image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Lógica de Predicados Lógica 4 Especificación Documento que refleja el acuerdo entre el usuario y el equipo de desarrollo sobre lo que debe hacer o no un sistema. Documento que refleja el acuerdo entre los integrantes del equipo de desarrollo sobre qué representa cada dato y qué debe hacer cada módulo, función, etc. Es un modelo donde los objetos que se especificaron se comportan de forma similar a los objetos reales. Si no se dispone de un mecanismo adecuado para formalizar hasta cierto punto la realidad, no es posible construir un sistema informático que la modele .
Image of page 4
Lógica de Predicados Lógica 5 Lenguajes de Especificación La especificación debe proveer lo necesario para realizar las tareas básicas que se hacen con ella: – Describir el problema sin ambigüedad. – Construir una solución adecuada del problema y con un trabajo razonable. – Verificar la solución que se construyó con respecto a la descripción. Dependiendo de la claridad de la definición de la sintaxis y semántica del lenguaje de especificación, ésta será más o menos formal. los objetos se comportan como los reales
Image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Lógica de Predicados Lógica 6 Lenguajes de Especificación El lenguaje que se usa para construir las especificaciones debe cumplir algunas características, entre ellas: – Permitir la referencia a los elementos del problema. – Permitir la identificación de diferentes clases de elementos. – Poder ser utilizado en diferentes contextos o al menos diferentes problemas.
Image of page 6
Lógica de Predicados Lógica 7 Prop como Lenguaje de Especificación: El Club Escocés • Correspondencia – Escocés: E – Casado: C – Sale los Sabados: S – Usa Kilt: K – Usa Medias Rojas: M Reglas para el portero – ¬ E M , M K , C ¬ S , S E , K E C , E K
Image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Lógica de Predicados Lógica 8 Prop como Lenguaje de Especificación: Ordenar un Array Dado un array de enteros, devolver otro ordenado con los mismos valores.
Image of page 8
Image of page 9
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern