dsdfa

Universidad Latina



Facultad de Sistemas de Información




Ingeniería del Software




Matemáticas Discretas



Lenguaje Z




Profesora Ana Isabel Méndez



Estudiantes Oscar Vargas Granados (2014010343)







Introducción.
Desarrollo.
¿Qué es un lenguaje formal?
¿Qué es una especificación formal?
¿Cuál es la diferencia entre un lenguaje formal y unlenguaje de programación?
¿Campos de acción de Z?
¿Qué es el cálculo de lambda?
¿Que es Lógica de Primer Orden?
¿Qué es un esquema en Z?
Origen e historia de lenguaje Z.
Objetivos del lenguaje Z.
Características de Z.
¿Qué son tipos de elementos en Z y como se definen? Incluya ejemplos.
¿Qué son los estados de los elementos y como se definen? Incluya ejemplos.
¿Qué son operaciones?¿Cuáles existen?¿Cómo se definen? Indicar ejemplos.
¿Explique cómo trabajan las funciones? ¿Cuáles existen? ¿Cómo se defienen? ¿Cómo funcionan? Indicar ejemplos.
Ventajas de aprender Z.
Conclusión.
Bibliografía.

Lenguaje Z

Introducción
En el mundo de la computación siempre se ha intentado poder ingresar datos a las máquinas, la forma más moderna es mediante lenguajes de programación loscuales brindan una forma eficaz de inducir operaciones de manera tal que sea entendible para la máquina. El lenguaje Z viene a ser una herramienta útil para el campo académico ya que nos permite interactuar de manera logico matematica con la computadora para poder desarrollar cualidades que nos preparan a elaborar producto de software con más calidad.



Desarrollo

¿Qué es un lenguaje formal?En matemáticas, lógica, y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados. Al conjunto de los símbolos primitivos se le llama el alfabeto (o vocabulario) del lenguaje, y al conjunto de las reglas se lo llama la gramática formal (o sintaxis).


¿Qué es una especificación formal?

Laespecificación formal es un área de investigación cuyo propósito es el desarrollo de técnicas, lenguajes y herramientas (basadas en lógicas clásicas y no clásicas, álgebras o cálculos) para alcanzar una de las principales metas de la ingeniería de software: permitir la construcción de sistemas que operen confiablemente a pesar de su complejidad.


¿Cuál es la diferencia entre un lenguaje formal yun lenguaje de programación?


Un lenguaje de programación es un lenguaje formal diseñado para expresar procesos que pueden ser llevados a cabo por máquinas como las computadoras puede ser basado en lenguajes de programación anteriores.
Mientras que el lenguaje formal como tal es como la forma de expresar lenguaje matemático siguiendo reglas y símbolos creando una sintaxis.


¿Campos deacción de Z?

Es un lenguaje formal utilizado en ingeniería del software para la especificación formal de un sistema de cómputo, como una fase previa al desarrollo del código de programa para el mismo en un lenguaje de programación.
Eso quiere decir que su campo de acción es etapas previas al desarrollo de código,también es usado en formación académica para poder desarrollar la lógica de losestudiantes



¿Qué es el cálculo de lambda?


El cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión. Se usó el cálculo lambda en 1936 para resolver el Entscheidungsproblem. Puede ser usado para definir de manera limpia y precisa qué es una "función computable".

¿Que es Lógica de Primer Orden?

Lalógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.1 Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan sólo a variables de individuo, y con predicados y funciones cuyos argumentos son sólo constantes o variables de individuo....