1000 resultados para Lògica de primer ordre


Relevância:

80.00% 80.00%

Publicador:

Resumo:

El objeto de estudio de este trabajo es, en primer lugar, un estado del arte de los anclajes actuales, siguiendo con un análisis de la rotura de anclajes mecánicos y químicos. Todo ello persigue el objeto de conocer cómo trabajan los distintos anclajes en el material base, para poder modelizar el comportamiento del anclaje a carga axil, en particular de los anclajes químicos en hormigón y concluir qué influencia tiene la armadura dentro del material base en el modo de rotura en cono de hormigón y extracción, también conocido como el fallo combinado de cono y pull-out y en la resistencia a tracción final. El desarrollo de la teoría de anclaje, en la actualidad está bien desarrollada y contrastada para anclajes mecánicos en presencia de armaduras. Con anclajes químicos, a priori, si asume que el cono de fallo posee una geometría similar a la de anclajes mecánicos. El fin de este trabajo es comprobar la veracidad de esta suposición, verificando la validez de la norma ETAG 001, ETAG 001 Anexo y TR 029. El trabajo tiene una exposición lógica. En primer lugar se trata el estado del arte de los anclajes, sus tipos, aplicaciones y diferencias entre ellos. Posteriormente se analizan la rotura de los anclajes en hormigón, resumiéndose la normativa en vigor. Después el estudio se centra en los anclajes químicos, en sus modos de rotura, para después modelizarlos en Plaxis. Por último se trata de la normativa y los estudios de interacción entre anclajes y armaduras existentes, para modelizarlos en última instancia y extraer conclusiones de los mismos.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

La recerca històrica i geogràfi ca a vegades dóna resultats sorprenents. Aquest és el cas de la troballa del Proyecto de Iglesia Parroquial para el pueblo de Santa Pola, en què s’inclou, a més dels plànols originals de la coneguda com a «església rota» (l’actual mercat central), un «Plano Topográfi co de Santa Pola» de gran transcendència per a conéixer els inicis de l’evolució urbana de la localitat, tots signats per Francisco Morell y Gómez el 1863. Primer, tractem el projecte de l’església, analitzem les dades del projecte i els plànols. Després, el més interessant és el plànol topogràfi c inèdit esmentat. Fem una comparació amb el signat el 1863 pel també arquitecte José Ramon Mas y Font. Són iguals? Tenen diferències? Quines són i quina importància tenen? El plànol esdevé un instrument de recerca de primer ordre per a donar resposta a aquestes preguntes.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

En este trabajo se describe una investigación en curso, en que se aborda una de las problemáticas que se presenta en los cursos de lógica o inteligencia artificial, en el tema de representación del conocimiento. Cuando se pide a los estudiantes formalizar enunciados del lenguaje común (natural) con el lenguaje de la lógica de predicados. Se describen algunos de los errores identificados con alumnos del nivel superior y se aplica la teoría de la actividad para caracterizar la habilidad de traducir enunciados del lenguaje común (natural) a fórmulas bien formadas del lenguaje de la Lógica de predicados. Se propone una base de orientación que se deben usar al resolver los problemas de formalización (traducción) que se plantean en los cursos mencionados.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

El Valle de Tafí fue uno de los primeros espacios del Noroeste Argentino habitados por comunidades sedentarias, entre el 200 a.C. y el 900 d.C. Éstas establecieron asentamientos aldeanos de varias hectáreas de superficie, alterando sensiblemente el paisaje mediante la construcción de numerosos conjuntos residenciales, canales de manejo del agua, montículos de limpieza de campos de cultivo y muros de contención del suelo. Los procesos históricos desarrollados en ese milenio fueron explicados desde perspectivas teóricas culturalistas (González y Núñez 1960) y sistémicas (Berberián y Nielsen 1988a), las cuales permitieron establecer una estructura cronológica inicial y las principales estrategias adaptativas para el proceso. Este proyecto intenta abordar el modo en que las estrategias de reproducción doméstica se relacionaron con la estructuración del contexto social más amplio. Interesa particularmente analizar las maneras en que la cultura material (arquitectura residencial, campos agrícolas, entierros, alfarería y bienes de prestigio) fue utilizada en la construcción de la sociedad, enfocándonos en la agencia y la identidad. Es de particular importancia establecer la escala real de acción social involucrada en los procesos y la identidad de los grupos que tuvieron una participación activa en ellos. Los trabajos de campo realizados en el Valle de Tafí han provisto de una gran cantidad de datos que evidencian el desarrollo de una sociedad compleja en el primer milenio d.C.: producción agrícola intensiva, demografía creciente, objetos de prestigio en contextos funerarios e intercambio a larga distancia (González y Núñez 1960, Berberián y Nielsen 1988a y 1988b). Sin embargo las unidades sociales implicadas no parecen haber superado a las relaciones propias de unidades domésticas extendidas. Las excavaciones realizadas por nuestro equipo han mostrado fuertes conexiones entre las estrategias de reproducción social doméstica, producción agrícola fragmentada y rituales a los ancestros, materializados no sólo en contextos funerarios ("cistas") y monumentos monolíticos ("menhires-huancas"), sino también en la arquitectura doméstica. Esta relación fue interpretada como un aspecto central en el desarrollo de las sociedades agrícolas tempranas de sur andino, siendo la base de grupos de parentesco competitivos en luchas sociales y negociaciones políticas permanentes. Esta lógica social permitiría explicar la variabilidad registrada en la materialidad arqueológica. La realización de prospecciones, relevamientos y mapeos de sitios, excavaciones sistemáticas, dataciones absolutas, análisis paleopatológicos sobre restos humanos, estudios cerámicos, líticos y de química de suelos, es esencial no sólo para el incremento del corpus de datos que de luz a estos problemas, sino también para la toma de conciencia social acerca del valor del patrimonio cultural prehispánico, que en el presente se encuentra en riesgo.La concreción de los objetivos de este proyecto aportarán a esclarecer hasta qué punto la materialidad doméstica fue un elemento reproductor de predisposiciones subjetivas de la acción (habitus), cómo se relacionaron las viviendas a los sectores de cultivo, en qué forma los emplazamientos productivos modificaron el paisaje y esto repercutió en la propiedad de los medios productivos. Considerando que Tafí fue uno de los primeros valles intermontanos del Noroeste Argentino habitado por comunidades agricultoras, y que este ámbito geográfico significa un lugar de paso obligado entre las yungas orientales y los valles semiáridos y la puna, un profundo estudio de su arqueología podría proveer una mirada sobre la historia del desarrollo cultural surandino. Esta área geográfica es una clave para entender no sólo la historia de los grupos locales sino también el desarrollo y la interacción en un área mayor que se extiende más allá de lo Andes, en Chile.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

L’objectiu d’aquest projecte es basa en l’obtenció de filtres passa banda mitjançant acobladors ressonants en l’ordre dels GHz, amb un ampla de banda fraccional del 30%. En un primer disseny es presentarà l’estudi del coeficient d’acoblament entre partícules ressonants i tot seguit s’introduirà una capacitat interdigital per a augmentar l’acoblament. Mitjançant el nou disseny es demostrarà que es pot arribar a resultats òptims tant en simulacions com a l’hora de fabricar el dispositiu.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

La Universitat de Girona, i més concretament el Departament d’Informàtica i Matemàtica Aplicada, ja fa uns anys que ha posat en marxa el Projecte Avaluació Continuada i Millora de l’Ensenyament, també anomenat ACME. Aquest projecte és una plataforma d'e-learning, és a dir, un sistema d’aprenentatge a través de la xarxa que potencia la col•laboració digital i el bescanvi d’informació entre alumne i professor. El creixement que ha experimentat la plataforma, ha estat possible gràcies al disseny modular de l’aplicació, on cada nova funcionalitat que estava essent desenvolupada evolucionava de manera independent a la resta de la plataforma i sense comprometre’n el funcionament. Per afegir un nou mòdul a l’ACME, s’utilitzen els mòduls de base que confereixen l'estructura a la plataforma i les eines per incorporar nous mòduls, amb el que la implantació d’aquests a la plataforma és d’elevada senzillesa. Actualment, la majoria de les assignatures de primer del Grau d’Informàtica ja disposen d’exercicis adaptats a la plataforma, el que dóna una uniformitat en les eines i plataformes que utilitzen els alumnes en la seva formació. Però no hi són totes les assignatures, falta incloure l’assignatura de Lògica a la plataforma. D’aquesta manera, tant els alumnes com els professors de l’assignatura, podran treure profit dels beneficis esmentats que aporta l’ACME. Concretament, a l’assignatura de Lògica es disposava d’uns aplicatius a la plataforma Moodle de la Universitat de Girona on es guiava a l’alumne en la resolució dels exercicis. Aquest mètode és molt interessant com a mètode pedagògic per a l’aprenentatge inicial de l’assignatura, però no representa un repte real on els alumnes hagin d’aplicar els seus coneixements per a la seva realització. Els alumnes també disposaven d’un dossier on se’ls proposava uns exercicis molt complets, i a les pàgines finals d’aquest se’ls donava la solució. Aleshores, de manera voluntària els alumnes realitzaven els exercicis i comprovaven amb la solució si havien aprés a resoldre’ls. Per tant, tant els responsables de l'assignatura de Lògica com els responsables de la plataforma ACME van veure que es podrien desenvolupar eines a l'ACME per tal de corregir de forma automàtica els exercicis de l'assignatura. Incorporar l’assignatura de Lògica a l’ACME permet que els alumnes es vegin més involucrats a fer exercicis durant els curs de manera continuada, gràcies als terminis d’entrega, i facilita als professors la seva tasca deslliurant-los de les correccions i oferint-los-hi eines de seguiment

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Se ha llevado a cabo un proceso de elaboración, experimentación y evaluación de recursos para favorecer el razonamiento lógico y la construcción de conceptos matemáticos. La intervención se ha realizado con alumnos y alumnas de educación infantil y primer ciclo de Primaria. La idea, el diseño y la elaboración de estos recursos han partido de las autores de este proyecto, así como la secuenciación de los mismos adecuándolos a los diferentes niveles educativos. Se ha pretendido dar respuesta a las siguientes necesidades: prevenir y solucionar las dificultades que plantea al alumnado el área de matemáticas; compensar las carencias derivadas de un contexto desfavorecido incorporando al aula materiales motivadores y nuevas tecnologías; mantener una línea de continuidad metodológica entre infantil y primaria; y dotar al aula de recursos manipulativos que favorezcan la motivación, la experimentación y la autonomía por parte del alumnado.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Este cd ha sido creado con la idea de dotar a los niños, desde los primeros momentos, de unos instrumentos y unos hábitos de trabajo que faciliten su progreso intelectual. En este cd se ayuda al niño a comprender y asimilar conceptos fundamentales como: el conocimiento de los números del 1 al 20, la asociación conceptual entre cantidades y cifras que las representan, el inicio en las comparación de cantidades y su representación simbólica, el desarrollo de la lógica y mecanismos de cálculo, el refuerzo de la memoria visual y perceptiva y las sumas y restas simples.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Exposición de las ventajas del estudio de la Lógica durante el primer curso de Filosofía del Bachillerato como instrumento general de formación. Se analizan las diferencias entre la lógica tradicional o silogística y la lógica moderna o simbólica, y las ventajas de la lógica moderna frente a la tradicional, sobre todo, en el ámbito de las ciencias modernas para los estudiantes de bachillerato.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Programa de Innovación Educativa 1983. Proyecto realizado por el equipo educativo del Colegio. Proyecto encuadernado junto con la Programación para el área Tecnológica del Ciclo de Bachillerato General

Relevância:

30.00% 30.00%

Publicador:

Resumo:

El objetivo de esta tesis es ofrecer una reconstrucción de la teoría de la investigación de John Dewey, prestando atención a sus antecedentes en los escritos del padre del pragmatismo, Charles Sanders Peirce, y a algunas derivaciones de tal teoría en la teoría de la argumentación contemporánea y en los estudios sociales de la ciencia. La misma está dividida en tres partes dedicadas a (I) explorar algunos antecedentes de la teoría de la investigación de Dewey, (II) desarrollar y analizar críticamente los aspectos centrales de tal teoría y, por último, (III) seguir la pista de algunas de sus derivaciones. El punto de partida es el análisis de la concepción de la lógica de la investigación de Peirce, tal como éste la fuera construyendo a partir de su crítica a la filosofía moderna. Ofrecemos una reconstrucción de las ideas de Peirce que permite dar cuenta de que, pese a las importantes diferencias entre las ideas de Peirce y Dewey, los desarrollos de este último pueden ser considerados como una prosecución, en nuevas y profundas direcciones, de algunas de las ideas más destacadas del primero y que constituyen, por ello, una lectura posible de algunos de los escritos más destacados de Peirce. En la segunda parte, la central de esta tesis, se aborda la teoría de la investigación de Dewey. En este marco, se reconstruye la teoría de la experiencia de Dewey, que constituye, como se argumenta, un verdadero punto de partida para la teoría de la investigación. Se argumenta que la teoría de la experiencia de Dewey puede ser considerada como un análisis de las consecuencias para la filosofía de algunos de los resultados más influyentes en el campo de la biología, la psicología y la antropología social en relación con la comprensión de los seres humanos. Se reconstruye también la teoría de la investigación que, al ser comprendida como una forma de la experiencia, permite dar cuenta del carácter mediador y transformacional del conocimiento. Se analizan, asimismo, las consecuencias que para la comprensión de la lógica se siguen de dicha concepción y se argumenta que, pese a lo que Peirce y algunos intérpretes contemporáneos sostienen, la lógica de Dewey puede ser considerada una verdadera lógica. Además, en esta segunda parte se analiza la concepción deweyana de la valoración y se reconstruye una perspectiva acerca de la interdependencia del conocimiento y los valores. Asimismo, se argumenta que, y contra lo que las críticas de Horkheimer y Adorno sugieren, la teoría de la valoración de Dewey tiene un potencial crítico que permite plantear y abordar el problema de los fines de la acción y, en especial, los de esa acción cognitiva a la que llamamos ciencia. En la tercera y última parte de esta tesis se abordan algunas de las derivaciones de la teoría de la investigación de Dewey. En primer lugar, se exploran las relaciones entre la propuesta de Dewey y la de uno de los más destacados representantes de la teoría de la argumentación contemporánea, a saber, Stephen Toulmin. Se muestra que en la obra de este último puede identificarse una dimensión pragmatista y deweyana. En segundo lugar, se aborda la cuestión de la relación entre la teoría de la investigación de Dewey y el giro hacia las prácticas de los estudios sociales de la ciencia. En particular, se analizan algunos aspectos de la obra de Bruno Latour y de la de Karin Knorr Cetina, mostrando las profundas e interesantes continuidades que suponen con el trabajo de Dewey. Además, se aborda un problema fuertemente discutido en el ámbito de la sociología del conocimiento, a saber, el problema de la reflexividad de los estudios de la ciencia, con el objetivo de ofrecer una mirada deweyana sobre tal cuestión, lo que permitirá sostener una interpretación de la filosofía del conocimiento de Dewey como filosofía política de la ciencia

Relevância:

30.00% 30.00%

Publicador:

Resumo:

El objetivo de esta tesis es ofrecer una reconstrucción de la teoría de la investigación de John Dewey, prestando atención a sus antecedentes en los escritos del padre del pragmatismo, Charles Sanders Peirce, y a algunas derivaciones de tal teoría en la teoría de la argumentación contemporánea y en los estudios sociales de la ciencia. La misma está dividida en tres partes dedicadas a (I) explorar algunos antecedentes de la teoría de la investigación de Dewey, (II) desarrollar y analizar críticamente los aspectos centrales de tal teoría y, por último, (III) seguir la pista de algunas de sus derivaciones. El punto de partida es el análisis de la concepción de la lógica de la investigación de Peirce, tal como éste la fuera construyendo a partir de su crítica a la filosofía moderna. Ofrecemos una reconstrucción de las ideas de Peirce que permite dar cuenta de que, pese a las importantes diferencias entre las ideas de Peirce y Dewey, los desarrollos de este último pueden ser considerados como una prosecución, en nuevas y profundas direcciones, de algunas de las ideas más destacadas del primero y que constituyen, por ello, una lectura posible de algunos de los escritos más destacados de Peirce. En la segunda parte, la central de esta tesis, se aborda la teoría de la investigación de Dewey. En este marco, se reconstruye la teoría de la experiencia de Dewey, que constituye, como se argumenta, un verdadero punto de partida para la teoría de la investigación. Se argumenta que la teoría de la experiencia de Dewey puede ser considerada como un análisis de las consecuencias para la filosofía de algunos de los resultados más influyentes en el campo de la biología, la psicología y la antropología social en relación con la comprensión de los seres humanos. Se reconstruye también la teoría de la investigación que, al ser comprendida como una forma de la experiencia, permite dar cuenta del carácter mediador y transformacional del conocimiento. Se analizan, asimismo, las consecuencias que para la comprensión de la lógica se siguen de dicha concepción y se argumenta que, pese a lo que Peirce y algunos intérpretes contemporáneos sostienen, la lógica de Dewey puede ser considerada una verdadera lógica. Además, en esta segunda parte se analiza la concepción deweyana de la valoración y se reconstruye una perspectiva acerca de la interdependencia del conocimiento y los valores. Asimismo, se argumenta que, y contra lo que las críticas de Horkheimer y Adorno sugieren, la teoría de la valoración de Dewey tiene un potencial crítico que permite plantear y abordar el problema de los fines de la acción y, en especial, los de esa acción cognitiva a la que llamamos ciencia. En la tercera y última parte de esta tesis se abordan algunas de las derivaciones de la teoría de la investigación de Dewey. En primer lugar, se exploran las relaciones entre la propuesta de Dewey y la de uno de los más destacados representantes de la teoría de la argumentación contemporánea, a saber, Stephen Toulmin. Se muestra que en la obra de este último puede identificarse una dimensión pragmatista y deweyana. En segundo lugar, se aborda la cuestión de la relación entre la teoría de la investigación de Dewey y el giro hacia las prácticas de los estudios sociales de la ciencia. En particular, se analizan algunos aspectos de la obra de Bruno Latour y de la de Karin Knorr Cetina, mostrando las profundas e interesantes continuidades que suponen con el trabajo de Dewey. Además, se aborda un problema fuertemente discutido en el ámbito de la sociología del conocimiento, a saber, el problema de la reflexividad de los estudios de la ciencia, con el objetivo de ofrecer una mirada deweyana sobre tal cuestión, lo que permitirá sostener una interpretación de la filosofía del conocimiento de Dewey como filosofía política de la ciencia

Relevância:

30.00% 30.00%

Publicador:

Resumo:

El artículo pretende, en primer lugar, caracterizar brevemente la idea de verdad necesaria en Leibniz a los efectos de mostrar cómo en el desarrollo de las investigaciones lógicas ella se ha ido debilitando al extremo de convertirse en una de las tantas posibles interpretaciones del operador de necesidad. Se muestra, además, que ello ha sucedido tanto en los sistemas generados a partir de las semánticas de Kripke para la lógica modal clásica como para los sistemas de lógica, para los condicionales contrafácticos de David Lewis y para los condicionales derrotables de Carlos Alchourrón.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

El objetivo de esta tesis es ofrecer una reconstrucción de la teoría de la investigación de John Dewey, prestando atención a sus antecedentes en los escritos del padre del pragmatismo, Charles Sanders Peirce, y a algunas derivaciones de tal teoría en la teoría de la argumentación contemporánea y en los estudios sociales de la ciencia. La misma está dividida en tres partes dedicadas a (I) explorar algunos antecedentes de la teoría de la investigación de Dewey, (II) desarrollar y analizar críticamente los aspectos centrales de tal teoría y, por último, (III) seguir la pista de algunas de sus derivaciones. El punto de partida es el análisis de la concepción de la lógica de la investigación de Peirce, tal como éste la fuera construyendo a partir de su crítica a la filosofía moderna. Ofrecemos una reconstrucción de las ideas de Peirce que permite dar cuenta de que, pese a las importantes diferencias entre las ideas de Peirce y Dewey, los desarrollos de este último pueden ser considerados como una prosecución, en nuevas y profundas direcciones, de algunas de las ideas más destacadas del primero y que constituyen, por ello, una lectura posible de algunos de los escritos más destacados de Peirce. En la segunda parte, la central de esta tesis, se aborda la teoría de la investigación de Dewey. En este marco, se reconstruye la teoría de la experiencia de Dewey, que constituye, como se argumenta, un verdadero punto de partida para la teoría de la investigación. Se argumenta que la teoría de la experiencia de Dewey puede ser considerada como un análisis de las consecuencias para la filosofía de algunos de los resultados más influyentes en el campo de la biología, la psicología y la antropología social en relación con la comprensión de los seres humanos. Se reconstruye también la teoría de la investigación que, al ser comprendida como una forma de la experiencia, permite dar cuenta del carácter mediador y transformacional del conocimiento. Se analizan, asimismo, las consecuencias que para la comprensión de la lógica se siguen de dicha concepción y se argumenta que, pese a lo que Peirce y algunos intérpretes contemporáneos sostienen, la lógica de Dewey puede ser considerada una verdadera lógica. Además, en esta segunda parte se analiza la concepción deweyana de la valoración y se reconstruye una perspectiva acerca de la interdependencia del conocimiento y los valores. Asimismo, se argumenta que, y contra lo que las críticas de Horkheimer y Adorno sugieren, la teoría de la valoración de Dewey tiene un potencial crítico que permite plantear y abordar el problema de los fines de la acción y, en especial, los de esa acción cognitiva a la que llamamos ciencia. En la tercera y última parte de esta tesis se abordan algunas de las derivaciones de la teoría de la investigación de Dewey. En primer lugar, se exploran las relaciones entre la propuesta de Dewey y la de uno de los más destacados representantes de la teoría de la argumentación contemporánea, a saber, Stephen Toulmin. Se muestra que en la obra de este último puede identificarse una dimensión pragmatista y deweyana. En segundo lugar, se aborda la cuestión de la relación entre la teoría de la investigación de Dewey y el giro hacia las prácticas de los estudios sociales de la ciencia. En particular, se analizan algunos aspectos de la obra de Bruno Latour y de la de Karin Knorr Cetina, mostrando las profundas e interesantes continuidades que suponen con el trabajo de Dewey. Además, se aborda un problema fuertemente discutido en el ámbito de la sociología del conocimiento, a saber, el problema de la reflexividad de los estudios de la ciencia, con el objetivo de ofrecer una mirada deweyana sobre tal cuestión, lo que permitirá sostener una interpretación de la filosofía del conocimiento de Dewey como filosofía política de la ciencia