Categoria:Informàtica teòrica

A

• Algorismes (7 cat., 175 p.)

C

• Ciència de la informació quàntica (1 cat., 25 p.)
• Complexitat computacional (3 cat., 52 p.)
• Computabilitat (4 cat., 38 p.)
• Criptografia (6 cat., 192 p.)

I

• Intel·ligència artificial (17 cat., 271 p.)

L

• Lògica computacional (46 p.)

P

• Portes lògiques (12 p.)

S

• Sistemes de representació numèrica (1 cat., 19 p.)

• Taxonomia de Flynn

1

• 16 bits

3

• 32 bits

4

• 4 bits

6

• 64 bits

8

• 8 bits

A

• Accés aleatori
• Accés seqüencial

B

• Base de Gröbner
• Bit de paritat

C

• Caràcter (tipus de dada)
• Ciències de la computació
• Codi de Hamming (7,4)
• Codi Hamming
• Codi perfecte
• Complexitat de Kolmogórov
• Computació ubiqua
• Conceptes de Neumann
• Criteri de Nyquist

D

• Delegació (programació)
• Detector i corrector d'errors
• Distància de Hamming
• Doble redundància modular

E

• Entrada (informàtica)
• Entropia creuada
• Enumeració (llista)

F

• Format de coma flotant de precisió simple
• Funció de Sudan

I

• Infonomia
• Informàtica teòrica
• Informàtic teòric
• Injecció de dependències

L

• La Quadrature du Net
• Lema del bombament
• Llei d'Amdahl
• Llei de Moore
• Lògica binària

M

• MIMD
• MISD
• Gordon Moore

N

• NaN
• Network Coding
• Notació polonesa
• Notació polonesa inversa
• NURBS

O

• Operació mòdul

P

• Pl@ntNet
• Premi Gödel
• Premi Knuth
• Principi d'inversió de dependències
• Principi de segregació d'interfícies
• Principi de substitució de Liskov
• Problema del viatjant de comerç
• Programari incrustat

R

• Redundància informàtica
• Reescriptura de grafs
• Referència circular

S

• Seqüència pseudoaleatòria
• SIMD
• SISD
• Sistema abstracte de reescriptura
• SPMD

T

• Temps d'execució
• Temps de compilació
• Topologia computacional
• Transformada directa del cosinus modificat
• Triple redundància modular
• Turbocodi