41 resultados para Lógica deôntica


Relevância:

10.00% 10.00%

Publicador:

Resumo:

368 p.- Este trabajo obtuvo el Accésit al Premio de Investigación "Realidad Social Vasca 2000", concedido por la Presidencia del Gobierno Vasco. - Serie Estudios : 147

Relevância:

10.00% 10.00%

Publicador:

Resumo:

[ES]La tesis tiene como objetivo profundizar en el conocimiento de la relación que existe entre el indeterminismo y el fallo del principio de conservación de la energía en la mecánica newtoniana bajo procesos que consisten en una sucesión infinita de colisiones perfectamente elásticas, llamados supertareas newtonianas. Se propone una supertarea, que nombramos STMNC, que muestra no ser conservativa pero que, bajo los mecanismos hasta ahora conocidos, no es manifiestamente indeterminista. Se demuestra, con un planteamiento general que llamamos G¿1, que tal proceso es de hecho indeterminista antes de que la supertarea llegue a ejecutarse; no obstante, se señalan las dificultades para que el proceso sea indeterminista una vez que la supertarea concluye, es decir, una vez que la energía se pierde. Con esto, y tras el análisis de las fuentes del indeterminismo y la pérdida de la energía, se sugiere que el único aspecto en común entre ambas anomalías, cuando emergen bajo estos procesos, es la infinidad de colisiones que involucran. Para obtener estos resultados se sigue la siguiente estrategia. En la primera parte, se analizan los argumentos en torno a las paradojas de Zenón, unos a favor y otros en contra de las ideas de espacio y tiempo que permiten la ejecución de las supertareas. En la segunda parte, se analizan los argumentos que amenazan a los procesos que tratamos de ser inconsistentes y de no ser newtonianos. En conjunto, con estas dos partes garantizamos que las supertareas newtonianas son procesos legítimos, brindando así sentido a nuestro resultado principal. En la tercera parte, se analizan las diversas fuentes del indeterminismo en la mecánica newtoniana bajo supertareas y la relación que dichas fuentes guardan con el indeterminismo.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Nivel educativo: Grado. Duración (en horas): Más de 50 horas

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Homenaje a Georges Laplace, realizado en Vitoria-Gasteiz el 13,14 y 15 de noviembre de 2012. Edición a cargo de Aitor Calvo, Aitor Sánchez, Maite García-Rojas y Mónica Alonso-Eguíluz.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Cap. 1. Proyectos patrimoniales y museísticos en las sociedades democráticas y capitalistas: entre la legitimación formal y la vinculación social. Iñaki Arrieta Urtizberea. Cap. 2. Musées et patrimoine immatériel au Québec : enjeux politiques et sociaux. Laurier Turgeon. Cap. 3. “El patrimonio pertenece a todos”. De la universalidad a la identidad, ¿cuál es el lugar de la participación social? Victoria Quintero Morón. Cap. 4. La legitimación social y política de los museos: dos casos del estado de Oaxaca, México. Teresa Morales Lersch y Cuauhtémoc Camarena Ocampo. Cap. 5. Reinterpretaciones de la misión social de los museos: políticas de la cultura en la red de museos de Loures, Portugal. Marta Anico. Cap. 6. La comunicación de los museos y sus relaciones con las políticas culturales de las ciudades. Entre la repetición de estrategias y la innovación. Daniel Paül i Agustí. Cap. 7. El Patrimonio de la Guerra Civil como útil de concienciación social al amparo de la Ley de la Memoria Histórica. Óscar Navajas Corral y Julián González Fraile. Cap. 8. Política y planificación museística, y participación social en Cataluña: un breve recorrido histórico y algunas reflexiones. Daniel Solé i Lladós. Cap. 9. Diagnóstico de las acciones de los museos catalanes como parte de las políticas de integración. Fabien Van Geert. Cap. 10. Los inexistentes alcornocaleños y las experiencias museísticas etnográficas en el Parque Natural Los Alcornocales. Agustín Coca Pérez.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

785p. -- De forma paralela al proceso de investigación para esta Tesis el investigador llevó a cabo un documental de 80 minutos de duración, titulado "Oteiza y el Centro Cultural Alhóndiga. Proyecto estético para Bilbao". Este documental está elaborado a partir de las entrevistas arriba señaladas, así como de material audiovisual inédito sobre este proyecto. El documental está expuesto de forma permanente en el Museo Jorge Oteiza (Alzuza, Navarra)

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Duración (en horas): Más de 50 horas Destinatario: Profesor

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Duración (en horas): De 21 a 30 horas Destinatario: Estudiante y Docente

Relevância:

10.00% 10.00%

Publicador:

Resumo:

El principal objetivo de este proyecto es el desarrollo de un software capaz de detectar errores ortográficos y sugerir una lista de posibles soluciones. Dicha lista no deberá ser muy extensa y mostrará las palabras que presenten una mayor probabilidad de ser la palabra correcta deseada por el usuario. Este corrector se ubicará dentro de una aplicación comúnmente conocida como editor de textos que permitirá al usuario la creación, corrección, impresión y guardado de archivos de texto plano. En esencia, se trata de la clásica herramienta de edición y manipulación de texto plano en la que prima la funcionalidad sobre la apariencia. Algunas de las funciones por las que se conoce a estos editores son: marcar región, búsqueda y reemplazo, copiar, cortar y pegar, deshacer y rehacer, importar… El aspecto más importante de la aplicación es el desarrollo de un corrector específico para lenguaje perteneciente al área médica y sanitaria. Incluyendo un vocabulario confeccionado especialmente para la herramienta, así como un sistema de detección y corrección de errores implementado únicamente para este proyecto. Para el desarrollo de este proyecto se utilizará una arquitectura Modelo-Vista-Controlador. La herramienta desarrollada se trata de una aplicación de escritorio, la cual hace uso de una parte gráfica que es la denominada Vista. Esta parte visual es aquella que el usuario visualiza y manipula. La parte gráfica necesita de una parte lógica, denominada Modelo, la cual se encarga de realizar los procesos necesarios para la corrección y creación de sugerencias de las palabras erróneas, así como la corrección automática de textos. Para poder coordinar el funcionamiento de ambas partes es necesaria la creación de un tercer componente encargado de mantener la vista y el controlador independientes entre sí actuando él como intermediario entre ambas. De esta manera la parte visual permanece en todo momento separada de la parte lógica.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Gordon E. Moore, cofundador de Intel, predijo en una publicación del año 1965 que aproximadamente cada dos años se duplicaría el número de transistores presentes en un circuito integrado, debido a las cada vez mejores tecnologías presentes en el proceso de elaboración [1]. A esta ley se la conoce como Ley de Moore y su cumplimiento se ha podido constatar hasta hoy en día. Gracias a ello, con el paso del tiempo cada vez se presentan en el mercado circuitos integrados más potentes, con mayores prestaciones para realizar tareas cada vez más complejas. Un tipo de circuitos integrados que han podido evolucionar de forma importante son los dispositivos de lógica programable, circuitos integrados que permiten implementar sobre ellos las funciones lógicas deseadas. Hasta hace no muchos años, dichos dispositivos eran capaces de incorporar circuitos compuestos por unas pocas funciones lógicas, pero gracias al proceso de miniaturización predicho por la Ley de Moore, hoy en día son capaces de implementar circuitos tan complejos como puede ser un microprocesador; dichos dispositivos reciben el nombre de FPGA, siglas de Field Programmable Gate Array. El presente proyecto tiene como objetivo construir un marco de fotos digital con reloj y despertador programable, valiéndose para ello de la FPGA Cyclone II de Altera y una pantalla táctil de la casa Terasic. Con este fin, se documentará en primera instancia los dispositivos a utilizar con sus características y posibilidades que plantean, para pasar posteriormente al diseño de la aplicación y su implementación e integración en la placa para comprobar su correcto funcionamiento.

Relevância:

10.00% 10.00%

Publicador:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Gordon E. Moore, co-fundador de Intel, predijo en una publicación del año 1965 que aproximadamente cada dos años se duplicaría el número de transistores presentes en un circuito integrado, debido a las cada vez mejores tecnologías presentes en el proceso de elaboración. A esta ley se la conoce como Ley de Moore y su cumplimiento se ha podido constatar hasta hoy en día. Gracias a ello, con el paso del tiempo cada vez se presentan en el mercado circuitos integrados más potentes, con mayores prestaciones para realizar tareas cada vez más complejas. Un tipo de circuitos integrados que han podido evolucionar de forma importante por dicho motivo, son los dispositivos de lógica programable, circuitos integrados que permiten implementar sobre ellos las funciones lógicas que desee implementar el usuario. Hasta hace no muchos años, dichos dispositivos eran capaces de implementar circuitos compuestos por unas pocas funciones lógicas, pero gracias al proceso de miniaturización predicho por la Ley de Moore, hoy en día son capaces de implementar circuitos tan complejos como puede ser un microprocesador; dichos dispositivos reciben el nombre de FPGA, siglas de Field Programmable Gate Array. Debido a la mayor capacidad y por lo tanto a diseños más complejos implementados sobre las FPGA, en los últimos años han aparecido herramientas cuyo objetivo es hacer más fácil el proceso de ingeniería dentro de un desarrollo en este tipo de dispositivos, como es la herramienta HDL Coder de la compañía MathWorks, creadores también Matlab y Simulink, unas potentes herramientas usadas ampliamente en diferentes ramas de la ingeniería. El presente proyecto tiene como objetivo evaluar el uso de dicha herramienta para el procesado digital de señales, usando para ello una FPGA Cyclone II de la casa Altera. Para ello, se empezará analizando la herramienta escogida comparándola con herramientas de la misma índole, para a continuación seleccionar una aplicación de procesado digital de señal a implementar. Tras diseñar e implementar la aplicación escogida, se deberá simular en PC para finalmente integrarla en la placa de evaluación seleccionada y comprobar su correcto funcionamiento. Tras analizar los resultados de la aplicación de implementada, concretamente un analizador de la frecuencia fundamental de una señal de audio, se ha comprobado que la herramienta HDL Coder, es adecuada para este tipo de desarrollos, facilitando enormemente los procesos tanto de implementación como de validación gracias al mayor nivel de abstracción que aporta.