l'accesso più veloce di browser!
25 relazioni: Alan Turing, Algoritmo, C (linguaggio), Erlang (linguaggio di programmazione), Foglio elettronico, Fortran, Haskell (linguaggio), HTML, Incapsulamento, Informatica, Java (linguaggio di programmazione), JUnit, Lisp, Posta elettronica, Programma (informatica), Programmazione a vincoli, Programmazione funzionale, Programmazione imperativa, Programmazione logica, Prolog, Sistema embedded, Structured Query Language, Turing equivalenza, XML, XSL Transformations.
Alan Turing
Il suo lavoro ebbe vasta influenza sullo sviluppo dell'informatica, grazie alla sua formalizzazione dei concetti di algoritmo e calcolo mediante la macchina di Turing, che a sua volta ha svolto un ruolo significativo nella creazione del moderno computer.
Nuovo!!: Programmazione dichiarativa e Alan Turing · Mostra di più »
Algoritmo
Un algoritmo è un procedimento che risolve un determinato problema attraverso un numero finito di passi elementari in un tempo ragionevole.
Nuovo!!: Programmazione dichiarativa e Algoritmo · Mostra di più »
C (linguaggio)
C è un linguaggio di programmazione imperativo di natura procedurale.
Nuovo!!: Programmazione dichiarativa e C (linguaggio) · Mostra di più »
Erlang (linguaggio di programmazione)
Erlang è un linguaggio di programmazione non orientato a contesti specifici ma in grado di lavorare con la programmazione concorrente; può gestire cioè più processi che interferiscono tra loro in esecuzione e su sistemi runtime, vale a dire senza due processi distinti per la compilazione e l'esecuzione ma con un unico processo di modifica ed esecuzione continua.
Nuovo!!: Programmazione dichiarativa e Erlang (linguaggio di programmazione) · Mostra di più »
Foglio elettronico
In informatica un foglio elettronico (chiamato anche foglio di calcolo, in lingua inglese spreadsheet) è un software di produttività personale.
Nuovo!!: Programmazione dichiarativa e Foglio elettronico · Mostra di più »
Fortran
Fortran (o FORTRAN) - acronimo di FORmula TRANslation (o TRANslator) ovvero "traduzione (o traduttore) di formule" - è uno dei primi linguaggi di programmazione, sviluppato a partire dal 1954 da un gruppo di lavoro guidato da John Backus.
Nuovo!!: Programmazione dichiarativa e Fortran · Mostra di più »
Haskell (linguaggio)
Haskell è un linguaggio di programmazione puramente funzionale general-purpose creato da un apposito comitato alla fine degli anni ottanta principalmente per analizzare le caratteristiche dei linguaggi.
Nuovo!!: Programmazione dichiarativa e Haskell (linguaggio) · Mostra di più »
HTML
In informatica l'HyperText Markup Language (HTML; traduzione letterale: linguaggio a marcatori per ipertesti) è un linguaggio di markup.
Nuovo!!: Programmazione dichiarativa e HTML · Mostra di più »
Incapsulamento
*Incapsulamento – concetto dell'informatica e della progettazione in genere.
Nuovo!!: Programmazione dichiarativa e Incapsulamento · Mostra di più »
Informatica
L'informatica è la scienza applicata che si occupa del trattamento dell'informazione mediante procedure automatizzate.
Nuovo!!: Programmazione dichiarativa e Informatica · Mostra di più »
Java (linguaggio di programmazione)
In informatica Java è un linguaggio di programmazione ad alto livello, orientato agli oggetti e a tipizzazione statica, specificatamente progettato per essere il più possibile indipendente dalla piattaforma di esecuzione.
Nuovo!!: Programmazione dichiarativa e Java (linguaggio di programmazione) · Mostra di più »
JUnit
In informatica JUnit è un framework di unit testing per il linguaggio di programmazione Java.
Nuovo!!: Programmazione dichiarativa e JUnit · Mostra di più »
Lisp
Lisp (List Processor) è una famiglia di linguaggi di programmazione con implementazioni sia compilate sia interpretate, associata nel passato ai progetti di intelligenza artificiale.
Nuovo!!: Programmazione dichiarativa e Lisp · Mostra di più »
Posta elettronica
La posta elettronica (o e-mail, dall'inglese electronic mail) è un servizio Internet grazie al quale ogni utente abilitato può inviare e ricevere dei messaggi utilizzando un computer o altro dispositivo elettronico (es. palmare, smartphone, tablet, ecc.) connesso in rete attraverso un proprio account di posta registrato presso un provider del servizio.
Nuovo!!: Programmazione dichiarativa e Posta elettronica · Mostra di più »
Programma (informatica)
Un programma, in informatica,è un software che può essere eseguito da un elaboratore per ricevere in input determinati dati di un problema automatizzabile e restituirne in output le (eventuali) soluzioni.
Nuovo!!: Programmazione dichiarativa e Programma (informatica) · Mostra di più »
Programmazione a vincoli
In informatica la programmazione a vincoli, detta anche programmazione con vincoli o constraint è un paradigma di programmazione dove le relazioni fra variabili possono essere dichiarate in forma di vincoli.
Nuovo!!: Programmazione dichiarativa e Programmazione a vincoli · Mostra di più »
Programmazione funzionale
In informatica la programmazione funzionale è un paradigma di programmazione in cui il flusso di esecuzione del programma assume la forma di una serie di valutazioni di funzioni matematiche.
Nuovo!!: Programmazione dichiarativa e Programmazione funzionale · Mostra di più »
Programmazione imperativa
In informatica, la programmazione imperativa è un paradigma di programmazione secondo cui un programma viene inteso come un insieme di istruzioni (dette anche direttive o comandi), ciascuna delle quali può essere pensata come un "ordine" che viene impartito alla macchina virtuale del linguaggio di programmazione utilizzato.
Nuovo!!: Programmazione dichiarativa e Programmazione imperativa · Mostra di più »
Programmazione logica
In informatica la programmazione logica è un paradigma di programmazione che adotta la logica del primo ordine sia per rappresentare sia per elaborare l'informazione.
Nuovo!!: Programmazione dichiarativa e Programmazione logica · Mostra di più »
Prolog
Il Prolog (contrazione del francese PROgrammation en LOGique) è un linguaggio di programmazione che adotta il paradigma di programmazione logica.
Nuovo!!: Programmazione dichiarativa e Prolog · Mostra di più »
Sistema embedded
Un sistema embedded (generalmente tradotto in italiano con sistema integrato, letteralmente immerso o incorporato), nell'informatica e nell'elettronica, identifica genericamente tutti quei sistemi elettronici di elaborazione digitale a microprocessore progettati appositamente per una determinata applicazione (special purpose) ovvero non riprogrammabili dall'utente per altri scopi, spesso con una piattaforma hardware ad hoc, integrati nel sistema che controllano ed in grado di gestirne tutte o parte delle funzionalità richieste.
Nuovo!!: Programmazione dichiarativa e Sistema embedded · Mostra di più »
Structured Query Language
In informatica SQL (Structured Query Language) è un linguaggio standardizzato per database basati sul modello relazionale (RDBMS) progettato per.
Nuovo!!: Programmazione dichiarativa e Structured Query Language · Mostra di più »
Turing equivalenza
La Turing equivalenza è la proprietà dei modelli di calcolo che hanno lo stesso potere computazionale di una macchina di Turing universale (MdTu).
Nuovo!!: Programmazione dichiarativa e Turing equivalenza · Mostra di più »
XML
In informatica XML (sigla di eXtensible Markup Language) è un metalinguaggio per la definizione di linguaggi di markup, ovvero un linguaggio marcatore basato su un meccanismo sintattico che consente di definire e controllare il significato degli elementi contenuti in un documento o in un testo.
Nuovo!!: Programmazione dichiarativa e XML · Mostra di più »
XSL Transformations
In informatica l'XSLT (eXtensible Stylesheet Language Transformations) è il linguaggio di trasformazione dell'XML, diventato uno standard web con una direttiva (Recommendation) W3C del 16 novembre 1999.
Nuovo!!: Programmazione dichiarativa e XSL Transformations · Mostra di più »
