Categoria:Teorie dell'informatica

• [+] Contenuti aperti‎ (6 C, 28 P)
• [+] Teoria dell'informazione‎ (3 C, 39 P)
• [×] Algebra di Boole‎ (21 P)
• [+] Algoritmi‎ (12 C, 84 P)
• [×] Complessità computazionale‎ (27 P)
• [+] Compressione dei dati‎ (2 C, 54 P)

  cont.

• [×] Computazioni‎ (2 P)
• [+] Crittografia‎ (13 C, 55 P)
• [+] Interazione uomo-computer‎ (6 C, 76 P)
• [×] Linguaggi formali‎ (59 P)
• [+] Matematica per l'informatica‎ (1 C, 21 P)
• [+] Teorie su base dati‎ (1 C, 60 P)

  cont.

• [×] Teoria dei codici‎ (30 P)
• [×] Teoria della computazione‎ (47 P)
• [+] Teorie della programmazione‎ (4 C, 137 P)
• [+] Teorie di rete‎ (1 C, 92 P)

• 94-XX

A

• Abstract state machine
• Accessibilità (design)
• Acquisizione dati
• Agenti semantici
• Architettura di von Neumann
• As We May Think
• Aspen Movie Map
• Asserzione (informatica)
• Augmented Print
• Automa a stati finiti

B

• Benchmark (informatica)

C

• La cattedrale e il bazaar
• Compile-time
• Comportamento emergente
• Concorrenza (informatica)
• Costruttore universale di Von Neumann

D

• Data cleaning
• DataPortability
• Dependability
• Design Patterns
• Diagramma di stato (informatica)
• Digitalizzazione
• Docuverso

E

• Efficienza (software)
• Epsilon di macchina
• Estimated time of arrival

F

• FIFO
• Finestra (informatica)
• Frequenza dei fotogrammi
• Front-end e back-end

G

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

I

• Informatica teorica
• Informazione di Fisher
• Innovazione tecnologica (informatica)
• Interaction design
• Interattività
• Interfaccia aptica
• Invariante (informatica)
• Invariante di classe

I cont.

• Ipermedia
• Ipertesto
• Ipervideo

K

• Kernel mode
• KL-ONE

L

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

M

• Macchina che termina sempre
• Macchina di Mealy
• Macchina di Moore
• Macchina RASP
• Macchina URM
• Mappa concettuale
• Mappa dinamica
• Mappa mentale
• Mappa strutturata
• Matchmaking
• Memex
• Messaggio
• Metodo di Akra-Bazzi
• Minimalismo (informatica)
• Model checking
• Modello black box
• Modello concettuale (informatica)
• Monotasking
• Monoutente
• Multitasking

N

• Nodo (informatica)
• Notazione polacca inversa
• Notetaking
• Numero in virgola mobile
• Nuvola di etichette

O

• Ontologia (informatica)
• Operazione unaria
• Overburning

O cont.

• Overflow aritmetico

P

• Pi calculus
• Premio Knuth
• Premio Nevanlinna
• Principio del privilegio minimo
• Principio di località (informatica)
• Proattività (video)
• Problema dei generali bizantini
• Problema del commesso viaggiatore
• Problema di Giuseppe

R

• Rappresentazione della conoscenza
• Realtà aumentata
• Rete di Petri
• Rete semantica
• Rilevazione e correzione d'errore
• Robustezza (informatica)
• Run-time

S

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

T

• Teorema di Kraft-McMillan
• Teoria della complessità algoritmica
• Teoria formale
• Token (testo)
• Tolleranza ai guasti

U

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

V

• Virtualizzazione

W

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