Turing y el lenguaje de las máquinas

La segunda edición de Lógica DGB cobra expresión en las reformas de actualización emprendidas por la Dirección General de Bachillerato (DGB), misma que pretende dar cumplimiento a la finalidad del Bachillerato que es "generar en el estudiantado el desarrollo de una primera síntesis personal y social que le permita su acceso a la educación superior, a la vez que le dé una comprensión de su sociedad, su tiempo y le prepare para su posible incorporación al trabajo productivo".

This book presents plane geometry following Hilbert's axiomatic system. It is inspired on R. Hartshome's fantastic book Geometry: Euclid and Beyond, and can be considered as a careful exposition of most of chapter II of that book. It must be remarked that non-euclidean geometries, i.e. geometries not satisfying the fifth postulate of Euclid, enter the scene, in a natural way, from the very beginning. The vast majority of plane geometry texts are only concerned with euclidean geometry, loosing the oportunity of not only teaching rigorous reasoning to freshmen, but at the same time exposing...

In this paper G-Synchronization of single valued neutrosophic automata(SVNA) are introduced, algorithm is given for finding G-Synchronized words of single valued neutrosophic automata.

Los análisis cuantitativos permiten delimitar y contrastar de manera objetiva las características estilísticas de corpus textuales. A través de este tipo de estudios, se intentarán definir rasgos morfonsintácticos y léxicos que permitan diferenciar los poemas sacros indubitados de Damián Cornejo y de León Marchante. Estos datos serán comparados con los obtenidos en las poesías profanas indubitadas y en la prosa para comprobar si existen semejanzas significativas entre las producciones de un mismo autor. Los resultados establecerán una serie de parámetros que ayudarán a...