Categoria:Teorie dell'informatica

• [+] Contenuti aperti‎ (5 C, 25 P)
• [+] Teoria dell'informazione‎ (2 C, 42 P)
• [×] Algebra di Boole‎ (19 P)
• [+] Algoritmi‎ (11 C, 75 P)
• [×] Complessità computazionale‎ (27 P)
• [+] Compressione dati‎ (1 C, 116 P)

cont.

• [×] Computazioni‎ (2 P)
• [+] Crittografia‎ (13 C, 53 P)
• [+] Interazione uomo-computer‎ (4 C, 75 P)
• [×] Linguaggi formali‎ (56 P)
• [×] Matematica per l'informatica‎ (21 P)
• [+] Teorie su base dati‎ (1 C, 58 P)

cont.

• [×] Teoria dei codici‎ (28 P)
• [×] Teoria della computazione‎ (50 P)
• [+] Teorie della programmazione‎ (4 C, 132 P)
• [+] Teorie di rete‎ (1 C, 91 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)
• Automa a stati finiti

B

• Benchmark (informatica)

C

• 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)
• Estimated Time of Arrival

F

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

G

• Gang of four
• Grafica raster
• Grafica vettoriale
• Grammatica formale
• Granularità dell'informazione
• Grok

I

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

I cont.

• Ipervideo

K

• Kernel mode
• KL-ONE

L

• La Cattedrale e il Bazaar
• Legge di Amdahl
• Legge di Grosch
• Legge di Metcalfe
• Legge di Moore
• Legge di Wirth
• Libreria di runtime
• LIFO
• Link Analysis Ranking
• Lista dei tool per le reti di Petri
• 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 (informatica)
• Modello black box
• Modello concettuale (informatica)
• Monotasking
• Monoutente
• Multitasking

N

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

O

• Ontologia (informatica)
• Operazione unaria
• Overburning
• Overflow aritmetico

P

• Pi calculus

P cont.

• 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
• Protezione

R

• Rappresentazione della conoscenza
• Realtà aumentata
• Rete di Petri
• Rete semantica
• Rilevazione e correzione d'errore
• Robustezza
• 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
• Token (testo)
• Tolleranza ai guasti

U

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

V

• Virtualizzazione

W

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

Z

• Zero macchina