Monday, September 15, 2014

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía
 

rss_1.0 Clasificación por Disciplina

Nomenclatura Unesco > (11) Lógica
(1101) Aplicaciones de la lógica (1102) Lógica deductiva
(1103) Lógica general (1104) Lógica inductiva
(1105) Metodología (1199) Otras especialidades relativas a la lógica (especificar)

Mostrando recursos 1 - 20 de 132,345

1. Disseny físic de bases de dades - Cabré Segarra, Blai; Casas Roma, Jordi; Costal Costa, Dolors; Juanola Juanola, Pere; Rius Gavidia, Àngels; Segret Sala, Ramon
El disseny físic de bases de dades constitueix la quarta etapa en el procés de disseny d’una base de dades. En les etapes anteriors s’ha realitzat l’anàlisi de requeriments, el disseny conceptual i, finalment, el disseny lògic de la base de dades. En aquest mòdul veurem el procés de transformació del model lògic, obtingut en l’etapa anterior, cap a un model físic que ens permeti obtenir una implementació sobre un sistema de gestió de bases de dades (SGBD).

2. Estrategias de mejora del rendimiento en una asignatura teórica difícil de la fase selectiva - Arias Vicente, Marta; Ferrer Cancho, Ramon
La asignatura de Introducción a la Lógica es una asignatura del primer año de Ingeniería en Informática impartida en la Facultad deInformática de Barcelona (UPC). La asignatura fue rediseñada en el curso 06-07 y pasó a ser de las más fáciles a ser de las más difíciles.Como es de esperar, esta asignatura tiene muy mala reputación entre los alumnos que inician su carrera por su dificultad y por el bajo rendimiento que éstos obtienen.En este artículo se analizan las notas obtenidas durante un total de siete cuatrimestres, agrupadas según la temática de sus contenidos.La asignatura consta de tres bloques temáticos...

3. MT-SBST: self-test optimization in multithreaded multicore architectures - Foutris, Nikos; Psarakis, M.; Gizopoulos, Dimitris; Apostolakis, A.; Vera, Xavier; González Colás, Antonio María
Instruction-based or software-based self-testing (SBST) is a scalable functional testing paradigm that has gained increasing acceptance in testing of single-threaded uniprocessors. Recent computer architecture trends towards chip multiprocessing and multithreading have raised new challenges in the test process. In this paper, we present a novel self-test optimization strategy for multithreaded, multicore microprocessor architectures and apply it to both manufacturing testing (execution from on-chip cache memory) and post-silicon validation (execution from main memory) setups. The proposed self-test program execution optimization aims to: (a) take maximum advantage of the available execution parallelism provided by multiple threads and multiple cores, (b) preserve the...

4. Software directed issue queue power reduction - Jones, Timothy M.; O’Boyle, Michael F.P.; Abella Ferrer, Jaume; González Colás, Antonio María
The issue logic of a superscalar processor dissipates a large amount of static and dynamic power. Furthermore, its power density makes it a hot-spot requiring expensive cooling systems and additional packaging. In this paper we present a novel software assisted approach to power reduction where the processor dynamically resizes the issue queue based on compiler analysis. The compiler passes information to the processor about the number of entries needed which limits the number of instructions dispatched and resident in the queue. This saves power without adversely affecting performance. Compared with recently proposed hardware techniques, our approach is faster, simpler and...

5. Modeling genealogical domain: an open problem - Campanya Artes, Joan; Conesa Caralt, Jordi; Mayol Sarroca, Enric
The automated processing, storing and knowledge inference of genealogical data presents several difficulties. Roughly eighteen years ago, the FamilySearch organization published GEDCOM, a new standard file format to allow genealogy software and tools to exchange genealogical data. Five years later, the GENTECH Data Modeling Project, proposed a new genealogical logic data model to support research in genealogy and to allow data inter-exchange between genealogy software. Despite being initial reference models, they still have some limitations to adapt to different cultural and social environments. Additionally, sharing genealogical data between systems is difficult since, even though they are syntactical reference models, they...

6. Intuïció, creativitat i cooperació - Bueno i Torrens, David, 1965-
Imagineu que, just ara quan comenceu a llegir aquest article, sona el telèfon. Feu un gest per agafar-lo, però abans de tocar-lo teniu un pressentiment sobre la persona que us truca; intuïu qui deu ser, i potser fins i tot què us vol dir. Totes les persones tenim intuïcions, malgrat n'hi ha de més intuïtives que d'altres. La intuïció ha estat, durant molts anys, un tema molt discutit en ambients científics. D'una banda, perquè és impossible negar-ne l'existència. D'altra, perquè davant la manca d'explicacions científiques sovint s'ha relacionat amb un hipotètic"sisè sentit", a percepcions extrasensorials i, fins i tot, a...

7. Lógica y psicología - Federicci, Carlo

8. Lógica y matemática - Diedonné, Jean; Soriano, Luis Ignacio; Yerly, Henry

9. El retículo de las lógicas de primer orden con cuantificadores cardinales - Corredor, Luis Jaime

10. On intuitionistic sentential connectives i - López-Escobar, E.G.K.

11. The completeness and compactness of a three-valued first-order logic - D'Ottaviano, Itala M. L.

12. Studies in paraconsistent logic ii: quantifiers and the unity of opposites - Costa, Newton C.A. da; Wolf, Robert G.

13. Natural numbers in illative combinatory logic - Bunder, M. W.

14. Gestión escolar y nuevas tecnologías en el sistema público de enseñanza - Aires, Carmenisia Jacobina
A mediados de los años 90, siguiendo las tendencias mundiales, el Estado Brasileño planteó determinadas políticas para promover el uso de las Tecnologías de Información y de la Comunicación (TIC) en su Sistema de Enseñanza Pública. Para cumplir dicha finalidad, se crearon los programas TV Escola (1995) y Proinfo (Programa de Informática Educativa) (1997) ambos coordinados, a nivel federal, por el Ministerio de Educación y ejecutados por las Provincias, las Municipalidades y el Distrito Federal. En aquel período, Brasil implantaba la Reforma del Estado que, entre otros objetivos, preveía el ajuste del país al nuevo orden mundial. Estableció, asimismo, un...

15. La experiencia de los límites en la obra de José Ángel Valente y sus implicaciones lógico-matemáticas - Díaz Gamboa, Sandra Lucía
"La experiencia de los límites" se refiere a la irrupción del silencio, Límite Trascendente que, musical o mortal, rompe o abre todos los límites de las palabras hacia ese más allá, ansia de lejanía, nunca de nadie, en que las palabras transitan libres entre la indeterminación, la incompletitud, la indecidibilidad, la infinitud y el continuo que son, precisamente, los problemas centrales de las matemáticas y las lógicas modernas y contemporáneas.s

16. Disseny físic de bases de dades - Cabré Segarra, Blai; Casas Roma, Jordi; Costal Costa, Dolors; Juanola Juanola, Pere; Rius Gavidia, Àngels; Segret Sala, Ramon
El disseny físic de bases de dades constitueix la quarta etapa en el procés de disseny d’una base de dades. En les etapes anteriors s’ha realitzat l’anàlisi de requeriments, el disseny conceptual i, finalment, el disseny lògic de la base de dades. En aquest mòdul veurem el procés de transformació del model lògic, obtingut en l’etapa anterior, cap a un model físic que ens permeti obtenir una implementació sobre un sistema de gestió de bases de dades (SGBD).

17. Comunidad universitaria de unidades de información especializadas en ciencias sociales: una experiencia exitosa - Cruz Meléndez, Carlos; Morales Garcia, Gerardo
One of the characeristics of peripherial capitalism dependant countries is the scant investment in scientific research particulary, in the field of Social Sciences; this situation is shown in the limited resources available for the development of specialized documentation centers and libraries as necessary support for the efficient and effective development of the social research on the national realities. The University Community of Specialized Information Units on Social Sciences is a successful experience in the university education field; this experience induces a break on the logic of commercialization of information by strengthening the use of the scarce resources that Costarican universities...

18. La identidad latinoamericana: una perspectiva desde las clases sociales - Bonilla Bonilla, Luis
The article analyzes the Latin America identities from the class and class struggle approach placing them beyond the classic bipolarity “bourgeoisie-proletariat” and incorporates a heterogeneous vision of the social classes. This debate articulates two elementary logics; the logic of exploitation and the logic of oppression-domination that by linking the fundaments of class with the ethnic give a particular profile and a particular strength fight to the continent that might not be present in other regions of the world. The idea that the article defends and proposes is that the class struggle continues through social movements that fight for several grievances...

19. El presupuesto participativo como herramienta de transformación social, política e institucional: Un balance en el escenario argentino reciente - Carmona, Rodrigo; Martínez, Carlos
The 1980s, 1990s, and 2000s were a period of deep structural and political changes in Latin America, where many countries returned to democratic regimens, while neoliberal policies were developed and the concept of “public“ was broadened due to the strengthening of non-state public space, which included greater citizen involvement in matters related to their immediate surroundings. It is in this framework that the Participatory Budget was born in Argentina. Its development over more than a decade shows that the dynamics and intensity of citizen participation varies both in relation to the particular features in the different experiences and in relation...

20. La superficie-referente en la retórica radical del objeto fascista representacional: la readecuación del índex en la estetización digital - Yáñez Tapia, Guillermo
Será tarea del pensamiento crítico recuperar la imagen para un discurso de la resistencia como un discurso efectivo frente a la inoperancia del objeto artístico difuso. A esto debe convocar al análisis crítico de la imagen hegemonizada por la superficie-referente. La radicalidad de dicha tarea debe buscar sus fuentes en el desplazamiento constante hacia la descripción de lo opaco en la estrategia representacional de una superficie-referente para la instalación del objeto fascista estetizante. Dicha radicalidad debe recuperar conceptualmente el desmantelamiento crítico para la reapropiación de la imagen, de lo visual; debe desactivar la radicalidad de lo espectacular. Este análisis de la...

Página de resultados:
 

Busque un recurso