#informática teórica
Artículos etiquetados con «informática teórica».
Algoritmo de multiplicación de matrices de Strassen
Análisis del algoritmo de multiplicación de matrices de Strassen (1969), su complejidad O(n^2.81) y su impacto en la teoría de la complejida...
Planificador de sistemas operativos
Componente esencial de los sistemas operativos que gestiona la asignación de tiempo de procesador entre procesos concurrentes.
2-satisfactibilidad
Problema computacional de satisfacción booleana resuelto en tiempo lineal mediante grafos de implicación y componentes fuertemente conectado...
Algoritmo de Berkeley
Descripción técnica del algoritmo de sincronización de relojes diseñado por Gusella y Zatti en 1989 para sistemas distribuidos.
Lógica categórica: fundamentos, semántica y aplicaciones en teoría de tipos
La lógica categórica es una rama de las matemáticas que utiliza la teoría de categorías para estudiar sistemas formales, conectivas lógicas...
Límite de Bremermann: límite físico de la velocidad computacional
El límite de Bremermann define la máxima velocidad de cómputo por unidad de masa en el universo, derivado de la física cuántica y la relativ...
Forma normal en sistemas de reescritura de términos
Concepto de forma normal en la teoría de sistemas de reescritura abstracta, propiedades de normalización y convergencia.
Primitiva de sincronización rendezvous
Concepto de sincronización asimétrica en procesos concurrentes y su implementación en el lenguaje Ada.
Matemáticas discretas: fundamentos, historia y aplicaciones
Estudio de estructuras matemáticas contables como conjuntos finitos, grafos y lógica, fundamentales para la informática teórica.
Qué son algoritmos
Definición, historia y funcionamiento de los algoritmos en matemáticas y computación. Aprende sus propiedades, tipos y ejemplos prácticos.