next up previous contents
Siguiente: 3.9.1 SDC/Teoría de Grupos y Subir: 3. Cuerpo del conocimiento de Anterior: 3.8.5 AIM/Modelos Generativos y GANs   Índice General


3.9 Computación Simbólica y Discreta (SDC)

Esta área conecta disciplinas matemáticas clásicas con métodos computacionales, enfocándose en computación simbólica, algoritmos algebraicos, aplicaciones de teoría de números y lógica computacional. Cubre la manipulación de expresiones matemáticas en forma exacta, los aspectos computacionales de las matemáticas discretas y la aplicación de estas técnicas a criptografía y verificación formal. Este conocimiento es esencial para desarrollar sistemas de álgebra computacional, protocolos criptográficos y software formalmente verificado.

KA Core Tier1 Core Tier2 Electivo
3.9.1 Teoría de Grupos y Algoritmos Algebraicos     No
3.9.2 Teoría de Números Computacional y Criptografía     No
3.9.3 Sistemas de Computación Simbólica     No
3.9.4 Lógica Computacional y Verificación Formal     No


Subsecciones
next up previous contents
Siguiente: 3.9.1 SDC/Teoría de Grupos y Subir: 3. Cuerpo del conocimiento de Anterior: 3.8.5 AIM/Modelos Generativos y GANs   Índice General
Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, basado en el modelo de la Computing Curricula de IEEE-CS/ACM