mostrando 5 de 9 (Ver todos los proyectos) | |||
| No. | Titulo | Año | Rol |
|---|---|---|---|
| 1) | Axiomatización, cómputo y estabilidad para algoritmos a eventos discretos | 2020 | Responsable técnico |
| 2) | Algoritmos Analogicos | 2019 | Responsable técnico |
| 3) | MODELACION Y VALIDACION DE SISTEMAS DINAMICOS MEDIANTE UN ENFOQUE DE LOGICAS DE PRIMER ORDEN | 2017 | Responsable técnico |
| 4) | Mente Humana vs Maquina via Jerarqia Aritmetica de Kleene, Paradigmas de Computo, Complejidad Computacional, Probadores Mecanicos de Teoremas, Juegos y Aspectos Filosoficos | 2016 | Responsable técnico |
| 5) | Cómputo, distintos paradigmas de cómputo y el teorema de la forma normal de Kleene para redes de Petri con arcos inhibidores. | 2015 | Responsable técnico |