La máquina de Post actualizada

My interest in gathering together a collection of this sort was generated by a fortuitous combination of historical studies under Professor Keith Lehrer and studies in cognitive science under Professor R. Michael Harnish at the University of Arizona. Work on the volume began there while I was an instructor in the Department of Linguistics and was greatly encouraged by participants in the Faculty Seminar on Cognitive Science chaired by Professor Lance J. Rips. I wish to express my appreciation to all of these and to many other individuals with whom I discussed the possibility of contribution...

Las exigencias de los usuarios respecto a los sistemas de información más flexibles y eficientes, ha obligado a dedicar una mayor atención a los datos y a su estructuración, buscándose una gestión más racional de la información en su conjunto, la cual ha pasado a ser considerada como un recurso fundamental de la organización. A medida que los responsables de sistemas de información se han ido convenciendo de la trascendencia que la gestión racional de los datos tiene para conseguir un desarrollo coherente y eficaz de estos sistemas, las bases de datos han ido ocupando un primer...

La ingeniería de software es una forma de ingeniería que aplica los principios de la ciencia de la computación y de la matemática para alcanzar soluciones con una mejor relación entre el coste y el beneficio para el problema de software. Asimismo, se trata de la aplicación sistemática, disciplinada y cuantificable para el desarrollo, operación y mantenimiento de un software. Al principio, los softwares eran programas muy pequeños debido a las limitaciones del hardware existente en aquellos días. A medida que se fue mejorando la capacidad computacional creció el tamaño y la...