l'accesso più veloce di browser!
24 relazioni: Algebra, Algoritmo, Apprendimento automatico, Association for Computing Machinery, Automa (informatica), Bioinformatica, Calcolo distribuito, Computazione, Crittografia, Donald Knuth, Geometria computazionale, Informatica, Informatica quantistica, Logica matematica, Matematica discreta, Ricercatore, Semantica (informatica), Struttura dati, Teoria dei numeri, Teoria dell'informazione, Teoria della calcolabilità, Teoria della complessità computazionale, Teoria della computazione, Very large scale integration.
Algebra
L'algebra è una branca della matematica che tratta lo studio di strutture algebriche, relazioni e quantità.
Nuovo!!: Informatica teorica e Algebra · 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!!: Informatica teorica e Algoritmo · Mostra di più »
Apprendimento automatico
L’apprendimento automatico, nota anche come machine learning, rappresenta un insieme di metodi sviluppati a partire dagli ultimi decenni del 1900 in varie comunità scientifiche con diversi nomi come: statistica computazionale, riconoscimento di pattern, reti neurali artificiali, filtraggio adattivo, teoria dei sistemi dinamici, elaborazione delle immagini, data mining, algoritmi adattivi, ecc; che utilizza metodi statistici per migliorare progressivamente la performance di un algoritmo nell'identificare pattern nei dati.
Nuovo!!: Informatica teorica e Apprendimento automatico · Mostra di più »
Association for Computing Machinery
La Association for Computing Machinery (ACM) è un'associazione internazionale accademica e senza scopo di lucro dedicata a scienziati ed educatori dell'informatica ACM,.
Nuovo!!: Informatica teorica e Association for Computing Machinery · Mostra di più »
Automa (informatica)
In teoria dei sistemi dinamici, un automa è un sistema dinamico discreto (nella scansione del tempo e nella descrizione del suo stato) e invariante (il sistema si comporta alla stessa maniera indipendentemente dall'istante di tempo in cui agisce).
Nuovo!!: Informatica teorica e Automa (informatica) · Mostra di più »
Bioinformatica
La bioinformatica è una disciplina scientifica dedicata alla risoluzione di problemi biologici a livello molecolare con metodi informatici.
Nuovo!!: Informatica teorica e Bioinformatica · Mostra di più »
Calcolo distribuito
Il calcolo distribuito è un campo dell'informatica che studia i sistemi distribuiti.
Nuovo!!: Informatica teorica e Calcolo distribuito · Mostra di più »
Computazione
Il termine computazione deriva dal latino computare che significa sia "contare" sia "tagliare" e ha diversi significati nella lingua italiana.
Nuovo!!: Informatica teorica e Computazione · Mostra di più »
Crittografia
La crittografia (dall'unione di due parole greche: κρυπτóς che significa "nascosto", e γραφία che significa "scrittura") è la branca della crittologia che tratta delle "scritture nascoste", ovvero dei metodi per rendere un messaggio "offuscato" in modo da non essere comprensibile/intelligibile a persone non autorizzate a leggerlo.
Nuovo!!: Informatica teorica e Crittografia · Mostra di più »
Donald Knuth
Rinomato studioso di matematica (soprattutto di conoscenze che ora sono confluite nell'informatica), è professore emerito presso la Stanford University.
Nuovo!!: Informatica teorica e Donald Knuth · Mostra di più »
Geometria computazionale
La geometria computazionale è la branca dell'Informatica che studia le strutture dati e gli algoritmi efficienti per la soluzione di problemi di natura geometrica e la loro implementazione al calcolatore.
Nuovo!!: Informatica teorica e Geometria computazionale · Mostra di più »
Informatica
L'informatica è la scienza applicata che si occupa del trattamento dell'informazione mediante procedure automatizzate.
Nuovo!!: Informatica teorica e Informatica · Mostra di più »
Informatica quantistica
L'informatica quantistica è l'insieme delle tecniche di calcolo e del loro studio che utilizzano i quanti per memorizzare ed elaborare le informazioni.
Nuovo!!: Informatica teorica e Informatica quantistica · Mostra di più »
Logica matematica
La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica.
Nuovo!!: Informatica teorica e Logica matematica · Mostra di più »
Matematica discreta
La matematica discreta, alle volte chiamata matematica finita (che è propriamente solo una sua parte), è lo studio di strutture matematiche che sono fondamentalmente discrete, nel senso che non supportano o richiedono il concetto di continuità.
Nuovo!!: Informatica teorica e Matematica discreta · Mostra di più »
Ricercatore
Con il termine ricercatore si indica genericamente un lavoratore che svolge attività di ricerca scientifica e/o tecnologica in maniera autonoma oppure in svariati possibili ambiti all'interno di centri di ricerca.
Nuovo!!: Informatica teorica e Ricercatore · Mostra di più »
Semantica (informatica)
Nel campo dell'informatica teorica, il termine semantica formale riguarda i modelli matematici che definiscono formalmente i linguaggi di programmazione o, più generalmente, la computazione stessa.
Nuovo!!: Informatica teorica e Semantica (informatica) · Mostra di più »
Struttura dati
In informatica una struttura dati è un'entità usata per organizzare un insieme di dati all'interno della memoria del computer, ed eventualmente per memorizzarli in una memoria di massa.
Nuovo!!: Informatica teorica e Struttura dati · Mostra di più »
Teoria dei numeri
Tradizionalmente, la teoria dei numeri è quel ramo della matematica pura che si occupa delle proprietà dei numeri interi e contiene molti problemi aperti che possono essere facilmente compresi anche da chi non è un matematico.
Nuovo!!: Informatica teorica e Teoria dei numeri · Mostra di più »
Teoria dell'informazione
La teoria dell'informazione è una disciplina dell'informatica e delle telecomunicazioni il cui oggetto è l'analisi e l'elaborazione su base matematica dei fenomeni relativi alla misurazione e alla trasmissione di informazioni su un canale fisico di comunicazione.
Nuovo!!: Informatica teorica e Teoria dell'informazione · Mostra di più »
Teoria della calcolabilità
La teoria della calcolabilità, della computabilità, e della ricorsione cerca di comprendere quali funzioni possono essere calcolate tramite un procedimento automatico.
Nuovo!!: Informatica teorica e Teoria della calcolabilità · Mostra di più »
Teoria della complessità computazionale
In informatica, la teoria della complessità computazionale è una branca della teoria della computabilità che studia le risorse minime necessarie (principalmente tempo di calcolo e memoria) per la risoluzione di un problema.
Nuovo!!: Informatica teorica e Teoria della complessità computazionale · Mostra di più »
Teoria della computazione
La teoria della computazione è quella branca della matematica che si preoccupa di definire quali proprietà possiede uno specifico linguaggio formale.
Nuovo!!: Informatica teorica e Teoria della computazione · Mostra di più »
Very large scale integration
In elettronica digitale Very large scale integration (VLSI) è una denominazione generica che indica una elevata integrazione di transistor all'interno di un singolo chip.
Nuovo!!: Informatica teorica e Very large scale integration · Mostra di più »
