Friday, April 29, 2016

 

 



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

Mostrando recursos 61 - 80 de 164,325

61. Contemporary substitutes of the political economy - Mimo Draskovic; Slobodan Lakic; Veselin Draskovic
The subject of this paper is a critique of the selective theoretical modelings of economic realities, which are monistic (quasi-neoliberal) and mathematical-statistical in nature. In this sense, the theme named Contemporary Substitutes of the Political Economy is defined. The aim of this research is that the above-mentioned modeling of economic reality would be described as a deliberate motion from the analysis and explanation of fundamental economic problems towards secondary issues. Therefore, we characterize them as unfair and programmed ways of fogging the essence of economic problems and crisis. We start from the hypothesis that these modelings replaced and virtually eliminated the former synthesized and useful political-economic analysis....

62. Argument z důsledku a jeho varianty (Argument from Consequences and its variants) - Martina Juříková
The article examines the use and evaluation of the argument from consequences, its historical origins since Aristotle through Blaise Pascal, David Hume until the inclusion of this argument into the textbooks of modern logic. The article also recapitulates current evaluation of this argument by Douglas Walton and along with Walton presents its two variants and criteria for evaluating their validity.

63. Reprezentarea cunoaşterii de la schemele de clasificare la Web-ul semantic (II) - Silvia-Adriana Tomescu
În acest eseu ne propunem să abordăm modalităţile de reprezentare a documentelor hibride în mediul online cu ajutorul standardelor specifice. Evoluţia conţinuturilor multimedia şi diversificarea suporturilor şi formatelor de stocare implică utilizarea unor instrumente elaborate de căutare, regăsire şi filtrare. Aplicaţiile dedicate au nevoie de un grad sporit de interoperabilitate ceea ce conduce spre nevoia acută de standardizare. Acest studiu încearcă să argumenteze teoretic nevoia de a încadra şi reflecta logic proprietăţile multimedia cu ajutorul standardelor de metadate şi să ilustreze importanţa taxonomiilor şi a ontologiilor în maniera de reflectare online a acestora.

64. On the Expressiveness of the Approach to Constructing PLC-programs by LTL-Specification - E. V. Kuzmin; D. A. Ryabukhin; V. A. Sokolov

The article is devoted to the approach to constructing and verification of discrete PLC-programs by LTL-specification. This approach provides an ability of correctness analysis of PLC-programs by the model checking method. The linear temporal logic LTL is used as a language of specification of the program behavior. The correctness analysis of LTL-specification is automatically performed by the symbolic model checking tool Cadence SMV. The article demonstrates the consistency of the approach to constructing and verification of PLC programs by LTL-specification from the point of view of Turing power. It is proved, that in accordance with this approach for any Minsky counter machine can be built an LTL-specification,...

65. Automation of Formal Verification of Programs in the Pifagor Language - M. S. Ushakova; A. I. Legalov

Nowadays, due to software sophistication, programs correctness is more often proved by means of formal verification. The method of deduction based on Hoare logic could be used for any programming
language and it has the capability of partial automation of the proof process. However, the method of deduction is not widely used for verification of parallel programs because of high complexity of the
process. The usage of the functional data-flow paradigm of parallel programming allows to decrease the complexity of the proof process. In this article a proof process of correctness of functional data-flow parallel programs in the Pifagor language is considered. The proof...

66. Teaching Formal Models of Concurrency Specification and Analysis - N. V. Shilov

There is a widespread and rapidly growing interest to the parallel programming nowadays. This interest is based on availability of supercomputers, computer clusters and powerful graphic processors for computational mathematics and simulation. MPI, OpenMP, CUDA and other technologies provide opportunity to write C and FORTRAN code for parallel speed-up of execution without races for resources. Nevertheless concurrency issues (like races) are still very important for parallel systems in general and distributed systems in particular. Due to this reason, there is a need of research, study and teaching of formal models of concurrency and methods of distributed system verification.

The paper presents...

67. Method for Choosing a Balanced Set of Fault Tolerance Techniques for Distributed Computer Cystems - D. Yu. Volkanov

In the paper we consider a method for a reliability allocation problem (RAP) of distributed computer systems (DCS) under cost constraints. In this problem we maximize reliability of DCS under constraints of system cost. The article describes considered fault tolerance mechanisms. The mathematical formulation of RAP is provided. RAP is widely discussed in the literature. A detailed description of the method is ensured. The applied method is an evolutionary algorithm with an adaptive logic control procedure. The adaptive logic control procedure analyzes the results of evolutionary algorithm work in each generation and, based on this information, adjusts parameters....

68. Construction of CFC-programs by LTL-specification - D. A. Ryabukhin; E. V. Kuzmin; V. A. Sokolov

This article continues a cycle of papers, which describe an approach to construction and verification of discrete PLC-programs by an LTL-specification. The approach provides a possibility of PLC-program correctness analysis by the model checking method. For the specification of the program behavior the linear-time temporal logic LTL is used. The correctness analysis of an LTL specification is performed automatically by the symbolic model checking tool Cadence SMV. 

Previously it was shown how ST-, LDand IL-programs are constructed by a correct (with verified program properties) LTL-specification. In this article a technology of CFC-program construction by an LTL-specification is...

69. Comunicación y Cultura - Cátedra I - Barreiros, Raúl
Este Cuaderno de Cátedra de la asignatura Comunicación y Cultura (cátedra I) está pensado como texto acompañante de los alumnos a lo largo de la cursada. Se trata de una herramienta que se espera funcione articuladamente tanto con los textos de la bibliografía prevista por el programa como con lo desarrollado durante las clases teóricas y prácticas. Los textos que componen el Cuaderno fueron escritos por distintos docentes de la asignatura y en cada uno de ellos se desarrolla algún aspecto particular de los contenidos previstos por el programa de est udios. Se buscó en la selección y ubicación de los...

70. Diseño y configuración de una red de comunicaciones en un Centro de Contactos - Contact Center - Méndez Navarro, Sergio
Este proyecto muestra una solución de red para una empresa que presta servicios de Contact Center desde distintas sedes distribuidas geográficamente, utilizando la tecnología de telefonía sobre IP. El objetivo de este proyecto es el de convertirse en una guía de diseño para el despliegue de soluciones de red utilizando los actuales equipos de comunicaciones desarrollados por el fabricante Cisco Systems, Inc., los equipos de seguridad desarrollados por el fabricante Fortinet y los sistemas de telefonía desarrollados por Avaya Inc. y Oracle Corporation, debido a su gran penetración en el mercado y a las aportaciones que cada uno ha realizado en el...

71. Focusing in Orthologic - Laurent, Olivier
We propose new sequent calculus systems for orthologic (also known as minimal quantum logic) which satisfy the cut elimination property. The first one is a very simple system relying on the involutive status of negation. The second one incorporates the notion of focusing (coming from linear logic) to add constraints on proofs and thus to facilitate proof search.We demonstrate how to take benefits from the new systems in automatic proof search for orthologic.

72. Revisionismo teórico sobre el fenómeno de las adaptaciones acuáticas durante el paleolítico y su relación con el desafío de la navegación de cabotaje y gran cabotaje en los tiempos pleistocénicos: cuenca occidental mediterránea y zona insular del sudeste asiático - Cuadrado Martín, Luis Blas
El presente trabajo de investigación trata dos cuestiones que considero íntimamente relacionadas: las adaptaciones acuáticas durante el Paleolítico y el desafío de la navegación pleistocènica. El fundamento de la citada correlación lo baso en la siguiente premisa: comer antes que viajar. Debido a este planteamiento he considerado necesario llevar a cabo un proceso revisionista sobre las citadas adaptaciones acuáticas, debido a que !a comunidad científica aún no acepta, de forma generalizada, que los hábitats y recursos acuáticos (marinos y continentales) ejercieran alguna influencia en los taxones Homo pre-anatómicamente modernos. La demostración de que durante el Paleolítico nuestros ancestros interaccionaron, a...

73. Los videojuegos en la Didáctica de las Ciencias Experimentales: una aproximación a través de los docentes en formación inicial y en ejercicio - Lorca Marín, José Andrés
Video games are one of the most common forms of entertainment in actuality. Children, youth and adults occupy part of their leisure time playing with them through their different technological platform (game consoles, computers, mobile phones, tablets,...) and even in the social and Web pages (Martin del Pozo, 2013). The presence of them getting increasingly in our society of new technologies and media have earned the name of "digital society" (Castells, 2006; Kruger, 2006). At the same time, in recent years, there has been a phenomenon known as "Technology, Knowledge and Learning", which supposed a new concept of the use...

74. La instrucción especial para estructuras de hormigón armado - García Meseguer, Álvaro
El Instituto ha publicado, recientemente, las partes segunda y tercera de la Instrucción especial para estructuras de hormigón armado, «H.A.61», que se refieren a Documentos del Proyecto y a Cálculo de estructuras lineales planas, respectivamente. Dicha Instrucción, comparada con las que habitualmente se vienen utilizando, entraña tantas novedades que no es aventurado imaginar una reacción inicialmente hostil por parte de técnicos y proyectistas; cosa bien lógica, a nuestro modo de ver, puesto que, desde las primeras páginas —la notación, las definiciones—, el lector va tropezando con conceptos «raros», hasta con palabras «raras», y pocas veces encuentra el asidero de un...

75. Facility Management Pro cess Architecture Framework - Bart ł omiej Ś liwi ń ski; Renata Gabryelczyk
Due to a lack of consistence among different components of management systems, there is a barrier limiting an effectiveness of organizational functionality in the present business world. St. Gallen School has offered Management Process Architecture Framework as a base helping with achievement of the consistenc e among the management systems. Dividing the base into three levels: strategy, processes and systems, will reduce complexity of an enterprise real life, and it will allow to create a model presenting the organization in total. The new-built of the Facility Management Process Architecture Framework is the start up for using in full management process architecture....

76. Towards an updated reasoning formal theory - Miguel López-Astorga
In the late twentieth century, the final version of the mental logic theory was presented. That was a syntactic and formal approach intended to describe and explain the human inferential ability. Maybe because of several experimental results achieved during the last years that have not addressed by the theory, it can be thought that its framework is outdated today. In this paper, I try to update some particular aspects of the mental logic theory by taking recent empirical evidence and arguments coming from the specialized literature into account. Such aspects refer to the symbols that it should adopt, its actual...

77. Da retórica do visível à distribuição do sensível: a política da estética em Jacques Rancière - Pedro Lucas Dulci
O presente trabalho tem por objetivo investigar a crítica do filósofo francês Jacques Rancière a um modo tradicional de encarar a relação entre política e arte apropriada por uma corrente específica de crítica social que encara a vocação política da criação artística como simples meio privilegiado de mostrar o real da dominação por trás das outras inúmeras imagens lançadas a nós. Contra esta perspectiva, Rancière propõe reconsiderar a lógica que esta envolvida na distribuição comum do sensível, do audível e falável enquanto verdadeira vocação política da arte, uma vez que ele entende que ação política é justamente aquela que muda...

78. É o mal no mundo logicamente compatível com a existência de Deus? - Domingos Faria
O objetivo deste artigo, que se insere no âmbito da filosofia da religião, é tratar o problema lógico do mal e mais concretamente a teoria da defesa do livre-arbítrio de Alvin Plantinga. Quero examinar se esta é uma teoria plausível e se resiste a algumas objeções. Pretendo defender que esta teoria parece resistir a certas objeções.

79. Identidad escolar en las preparatorias de Nuevo León / School identity in Nuevo Leon preps - Garza, Eric; Llanes, Hilario Amado; Blanco, Ramón; Pérez, Olga Lidia
Los procesos identitarios en la educación cobran interés científico dados los retos que acarrea el desarrollo del transporte y las comunicaciones, los cuales exponen a los jóvenes a continuas influencias de culturas foráneas. Este artículo presenta un estudio del proceso formativo en el desarrollo de la identidad cultural en la Preparatoria No. 1 de la Universidad Autónoma de Nuevo León, México, en el que se tuvo cuenta la dinámica particular del proceso en el nivel medio superior. El objetivo del artículo es fundamentar de manera conceptual las características de la educación de la identidad como resultado del proceso formativo y...

80. Villa en Ivrea - Nizzoli, Marcello; Oliveri, G. Mario
This villa has been constructed on sloping ground, and naturally this circumstance has been utilised to give the design a dynamic and stimulating quality. There are two floor levels; a semibasement of 64.3 ms2 and the main part of the house, which has a surface of 203.7 ms2 The former includes a garage, celler and boiler room. The latter comprises the vestibule, a living cum dining room, study, bedrooms, services and terraces. The construction consists mainly of irregularly shaped, partly cut, stone walls, and load bearing concrete pillars. The roof is outstanding and original: it is a plane slab with...

Página de resultados:
 

Busque un recurso