Bienvenida

-
Hola!

Te doy la más cordial bienvenida a mi blog! El mismo será un medio para educar e informar acerca de
los lenguajes de programación y sus elementos. También quisiera que fuera un buen espacio para
interactuar contigo! Así que siempre que tengas preguntas, siéntete libre de dejarlas en la sección de
comentarios.

 A continuación estaré publicando información relevante al tema principal, que son los
lenguajes de programación. Abierta a sugerencias para próximos posts.

 Gracias por tu visita!

Andara

Materia: Lenguaje de Programación
Prof.: Tania Segnini

Comments

Post a Comment

Popular posts from this blog

Clasificación de los Lenguajes de Programación

-
Image
CLASIFICACIÓN DE LOS LENGUAJES DE PROGRAMACIÓN Los lenguajes de programación se pueden clasificar según varios criterios. La agrupación más importante es por: nivel de abstracción, propósito, método de ejecución y paradigma de programación. Clasificación de los lenguajes de programación según su Nivel de Abstracción:  Lenguajes de Bajo Nivel  son Lenguajes de código máquina, son un conjunto de instrucciones en código binario que el ordenador es capaz de ejecutar directamente, específicos de cada tipo de procesador o CPU. Ejemplos: Lenguaje de máquina y lenguajes ensambladores. Lenguajes de Alto Nivel  más parecidos al lenguaje natural, cercanos al problema, nos olvidamos de la estructura interna del ordenador  Ejemplos: C, Basic, Java. Clasificación de los lenguajes de programación según su Propósito: Lenguajes de Propósito General  permiten la implementación de prácticamente cualquier algoritmo, el nivel de abstracción...
Read more

Especificaciones Formales

-
Image
Especificaciones Formales Una  especificación formal  usa notación matemática para describir de manera precisa las propiedades que un sistema de información debe tener, sin preocuparse por la forma de obtener dichas propiedades. Describe lo que el sistema  debe  hacer sin decir  cómo  se va a hacer. Esta abstracción hace que las especificaciones formales sean útiles en el proceso de desarrollar un sistema, porque permiten responder preguntas acerca de lo que el sistema hace con  confianza , sin la necesidad de tratar con una gran cantidad de información no relevante que se encuentra en el código de programa del sistema en un lenguaje de programación cualquiera, o especular sobre el significado de frases en un impreciso Pseudocódigo. Un especificación formal pueden servir como un punto de referencia fiable tanto para quienes se dedican a investigar sobre los  requerimientos  del cliente que solicit...
Read more

Sistema Formal

-
Image
SISTEMA FORMAL Un  sistema formal  es un tipo de sistema lógico-deductivo constituido por un lenguaje formal, una gramática formal que restringe cuales son las expresiones correctamente formadas de dicho lenguaje y las reglas de inferencia y un conjunto de axiomas que permite encontrar las proposiciones derivables de dichos axiomas. Los sistemas formales también han encontrado aplicación dentro de la informática, la teoría de la información, y la estadística, para proporcionar una definición rigurosa del concepto de demostración. La noción de sistema formal corresponde a una formalización rigurosa y completa del concepto de sistema axiomático, los cuales pueden ser expresados en lenguaje formal o en lenguaje natural formalizado. Llamamos  formalización  al acto de crear un sistema formal, con la que pretendemos capturar y abstraer la esencia de determinadas características del mundo real, ...
Read more