Wednesday, August 20, 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 800

1. 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...

2. 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...

3. 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.

4. Logic: deductive and inductive. - Bain, Alexander, 1818-1903.
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.
Mode of access: Internet.

6. A manual of logic, deductive and inductive. - Munro, H. H.
Mode of access: Internet.

7. The elements of deductive logic, designed mainly for the use of junior students in the universities, - Fowler, Thomas, 1832-1904.
Series title also at head of t.-p.

8. Problemas sobre la distinción entre razonamientos deductivos e inductivos y su enseñanza - Hernández Ortiz, Héctor; Parra Dorantes, Roberto
A basic topic that is often included in introduction courses and manuals to logic is the distinction between deductive and inductive reasoning. The common characterization that maintains that inductive reasoning is that which goes from the particular to the general, and vice versa for deductive reasoning, presents enough problems to justify its abandonment. However, there is no unanimously accepted stance as to how each type of reasoning should be characterized, and as a consequence, taught. Here we propose and defend a plausible characterization of inductive reasoning that has the advantage of adequately perceiving the typical cases of inductive reasoning. Another benefit is that this proposal provides a unified treatment of different...

9. Debate en torno a la enseñanza de la lógica en 1880: una experiencia histórica - Valencia Flores, Abraham O.
La enseñanza de la lógica en México fue motivo de un debate de suma importancia ocurrido en 1880, tras la decisión de Ignacio Mariscal, ministro de Justicia e Instrucción Pública, de usar como guía intelectual de los estudiantes de la Escuela Nacional Preparatoria (enp) el texto krausista Lógica: La ciencia del conocimiento de G. Tiberghien, en sustitución del libro positivista Lógica Deductiva e Inductiva de Alexander Bain. El cambio de libro de texto llevó a debatir a un gran número de intelectuales en la enp, la Cámara de Diputados y el mundo periodístico con ricas consideraciones sobre la utilidad de la lógica en la vida cotidiana, su carácter metadisciplinario, su...

10. Teoría y praxis en el proyecto Filosofar con Niños - Andrade, Sergio F.
Este texto busca revelar que si el interés no se centra en la pretensión de referir a la relación teoría- praxis, si lo que intentamos plantear es la relevancia de ambos términos incluidos en la díada, no se trata de decidir si se hará uso de una lógica deductiva o inductiva, o más bien dialéctica; que, fundamentalmente, no habría que “teorizar” sobre este problema eminentemente filosófico. (Párrafo extraído del texto a modo de resumen)

11. Logical Framework Based Program Development - David Basin
in the base theory. The use of a logical framework as opposed to, say, a theorem prover for first-order logic, is important here, as this step requires formalizing and reasoning about rules as opposed to formulae. The rules formalized are designed to be adequate to simulate derivations of the target calculus. (3) We write tactics (programs that construct proofs) that help automate the application of proof rules. For example, by adopting ideas from [Bundy et al. 1991; Basin and Walsh 1996], in [Kraan et al. 1996] we completely automated the synthesis of many (albeit relatively simple) logic programs. This methodology...

12. L'educació des del punt de vista racional. El currículum conceptual i procediment evolutiu, els programes de desenvolupament intel·lectual - Riart i Vendrell, Joan
L’article centra, en primer lloc, el sentit del títol: l’educació que potencia la refl exió lògica i racional, suportada en el còrtex cerebral, i la situació educativa actual, que no té establert amb claredat un currículum educatiu específi c per a l’ensenyament obligatori sobre actituds, sociabilitat, valors, emocionabilitat i creativitat. D’altra banda, es propugnen programes de desenvolupament intellectual molt útils, molts dels quals se centren en el treball que suporta la part cortical del cervell: lògica i operacions mentals deductives, inductives… Per tant, tenim currículums centrats en aspectes racionals que, paradoxalment, requereixen programes transversals sobre aspectes també racionals i, a més, obliden aspectes emocionals i creatius. Finalment, es fan dues propostes-suggeriments:...

13. Plan de acciones para contribuir al mejoramiento del proceso de desarrollo físico y la eficiencia física de los niños y adolescentes con retraso mental leve - Castañer Jorrín, Niurka Siomara
El proceso de control del desarrollo físico y la eficiencia física de los niños y adolescentes es de gran importancia para los profesores docentes en el campo de la educación física y el deporte sin embargo en la actualidad se aprecia un incorrecto proceso de control de indicadores de estos, lo que afecta el desarrollo armónico de los niños y adolescentes con Necesidades Educativas Especiales específicamente con retraso mental leve en la provincia, situación que en opinión de la autora se encuentra agravada en el municipio de Unión de Reyes. Por lo que se propone elaborar un plan de acciones para contribuir al mejoramiento del...

14. Model Checking and Deduction for Verifying Infinite-State Systems - Henny B. Sipma; Tomás E. Uribe; Zohar Manna
Two well-known approaches to the verification of temporal properties of reactive systems are deductive verification and model checking. In deductive verification, the validity of temporal properties is reduced to first-order verification conditions. In model checking, the validity of the property is established by an exhaustive search of the state space for counterexamples. We review both techniques in the setting of fair transition systems and linear-time temporal logic properties, and then present deductive model checking, which combines the two approaches into a single procedure.

15. Pseudo-naive Evaluation - Donald A. Smith; Mark Utting
We introduce pseudo-naive evaluation, a method for execution of mixed top-down/bottom-up logic programs and deductive databases. The method is intermediate in power between naive evaluation and semi-naive evaluation. Pseudo-naive evaluation adds a data-driven component to naive evaluation without explicitly collecting the ‘delta’ sets of new facts derivable at each iteration. Instead, it identifies certain body atoms as ‘triggers’ and collects an abstraction of the delta sets, thereby simplifying the implementation. A rule is invoked only when new tuples for its trigger atoms are derived. Pseudo-naive evaluation is most efficient on strongly-stratified programs: programs for which all (positive and negative) bottom-up...

16. Logic: deductive and inductive. By Alexander Bain ... - Bain, Alexander, 1818-1903.
New and rev. ed.

17. A manual of logic, deductive and inductive. By H.H. Munro ... - Munro, H. H.
2 p. l., xii, 237 p.

18. Elementary lessons in logic: deductive and inductive, with copious questions and examples, and a vocabulary of logical terms, by W. Stanley Jevons. - Jevons, William Stanley, 1835-1882.
New ed.

19. The elements of deductive logic, designed mainly for the use of junior students in the universities, by Thomas Fowler. - Fowler, Thomas, 1832-1904.
6th ed., cor. and rev.

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

Página de resultados:
 

Busque un recurso