Categoría:Informática teórica

A

• Aritmética computacional‎ (4 cat, 57 págs.)
• Association for Computing Machinery‎ (4 cat, 6 págs.)

C

• Computabilidad‎ (5 cat, 23 págs.)
• Computación ubicua‎ (4 cat, 12 págs.)
• Criptografía‎ (22 cat, 239 págs.)

I

• Informática cuántica‎ (4 cat, 36 págs.)
• Informáticos teóricos‎ (6 cat, 24 págs.)
• Inteligencia artificial‎ (30 cat, 250 págs.)

J

• Jornadas teóricas de informática‎ (1 pág.)

L

• Literatura de ciencias de la computación‎ (2 cat)

M

• Métodos formales‎ (6 cat, 26 págs.)
• Modelos computacionales‎ (4 cat, 15 págs.)

P

• Premios de ciencias de la computación‎ (6 cat, 15 págs.)
• Problemas no resueltos de las ciencias de la computación‎ (1 cat, 14 págs.)

S

• Seudoaleatoriedad‎ (1 cat)

T

• Teoría de la información‎ (7 cat, 50 págs.)
• Teoría de lenguajes de programación‎ (2 cat, 8 págs.)
• Teoría de tipos‎ (1 cat, 23 págs.)

• Ciencias de la computación

A

• Acceso aleatorio
• Acceso directo
• Acceso secuencial
• Análisis de amortización
• Análisis de sistemas
• Ancestro común más bajo
• Anti-unificación (ciencias de la computación)
• Aprendizaje automático cuántico
• Aprendizaje automático en física

C

• Ciencia computacional teórica
• Complejidad de Kolmogórov
• Computación ubicua
• Correctitud

D

• Digital Bibliography & Library Project

E

• Efecto secundario (informática)
• Enumeración
• European Association for Theoretical Computer Science

H

• Hipercomputación
• Historia de las ciencias de la computación

I

• Institut National de Recherche en Informatique et en Automatique

K

• Kineo CAM

L

• Lema de Arden
• Lenguaje recursivo
• Límite de Bremermann
• Lógica computacional
• Lógica de Hoare
• Janice Lourie

M

• Máquina de Turing
• Máquina de Von Neumann
• Máquina oráculo
• Modelo de computación

N

• Número computable
• Número pseudoaleatorio

O

• Ordenador químico

P

• Planificación de movimiento
• Precondición libre más débil
• Problema computacional
• Problema de la bicicleta de Turing
• Problema de los dos generales
• Problema de los generales bizantinos
• Problema indecidible
• Anexo:Problemas no resueltos de las ciencias de la computación
• Procedimiento efectivo
• Programas como objetos matemáticos

R

• Recursión (ciencias de computación)

S

• Sociedad Chilena de Ciencia de la Computación

T

• Teorema de Margolus–Levitin
• Teorema de Rice
• Teoría de la computación
• Teoría de los problemas
• Transparencia algorítmica

U

• Una teoría matemática de la comunicación

V

• Verificación formal