Categoria:Teorie dell'informatica

• [+] Algebra di Boole (0)
• [+] Algoritmi (9)
• [+] Complessità computazionale (0)
• [+] Compressione dati (0)
• [+] Computazioni (0)

cont.

• [+] Contenuti aperti (0)
• [+] Crittologia (1)
• [+] Interazione uomo-computer (2)
• [+] Linguaggi formali (0)
• [+] Matematica per l'informatica (0)
• [+] Teorie su base dati (1)

cont.

• [+] Teoria dei codici (1)
• [+] Teoria della computazione (0)
• [+] Teorie della programmazione (2)
• [+] Teorie di rete (0)

• 94-XX

A

• Abstract state machine
• Accessibilità (informatica)
• Acquisizione dati
• Agenti semantici
• Architettura di von Neumann
• Arithmetic overflow
• Arithmetic underflow
• 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
• Grok

I

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

K

• KL-ONE
• Greg Kuperberg

L

• LIFO
• La Cattedrale e il Bazaar
• Legge di Amdahl
• Legge di Grosch
• Legge di Metcalfe
• Legge di Moore
• Legge di Wirth
• 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)
• Plesiochronous Digital Hierarchy
• Premio Nevanlinna

P cont.

• Preservazione digitale
• Principio del privilegio minimo
• Principio di località (informatica)
• Proattività (video)
• Problema dei generali bizantini
• Problema del commesso viaggiatore
• Problema di Giuseppe
• 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