検索結果 124 件
紙図書
国立国会図書館
- 要約等...s with a guide to both ordinal analysis, and to proof theory. It mainly foc......is, a research topic in proof theory that is concer......rials in proof theory of first-order......ises, designed to help readers grasp and apply ...
- 内容細目Introduction Calculi for classical logic C...
- 件名Proof theory Logic, Symbolic and mathematical Logic, Symbolic and mathematical. Proof theory.
紙図書
国立国会図書館全国の図書館
- 内容細目Introduction to hybrid logic. ......ce prior Proof-theory of proposition......ion Comparison to Seligman's nat...... ; Translation to Seligman-style......onsideration ; Introduction to functional com...... hybrid logic. Introduction to first-order hy...... hybrid logic. Introduction to intensional fi...... hybrid logic. Introduction to intuitionistic......does the proof-theory of hybrid logi......a ; Why hybrid-logical proof-theory behaves so well ; Comparison to internalization of bivalent s...
- 件名Proof theory. Logic, Symbolic and mathemat...
- 著者標目Braüner, Torben.
紙図書
国立国会図書館
- 要約等...duce important topics in molecul......ics in an easy-to-understand man......ics is related to many fields, s...... and those new to the field to understand the......ight chapters: introduction, design theory of molecular r......molecular actuators, molecular m......al idea of the theory, underlying te......that introduce topics related to molecular robotics
- 内容細目...ace Contents 1 Introduction: Welcome to Molecular Robo......Robot? 1.2 How to Make a Molecul......iences Leading to Molecular Robo......otics 2 Design Theory of Molecular R......sed on Control Theory 2.5.1 DNA Circ......ole of Control Theory in the Design ......ntration Regulator Circuit 2.5.5......ks 2.6 PEN DNA Toolbox 2.7 Desig......Dynamics 2.8.1 Introduction 2.8.2 Microtub......ed System 2.10 Toward the Molecu......Robotics 3.1.1 Introduction 3.1.2 Artifici......cular Robot Prototype 3.2.1 Desi......tlook: From Prototype to Advanced Molec......3.3 Gellular Automata and Molecu......ting Expanding to Space 3.3.1 Cellular Automata...
- 典拠情報（Author Heading/「を見よ」参照）Murata, Satoshi
紙図書
国立国会図書館全国の図書館
- 要約等...atures of Game Theory, covering most......eedom. In Game Theory, the cooperati...... that may lead to these outcomes...... 1944 entitled Theory of Games and E......models of game theory are abstract r......e applications to economics, pol......igm which aims to construct the ......ules, and then to simulate them in a computer to mimic the real......f a real ABM ontology to address the epistemological issues related to this emerging paradigm for mo...
- 内容細目Part I Game Theory Game Theory, Introduction to Cooperative Ga...... Social Choice Theory Static Games Game Theory and Strategic ......an Application to Climate Change......lutionary Game Theory Stochastic Games Implementation Theory Mechanism Desi......nd Simulation, Introduction to Agent Based Mo......ics Cellular Automaton Modeling of Tumor Invasion A...
- 件名Game theory Social science......Dynamics. Game theory. Operations research. Social ...
紙図書
国立国会図書館全国の図書館
- 要約等...isciplines, An Introduction to Moral Philosop......ging narrative introductions to moral theories and the thinke...
- 内容細目...n, Circularity Logical Traps Informal......ion, Inference to the Best Expla......ty as a Device to Curb the Stron......nts Responding to Subjectivism c......Free Will Sociological Determinism Psychological and Physical D......mma Responding to the Dilemma Re......e Moral? Psychological Egoism The Evi......ence for Psychological Egoism Responding to Psychological Egoism Self-In......ocial Contract Theory in Practice: E......nism Bentham's Theory of the Good Me......ity ch. 10 Deontology: Kant The ......d Refusing Aid to Others Suicide......s, and Failing to Help ch. 11 Ch...... of Humanity Autonomy and Heteronomy Using Kant...
紙図書
国立国会図書館
- 内容細目Introduction / John Shand T......hn J. Callanan Theory of science : F...... S. Troxell Historicizing natura......, Comte / Christopher Macleod Th......erbach, Marx / Todd Gooch Historical materiali......losophy and historical meaning :......litarian moral theory and its develo...... / Anthony Skelton American prag...... Andrew Huddleston British idealism : Green, Br...
- タイトル標目Blackwell companions to philosophy ; 70.
紙図書
国立国会図書館
- 内容細目Introduction: Expanding documentary histories / Joshua M......d geographies. Introduction / Alice Lovejo......iew: the small-town film and US ......ocumentary: history, movement, a......cumentary film theory in Japan / Naoki Yamamoto The topographical aes......ring agencies. Introduction / James Leo Ca......ned capture: automatic cameras a......ary regime, Vertov, and hi story / Philip Ros......ilm movements. Introduction / Joshua Malit......tion, and Roberto Rossellini (19......rchaeologists. Introduction / Malte Hagener A concise history and theory of documentari......a media archaeological case study of ......entary film history and historiography / Yvonne...
- 件名Documentary films--History and criticism Documentary f...
紙図書
国立国会図書館
- 要約等... as far as Aristotle, but few bo......address the history of these imp......ries about the logical modalities (ne......phers from Aristotle in ancient Greece to Rudolf Carnap ...... century. The story begins with ......cussion of Aristotle's views on ......s through the Stoic and medieval......and then moves to the early mode......ular attention to Locke and Leib......between the historical figures s......ture of the history of the logical modalities."--Book descriptio...
- 内容細目...ist of contributors List of abbreviations Introduction / Max Cresswel......ne Rini 1. Aristotle on the nece......ne Rini 2. Aristotle on one-side....... Why does Aristotle need a moda......eterminism in Stoic thought / Va......sitions / Christopher J. Martin ......tions of modal theory in the fourtee......Normore 8. Theological and scientific......ds / Jack MacIntosh 9. Locke and the problem of...
- ジャンル・形式用語History. Aufsatzsammlung
紙図書
国立国会図書館
- 内容細目...Author Forward Introduction: Anniversary o......al analysis Historical prologue ......amics 2.1 A historical look at t...... scope and how to specify its th......t transfer, Newton cooling law a......ative approach to temperature fi......acro-dimension to the quantum mi......ter 3 Phenomenological approach to the caloric theory of heat: An al...... manufacturing tool and its non-...... in a phenomenological theory 3.3 Heat alike entropy: introduction of caloric theory 3.4 Constituti......within caloric theory 3.5 Resolution......ic and caloric theory Chapter 4 Text......rmostatics 4.1 Introduction to basic logic of textbook th...
紙図書
国立国会図書館
- 要約等...s and are used to develop various applications....
- 内容細目An introduction to description lo......se, and R. Molitor Expressive de......omo Extensions to description lo...... logic provers to knowledge repr......matics / A. Rector OWL : a descr......-logic-based ontology language for the semantic...
- 一般注記Related URL: Contributor biographical information htt...
紙図書
国立国会図書館全国の図書館
- 要約等"Anthropological Theory: An Introductory History, Seventh Edi......logy from 1860 to the present da......ctions are its introductions, footnotes, a......ndex. Detailed introductions examine criti......evelopments in theory, introduce key......and discuss historical and perso......tnotes, the editors provide comm...... writing in historical and cultu......ies references to other scholars......ore accessible to both students ......able reference tool."
- 内容細目Part 1. Historical Foundations of Anthropological Theory. Nineteenth-ce......ations of sociological thought: Émil......art 2. Culture Theory in the Early T...... science of custom : the bearing......Margaret Mead, Introduction to coming of age ......Zora Neale Hurston, Of mules and......t and behavior to language (1941......(1940) Part 3. Theory at Mid-century......ceptual and historical problems ......es (1966) ; Victor Turner, Symbo......The incitement to discourse (197......modernism: Renato Rosaldo, Grief......Theodore C. Bestor, Kaiten-zushi......ncies (1995) ; Tom Boellstorff, The emerge......, From Jíbaro to crack dealer : confronting th...
- ジャンル・形式用語Sources. History.
紙図書
国立国会図書館全国の図書館
- 要約等...tution was how to create a vigor......g him king. In today's divided p......artisan rancor to reveal what th...... must be given to their successi......d which powers to strip from the presidency to avoid tyranny.......hey were understood at the time ......g, and goes on to provide a fram......at are subject to congressional ......tures at Princeton University, T......Not Be King restores the origina...... the executive to govern effectively."
- 内容細目Foreword / by Stephen Macedo Introduction : purpose, sco......amers' general theory of allocating ......wers The power to control law execution Foreign...
- ジャンル・形式用語History. Informational works.
紙図書
国立国会図書館
- 要約等...quently unable to coerce weak ad......when giving in to US demands ear......s it necessary to use force at a...... United States to casually threa......ghly motivated to bear high costs over a sustai...
- 内容細目Introduction : too cheap to compel The log......ompellence for theory and policy Appendix. Descript...
紙図書
国立国会図書館全国の図書館
- 要約等... independence, to the proposed A......A), which aims to remove trade b...... book explores to what extent Af......tions specific to Africa, consid......are introduced to support the ec......re scrutinized to answer the que......describing how to improve key clauses of agreem...
- 内容細目... in Africa: An Introduction Part I: The Ec......the Unions The Logical Sequence of Re......ation in Trade Theory The Coordinati......and Regional Actors Part III: Gl......onclusion--How To Achieve Africa's Economic Uni...
- 件名...ue Economic history. Sustainable development. T...
紙図書
国立国会図書館全国の図書館
- 要約等"First published by Princeton in 1943, the ......ht, and the historical figures t......shaped that history. The books, ......taple of Princeton's backlist in......om Machiavelli to Hitler, emerge...... between Princeton and the Insti......dy in reaction to World War II a......om Machiavelli to the Nuclear Ag......re wholly new, to reflect the up...... The two books together are rega...... new volume is to commission an ......rs organized into 5 sections cov......nd military history has witnesse......polarity, only to see it challen......logies promise to upend our unde......rs of strategy to the struggles ......reat power war to the dynamics of world politic...
- 内容細目...a / Daniel Marston 30. Ben-Gurio......ert McNamara : theory over history and expertis......on from Fisher to Reagan / Thoma......rge H. W. Bush to Barack Obama / Christopher J. Griffin......ophet Muhammad to contemporary t...... of China's restoration / Elizabeth Economy 40....
- ジャンル・形式用語History
紙図書
国立国会図書館
- 要約等...practice. Alberto Simpser shows ......n winning. Electoral manipulatio...... is not only a tool used to gain votes, bu......smitting or distorting informati......businesspeople to the benefit of the manipulators, increasing ......or the manipulators to pursue their g......ure challenges to their hold on ......ides a general theory about what drives electoral manipulation and empirical...
- 内容細目...an winning; 1. Introduction and overview; 2. Electoral manipulatio...... it is and how to measure it; 3.......nd blatant electoral manipulatio......c logic of electoral manipulation; 6. The theory at work: evide......effects of electoral manipulation: quantitative...
- 関連情報Cover image Contributor biographical information Pub...
紙図書
国立国会図書館
- 内容細目Introduction / Leila Haapar...... from humanism to Kant / Mirella......h century / Risto Vilkko The rel......c from Russell to Tarski, 1900-1......Zach, and Calixto Badesa Set theory, model theory, and computability theory / Wilfrid Hodges Proof theory of classical a......c / Jan von Plato Modal logic from Kant to possible world......odalities / Risto Hilpinen Logic and semantics ...
- 件名Logic -- History.
紙図書
国立国会図書館
- 内容細目Introduction : a truncated ......odness" as ideological property in sc...... in the school-to-prison pipelin......reform / Sally Tomlinson Toward unity in s......it contributes to multicultural ......discriminate : toward a theory of multiple id......on / Zanita Fenton Conclusion : critical conver...
紙図書
国立国会図書館
- 内容細目Introduction : Socrates in ......odefroid Technological power in the p....../ Thomas F. Bertonneau Violence,......t is happening today is mimetic ......should mimetic theory be applied? / ......? : how do we stop / Robert Pogu......e always tried to think inside a...... / Pierpaolo Antonello, João Ce......ity will be victorious, but only in defeat" / C...
- 資料の内容に関する注記... what it means to be human and m...... contributions to philosophy, li......th his mimetic theory. This is the f......ne that brings together discussi...... Cervantes, Dostoevsky, and Prou......ant insights into Girard's life and thought, th...
紙図書
国立国会図書館
- 内容細目Introduction: Grounded theory research : met...... practices / Antony Bryant & Kat......Origins and history: Grounded theory in historical perspecti......e : an epistemological account / Antony Bryant & Kat......ry of grounded theory in practice : ......of multiple mentors / Eleanor Kr......iving grounded theory : cognitive an...... Star Grounded theory method and formal grounded theory: Doing formal theory / Barney G. Gl......owing grounded theory / Phyllis Noer......om the sublime to the meticulous......rounded formal theory / Margaret H. ......ts of grounded theory / Jane C. Hood Grounded theory in practice: Grounding catego...
- 件名Grounded theory.
- 並列タイトル等（連結）Handbook of grounded theory Grounded theory