Categoria:Teorie dell'informatica

• [+] Algebra di Boole (13 P)
• [+] Complessità computazionale (19 P)
• [+] Compressione dati (84 P)
• [+] Computazioni (3 P)
• [+] Contenuti aperti (13 P)

cont.

• [+] Crittologia (1 C)
• [+] Interazione uomo-computer (3 C, 67 P)
• [+] Linguaggi formali (50 P)
• [+] Matematica per l'informatica (16 P)
• [+] Teorie su base dati (1 C, 36 P)

cont.

• [+] Teoria dei codici (1 C, 19 P)
• [+] Teoria della computazione (41 P)

A

• [+] Algoritmi (11 C, 64 P)

P

• [+] Teorie della programmazione (2 C, 121 P)

R

• [+] Teorie di rete (1 C, 83 P)

• 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

• Elettromigrazione
• Emergenza
• Entropia (teoria dell'informazione)
• Estimated Time of Arrival

F

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

G

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

I

• Informatica teorica
• Informazione di Fisher
• Innovazione tecnologica (informatica)

I cont.

• Interaction design
• Interattività
• Interfaccia aptica
• Ipertesto

K

• KL-ONE
• Kineo CAM
• 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 RASP
• Macchina URM
• Macchina che termina sempre
• Macchina di Mealy
• Macchina di Moore
• Mappa concettuale
• Mappa dinamica
• Mappa mentale
• Memex
• Messaggio
• Metodo di Akra-Bazzi
• Model checking
• Modello black box
• Modello concettuale (informatica)
• Multitasking

N

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

O

• Ontologia (informatica)
• Operazione unaria
• Overburning

P

• Parametro (programmazione)

P cont.

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

V

• Virtualizzazione

W

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

Z

• Zero macchina