l'accesso più veloce di browser!
38 relazioni: ALGOL, Algoritmo di Dijkstra, Amsterdam, Anni 1970, Communications of the ACM, Compilatore, Considered harmful, Dimostrazione matematica, Ginnasio, GOTO, Iterazione, Ludwig van Beethoven, Nature, Niklaus Wirth, Organizzazione delle Nazioni Unite, Paesi Bassi, Penna stilografica, Premio Turing, Problema dei filosofi a cena, Programmazione (informatica), Rotterdam, Semaforo (informatica), Sistema operativo, Struttura di controllo, THE (sistema operativo), Università del Texas ad Austin, Università di Leida, Università tecnica di Eindhoven, Verifica formale, Wolfgang Amadeus Mozart, 1930, 1948, 1951, 1956, 1968, 1972, 1999, 2000.
ALGOL
ALGOL (abbreviazione di ALGOrithmic Language, ossia linguaggio algoritmico) è un linguaggio di programmazione sviluppato nel 1958.
Nuovo!!: Edsger Dijkstra e ALGOL · Mostra di più »
Algoritmo di Dijkstra
L'algoritmo di Dijkstra è un algoritmo utilizzato per cercare i cammini minimi in un grafo con o senza ordinamento, ciclico e con pesi non negativi sugli archi.
Nuovo!!: Edsger Dijkstra e Algoritmo di Dijkstra · Mostra di più »
Amsterdam
Amsterdam (pron.; in olandese: /ˌɑmstər'dɑm/) è la capitale e la maggiore città dei Paesi Bassi, nella provincia dell'Olanda Settentrionale.
Nuovo!!: Edsger Dijkstra e Amsterdam · Mostra di più »
Anni 1970
Gli anni '70, comunemente chiamati anni settanta, sono il decennio che comprende gli anni dal 1970 al 1979 inclusi.
Nuovo!!: Edsger Dijkstra e Anni 1970 · Mostra di più »
Communications of the ACM
Communications of the ACM (CACM) è una delle maggiori riviste mensili dell'Association for Computing Machinery.
Nuovo!!: Edsger Dijkstra e Communications of the ACM · Mostra di più »
Compilatore
Un compilatore è un programma informatico che traduce una serie di istruzioni scritte in un determinato linguaggio di programmazione (codice sorgente) in istruzioni di un altro linguaggio (codice oggetto).
Nuovo!!: Edsger Dijkstra e Compilatore · Mostra di più »
Considered harmful
In informatica e discipline correlate, considered harmful è una frase utilizzata popolarmente nei titoli di diatribe e altri saggi critici (ci sono almeno 65 lavori di questo tipo).
Nuovo!!: Edsger Dijkstra e Considered harmful · Mostra di più »
Dimostrazione matematica
Una dimostrazione matematica è un processo di deduzione che, partendo da premesse assunte come valide (ipotesi) o da proposizioni dimostrate in virtù di queste premesse, determina la necessaria validità di una nuova proposizione in virtù della (sola) coerenza formale del ragionamento.
Nuovo!!: Edsger Dijkstra e Dimostrazione matematica · Mostra di più »
Ginnasio
Ginnasio è una voce dotta che deriva dal latino gymnasium, a sua volta derivante dal greco antico γυμνάσιον; da γυμνός "nudo".
Nuovo!!: Edsger Dijkstra e Ginnasio · Mostra di più »
GOTO
In informatica, GO TO o GOTO (letteralmente "vai a") è un'istruzione di controllo del flusso di esecuzione.
Nuovo!!: Edsger Dijkstra e GOTO · Mostra di più »
Iterazione
L'iterazione è l'atto di ripetere un processo con l'obiettivo di avvicinarsi a un risultato desiderato.
Nuovo!!: Edsger Dijkstra e Iterazione · Mostra di più »
Ludwig van Beethoven
Figura cruciale della musica colta occidentale, Beethoven fu l'ultimo rappresentante di rilievo del classicismo viennese ed è considerato uno dei più grandi e influenti compositori di tutti i tempi.
Nuovo!!: Edsger Dijkstra e Ludwig van Beethoven · Mostra di più »
Nature
Nature è una delle più antiche ed importanti riviste scientifiche esistenti, forse in assoluto quella considerata di maggior prestigio nell'ambito della comunità scientifica internazionale (insieme a Science).
Nuovo!!: Edsger Dijkstra e Nature · Mostra di più »
Niklaus Wirth
Niklaus Wirth è l'inventore dei linguaggi di programmazione Pascal, Modula-2, e Oberon.
Nuovo!!: Edsger Dijkstra e Niklaus Wirth · Mostra di più »
Organizzazione delle Nazioni Unite
L'Organizzazione delle Nazioni Unite, in sigla ONU o UN (dall'inglese), spesso abbreviata in Nazioni Unite, è un'organizzazione intergovernativa a carattere internazionale.
Nuovo!!: Edsger Dijkstra e Organizzazione delle Nazioni Unite · Mostra di più »
Paesi Bassi
I Paesi Bassi (in lingua olandese Nederland /'ne:dərlɑnt/), spesso impropriamente indicati come Olanda, sono una delle quattro nazioni costitutive del Regno dei Paesi Bassi; si trovano principalmente in Europa ma comprendono anche i cosiddetti Paesi Bassi caraibici (isole di Bonaire, Saba e Sint Eustatius, che hanno lo status di municipalità speciali).
Nuovo!!: Edsger Dijkstra e Paesi Bassi · Mostra di più »
Penna stilografica
Una penna stilografica è una penna utilizzata per la scrittura, composta da una cannetta piena d'inchiostro e da un pennino.
Nuovo!!: Edsger Dijkstra e Penna stilografica · Mostra di più »
Premio Turing
L'A.M. Turing Award (in italiano, premio Turing) è un premio, assegnato annualmente dalla Association for Computing Machinery (ACM), ad una personalità che eccelle per i contributi di natura tecnica offerti alla comunità informatica, in particolare per progressi che siano duraturi e di elevata importanza tecnica.
Nuovo!!: Edsger Dijkstra e Premio Turing · Mostra di più »
Problema dei filosofi a cena
Il problema dei filosofi a cena, altrimenti noto come problema dei cinque filosofi, è un esempio che illustra un comune problema di controllo della concorrenza in informatica.
Nuovo!!: Edsger Dijkstra e Problema dei filosofi a cena · Mostra di più »
Programmazione (informatica)
La programmazione, in informatica, è l'insieme delle attività e tecniche che una o più persone specializzate, programmatori o sviluppatori (developer), svolgono per creare un programma, ossia un software da far eseguire ad un computer, scrivendo il relativo codice sorgente in un determinato linguaggio di programmazione.
Nuovo!!: Edsger Dijkstra e Programmazione (informatica) · Mostra di più »
Rotterdam
Rotterdam (AFI: o; in neerlandese) è la seconda città dei Paesi Bassi dopo la capitale Amsterdam, situata nella provincia dell'Olanda Meridionale.
Nuovo!!: Edsger Dijkstra e Rotterdam · Mostra di più »
Semaforo (informatica)
In informatica, un semaforo è un tipo di dato astratto (Abstract Data Type) gestito da un sistema operativo multitasking per sincronizzare l'accesso a risorse condivise tra task (cioè processi o thread).
Nuovo!!: Edsger Dijkstra e Semaforo (informatica) · Mostra di più »
Sistema operativo
Un sistema operativo (abbreviato in SO), in informatica, è un software di sistema che gestisce le risorse hardware e software della macchina, fornendo servizi di base ai software applicativi (programmi) installati.
Nuovo!!: Edsger Dijkstra e Sistema operativo · Mostra di più »
Struttura di controllo
In tutti i paradigmi di programmazione imperativa, le strutture di controllo sono costrutti sintattici di un linguaggio di programmazione la cui semantica afferisce al controllo del flusso di esecuzione di un programma, ovvero servono a specificare se, quando, in quale ordine e quante volte devono essere eseguite le istruzioni che compongono il codice sorgente in base alle specifiche di progetto del software da realizzare.
Nuovo!!: Edsger Dijkstra e Struttura di controllo · Mostra di più »
THE (sistema operativo)
Il THE fu il primo sistema operativo progettato a strati e venne realizzato alla Technische Hogeschool Eindhoven nei Paesi Bassi da Edsger Dijkstra e dai suoi studenti e pubblicato nel 1968.
Nuovo!!: Edsger Dijkstra e THE (sistema operativo) · Mostra di più »
Università del Texas ad Austin
L'University of Texas at Austin (nota anche come Austin UT o UT) è un'università pubblica situata ad Austin.
Nuovo!!: Edsger Dijkstra e Università del Texas ad Austin · Mostra di più »
Università di Leida
L'Università di Leida (in olandese Universiteit Leiden, Academia Lugduno-Batava in latino) è la più antica università dei Paesi Bassi, situata nella città di Leida.
Nuovo!!: Edsger Dijkstra e Università di Leida · Mostra di più »
Università tecnica di Eindhoven
La Eindhoven University of Technology (Olandese: Technische Universiteit Eindhoven, abbr. TU/e) è un istituto universitario a carattere scientifico-tecnologico con sede nella città di Eindhoven (Brabante Settentrionale, Paesi Bassi).
Nuovo!!: Edsger Dijkstra e Università tecnica di Eindhoven · Mostra di più »
Verifica formale
Nell'ambito dei sistemi software e hardware la Verifica formale è l'azione di provare o smentire matematicamente la correttezza degli algoritmi di un sistema controllando che rispettino specifiche formali o proprietà, usando metodi formali matematici.
Nuovo!!: Edsger Dijkstra e Verifica formale · Mostra di più »
Wolfgang Amadeus Mozart
Mozart è annoverato tra i più grandi geni della storia della musica, dotato di raro e precoce talento.
Nuovo!!: Edsger Dijkstra e Wolfgang Amadeus Mozart · Mostra di più »
1930
Nessuna descrizione.
Nuovo!!: Edsger Dijkstra e 1930 · Mostra di più »
1948
Nessuna descrizione.
Nuovo!!: Edsger Dijkstra e 1948 · Mostra di più »
1951
Nessuna descrizione.
Nuovo!!: Edsger Dijkstra e 1951 · Mostra di più »
1956
Nessuna descrizione.
Nuovo!!: Edsger Dijkstra e 1956 · Mostra di più »
1968
Nessuna descrizione.
Nuovo!!: Edsger Dijkstra e 1968 · Mostra di più »
1972
Nessuna descrizione.
Nuovo!!: Edsger Dijkstra e 1972 · Mostra di più »
1999
Nessuna descrizione.
Nuovo!!: Edsger Dijkstra e 1999 · Mostra di più »
2000
È stato l'ultimo anno del XX secolo e del II millennio, iniziato di sabato secondo il calendario Gregoriano.
Nuovo!!: Edsger Dijkstra e 2000 · Mostra di più »
Riorienta qui:
Dijkstra, E. W. Dijkstra, Edsger W. Dijkstra, Edsger Wybe Dijkstra.
