mirage

Browsing Matemáticas Enseñanza Universitaria by Author "Agudelo, Juan C."

DSpace/Manakin Repository

Browsing Matemáticas Enseñanza Universitaria by Author "Agudelo, Juan C."

Sort by: Order: Results:

  • Agudelo, Juan C.; Sicard, Andrés (2011-10-13)
    Se define un método para axiomatizar las máquinas de Turing, mediante el cual, dada una máquina y una entrada, se construye una teoría en la lógica clásica de predicados de primer orden que da cuenta del comportamiento ...

Search DSpace


Advanced Search

Browse

My Account