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

Edsger Dijkstra

Índice Edsger Dijkstra

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

60 relaciones: Años 1970, Alan Kay, Alfabeto Fonético Internacional, ALGOL, Algoritmo de Dijkstra, Algoritmo del banquero, Algoritmo shunting yard, Austin, Axioma, BASIC, Bucle while, Burroughs Corporation, Cáncer, Charles Bachman, Ciencias de la computación, Compilador, Computación distribuida, Corrección, Crisis del software, Demostración en matemática, Derecho, Ensayo, Estados Unidos, Estructuras de control, Exclusión mutua (informática), Física, Físico, GOTO, Informático teórico, Ingeniería de software, John McCarthy, Lenguaje de Comandos Guardados, Leslie Lamport, Niklaus Wirth, Notación polaca inversa, Open Shortest Path First, Organización de las Naciones Unidas, OTAN, Países Bajos, Premio Dijkstra, Premio Turing, Problema de la cena de los filósofos, Problema del camino más corto, Programación, Programación distribuida, Róterdam, Reglas de inferencia, Semáforo (informática), Semántica de transformación de predicados, Sistema operativo, ..., THE, Universidad de Leiden, Universidad de Texas en Austin, Verificación formal, 11 de mayo, 1930, 1968, 1972, 2002, 6 de agosto. Expandir índice (10 más) »

Años 1970

Comenzó el 1 de enero de 1970 y finalizó el 31 de diciembre de 1979.

¡Nuevo!!: Edsger Dijkstra y Años 1970 · Ver más »

Alan Kay

Alan Kay, (Springfield, 17 de mayo de 1940), es un informático estadounidense.

¡Nuevo!!: Edsger Dijkstra y Alan Kay · Ver más »

Alfabeto Fonético Internacional

El Alfabeto Fonético Internacional (AFI en español, API en francés e IPA en inglés) es un sistema de notación fonética creado por lingüistas.

¡Nuevo!!: Edsger Dijkstra y Alfabeto Fonético Internacional · Ver más »

ALGOL

Se denomina ALGOL (o Algol) a un lenguaje de programación.

¡Nuevo!!: Edsger Dijkstra y ALGOL · Ver más »

Algoritmo de Dijkstra

El algoritmo de Dijkstra, también llamado algoritmo de caminos mínimos, es un algoritmo para la determinación del camino más corto, dado un vértice origen, hacia el resto de los vértices en un grafo que tiene pesos en cada arista.

¡Nuevo!!: Edsger Dijkstra y Algoritmo de Dijkstra · Ver más »

Algoritmo del banquero

El Algoritmo del banquero, en sistemas operativos es una forma de evitar el interbloqueo, propuesta por primera vez por Edsger Dijkstra.

¡Nuevo!!: Edsger Dijkstra y Algoritmo del banquero · Ver más »

Algoritmo shunting yard

El algoritmo shunting yard es un método para analizar (parsing) las ecuaciones matemáticas especificadas en la notación de infijo.

¡Nuevo!!: Edsger Dijkstra y Algoritmo shunting yard · Ver más »

Austin

Austin es la capital del estado estadounidense de Texas y del condado de Travis.

¡Nuevo!!: Edsger Dijkstra y Austin · Ver más »

Axioma

Un axioma es una proposición asumida dentro de un cuerpo teórico sobre la cual descansan otros razonamientos y proposiciones deducidas de esas premisas.

¡Nuevo!!: Edsger Dijkstra y Axioma · Ver más »

BASIC

BASIC, siglas de Beginner's All-purpose Symbolic Instruction Code (Código simbólico de instrucciones de propósito general para principiantes en castellano), es una familia de lenguajes de programación de alto nivel.

¡Nuevo!!: Edsger Dijkstra y BASIC · Ver más »

Bucle while

El bucle while o bucle mientras es un ciclo repetitivo basado en los resultados de una expresión lógica; se encuentra en la mayoría de los lenguajes de programación estructurados.

¡Nuevo!!: Edsger Dijkstra y Bucle while · Ver más »

Burroughs Corporation

La Corporación Burroughs fue creada en 1886 como la American Arithmometer Company en San Luis, Misuri, Estados Unidos, para dedicarse a la venta de las máquinas sumadoras inventadas por William Seward Burroughs.

¡Nuevo!!: Edsger Dijkstra y Burroughs Corporation · Ver más »

Cáncer

Cáncer es el nombre común que recibe un conjunto de enfermedades relacionadas en las que se observa un proceso descontrolado en la división de las células del cuerpo.

¡Nuevo!!: Edsger Dijkstra y Cáncer · Ver más »

Charles Bachman

Charles William Bachman (nacido el 11 de diciembre de 1924, Manhattan, Kansas, Estados Unidos-13 de julio de 2017) fue un prominente informático, especialmente en el área de las bases de datos.

¡Nuevo!!: Edsger Dijkstra y Charles Bachman · Ver más »

Ciencias de la computación

Las Ciencias de la computación estudian los fundamentos teóricos de la información y el cómputo, junto con técnicas prácticas para la implementación y aplicación de estos fundamentos teóricos.

¡Nuevo!!: Edsger Dijkstra y Ciencias de la computación · Ver más »

Compilador

Un compilador es un programa informático que traduce un programa que ha sido escrito en un lenguaje de programación a un lenguaje común,reúne diversos elementos o fragmentos en una misma unidad.

¡Nuevo!!: Edsger Dijkstra y Compilador · Ver más »

Computación distribuida

La computación distribuida o informática en malla (grid) es un modelo para resolver problemas de computación masiva utilizando un gran número de ordenadores organizados en clústeres incrustados en una infraestructura de telecomunicaciones distribuida.

¡Nuevo!!: Edsger Dijkstra y Computación distribuida · Ver más »

Corrección

La exprexion Corrección es la modificación que se hace en una cosa o a una persona para corregir sus faltas, errores, defectos o imperfecciones.

¡Nuevo!!: Edsger Dijkstra y Corrección · Ver más »

Crisis del software

La Crisis del software se refiere a los problemas que, desde sus inicios, ha ido experimentando el software, muchas veces problemas de gran magnitud, debido, principalmente, a la mínima eficacia que presentan una gran cantidad de empresas al momento de realizar un software.

¡Nuevo!!: Edsger Dijkstra y Crisis del software · Ver más »

Demostración en matemática

En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática.

¡Nuevo!!: Edsger Dijkstra y Demostración en matemática · Ver más »

Derecho

El derecho es un orden normativo e institucional de la conducta humana en sociedad inspirado en postulados de justicia y certeza jurídica.

¡Nuevo!!: Edsger Dijkstra y Derecho · Ver más »

Ensayo

El ensayo es un tipo de texto en prosa que analiza, interpreta o evalúa un tema.

¡Nuevo!!: Edsger Dijkstra y Ensayo · Ver más »

Estados Unidos

Estados Unidos (United States, cuya abreviatura es EE. UU.), oficialmente Estados Unidos de América (United States of America, cuya sigla oficial en inglés es USA y su contraparte en español es EUA), es un país soberano constituido en república federal constitucional compuesta por cincuenta estados y un distrito federal.

¡Nuevo!!: Edsger Dijkstra y Estados Unidos · Ver más »

Estructuras de control

En lenguajes de programación, las estructuras de control permiten modificar el flujo de ejecución de las instrucciones de un programa.

¡Nuevo!!: Edsger Dijkstra y Estructuras de control · Ver más »

Exclusión mutua (informática)

Los algoritmos de exclusión mutua (comúnmente abreviada como mutex por mutual exclusion) se usan en programación concurrente para evitar el ingreso a sus secciones críticas por más de un proceso a la vez.

¡Nuevo!!: Edsger Dijkstra y Exclusión mutua (informática) · Ver más »

Física

La física es una de las ciencias naturales que se encarga del estudio de la energía, la materia, el tiempo y el espacio, así como las interacciones de estos cuatro conceptos entre sí.

¡Nuevo!!: Edsger Dijkstra y Física · Ver más »

Físico

Físico es el nombre común que se les da a los científicos y profesionales que se dedican al área de las ciencias físicas o que han completado la carrera universitaria en dicho campo.

¡Nuevo!!: Edsger Dijkstra y Físico · Ver más »

GOTO

GOTO es una instrucción propia de los primeros lenguajes de programación, como BASIC.

¡Nuevo!!: Edsger Dijkstra y GOTO · Ver más »

Informático teórico

Un científico de la computación, informático teórico o computólogo, es una persona con conocimientos adquiridos en ciencias de la computación, y que se ha especializado en el estudio de los fundamentos teóricos de la información y la computación, para su posterior aplicación en el desarrollo de sistemas de información.

¡Nuevo!!: Edsger Dijkstra e Informático teórico · Ver más »

Ingeniería de software

La ingeniería de software es la aplicación de un enfoque sistemático, disciplinado y cuantificable al desarrollo, operación y mantenimiento de software, y el estudio de estos enfoques, es decir, el estudio de las aplicaciones de la ingeniería al software.

¡Nuevo!!: Edsger Dijkstra e Ingeniería de software · Ver más »

John McCarthy

John McCarthy (Boston, Massachusetts, 4 de septiembre de 1927 - Stanford, California, 24 de octubre de 2011), también conocido como Tío John McCarthy, fue un prominente informático que recibió el Premio Turing en 1971 por sus importantes contribuciones en el campo de la Inteligencia Artificial.

¡Nuevo!!: Edsger Dijkstra y John McCarthy · Ver más »

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).

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

Leslie Lamport

Leslie Lamport (Nueva York, EE.UU., 7 de febrero de 1941) es un matemático y científico de la computación estadounidense.

¡Nuevo!!: Edsger Dijkstra y Leslie Lamport · Ver más »

Niklaus Wirth

Niklaus Wirth (Winterthur Suiza, 15 de febrero de 1934), científico de la computación.

¡Nuevo!!: Edsger Dijkstra y Niklaus Wirth · Ver más »

Notación polaca inversa

La notación polaca inversa, notación de postfijo, o notación posfija (en inglés, Reverse Polish Notation, o RPN), es un método algebraico alternativo de introducción de datos.

¡Nuevo!!: Edsger Dijkstra y Notación polaca inversa · Ver más »

Open Shortest Path First

Open Shortest Path First (OSPF), Primer Camino Más Corto, es un protocolo de red para encaminamiento jerárquico de pasarela interior o Interior Gateway Protocol (IGP), que usa el algoritmo SmoothWall Dijkstra enlace-estado (Link State Advertisement, LSA) para calcular la ruta idónea entre dos nodos cualesquiera de un sistema autónomo.

¡Nuevo!!: Edsger Dijkstra y Open Shortest Path First · Ver más »

Organización de las Naciones Unidas

La Organización de las Naciones Unidas (ONU), o simplemente las Naciones Unidas (NN. UU.), es la mayor organización internacional existente.

¡Nuevo!!: Edsger Dijkstra y Organización de las Naciones Unidas · Ver más »

OTAN

La Organización del Tratado del Atlántico Norte u OTAN (en inglés: North Atlantic Treaty Organization o NATO; en francés: Organisation du Traité de l'Atlantique Nord u OTAN), también denominada Alianza del Atlántico, Alianza del Atlántico Norte o Alianza Atlántica, es una alianza militar intergubernamental basada en el Tratado del Atlántico Norte o Tratado de Washington firmado el 4 de abril de 1949.

¡Nuevo!!: Edsger Dijkstra y OTAN · Ver más »

Países Bajos

Países Bajos (en neerlandés: Nederland) es un país constituyente (landen) del Reino de los Países Bajos, miembro de la Unión Europea.

¡Nuevo!!: Edsger Dijkstra y Países Bajos · Ver más »

Premio Dijkstra

El Premio Edsger W. Dijkstra es una distinción que se entrega a los autores de artículos destacados en los principios de computación distribuida.

¡Nuevo!!: Edsger Dijkstra y Premio Dijkstra · Ver más »

Premio Turing

El Premio Turing es un premio de las Ciencias de la Computación que es otorgado anualmente por la Asociación para la Maquinaria Computacional (ACM) a quienes hayan contribuido de manera trascendental al campo de las ciencias computacionales.

¡Nuevo!!: Edsger Dijkstra y Premio Turing · Ver más »

Problema de la cena de los filósofos

El problema de la cena de los filósofos o problema de los filósofos cenando (dining philosophers problem) es un problema clásico de las ciencias de la computación propuesto por Edsger Dijkstra en 1965 para representar el problema de la sincronización de procesos en un sistema operativo.

¡Nuevo!!: Edsger Dijkstra y Problema de la cena de los filósofos · Ver más »

Problema del camino más corto

En la teoría de grafos, el problema del camino más corto es el problema que consiste en encontrar un camino entre dos vértices (o nodos) de tal manera que la suma de los pesos de las aristas que lo constituyen es mínima.

¡Nuevo!!: Edsger Dijkstra y Problema del camino más corto · Ver más »

Programación

La programación es un proceso que se utiliza para idear y ordenar las acciones que se realizarán en el marco de un proyecto;al anuncio de las partes que componen un acto o espectáculo; a la preparación de máquinas para que cumplan con una cierta tarea en un momento determinado; a la elaboración de programas para la resolución de problemas mediante ordenadores; y a la preparación de los datos necesarios para obtener una solución de un problema.

¡Nuevo!!: Edsger Dijkstra y Programación · Ver más »

Programación distribuida

La programación distribuida es un paradigma de programación enfocado en desarrollar sistemas distribuidos, abiertos, escalables, transparentes y tolerantes a fallos.

¡Nuevo!!: Edsger Dijkstra y Programación distribuida · Ver más »

Róterdam

Róterdam (en neerlandés Rotterdam AFI) es una ciudad neerlandesa situada al oeste del país, en la provincia de Holanda Meridional, y puerto sobre el río Mosa, cerca de La Haya.

¡Nuevo!!: Edsger Dijkstra y Róterdam · Ver más »

Reglas de inferencia

En lógica, una regla de inferencia, o regla de transformación es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión (o conclusiones).

¡Nuevo!!: Edsger Dijkstra y Reglas de inferencia · Ver más »

Semáforo (informática)

Un semáforo es una variable especial (o tipo abstracto de datos) que constituye el método clásico para restringir o permitir el acceso a recursos compartidos (por ejemplo, un recurso de almacenamiento del sistema o variables del código fuente) en un entorno de multiprocesamiento (en el que se ejecutarán varios procesos concurrentemente).

¡Nuevo!!: Edsger Dijkstra y Semáforo (informática) · 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!!: Edsger Dijkstra y Semántica de transformación de predicados · Ver más »

Sistema operativo

Un sistema operativo (SO o, frecuentemente, OS —del inglés operating system—) es el software principal o conjunto de programas de un sistema informático que gestiona los recursos de hardware y provee servicios a los programas de aplicación de software, ejecutándose en modo privilegiado respecto de los restantes (aunque puede que parte de él se ejecute en espacio de usuario).

¡Nuevo!!: Edsger Dijkstra y Sistema operativo · Ver más »

THE

El sistema de multiprogramación THE fue un sistema operativo diseñado por un equipo liderado por Edsger W. Dijkstra, descrito en monografías entre 1965 y 1966 y publicado en 1968.

¡Nuevo!!: Edsger Dijkstra y THE · Ver más »

Universidad de Leiden

La Universidad de Leiden (en neerlandés: Rijksuniversiteit Leiden) es la universidad más antigua de las Provincias Unidas de los Países Bajos.

¡Nuevo!!: Edsger Dijkstra y Universidad de Leiden · Ver más »

Universidad de Texas en Austin

La Universidad de Texas en Austin (The University of Texas at Austin en inglés), a menudo llamada "UT" o "Texas" simplemente, es la institución principal del sistema universitario público del estado de Texas (Universidad de Texas).

¡Nuevo!!: Edsger Dijkstra y Universidad de Texas en Austin · Ver más »

Verificación formal

La verificación formal, en ingeniería y en computación, es un método de validación estática (se valida a través del propio código del programa, a partir de una abstracción o de una representación simbólica) en el que, partiendo de un conjunto axiomático, reglas de inferencia y algún lenguaje lógico (como la lógica de primer orden), se puede encontrar una demostración o prueba de corrección de un programa, algoritmo, etc, aunque también se puede encontrar su refutación.

¡Nuevo!!: Edsger Dijkstra y Verificación formal · Ver más »

11 de mayo

El 11 de mayo es el 131.º (centésimo trigésimo primer) día del año en el calendario gregoriano y el 132.º en los años bisiestos.

¡Nuevo!!: Edsger Dijkstra y 11 de mayo · Ver más »

1930

1930 fue un año normal comenzado en miércoles según el calendario gregoriano.

¡Nuevo!!: Edsger Dijkstra y 1930 · Ver más »

1968

1968 fue un año bisiesto comenzado en lunes según el calendario gregoriano, declarado Año Internacional de los Derechos Humanos por la Organización de las Naciones Unidas.

¡Nuevo!!: Edsger Dijkstra y 1968 · Ver más »

1972

1972 fue un año bisiesto comenzado en sabado según el calendario gregoriano.

¡Nuevo!!: Edsger Dijkstra y 1972 · Ver más »

2002

2002 fue un año común comenzado en martes según el calendario gregoriano.

¡Nuevo!!: Edsger Dijkstra y 2002 · Ver más »

6 de agosto

El 6 de agosto es el 218.º (ducentésimo decimoctavo) día del año en el calendario gregoriano y el 219.º en los años bisiestos.

¡Nuevo!!: Edsger Dijkstra y 6 de agosto · Ver más »

Redirecciona aquí:

Dijkstra, E W Dijkstra, E.W. Dijkstra, Edsger W Dijkstra, Edsger W. Dijkstra, Edsger Wybe Dijkstra.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »