close
1.

図書

図書
Robert L. Causey
出版情報: Boston : Jones and Bartlett, c2001  x, 405 p. ; 24 cm
シリーズ名: Jones and Bartlett books in mathematics
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction
The Subject Matter / 1:
Goals and Organization / 2:
Assumed Background Knowledge / 3:
The Presentation / 4:
Sentential Calculus / Chapter 1.:
Syntax of the Sentential Calculus / 1.1:
Correspondence to Natural Languages / 1.2:
Semantics of the Sentential Calculus / 1.3:
Some Metatheoretical Concepts / 1.4:
Principles for Sentential Calculus Derivations / 1.5:
Adequacy and Use of Sentential Calculus Derivation Rules / 1.6:
Soundness and Completeness / 1.6.1:
Strategies for Constructing Proofs / 1.6.2:
Sentential Calculus Derivation Examples / 1.6.3:
Conjunctive Normal Form and Resolution Proofs / 1.7:
Basic Set Theory / Chapter 2.:
Sets / 2.1:
Extensionality, Predicates, and Abstraction / 2.1.1:
Some Special Sets and Set Operations / 2.1.2:
Relations / 2.2:
General Features / 2.2.1:
Special Kinds of Relations / 2.2.2:
Functions / 2.3:
Basic Ideas / 2.3.1:
Compositions and Inverses / 2.3.2:
Relational Systems / 2.4:
Recursion and Mathematical Induction / Chapter 3.:
The Natural Number System / 3.1:
Peano's Axioms and the Induction Principle / 3.1.1:
Definition by Recursion / 3.1.3:
Basic Arithmetic / 3.2:
Some Simple Functions / 3.2.1:
Additional Arithmetical Definitions / 3.2.2:
Extensions of Recursive Definition and Induction / 3.3:
Some Additional Applications of the Recursion Theorem / 3.3.1:
The Well-Ordering of the Natural Numbers / 3.3.2:
Course of Values Induction / 3.3.3:
Two Arithmetical Algorithms / 3.3.4:
Pitfalls of Recursion / 3.3.5:
Non-Numerical Data / 3.4:
Strings / 3.4.1:
A Simple Treatment of Lists / 3.4.2:
Sentential Calculus Expressions / 3.4.3:
Stacks and Queues / 3.4.4:
Predicate Calculus / Chapter 4.:
Syntax of the Predicate Calculus / 4.1:
Semantical Aspects of the Predicate Calculus / 4.2:
Interpretations and Truth / 4.2.1:
Tautologous Sentences in Predicate Calculus / 4.2.2:
Tautological Consequences in Predicate Calculus / 4.2.3:
Predicate Calculus Derivations / 4.3:
Derivation Rules / 4.3.1:
Proof Strategies and Examples / 4.3.2:
Adequacy of the Predicate Calculus Rules / 4.3.3:
Application Example / 4.4:
Identity and Function Symbols / 4.5:
Extension of the Syntax / 4.5.1:
Semantics of Predicate Calculus with Identity and Function Symbols / 4.5.2:
Derivation Rules for Predicate Calculus with Identity and Function Symbols / 4.5.3:
Use of Identity in Representing Information / 4.5.4:
Formalized Theories / 4.6:
References
Answers to Selected Exercises
The Greek Alphabet / Chapter 1:
Glossary of Symbols
Index
Preface
Introduction
The Subject Matter / 1:
2.

図書

図書
Mordechai Ben-Ari
出版情報: New York, Tokyo : Springer, c2001  xiv, 304 p. ; 24 cm
所蔵情報: loading…
3.

図書

図書
Bernhard Ganter, Gerd Stumme, Rudolf Wille (eds.)
出版情報: Berlin : Springer, c2005  x, 348 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3626 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書

図書
Ronald Christensen
出版情報: [Berkley, Calif.] : [Entropy,Ltd.], c1964  xii, 364 p. ; 26 cm
所蔵情報: loading…
5.

図書

図書
Johan van Benthem, Alice ter Meulen
出版情報: London ; Tokyo : Elsevier, 2011  xxii, 1146 p. ; 25 cm
シリーズ名: Elsevier insights
所蔵情報: loading…
目次情報: 続きを見る
Preface
Frameworks / Part 1:
Montague Grammar / B. Partee ; H. Hendriks1:
Categorial Type Logics / M. Moortgat2:
Discourse Representation in Context / H. Kamp ; J. van Eijck3:
Situation Theory / J. Seligman ; L. Moss4.1:
Situations, Constraints and Channels / E. Mares ; G. Restall4.2:
GB Theory: An Introduction / J. Higginbotham5.1:
After Government and Binding Theory / E. Stabler5.2:
Game-Theoretical Semantics / J. Hintikka ; G. Sandu6.1:
Game-Theoretical Pragmatics / J. G. Jäger6.2:
General Topics / Part 2:
Compositionality / Th. Janssen7:
Types / R. Turner8:
Dynamics / R. Muskens ; J. van Benthem ; A. Visser9.1:
Dynamic Epistemic Logic / B. Kooi9.2:
Partiality / J-E. Fenstad10:
Formal Learning Theory / D. Osherson ; D. de Jongh ; E. Martin ; S. Weinstein11.1:
Computational Language Learning / M. van Zaanen ; C. de la Higuera11.2:
Non-monotonicity in Linguistics / R. Thomason12.1:
Non-monotonic Reasoning in Interpretation / R. van Rooij ; K. Schulz12.2:
Descriptive Topics / Part 3:
Generalized Quantifiers / E. Keenan ; D. Westerståhl13.1:
On the Learnability of Quantifiers / R. Clark13.2:
Temporality / M. Steedman14.1:
Tense, Aspect, and Temporal Representation / H. Verkuyl14.2:
Plurals and Collectives / J. Lønning15.1:
Plural Discourse Reference / A. Brasoveanu15.2:
Questions / J. Groenendijk ; M. Stokhof16.1:
Questions: Logic and Interactions / J. Ginzburg16.2:
Preface
Frameworks / Part 1:
Montague Grammar / B. Partee ; H. Hendriks1:
6.

図書

図書
by M.E. Munroe
出版情報: Reading, Mass. : Addison-Wesley Pub. Co, 1965  viii, 198 p ; 25 cm
シリーズ名: Addison-Wesley series in mathematics / Eric Reissner, consulting editor
所蔵情報: loading…
7.

図書

図書
Surányi, János, 1918-
出版情報: Budapest : Verlag der Ungarischen Akademie der Wissenschaften, 1959  215 p ; 25 cm
所蔵情報: loading…
8.

図書

図書
Bernhard Ganter, Rudolf Wille ; [translated from the German by Cornelia Franzke]
出版情報: Beelin ; New York : Springer, c1999  x, 284 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Order-theoretic Foundations / 0:
Ordered Sets / 0.1:
Complete Lattices / 0.2:
Closure Operators / 0.3:
Galois Connections / 0.4:
Hints and References / 0.5:
Concept Lattices of Contexts / 1:
Context and Concept / 1.1:
Context and Concept Lattice / 1.2:
Many-valued Contexts / 1.3:
Context Constructions and Standard Scales / 1.4:
Determination and Representation / 1.5:
All Concepts of a Context / 2.1:
Diagrams / 2.2:
Implications between Attributes / 2.3:
Dependencies between Attributes / 2.4:
Parts and Factors / 2.5:
Subcontexts / 3.1:
Complete Congruences / 3.2:
Closed Subrelations / 3.3:
Block Relations and Tolerances / 3.4:
Decompositions of Concept Lattices / 3.5:
Subdirect Decompositions / 4.1:
Atlas-decompositions / 4.2:
Substitution / 4.3:
Tensorial Decompositions / 4.4:
Constructions of Concept Lattices / 4.5:
Subdirect Product Constructions / 5.1:
Gluings / 5.2:
Local Doubling / 5.3:
Tensorial Constructions / 5.4:
Properties of Concept Lattices / 5.5:
Distributivity / 6.1:
Semimodularity and Modularity / 6.2:
Semidistributivity and Local Distributivity / 6.3:
Dimension / 6.4:
Context Comparison and Conceptual Measurability / 6.5:
Automorphisms of Contexts / 7.1:
Morphisms and Bonds / 7.2:
Scale Measures / 7.3:
Measurability Theorems / 7.4:
References / 7.5:
Index
Order-theoretic Foundations / 0:
Ordered Sets / 0.1:
Complete Lattices / 0.2:
9.

図書

図書
Paul J. Cohen
出版情報: New York ; Amsterdam : W.A. Benjamin, 1966  154 p. ; 24 cm
所蔵情報: loading…
10.

図書

図書
[by] Patrick Suppes and Shirley Hill
出版情報: New York : Blaisdell Pub. Co, [1964]  ix, 274 p ; 24 cm
シリーズ名: A Blaisdell book in the pure and applied sciences
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼