Categoria:Teorie dell'informatica

• Contenuti aperti‎ (8 C, 26 P)
• Algebra di Boole‎ (3 C, 23 P)
• Compressione dei dati‎ (2 C, 60 P)
• Interazione uomo-computer‎ (10 C, 92 P)
• Teoria dei codici‎ (1 C, 34 P)
• Teoria della computazione‎ (6 C, 23 P)
• Teorie di rete‎ (6 C, 84 P)

B

• Teoria delle basi di dati‎ (73 P)

C

• Crittografia‎ (15 C, 94 P)

G

• Teoria dei grafi‎ (13 C, 78 P)

L

• Logica nell'informatica‎ (4 C, 23 P)

M

• Matematica per l'informatica‎ (5 C, 11 P)
• Metodi formali‎ (2 C, 22 P)

R

• Rappresentazione della conoscenza‎ (4 C, 45 P)

一

• Lavoro sporco - teorie dell'informatica‎ (2 C)

• 94-XX
• Informatica teorica

A

• Accessibilità (design)
• Acquisizione dati
• Agenti semantici
• Analisi del contenuto video
• Appunto
• Architettura di von Neumann
• As We May Think
• Aspen Movie Map

B

• Benchmark (informatica)
• Bilanciamento del carico

C

• La cattedrale e il bazaar
• Compile-time
• Comportamento emergente
• Connettività
• Control plane
• Costruttore universale di von Neumann

D

• Data cleaning
• DataPortability
• Design Patterns
• Diagramma di Sankey
• Digitalizzazione
• Disuguaglianza di Kraft-McMillan
• Docuverso
• Domini gerarchici di protezione

E

• Efficienza (informatica)
• Epsilon di macchina
• Estimated time of arrival
• European Association for Theoretical Computer Science

F

• Finestra (informatica)
• Flash file system
• Frequenza dei fotogrammi
• Front-end e back-end

G

• Gang of Four (scrittori)
• Grafica raster
• Grafica vettoriale
• Grok

I

• Idempotenza
• Informazione di Fisher
• Innovazione tecnologica (informatica)
• Interaction design
• Interattività
• Interfaccia aptica
• Interpretazione astratta
• Invariante di classe
• Ipermedia
• Ipervideo

K

• Kernel mode

L

• Legge di Amdahl
• Legge di Grosch
• Legge di Metcalfe
• Legge di Moore
• Legge di Reed
• Legge di Wirth
• Libreria di runtime
• Link Analysis Ranking
• Logical block addressing

M

• Macchina RASP
• Mappa concettuale
• Mappa dinamica
• Mappa mentale
• Memex
• Messaggio
• Metodo di Akra-Bazzi
• Minimalismo (informatica)
• Modello black box
• Modello Roofline
• Monotasking
• Monoutente

N

• Nodo (informatica)
• Notazione polacca inversa
• Nuvola di etichette

O

• Operazione unaria
• Overflow aritmetico

P

• Pi calcolo
• Premio Nevanlinna
• Principio del privilegio minimo
• Principio di località (informatica)
• Problema dei generali bizantini
• Problema del commesso viaggiatore
• Protezione (informatica)

R

• Realtà aumentata
• Rete semantica
• Rilevazione e correzione d'errore
• Robustezza (informatica)
• Run-time

S

• Serializzazione
• Shift
• Sincronizzazione orizzontale
• Sincronizzazione verticale
• Sindrome di von Neumann
• Sistema multiagente
• Sistema numerico binario
• Sistema numerico ternario
• Specifica (ingegneria del software)
• Una struttura di archivio per l'insieme, per il cambiamento e per l'indeterminato

T

• Tecnologia dell'informazione
• Teoria dei linguaggi di programmazione
• Teoria della complessità algoritmica
• Token (testo)
• Tolleranza ai guasti

U

• Una teoria matematica della comunicazione
• Underflow aritmetico
• Usabilità
• Usabilità del web
• User experience
• User mode

V

• Virtualizzazione
• Virtualizzazione a livello di sistema operativo

W

• Web research
• Wizard (informatica)
• WYSIWIS
• WYSIWYG
• WYSIWYM