999 resultados para Linguagens de programação em lógica - Semântica
Resumo:
En el trabajo se sistematiza la información semántica a fin de que ella sea la articuladora y eje de otros contenidos abordados en la enseñanza de la lengua materna. Así, en primer lugar se sistematizarán conceptos y perspectivas semánticas, para luego establecer relaciones con otros niveles lingüísticos, como lo son la Morfología y la Sintaxis, sin descuidar los aportes de la semántica a los procesos de producción y comprensión textuales. Realizaremos estudios para sistematizar y asignar al contenido un lugar dominante e integrador en el proceso de enseñanza-aprendizaje de la lengua materna, sin pretender desdibujar otras temáticas. Planteamos tareas cuyo punto culminante es la capacitación de docentes y experimentación de las propuestas didácticas en tres cursos de lengua en una institución educativa de la ciudad de Córdoba, cuyo examen, de ser positivo, permitirá la replicación y transferencia de esas prácticas a otras instituciones. Como objetivos generales, destacamos colaborar con la integración de los contenidos que se dictan en Lengua Materna, tomando como eje la naturaleza semántica del lenguaje; contribuir con la formación de los estudiantes en las dimensiones de la comprensión y producción textuales; promover la reflexión y el incremento del caudal léxico -y del lenguaje en general-, por parte de los estudiantes; contribuir con la capacitación y formación de los docentes en las temáticas abordadas, a través de acciones concretas; corroborar que la formación de los alumnos podrá tornarse más significativa en la medida en que se trabajen 'formas' lingüísticas atravesadas por contenidos. El marco teórico está constituido por los aportes de diferentes líneas, los que, compatibilizados, permitirán acceder a un abordaje integral del 'contenido' lingüístico. Más precisamente, consideramos las conceptualizaciones de autores tales como Coseriu (1986) para la delimitación semántica, sus conceptos y operaciones, al que completamos con la perspectiva de Lyons (1986, 1997); para las relaciones entre Morfología, seguimos a Ramírez Sáinz (2008) ; el vínculo sintaxis- semántica será abordado desde la perspectiva de la Gramática Generativa (Demonte,V. 1991; D'Introno, 2001; Fernández Lagunilla, M y Anula Rebollo,A, 1995; los aportes de la comprensión serán considerados desde De Beaugrande-Dresller (1997). Otros autores de referencia son Lakoff y Jhonsson (1998).
Resumo:
El nuevo escenario de las relaciones laborales, se afirma, ha puesto en crisis el concepto de “dependencia” el cual no resulta ya eficaz para identificar al sujeto a proteger en el contrato de trabajo. Si la tesis es verdadera se afecta la toma de decisiones institucionales en el derecho del trabajo para el nuevo escenario, desde que aquel concepto tiene la función de individualización del sujeto “trabajador” para la imputación de los derechos y obligaciones. Sin embargo, parecería que lo que está detrás de un aparente problema conceptual tiene que ver más con una decisión valorativa en relación con el alcance de la “protección” que las leyes deberían garantizar a los trabajadores. En otras palabras, las discusiones en torno al concepto de “dependencia” están en función de la elección y configuración de las propiedades relevantes que caracterizan lógicamente al sujeto de protección: según se decida y conozca por “sujeto a proteger”, serán los diferentes modos de entender la “dependencia”. Si lo anterior se acepta, la doctrina social de la Iglesia como una ética crítica (justificada) tiene fuerte razones para intervenir en el debate y en la construcción del concepto de “dependencia” como una aporte a la toma de decisiones institucionales.
Resumo:
En dispositivos electrónicos de última generación destinados a funciones de comunicación o control automático, los algoritmos de procesamiento digital de señales trasladados al hardware han ocupado un lugar fundamental. Es decir el estado de arte en el área de las comunicaciones y control puede resumirse en algoritmos basados en procesamiento digital de señales. Las implementaciones digitales de estos algoritmos han sido estudiadas en áreas de la informática desde hace tiempo. Sin embargo, aunque el incremento en la complejidad de los algoritmos modernos permite alcanzar desempeños atractivos en aplicaciones específicas, a su vez impone restricciones en la velocidad de operación que han motivado el diseño directamente en hardware de arquitecturas para alto rendimiento. En este contexto, los circuitos electrónicos basados en lógica programable, principalmente los basados en FPGA (Field-Programmable Gate Array), permiten obtener medidas de desempeño altamente confiables que proporcionan el acercamiento necesario hacia el diseño electrónico de circuitos para aplicaciones específicas “ASIC-VLSI” (Application Specific Integrated Circuit - Very Large Scale Integration). En este proyecto se analiza el diseño y la implementación de aquitecturas electrónicas para el procesamiento digital de señales, con el objeto de obtener medidas reales sobre el comportamiento del canal inalámbrico y su influencia sobre la estimación y el control de trayectoria en vehículos aéreos no tripulados (UAV, Unmanned Aerial Vehicle). Para esto se propone analizar un dispositivo híbrido basado en microcontroladores y circuitos FPGA y sobre este mismo dispositivo implementar mediante algoritmo un control de trayectoria que permita mantener un punto fijo en el centro del cuadro de una cámara de video a bordo de un UAV, que sea eficiente en términos de velocidad de operación, dimensiones y consumo de energía.
Resumo:
Os cormilhos tipo 7 produziram bulbos e cormilhos dos tipos de 1 a 8 em maior quantidade que o tipo 8 e os bulbos tipos 1, 2, 3, 4 e 5 mais pesados. Os cormilhos tipo 8 também produziram bulbos e cormilhos dos tipos 1 a 8, porém seus cormilhos foram mais pesados que os cormilhos produzidos pelo tipo 7.
Resumo:
El presente proyecto tenía como objetivo final el desarrollo de un sistema de control basado en Lógica Fuzzy que permita que el proceso de secado tenga una regulación continua y con una menor dependencia de la experiencia del personal experto, evitando además la formación de encostrado. Asimismo, se plantearon una serie de objetivos parciales, cuya consecución permitiría, además de alcanzar el objetivo final descrito, obtener un conocimiento científico adicional. Por ello, a continuación se resumen los resultados en relación con los objetivos parciales propuestos. Como paso previo, antes de abordar los objetivos planteados se diseñó y construyó un equipo experimental de secado, donde se controló de forma precisa la temperatura, la humedad relativa y la velocidad del aire.
Resumo:
Treball de recerca realitzat per un alumne d'ensenyament secundari i guardonat amb un Premi CIRIT per fomentar l'esperit científic del Jovent l'any 2009. En aquest treball es vol trobar un vincle entre les cultures més influents al llarg de la història d’Àsia i Europa, prenent com a element bàsic les seves llengües: el xinès, l’anglès i el llatí. Ara bé, la comparació lingüística entre elles només té veritable interès si es cerca allò comú sobretot semàntica i sintàcticament, posat que d'entrada, visual i fonèticament, qualsevol profà pot observar-ne prou diferències. Aquestes característiques comunes, doncs, tenen valor independentment del temps i l'espai, ja que el que hi ha en joc aquí és, en el fons, el llenguatge verbal com a nervi del fet de ser humà. Els continguts s'estructuren mitjançant l'ús d'un mètode inductiu com a regla d’anàlisi comparativa; no es pot, tanmateix, prescindir d'una introducció teòrica de lingüística, absolutament necessària per a un estudi comparatiu de gramàtica. Una vegada conclòs el treball, es veu que els conceptes que totes tres expressen són comuns i el canvi, quan es dóna, afecta la forma i està relacionat amb les regles de la lògica: aquests casos, doncs, no fan sinó confirmar la tesi, ja que esperar una equivalència total seria no només ingenu, sinó gens natural ni realista. L'anhel del traductor és arribar a expressar, precisament, aquest univers.
Resumo:
L'objectiu de la recerca és determinar quina és la noció de rigidesa més adient per als termes generals. Els termes generals són els que, per oposició als termes singulars, es poden aplicar a més d'un individu o exemplar, com per exemple 'tigre', 'aigua', 'bolígraf'. Des de Kripke es considera que alguns termes singulars, com els noms propis, són rígids. Un terme singular és rígid quan designa el mateix individu o objecte en tot món possible. Així 'Sòcrates' és un terme rígid perquè designa el mateix individu, Sòcrates, en tota circumstància contrafàctica. Kripke va proposar que alguns termes generals, com els termes de gènere natural, tals com 'aigua', 'calor' o 'tigre' també són rígids, però no va donar cap formulació precisa de la rigidesa per a termes generals. Des de llavors s'han proposat bàsicament dues concepcions de la rigidesa per a aquests termes: la que els considera designadors rígids i la que els considera aplicadors rígids. L'anàlisi de les dues concepcions pretén determinar quina és la millor comprensió de la rigidesa per a aquests termes, resultant la concepció dels aplicadors rígids indesitjable fonamentalment pels seus compromisos metafísics i allunyats de la semàntica.
Resumo:
Projecte de recerca elaborat a partir d’una estada a la Università degli studi di Siena, Italy , entre 2007 i 2009. El projecte ha consistit en un estudi de la formalització lògica del raonament en presència de vaguetat amb els mètodes de la Lògica Algebraica i de la Teoria de la Prova. S'ha treballat fonamental en quatre direccions complementàries. En primer lloc, s'ha proposat un nou plantejament, més abstracte que el paradigma dominant fins ara, per l'estudi dels sistemes de lògica borrosa. Fins ara en l'estudi d'aquests sistemes l'atenció havia recaigut essencialment en l'obtenció de semàntiques basades en tnormes contínues (o almenys contínues per l'esquerra). En primer nivell de major abstracció hem estudiat les propietats de completesa de les lògiques borroses (tant proposicionals com de primer ordre) respecte de semàntiques definides sobre qualsevol cadena de valors de veritat, no necessàriament només sobre l'interval unitat dels nombres reals. A continuació, en un nivell encara més abstracte, s’ha pres l'anomenada jerarquia de Leibniz de la Lògica Algebraica Abstracta que classifica tots els sistemes lògics amb un bon comportament algebraic i s'ha expandit a una nova jerarquia (que anomenem implicacional) que permet definir noves classes de lògiques borroses que contenen quasi totes les conegudes fins ara. En segon lloc, s’ha continuat una línia d'investigació iniciada els darrers anys consistent en l'estudi de la veritat parcial com a noció sintàctica (és a dir, com a constants de veritat explícites en els sistemes de prova de les lògiques borroses). Per primer cop, s’ha considerat la semàntica racional per les lògiques proposicionals i la semàntica real i racional per les lògiques de primer ordre expandides amb constants. En tercer lloc, s’ha tractat el problema més fonamental del significat i la utilitat de les lògiques borroses com a modelitzadores de (part de) els fenòmens de la vaguetat en un darrer article de caràcter més filosòfic i divulgatiu, i en un altre més tècnic en què defensem la necessitat i presentem l'estat de l'art de l'estudi de les estructures algèbriques associades a les lògiques borroses. Finalment, s’ha dedicat la darrera part del projecte a l'estudi de la complexitat aritmètica de les lògiques borroses de primer ordre.
Resumo:
En aquest treball es fa una breu introducció a la web semàntica i el seu estat actual. S'analitzen els llenguatges que hi ha a la base del munt de recomanacions del World Wide Web Consortium (XML, XML Schema, RDF i RDF Schema) i s'examinen diferents sistemes de gestió de bases de dades que donen suport a les metadades, que són la base de la web semàntica.
Resumo:
Aquest projecte s'emmarca dintre la idea de la Web Semàntica. A la primera part introdueix progressivament al tema de la Web Semàntica fins arribar a establir la necessitat de tenir SGBDs. La segon part explota algun dels SGBDs estudiats per realitzar una aplicació web que permeti mostrar alguna aplicació de la Web Semàntica.