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.