Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Lavagnoli González, Alba"'
Autor:
Lavagnoli González, Alba
El teorema de Church demuestra que la cuestión de la validez o no de fórmulas de primer orden no es resoluble por máquinas de Turing ni procedimientos equivalentes, lo que a partir de la tesis de Church-Turing significa la inexistencia de métodos
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1514::89a54f5a3ea5a1dc8d251bb4a44a98a6
Autor:
Lavagnoli González, Alba
Publikováno v:
UVaDOC. Repositorio Documental de la Universidad de Valladolid
instname
instname
Las nociones temporales tienen un papel destacado en el lenguaje, como lo demuestra la existencia de herramientas morfológicas específicas, por ejemplo la flexión verbal, que permite localizar eventos en el pasado, en el presente o en el futuro. S
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::22c4c7bfbe280b8d34c857683a4a5b2a
http://uvadoc.uva.es/handle/10324/33912
http://uvadoc.uva.es/handle/10324/33912