Browsing by Author "Ventura, Pablo Gabriel"
Now showing items 1-2 of 2
-
Algoritmos para decidir definibilidad de fragmentos de lógica en primer orden
Ventura, Pablo Gabriel (2023-06-29)Dada una estructura A, decimos que un conjunto T es definible en primer orden sin cuantificadores si y solo si existe una fórmula sin cuantificadores φ tal queA ⊨φ(x) para todo x∈T, mientras que A ⊭φ(x) para todo x∈A\T. ... -
Omnetpy: integración del lenguaje Python en el entorno de simulación OMNeT++
Modenesi, Marcos Sebastián (2022-03)En este trabajo elaboramos un paquete que permite el desarrollo de módulos Python para la herramienta de simulación de redes OMNeT++. También analizamos el estado del arte en el uso de Python para la simulación de redes. ...