Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Gratis
¡Más rápido que el navegador!
 

Lenguaje de Comandos Guardados

Índice Lenguaje de Comandos Guardados

El Lenguaje de Comandos Guardados (GCL, Guarded Command Language), o de Órdenes Guardadas, es un modelo de lenguaje definido por Edsger Dijkstra para semántica de transformación de predicados (una extensión lógica diseñada para proporcionar una metodología para desarrollar programas "correctos por construcción" en un lenguaje imperativo).

21 relaciones: Algoritmo de Euclides, Azar, Bucle, C (lenguaje de programación), Edsger Dijkstra, Especificación, Java (lenguaje de programación), Lenguaje de programación, Máximo común divisor, Modo condicional, Periférico de entrada/salida, Programa informático, Programación imperativa, Prolog, Proposición, Pseudocódigo, Semántica, Semántica de transformación de predicados, Sintaxis, Universidad Simón Bolívar (Venezuela), Venezuela.

Algoritmo de Euclides

En matemáticas, el algoritmo de Euclides, o algoritmo euclidiano, es un método eficiente para calcular el máximo común divisor (MCD) de dos números enteros, el número más grande que los divide a ambos sin dejar resto.

¡Nuevo!!: Lenguaje de Comandos Guardados y Algoritmo de Euclides · Ver más »

Azar

El azar es una casualidad presente, teóricamente, en diversos fenómenos que se caracterizan por causas complejas, no lineales y sobre todo que no parecen ser predictibles en todos sus detalles.

¡Nuevo!!: Lenguaje de Comandos Guardados y Azar · Ver más »

Bucle

El término bucle puede referirse a.

¡Nuevo!!: Lenguaje de Comandos Guardados y Bucle · Ver más »

C (lenguaje de programación)

C es un lenguaje de programación de propósito general originalmente desarrollado por Dennis Ritchie entre 1969 y 1972 en los Laboratorios Bell, como evolución del anterior lenguaje B, a su vez basado en BCPL.

¡Nuevo!!: Lenguaje de Comandos Guardados y C (lenguaje de programación) · Ver más »

Edsger Dijkstra

Edsger Wybe Dijkstra (AFI) (Róterdam, 11 de mayo de 1930-Nuenen, 6 de agosto de 2002) fue un científico de la computación de los Países Bajos.

¡Nuevo!!: Lenguaje de Comandos Guardados y Edsger Dijkstra · Ver más »

Especificación

Instrucciones detalladas proporcionadas en conjunción con los planos y las copias del Plano de construcción.

¡Nuevo!!: Lenguaje de Comandos Guardados y Especificación · Ver más »

Java (lenguaje de programación)

Java es un lenguaje de programación y una plataforma informática que fue comercializada por primera vez en 1995 por Sun Microsystems.

¡Nuevo!!: Lenguaje de Comandos Guardados y Java (lenguaje de programación) · Ver más »

Lenguaje de programación

Un lenguaje de programación es un lenguaje formal (o artificial, es decir, un lenguaje con reglas gramaticales bien definidas) que proporciona a una persona, en este caso el programador, la capacidad y habilidad de escribir (o programar) una serie de instrucciones o secuencias de órdenes en forma de algoritmos con el fin de controlar el comportamiento físico o lógico de un sistema informático, para que de esa manera se puedan obtener diversas clases de datos o ejecutar determinadas tareas.

¡Nuevo!!: Lenguaje de Comandos Guardados y Lenguaje de programación · Ver más »

Máximo común divisor

En las matemáticas, se define el máximo común divisor (mcd o m.c.d.) de dos o más números enteros al mayor número entero que los divide sin dejar residuo alguno.

¡Nuevo!!: Lenguaje de Comandos Guardados y Máximo común divisor · Ver más »

Modo condicional

El modo condicional es uno de los modos del verbo en algunas lenguas romances y germánicas.

¡Nuevo!!: Lenguaje de Comandos Guardados y Modo condicional · Ver más »

Periférico de entrada/salida

En informática, un periférico de entrada/salida o E/S (en inglés: input/output o I/O) es aquel tipo de dispositivo periférico de un computador capaz de interactuar con los elementos externos a ese sistema de forma bidireccional, es decir, que permite tanto que sea ingresada información desde un sistema externo, como emitir información a partir de ese sistema.

¡Nuevo!!: Lenguaje de Comandos Guardados y Periférico de entrada/salida · Ver más »

Programa informático

Un programa informático o programa de computadora es una secuencia de instrucciones u órdenes basadas en un lenguaje de programación que una computadora interpreta para resolver un problema o una función especifica.

¡Nuevo!!: Lenguaje de Comandos Guardados y Programa informático · Ver más »

Programación imperativa

En ciencias de la computación se denomina programación imperativa a un paradigma de programación de software que utiliza fórmulas que alteran el estado de un programa.

¡Nuevo!!: Lenguaje de Comandos Guardados y Programación imperativa · Ver más »

Prolog

Prolog (o PROLOG), proveniente del francés PROgrammation en LOGique, es un lenguaje de programación lógico e interpretado usado habitualmente en el campo de la Inteligencia artificial.

¡Nuevo!!: Lenguaje de Comandos Guardados y Prolog · Ver más »

Proposición

En filosofía y lógica, el término proposición se usa para referirse a.

¡Nuevo!!: Lenguaje de Comandos Guardados y Proposición · Ver más »

Pseudocódigo

En ciencias de la computación, y análisis numérico, el pseudocódigo (o lenguaje de descripción algorítmico) es una descripción de alto nivel compacta e informal del principio operativo de un programa informático u otro algoritmo.

¡Nuevo!!: Lenguaje de Comandos Guardados y Pseudocódigo · Ver más »

Semántica

El término semántica se refiere al estudio de diversos aspectos del significado, sentido o interpretación de signos lingüísticos como símbolos, palabras, expresiones o representaciones formales.

¡Nuevo!!: Lenguaje de Comandos Guardados y Semántica · Ver más »

Semántica de transformación de predicados

La semántica de transformación de predicados es una extensión de Lógica de Floyd-Hoare ideada por Edsger Dijkstra y extendida y refinada por otros investigadores.

¡Nuevo!!: Lenguaje de Comandos Guardados y Semántica de transformación de predicados · Ver más »

Sintaxis

La sintaxis es la parte de la gramática que estudia las reglas y principios que gobiernan la combinatoria de constituyentes sintácticos y la formación de unidades superiores a estos, como los sintagmas y las oraciones gramaticales.

¡Nuevo!!: Lenguaje de Comandos Guardados y Sintaxis · Ver más »

Universidad Simón Bolívar (Venezuela)

La Universidad Simón Bolívar (USB), es una universidad pública venezolana creada en 1967.

¡Nuevo!!: Lenguaje de Comandos Guardados y Universidad Simón Bolívar (Venezuela) · Ver más »

Venezuela

Venezuela, oficialmente República Bolivariana de Venezuela,Anteriormente recibió las denominaciones oficiales de Estado de Venezuela (1830-1856), República de Venezuela (1856-1864), Estados Unidos de Venezuela (1864-1953), y nuevamente República de Venezuela (1953-1999).

¡Nuevo!!: Lenguaje de Comandos Guardados y Venezuela · Ver más »

Redirecciona aquí:

Comandos Guardados, Comandos guardados, GCL, GaCeLa, Guarded Command Language, Órdenes Guardadas.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »