Sunday, February 7, 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 > (1102) Lógica deductiva
(1102.01) Analogía (1102.02) Álgebra de Boole
(1102.03) Lógica formal (1102.04) Lenguajes formalizados
(1102.05) Sistemas formales (1102.06) Fundamentos de matemáticas
(1102.07) Generalización (1102.08) Lógica matemática
(1102.09) Lógica modal (1102.10) Teoría de modelos
(1102.11) Teoría de pruebas (1102.12) Cálculo proposicional
(1102.13) Funciones recursivas (1102.14) Lógica simbólica
(1102.15) Teoría de lenguajes formales (1102.99) Otras (especificar)

Mostrando recursos 1 - 20 de 969

1. Desarrollo sustentable y responsabilidad social en la educación superior - Vasallo Villalonga, Yoarnelys
Hacer de la universidad una comunidad socialmente ejemplar, es beneficiarse de una doble fuente de aprendizaje: el estudiante adquiere en la universidad, conocimientos técnicos de su profesión, pero también fortalece valores ciudadanos. Al igual que la familia es el núcleo central de la sociedad y la primera escuela del ser humano, la universidad es el peldaño final en su formación. Más que los cursos de ética, cuyo impacto actitudinal es discutible, es la práctica cotidiana de principios y hábitos comunes, la que forma a las personas en valores. Con la investigación “Desarrollo sustentable y responsabilidad social en la Educación Superior”,...

2. Estudio sobre los efectos de la presión política y ciudadana en las rutinas profesionales de periodistas de tres ciudades latinoamericanas – Chile. - Gutiérrez Atala, Fernando; Ferreira Jiménez, Javier; Pajoni, Hernán
Este estudio presenta resultados específicos que derivan de una investigación global desarrollada por académicos de cinco países sudamericanos. Ésta tiene por objetivo amplio identificar las condicionan- tes que afectan la labor informativa en periodistas latinoamericanos, en diversos ámbitos y soportes. El siguiente texto exhibe datos de tres ciudades de Chile, Argentina y Colombia, ceñidos a dos aristas: la relación entre los periodistas y el poder político y la influencia de la audiencia en la construcción de la realidad social a través de los medios. Es un complemento cualitativo fruto de una serie de entrevistas realizadas ante fines de 2014 y...

3. Desarrollo profesional docente en el discurso de los organismos internacionales - Monarca, Héctor; Manso Ayuso, Jesús
The aim of this article is to present the concepts and trends in Teachers’ Professional Development (TPD) contained in the discourse of International Organizations (IO). The methodology employed was discourse analysis. An analysis has been made of 39 texts published by: UNESCO, OCD, OEI and PREAL, which correspond to all the texts in relation to TPD published by these bodies between 2005 and 2012. The analysis has been performed establishing eight categories following a deductive-inductive-deductive logic. The results show that, in general terms, discourse is usually characterized by addressing defined aspects of TPD. As a conclusion it must be highlighted that TPD, in the mentioned discourses, has not...

4. Curso en red: “Enseñanza virtual en la docencia médica” - de la Torre Rodríguez, Maidelan; Rojas Machado, Nictadys; Bilbao Consuegra, Maida; Torres Milord, Isbety; Barroso Mesa, Lourdes
Fundamento: el aprendizaje virtual se ha incorporado en los escenarios de las instituciones educativas como una respuesta a las exigencias y necesidades de las nuevas generaciones, que requieren la formación de una serie de competencias para desenvolverse en una sociedad globalizada en cuanto a la información y a los medios de comunicación.Objetivo: elaborar un programa de superación para los docentes de la Universidad de Ciencias Médicas de Villa Clara, orientado a promover el uso de la enseñanza virtual.Métodos: se realizó un estudio descriptivo, desde una perspectiva metodológica basada en el paradigma cuantitativo, en el período comprendido de septiembre 2013 a...

5. Determinación del nivel de preparación metodológica del profesor para desarrollar tareas docentes integradoras en Morfofisiología - Alberro Fernández, Marianela; Pérez Espinosa, Lina Martha; Ferrer Díaz, Magalys; Lara Villa, Marisela; Barrios González, Maritza; Milián Darias, Manuel
Fundamento: la tarea docente constituye la célula fundamental del proceso docente educativo, por lo que su confección y utilización constituyen premisas para el buen desempeño escolar.Objetivo: determinar el estado actual de la preparación metodológica del profesor para desarrollar tareas docentes integradoras en la disciplina Morfofisiología.Métodos: se realizó una investigación descriptiva transversal, la población de estudio estuvo conformada por los profesores que imparten la disciplina Morfofisiología en el área sur de la Universidad de Ciencias Médicas de Ciego de Ávila. Se aplicaron métodos teóricos: histórico-lógico, analítico-sintético e inductivo-deductivo; empíricos: análisis documental, observación a clases y encuesta en forma de cuestionario a...

6. Estrategia de superación para el desarrollo de habilidades investigativas en los tutores - Jayce Díaz Díaz; Gisela Bravo López; Yamirka González Puerto; Lisbet Menes Ortega; Esther Hernández Pérez; Zenia Tamara Sánchez García
Fundamento: el tutor constituye la figura principal en la formación y desarrollo de las habilidades investigativas, por lo que se debe convertir en un profesor investigador para formar a sus estudiantes en la investigación. Objetivo: elaborar una estrategia de superación para lograr la preparación de los tutores como investigadores que les permita influir en la actividad científica de los estudiantes. Método: se complementó la metodología cuantitativa y la cualitativa. El contexto de la investigación lo constituyó el perfil de Gestión de la Información en Salud, de la carrera de Licenciatura en Tecnologías de la Salud del Municipio Cienfuegos, durante el...

7. La superación de los tutores como premisa en la formación de profesionales. Perfil Servicios Farmacéuticos - Carmen Díaz Dorado; Felicia Margarita Llerena Bermúdez; María Cristina Núñez Martínez; Grisell Menéndez Rodríguez; Lourdes González Pérez

En el Sistema de Salud Cubano los servicios farmacéuticos demandan de un profesional con una sólida formación. En este proceso formativo los tutores ocupan un papel protagónico. La presente revisión bibliográfica se realizó con el propósito de abordar este tema desde la superación de los tutores. Se emplearon los siguientes métodos teóricos: analítico-sintético, inductivo-deductivo e histórico-lógico y entre los métodos empíricos se utilizó el análisis de documentos, mediante los cuales fue posible determinar las tendencias y regularidades actuales del tema revisado. Los resultados confirmaron la necesidad de superación de los tutores de este perfil, de manera que ostenten un conjunto...

8. Estrategia de superación para profesores que imparten docencia en la carrera de Tecnología de la Salud - Rolando Esquijarosa Chirino; Ana Aleida Prieto Medina; Maria Rosa Cejas Arias; Magaly Dominguez Prieto; Yaimara Palacio Salgado
Introducción: el proceso de universalización de la Educación Superior es parte de la Batalla de ideas, y como todo proceso revolucionario está en constante perfeccionamiento, la formación del personal calificado de salud en las distintas modalidades, a partir del curso escolar 2009-2010 se producen cambios significativos en la formación de pregrado de la carrera de Tecnología de la Salud. Objetivo: diseñar una estrategia de superación para resolver las carencias que poseen desde el punto de vista psicológico, metodológico y científico metodológico los docentes que imparten clases en la carrera tecnología de esta filial, que les permita enfrentar las actuales transformaciones....

9. Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitud - Carbonari, Francisco Eduardo Daniel
Se estudiaron alguna propiedades de interés teórico y computacional de la lógica modal, útiles para el desarrollo de sistemas (multiagentes). Se trabajó sobre sistemas matemáticos semánticos de tipo Kripke y Neighbourhood. También se trabajaron sistemas formales deductivos para lógicas modales normales y no-normales. Todos estos sistemas aparecieron (se desarrollaron) como una estrategia para encarar la complejidad del formalismo en estudio. El principal objetivo del trabajo era obtener pruebas de completitud para el formalismo en estudio, lo que implicó obtener este tipo de pruebas para cada sistema de inferencia con su correspondiente sistema semántico (tipo de Kripke y Neighbourhood). El objetivo...

10. Logic, deductive and inductive [microform]. - Read, Carveth, 1848-1931.
Microfilm.

11. Elements of deductive logic [microform]... - Fowler, Thomas, 1832-1904.
His logic deductive and inductive.

12. Methodological levels of abductive logic and its application in analyzing knowledge classification systems - Mohammad Khandan; Gholamreza Fadaei; Mohammad Reza Vasfi
Purpose: This paper distinguishes between “methodology” and “method” and discusses methodological levels of abductive logic as related to the knowledge classification systems. The purpose is to clarify the application of abductive logic for analyzing knowledge classification systems as an alternative for mainstream logics in the field, i.e. inductive and deductive logic. Methodology: Conceptual analysis. Findings: Abductive logic approaches reality as a social construction. It is obviously an interpretative and constructivist approach. Therefore its aim is to understand the social phenomena that socially constructed by social agents. Therefore any given knowledge classification system is a socially constructed phenomenon reflecting subjective biases and prejudices...

13. INVITED EDITORIAL “Are We There Yet?”: Deciding When One Has Demonstrated Specific Genetic Causation in Complex Diseases and Quantitative Traits - Varghese George; Rodney C. Go; David B. Allison
Although mathematical relationships can be proven by deductive logic, biological relationships can only be inferred from empirical observations. This is a distinct disadvantage for those of us who strive to identify the genes involved in complex diseases and quantitative traits. If causation cannot be proven, however, what does constitute sufficient evidence for causation? The philosopher Karl Popper said, “Our belief in a hypothesis can have no stronger basis than our repeated unsuccessful critical attempts to refute it. ” We believe that to establish causation, as scientists, we must make a serious attempt to refute our own hypotheses and to eliminate...

14. Functional Many-valued Logic and Global Predicate Compression
Abstract. Knowledge-base systems must typically deal with imperfection in knowl-edge, in particular, in the form of incompleteness and uncertainty. Extensions to many-valued logic programming and deductive databases for handling incom-pleteness/uncertainty are numerous. They can broadly be characterized into non-probabilistic and probabilistic formalisms. In this paper we show how the higher types of Herbrand interpretations for logic programs, where it is not possible to associate a fixed logic value (a constant from a given domain of truth values) to a given ground atom of a Herbrand base, arise often in practice when we have to deal with uncertain or imprecise information....

15. Sound and Complete Query Answering in Intensional P2P Data Integration
Abstract. Contemporary use of the term ’intension ’ derives from the traditional logical doctrine that an idea has both an extension and an intension. In this paper we introduce an intensional FOL (First-order-logic) for P2P systems by fusing the Bealer’s intensional algebraic FOL with the S5 possible-world semantics of the Montague, we define the intensional equivalence relation for this logic and the weak deductive inference for it. The notion of ontology has become widespread in semantic Web. The meaning of concepts and views defined over some database ontology can be considered as intensional objects which have particular extension in some...

16. Differential dynamic logic for verifying parametric hybrid systems - André Platzer
Abstract. We introduce a first-order dynamic logic for reasoning about systems with discrete and continuous state transitions, and we present a sequent calculus for this logic. As a uniform model, our logic supports hybrid programs with discrete and differential actions. For handling real arithmetic during proofs, we lift quantifier elimination to dynamic logic. To obtain a modular combination, we use side deductions for verifying interacting dynamics. With this, our logic supports deductive verification of hybrid systems with symbolic parameters and first-order definable flows. Using our calculus, we prove a parametric inductive safety constraint for speed supervision in a train control...

17. Token-Templates and Logic Programs for Intelligent Web Search - Bernd Thomas
We present a general framework for information extraction from web pages based on a special wrapper language, called token-templates. By using token-templates in conjunction with logic programs we are able to reason about web page contents, search and collect facts and derive new facts from various web pages. We give a formal definition for the semantics of logic programs extended by token-templates and define a general answer-complete calculus for these extended programs. These methods and techniques are used to build intelligent mediators and web information systems. Keywords: intelligent information systems; intelligent information retrieval; WWW; information extraction; template based wrappers; mediators;...

18. Extending Datalog with Declarative Updates
Abstract. The semantics of static deductive databases is well understood based on the work in logic programming. In the past decade, various methods to incorporate update constructs into logic programming and deductive databases have been proposed. However, there is still no consensus about the appropriate treatment of dynamic behavior in deductive databases. In this paper, we propose a language called DatalogU, which is a minimal but powerful extension of Datalog with updates to base relations. DatalogU allows the user to program set-oriented complex database transactions with concurrent, disjunctive and sequential update operations in a simple and direct way. It has...

19. Propuesta de un modelo teórico de enseñanza para entornos de aprendizaje móvil en las enseñanzas artísticas visuales - Ramón Verdú, Alfredo José
OBJETIVOS De la determinación de los componentes y el diseño de un modelo de estructura para dispositivos móviles adecuado para las Enseñanzas Artísticas Visuales (EAV), fundamentado en la racionalización de los elementos que lo han de configurar, y que pueda implantarse en un entorno de enseñanza, se han derivado tres objetivos de investigación: • Objetivo 1: Crear un modelo organizativo de Diseño Instruccional válido para m-Learning y las Enseñanzas Artísticas Visuales. • Objetivo 2: Crear una planificación estratégica integradora para llevar a cabo las Enseñanzas Artísticas Visuales mediante dispositivos móviles. • Objetivo 3: Crear un modelo operativo interactivo fundamentado en...

20. Metabolismo celular de la glucosa y la amoniogénesis en el riñón Glucose cellular metabolism and ammoniagenesis in the kidney - Iecienia Espinosa Santisteban; Adina Pérez Mejías; Aydelín Pérez Ramos; María Ofelia Barber Fox
Introducción: al igual que el hígado, el riñón realiza actividades metabólicas complejas, esto es posible debido a la presencia de múltiples complejos enzimáticos capaces de realizar todas las transformaciones metabólicas necesarias. El metabolismo renal tiene características diferentes en la corteza y la médula del órgano, debido a la desigual irrigación que reciben estas zonas. Metodología: con el objetivo de describir las esencialidades del metabolismo de la glucosa y la amoniogénesis en el riñón, se utilizaron métodos lógico-deductivos, analíticos y sintéticos. teniendo como base resultados científicos de diferentes investigadores, consultados en revistas científicas nacionales e internacionales, impresas y electrónicas; estas últimas...

Página de resultados:
 

Busque un recurso