Categoria:Teorie dell'informatica

• [+] Algebra di Boole
• [+] Algoritmi
• [+] Complessità computazionale
• [+] Compressione dati
• [+] Computazioni

cont.

• [+] Contenuti aperti
• [+] Crittologia
• [+] Interazione uomo-computer
• [+] Linguaggi formali
• [+] Matematica per l'informatica
• [+] Teoria dei segnali

cont.

• [+] Teorie su base dati
• [+] Teoria dei codici
• [+] Teoria della computazione
• [+] Teorie della programmazione
• [+] Teorie di rete

• 94-XX

A

• Abstract state machine
• Accessibilità (informatica)
• Acquisizione dati
• Agenti semantici
• Architettura di von Neumann
• As We May Think
• Automa a stati finiti

B

• Benchmark (informatica)

C

• Codice Gray
• Codice a blocchi
• Codice lineare
• Codifica delta
• Compile-time
• Concorrenza (informatica)

D

• Data cleaning
• DataPortability
• Dependability
• Design Patterns
• Digitalizzazione
• Distanza di Levenshtein
• Docuverso

E

• Elaborazione del linguaggio naturale
• Elettromigrazione
• Emergenza
• Entropia (teoria dell'informazione)
• Estimated Time of Arrival

F

• FIFO
• Finestra (informatica)
• Frame per secondo
• Front-end e back-end

G

• Gang of four
• Grafica raster
• Grafica vettoriale
• Grammatica formale

G cont.

• Grok

I

• Informatica teorica
• Innovazione tecnologica (informatica)
• Interaction design
• Interattività
• Interfaccia aptica
• Ipertesto

K

• KL-ONE

L

• LIFO
• La Cattedrale e il Bazaar
• Legge di Amdahl
• Legge di Grosch
• Legge di Metcalfe
• Legge di Moore
• Link Analysis Ranking
• Lista dei tools per le reti di Petri
• Logical block addressing

M

• Macchina URM
• Macchina che termina sempre
• Macchina di Mealy
• Macchina di Moore
• Mappa concettuale
• Mappa mentale
• Memex
• Messaggio
• Model checking
• Modello black box
• Multitasking

N

• Negentropia
• Nodo (informatica)
• Notazione polacca inversa
• Numero in virgola mobile

O

• Ontologia (informatica)
• Operazione unaria
• Overburning

P

• Parametro (programmazione)

P cont.

• Plesiochronous Digital Hierarchy
• Premio Nevanlinna
• Principio del privilegio minimo
• Principio di località (informatica)
• Problema del commesso viaggiatore
• Problema di copertura dei vertici
• Protezione

R

• Realtà aumentata
• Rete di Petri
• Rete semantica
• Rivelazione e correzione d'errore
• Robustezza
• Run-time

S

• Serializzazione
• Sistema multiagente
• Specifica
• Stato interno
• Una struttura di archivio, per l'insieme, per il cambiamento e per l'indeterminato

T

• Tag cloud
• Teorema di Kraft-McMillan
• Teoria dei codici
• Teoria dell'informazione
• Teoria della complessità algoritmica
• Token (informatica)
• Tolleranza ai guasti

U

• Una teoria matematica della comunicazione
• Usabilità
• User friendly

V

• Virtualizzazione

W

• WYSIWIS
• WYSIWYG
• WYSIWYM
• Web Ontology Language
• Wizard (informatica)

Z

• Zero macchina