http://www.serbi.ula.ve/tematres/vocab/http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=3970TEORIA DE LAS MAQUINAS http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=3970 MODELOS MATEMATICOS BT http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=3970 COMPUTADORAS NT http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=3970 PROCESAMIENTO ELECTRONICO DE DATOS NT http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=3970 INTELIGENCIA ARTIFICIAL NT http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=3970 MAQUINAS DE TURING NT http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=3970 TEORIA DEL CONTROL NT http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=3970 SISTEMAS DE RE-ESCRITURA (COMPUTACIÓN) NT http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=3970 MAQUINA DE POST NT http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=3970 LENGUAJES FORMALES NT http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=3970 DISEÑO LOGICO NT http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=3970 TEORIA DE LA CONMUTACION NT http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=3970 TEORIA DE LA CODIFICACION NT http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=3970 APRENDIZAJE AUTOMATICO NT http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=3970 COMPLEJIDAD COMPUTACIONAL NT http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=3970 ALGORITMOS BT http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=3970 LOGICA MATEMATICA BT http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=3970 FUNCIONES RECURSIVAS BT http://www.serbi.ula.ve/tematres/vocab/xml.php?skosTema=3970 Máquinas, Teoría de las UF