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

Edsger Dijkstra

Índice 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.

60 relaciones: 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, Concierto, Corrección, Crisis del software, Demostración en matemática, Derecho, Eindhoven, 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 (científico), Lenguaje de Comandos Guardados, Leslie Lamport, Música clásica, Niklaus Wirth, Notación polaca inversa, Nuenen, Gerwen en Nederwetten, 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, Programa informático, Programación, Programación distribuida, Róterdam, ..., Regla de inferencia, Semáforo (informática), Semántica de transformación de predicados, Sistema operativo, THE, Universidad de Leiden, Universidad de Texas en Austin, Universidad Técnica de Eindhoven, Verificación formal, Wolfgang Amadeus Mozart. Expandir índice (10 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 (conocido por sus siglas AFI en español e IPA en inglés) es un sistema de notación fonética.

¡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

Axioma es una proposición tan clara y evidente que se admite sin demostración.

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

BASIC

BASIC, siglas de Beginners' All-purpose Symbolic Instruction Code (en castellano: ‘Código simbólico de instrucciones de propósito general para principiantes’), 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

El término 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

En informática, un compilador es un programa que traduce código escrito en un lenguaje de programación (llamado fuente) a otro lenguaje (conocido como objeto).

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

Computación distribuida

La computación distribuida 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 »

Concierto

Un concierto es una expresión cultural musical en la «que se ejecutan composiciones sueltas».

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

Corrección

El aguafuerte Corrección es un grabado de la serie Los Caprichos del pintor español Francisco de Goya.

¡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 puede definirse como un sistema de principios y normas, generalmente inspirados en ideas de justicia y orden, que regulan la conducta humana en toda sociedad y cuyo cumplimiento puede imponerse de forma coactiva por el poder público.

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

Eindhoven

Eindhoven es un municipio y una ciudad situada en la provincia de Brabante Septentrional, en el sur de los Países Bajos.

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

Ensayo

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

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

Estados Unidos

«EUA», «US», «USA» y «United States» redirigen aquí.

¡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 que entre más de un proceso a la vez en la sección crítica.

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

Física

La física (del latín physica, y este del griego antiguo φυσικός physikós «natural, relativo a la naturaleza») es la ciencia natural que estudia la naturaleza de los componentes y fenómenos más fundamentales del Universo como lo son la energía, la materia, la fuerza, el movimiento, el espacio-tiempo, las magnitudes físicas, las propiedades físicas y las interacciones fundamentales.

¡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 a la física u otras áreas de las ciencias físicas, o que han completado la carrera universitaria en dicho.

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

GOTO

GOTO (también goto, go to, GO TO, GoTo y similares; del inglés go to, «ir hasta», «ir hacia», «ir a») es una instrucción que existe en diversos lenguajes de programación.

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

Informático teórico

Un científico de la computación es una persona con conocimientos adquiridos en ciencias de la computación, especializado en el estudio de los fundamentos teóricos de la información y la computación además de su aplicación.

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

Ingeniería de software

La Ingeniería de Software es una de las ramas de las ciencias de la computación que estudia la creación de software confiable y de calidad, basándose en métodos y técnicas de ingeniería, y brindando soporte operacional y de mantenimiento.

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

John McCarthy (científico)

John McCarthy (Boston, Massachusetts, 4 de septiembre de 1927-Stanford, California, 24 de octubre de 2011), 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 (científico) · 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 »

Música clásica

La música clásica (también llamada, en distintas áreas hispanohablantes, música académica, música de concierto, música docta, música culta, música erudita, entre otras denominaciones) es la corriente musical que se basa principalmente en la música producida o derivada de las tradiciones de la música litúrgica y, sobre todo, de la música secular de Occidente, teniendo como foco mayoritario Europa Occidental, y que posee un referente de transmisión fundamentalmente de tipo escrito, lo cual suele vincularse al carácter riguroso de su reproducción e interpretación.

¡Nuevo!!: Edsger Dijkstra y Música clásica · 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 »

Nuenen, Gerwen en Nederwetten

Nuenen, Gerwen en Nederwetten es un municipio de la provincia de Brabante Septentrional en los Países Bajos, formado por las parroquias de Nuenen, Gerwn y Nederwetten además de Opwetten y alguna aldea menor.

¡Nuevo!!: Edsger Dijkstra y Nuenen, Gerwen en Nederwetten · Ver más »

Open Shortest Path First

Open Shortest Path First (OSPF), "Abrir el camino más corto primero" en español, es un protocolo de red para encaminamiento jerárquico de pasarela interior o Interior Gateway Protocol (IGP), que usa el algoritmo Dijkstra, para calcular la ruta más corta entre dos nodos.

¡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), también conocida simplemente como 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 (en inglés, North Atlantic Treaty Organization, NATO; en francés, Organisation du traité de l'Atlantique nord, OTAN), también conocida como la Alianza Atlántica, es una alianza militar internacional que se rige por el Tratado del Atlántico Norte o Tratado de Washington, firmado el.

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

Países Bajos

Países Bajos (PP. BB.) es un país soberano ubicado al noroeste de la Europa continental y el país constituyente más grande de los cuatro que, junto con las islas de Aruba, Curazao y San Martín, forman el Reino de los Países Bajos.

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

Premio Dijkstra

El Premio Edsger W. Dijkstra es una distinción que se otorga a los autores de artículos destacados en 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 sea mínima.

¡Nuevo!!: Edsger Dijkstra y Problema del camino más corto · 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!!: Edsger Dijkstra y Programa informático · Ver más »

Programación

La programación es el proceso de crear un conjunto de instrucciones que le dicen a una computadora como realizar algún tipo de tarea.

¡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 de fallos.

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

Róterdam

Róterdam (en neerlandés, Rotterdam) 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 »

Regla 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 Regla 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) es el conjunto de programas de un sistema informático que gestiona los recursos del hardware y provee servicios a los programas de aplicación de software.

¡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: Universiteit Leiden) es la universidad más antigua 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 (en idioma inglés University of Texas at Austin), también conocida como UT Austin, UT o Texas, es una universidad pública de investigación en Austin, Texas, y la institución insignia del Sistema Universitario de Texas.

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

Universidad Técnica de Eindhoven

Universidad de Eindhoven o Universidad Tecnológica de Eindhoven, conocida como TU/e (en neerlandés: Technische Universiteit Eindhoven) es una universidad politécnica localizada en la ciudad de Eindhoven, en los Países Bajos.

¡Nuevo!!: Edsger Dijkstra y Universidad Técnica de Eindhoven · 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 »

Wolfgang Amadeus Mozart

Johannes Chrysostomus Wolfgangus Theophilus MozartPronunciado en alemán:.

¡Nuevo!!: Edsger Dijkstra y Wolfgang Amadeus Mozart · 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! »