Thursday, October 23, 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 > (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 808

1. Elementary lessons in logic; deductive and inductive. With copious questions and examples and a vocabulary of logical terms. - Jevons, William Stanley, 1835-1882.
Mode of access: Internet.

2. Elementary lessons in logic : deductive and inductive : with copious questions and examples, and a vocabulary of logical terms / - Jevons, William Stanley, 1835-1882.
On spine: Lessons in logic.

3. Elementary lessons in logic : deductive and inductive : with copious questions and examples and a vocabulary of logical terms / - Jevons, William Stanley, 1835-1882.
Mode of access: Internet.

4. Elementary lessons in logic: deductive and inductive. - Jevons, William Stanley, 1835-1882.
Mode of access: Internet.

5. Elementary lessons in logic : deductive and inductive : with copious questions and examples and a vocabulary of logical terms / - Jevons, William Stanley, 1835-1882.
Includes index.

6. Elementary lessons in logic: deductive and inductive. - Jevons, William Stanley, 1835-1882.
Mode of access: Internet.

7. Elementary lessons in logic: deductive and inductive. With copious questions and examples, and a vocabulary of logical terms. - Jevons, William Stanley, 1835-1882.
Mode of access: Internet.

8. Contribución de la Educación Física a la educación para la paz en estudiantes de Medicina - Pérez Veitía, Jorge Luis
Fundamento: la violencia es un problema de salud, por tanto, de competencia para la salud pública y en especial, los médicos. Objetivo: identificar las potencialidades que ofrece la asignatura Educación Física para la introducción de la educación para la paz, a partir de su vínculo con la actividad extensionista y otras asignaturas del área básica en la Facultad de Medicina. Métodos: la metodología empleada responde a la lógica cualitativa. El estudio abarca un período desde 2009 hasta 2012, donde se abordan los fundamentos teóricos y metodológicos en torno al tema como un problema de salud. La muestra estuvo integrada por...

9. El enfoque de marco lógico como herramienta de diagnóstico y formulación del problema científico - Nogales González, Juan Rafael; Medina León, Alberto; Nogueira-Rivero, Dianelys
El artículo describe una metodología para la formulación del problema científico en una investigación como uno de los recursos metodológicos imprescindibles, ya que para  muchos teóricos, el problema científico es el punto de partida y tiene un carácter primario, pues desde un momento temprano aclara el por qué de la investigación, es lo que va a resolver el investigador. Es explicitado la utilización del método inductivo deductivo Enfoque de Marco Lógico y técnicas computacionales que ayudan a jerarquizar los posibles síntomas que adolece el campo de estudio. El artículo describe un método para la formulación del problema científico en una...

10. Static Semantics For Normal and Disjunctive Logic Programs - Teodor C. Przymusinski
In this paper, we propose a new semantic framework for disjunctive logic programming by introducing static expansions of disjunctive programs. The class of static expansions extends both the classes of stable, well-founded and stationary models of normal programs and the class of minimal models of positive disjunctive programs. Any static expansion of a program P provides the corresponding semantics for P consisting of the set of all sentences logically implied by the expansion. We show that among all static expansions of a disjunctive program P there is always the least static expansion which we call the static completion P of...

11. Towards a Theory of Access-Limited Logic for Knowledge Representation - J. M. Crawford; Benjamin Kuipers
One of the fundamental problems in the theory of knowledge representation is the difficulty of achieving both logical coherence and computational tractability. We present steps toward a theory of access-limited logic, in which access to assertions in the knowledgebase is constrained by semantic network style locality relations. Where a classical deductive method or logic programming language would retrieve all assertions that satisfy a given pattern, an access-limited logic retrieves all assertions reachable by following an available access path. The complexity of inference is thus independent of the size of the knowledge-base and depends only on its local connectivity. Access-Limited Logic,...

12. ALL: Formalizing Access Limited Reasoning - J. M. Crawford; Benjamin Kuipers
Access-Limited Logic (ALL) is a language for knowledge representation which formalizes the access limitations inherent in a network-structured knowledge base. Where a classical deductive method or logic programming language would retrieve all assertions that satisfy a given pattern, an access-limited logic retrieves all assertions reachable by following an available access path. The complexity of inference is thus independent of the size of the knowledge-base and depends only on its local connectivity. Access-Limited Logic, though incomplete, still has a well defined semantics and a weakened form of completeness, Socratic Completeness, which guarantees that for any query which is a logical consequence...

13. 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;...

14. Elementary lessons in logic : deductive and inductive. - Jevons, William Stanley, 1835-1882.
Mode of access: Internet.

15. Elementary lessons in logic: deductive and inductive ... - Jevons, William Stanley, 1835-1882.
Mode of access: Internet.

16. Semantics, Consistency and Query Processing of Empirical Deductive Databases - Raymond T. Ng
In recent years, there has been growing interest in reasoning with uncertainty in logic programming and deductive databases. However, most frameworks proposed thus far are either non-probabilistic in nature or based on subjective probabilities. In this paper, we address the problem of incorporating empirical probabilities -- that is, probabilities obtained from statistical findings -- in deductive databases. To this end, we develop a formal model-theoretic basis for such databases. We also present a sound and complete algorithm for checking the consistency of such databases. Moreover, we develop consistency-preserving ways to optimize the algorithm for practical usage. Finally, we show how...

17. On the infinite-valued Łukasiewicz logic that preserves degrees of truth - Josep Maria Font; Àngel J. Gil; Antoni Torrens; Ventura Verdú
Łukasiewicz’s infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the ̷Łukasiewicz algebra on the unit real interval. In the literature a deductive system axiomatized in a Hilbert style was associated to it, and was later shown to be semantically defined from Łukasiewicz algebra by using a “truth-preserving” scheme. This deductive system is algebraizable, non-selfextensional and does not satisfy the deduction theorem. In addition, there exists no Gentzen calculus fully adequate for it. Another presentation of the same deductive system can be obtained from a substructural Gentzen calculus. In this...

18. Justified terminological reasoning - Thomas Studer
Justification logics are epistemic logics that include explicit justifications for an agent’s knowledge. In the present paper, we introduce a justification logic J ALC over the description logic ALC. We provide a deductive system and a semantics for our logic and we establish soundness and completeness results. Moreover, we show that our logic satisfies the so-called internalization property stating that it internalizes its own notion of proof. We then sketch two applications of J ALC: (i) the justification terms can be used to generate natural language explanations why an ALC statement holds and (ii) the terms can be used to...

19. The principles of science : a treatise on logic and scientific method / - Jevons, William Stanley, 1835-1882.
Book I. Formal logic, deductive and inductive -- Book II. Number, variety and probability -- Book III. Methods of measurement -- Book IV. Inductive investigation -- Book V. Generalisation, analogy, and classification -- Book VI. Reflections on the results and limits of scientific method.

20. Logic: deductive and inductive. - Bain, Alexander, 1818-1903.
Mode of access: Internet.

Página de resultados:
 

Busque un recurso