11 resultados para símbolos
em Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco
Resumo:
386 p. : il. col.
Resumo:
El ethos vasco se activa una vez producida la muerte cuyo detonante es el sacrificio de un miembro de la cultura vasca. A partir de aquí ésta comienza a simbolizar para reconstruirse a sí misma, ésta reconstrucción se va a producir a varios niveles de la sociedad: en el estamento deportivo, en el familiar y en el social en general. La confluencia del estudio se hará en la familia de Aitor Zabaleta.
Resumo:
[Es]Este trabajo forma parte de una investigación empírica que aplica la metodología observacional a la incipiente actividad constructiva propia de la psicomotricidad espontánea a los dos años de edad. Es un estudio idiográfico, el diseño observacional utilizado es nomotético, de seguimiento y multidimensional. El instrumento de observación desarrollado ad hoc para el registro de la conducta conscontructiva es el formato de campo “la construcción en psicomotricidad durante el tercer año de vida”. La fiabilidad del instrumento se establece a partir del grado de concordancia entre los observadores. Los resultados, obtenidos mediante el análisis de coocurrencias, informan sobre las condiciones, modalidades, tendencias, evolución y niveles de acción que estas primeras conductas constructivas despliegan. Esta actividad de construcción, de acuerdo con la teoría psicogenética walloniana, puede ser considerada invención de nuevas conductas adecuadas a las nuevas situaciones. Su suspensión da lugar a símbolos enactivos, precursores del juego simbólico infantil.
Resumo:
[ES] Durante los pocos años del gobierno de Nerón la poesía bucólica latina experimenta un auge anormal y desarrolla una función propagandística particularmente clara. En este artículo se trata de reconstruir, a partir de textos que hasta ahora no se habían implicado debidamente en la cuestión (cuarta égloga de Virgilio, Apocolocyntosis de Séneca, etc.), las motivaciones inmediatas de este resurgir del género: la poesía bucólica de la época responde en parte a una invitación expresa que Séneca formula en un pasaje de su Apocolocyntosis donde, además, se impone como modelo la égloga cuarta de Virgilio, que proporciona símbolos congruentes con la ideología filohelena de la corte de Nerón y conlleva la identificación entre Augusto y Nerón.
Resumo:
422 p.
Resumo:
572 p.
Resumo:
355 p.
Resumo:
El objetivo de este proyecto consiste en implementar una aplicación que busca todos los modelos de una fórmula recibida como entrada. Esta fórmula de entrada pertenece a la lógica NatEq, la cual es un subconjunto de la lógica de primer orden. Esta lógica consta de un sólo predicado, que es la igualdad. Además, no contiene símbolos de funciones, incluye los cuantificadores universal y existencial, y se interpreta sobre el dominio de los números naturales N.
Resumo:
421 p.
Resumo:
215 p.
Resumo:
La Teoría de la Computabilidad estudia los límites teóricos de los sistemas computacionales. Uno de sus objetivos centrales consiste en clasificar los problemas en computables e incomputables, donde llamamos computable a un problema si admite solución informática. Para desarrollar estos resultados el modelo abstracto de computador más utilizado históricamente es la Máquina de Turing. Los estudiantes de Ingeniería Informática pueden percibir cierta lejanía entre el modelo teórico y los computadores reales por lo que es más adecuado utilizar un modelo más cercano a la programación como son los programas-while. Los Programas-while permiten resolver los mismos problemas que las máquinas de Turing, pero en cambio son mucho más sencillos de utilizar, sobre todo para personas que tienen una experiencia previa en la informática real, pues toman la forma de lenguaje imperativo clásico. Este texto además utiliza los Programas-while aprovechando sus ventajas y reformulándolos de manera que la computación quede definida en términos de manipulación de símbolos arbitrarios, algo que está mucho más en concordancia con la realidad informática. Además de explicar en detalle qué son los programas while y cómo se utilizan, se justifica por qué no es necesario incorporar otras instrucciones o tipos de datos.