logica combinatoria
logica combinatoria locuzione utilizzata in due diverse accezioni:
• per indicare un modello di calcolo logico introdotto nel 1920 dal matematico ucraino M.I. Schönfinkel (combinatory [...] ad altri modelli di computazione, come per esempio il → lambda-calcolo, e trova notevoli applicazioni in informaticateorica essendo la base di alcuni linguaggi di programmazione funzionale. Come il lambda-calcolo, anche la logica combinatoria ...
Leggi Tutto
sequenti, calcolo dei
sequenti, calcolo dei calcolo logico introdotto da G. Gentzen negli anni Trenta del xx secolo i cui elementi sono i sequenti, vale a dire espressioni del tipo Γ ⊢ Δ in cui Γ e Δ [...] del calcolo dei sequenti paragonabili a procedure algoritmiche e stabilisce un legame fra la teoria della dimostrazione e l’informaticateorica. Tale legame è sancito dall’isomorfismo di → Curry-Howard.
Il calcolo dei sequenti è stato applicato non ...
Leggi Tutto
algebra combinatoria
algebra combinatoria o combinatoria algebrica, settore di studi che utilizza metodi combinatori, cioè di ordinamento e conteggio, per lo studio di problemi algebrici o, viceversa, [...] , se cioè sia possibile accettare come dimostrazione un procedimento non controllabile dall’uomo.
Nella direzione opposta, anche l’informaticateorica è stata foriera di nuovi problemi per l’algebra combinatoria. Per esempio, J. Paris e L. Harrington ...
Leggi Tutto
Macchina di Turing
Mauro Cappelli
Modello di agente di calcolo adatto a simulare la logica di qualsiasi algoritmo computazionale. La macchina formale fu proposta nel 1936 dal logico e matematico britannico [...] se per un problema non esiste una macchina di Turing in grado di risolverlo allora il problema si dice incomputabile o irrisolvibile.
→ Complessità algoritmica; Informaticateorica; Intelligenza artificiale; Sistemi chimico-fisici: autorganizzazione ...
Leggi Tutto
motore di ricerca
Mauro Cappelli
Sistema automatico (web search engine) contenente un indice ricercabile di pagine web e dati di varia natura che fornisce all’utente una lista dei contenuti disponibili [...] , Magelan, Excite, Altavista, Netscape e Yahoo!. Intorno al 2000 compare Google, che ha rivoluzionato il mondo dei motori di ricerca grazie al suo innovativo algoritmo iterativo chiamato PageRank.
→ Computer. Calcolo parallelo; Informaticateorica ...
Leggi Tutto
RAM
Mauro Cappelli
Tipo di memoria in cui è possibile scrivere e leggere in modo casuale, ovvero senza rispettare una sequenza ordinata di accesso. Le RAM (Random access memory) appartengono alla famiglia [...] tipicamente carica dalla RAM tutte le istruzioni e i dati non presenti sulla sua cache. La velocità di accesso del processore alla RAM rappresenta pertanto un parametro fondamentale per valutare le prestazioni di un calcolatore.
→ Informaticateorica ...
Leggi Tutto
linguaggio Java
Mauro Cappelli
Linguaggio di programmazione orientato agli oggetti sviluppato nel 1995 alla Sun Microsystems sulla base del linguaggio C++. Nei primi anni Novanta la Sun incaricò un [...] Sun Microsystems, è stato rilasciato nel 2006 sotto licenza GPL. Il rilascio sotto licenza GPL anche delle librerie proprietarie ha reso il linguaggio liberamente implementabile. Oggi tutti i browser sono compatibili con Java.
→ Informaticateorica ...
Leggi Tutto
percettrone
Mauro Cappelli
Modello base di rete neurale proposto nel 1958 dallo psicologo americano Frank Rosenblatt. Sebbene sia oggi considerato datato, rappresenta tuttavia il modello di partenza [...] di base (AND, OR, NOT), mentre una rete con più strati potrebbe rappresentare qualsiasi funzione booleana. Un percettrone a singolo strato può invece rappresentare solo determinate funzioni booleane (AND e OR, ma non XOR).
→ Informaticateorica ...
Leggi Tutto
rete di Petri
Mauro Cappelli
Strumento teorico per la modellazione di processi in un sistema distribuito a stati discreti. Proposte nel 1962 da Carl Adam Petri, le reti di Petri rappresentano una teoria [...] di seguire tramite i token anche la dinamica. In ambito applicativo le reti di Petri sono molto impiegate nell’analisi dati, nell’intelligenza artificiale e nella gestione dei processi.
→ Informaticateorica; Sistemi, scienza e ingegneria dei ...
Leggi Tutto
sistemi real-time
Mauro Cappelli
Sistema operativo capace di reagire a eventi esterni (come un interrupt) con un tempo di risposta molto breve. Più precisamente, in un sistema real-time il tempo massimo [...] e dotati di un numero limitato di funzioni (per es. telefoni cellulari, riproduttori musicali, controllori domestici e così via). Alcuni RTOS presenti attualmente sul mercato sono RTLinux, QNX, VxWorks, OS-9, Symbian OS.
→ Informaticateorica ...
Leggi Tutto
complessita
complessità s. f. [der. di complesso1]. – 1. L’esser complesso (nelle varie accezioni dei sign. 1 e 2 di quest’agg.): c. di una questione, di un ragionamento, di una costruzione teorica; c. di un atto giuridico; esaminare una situazione...
tecnico
tècnico agg. e s. m. (f. -a) [dal lat. technĭcus, gr. τεχνικός, der. di τέχνη «arte»] (pl. m. -ci). – 1. agg. a. Relativo alle applicazioni e realizzazioni pratiche di un’arte, di una scienza o di una disciplina, di un’attività: nozioni...