検索結果 402 件
紙図書
国立国会図書館
- 要約等Philosophy of logic is a fundament......ophical study, and one which is ......mmensely important in relation to many issues in met......f mathematics, and philosophy of language. This tex...... comprehensive and accessible introduction to topics including ......objectivity of logical inference rules and its relevance in discussions of epistemological relativism, ......ed interest in logical pluralism, the question of logic's metaphysical neutrality, and the demarcation between logic and mathematics. ...... philosophy of logic, and allow students to understand the philosophical relevance of these deb......without having to contend with complex technica...
- 件名Logic. Logik Philosophie
- タイトル標目Cambridge introductions to philosophy.
紙図書
国立国会図書館
- 要約等Formal logic provides us wi......some arguments and showing others to be valid. Thes......iques are relevant to all of us with an interest in being skillful and accurate reas......sively revised and rewritten for......esents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and develops natu......ng arguments translated into these languages. His dis......orked examples and exercises, and alongside the......book will make an ideal text for a first logic course and will provide ......work in formal and philosophical logic
- 件名Logic
- タイトル標目Cambridge introductions to philosophy
紙図書
国立国会図書館
- 要約等...s with a guide to both ordinal analysis, and to proof theory. ......ses on ordinal analysis, a research topic in proof th......resses ordinal analysis and basic materia......order or omega logic, presenting some new results and new proofs of......duate students and researchers i......n mathematical logic, the book also......rous exercises and answers for selec......ises, designed to help readers grasp and apply the main results and techniques discussed"--Back ...
- 内容細目Introduction Calculi for classical logic Cut-elimination in depth Epsi...
- 件名Proof theory Logic, Symbolic and mathematical Logic, Symbolic and mathematical. Proof theory.
紙図書
全国の図書館
- 一般注記Includes bibliographical references (p. 229-232) and index
- 並列タイトル等（連結）Hilbert's 10th problem : an introduction to logic, number theory, and computability
- 並列タイトル等Hilbert's 10th problem : an introduction to logic, number theory, and computability
紙図書
国立国会図書館全国の図書館
- 要約等...hich are alien to us, but home to others? Is our......ust one among many? Or is it (in......e? Descartes, Kant, Frege, Wittg......nstein, among many, were exercis......stions. Frege, and then Wittgens......ssibility of a logical alien, a thi......by a different logic yet still coun......opher James Conant published a p......t this issue into clear form and placed its illuminatingly into historical context. ......iversity of Porto - Portugal mar......iginal article and the reflectio......ustafsson, Adrian Moore, Barry S......d, Peter Sullivan. and Charles Travi......), followed by answers by Conant. The issues range from the n...
- 件名Logic Thought and thinking Phil......ive Psychology and philosophy Ph......ilosophy (20th and 21th century) Logic. Philosophy, C......rn. Psychology and philosophy. Thought and thinking. Logik Logique. Pen...
紙図書
国立国会図書館
- 要約等...ound knowledge and introduce important topics in molecular robotics in an easy-to-understand manner. Molecular ......ics is related to many fields, such ......cular biology, and ethics. The w......ular robotics can be grasped onl......ook has been planned in the beli......l for students and those new to the field to understand the ongoing expansion of molecul......ight chapters: introduction, design theory......gy, molecular nanotechnology, molecular actuators, molecular m...... applications, and social acceptance. In each cha......r, the reader can get a general ...... applications, and social issues, and can also understand what is ...
- 内容細目...Dynamics 2.8.1 Introduction 2.8.2 Microtub......me High-Performance Computing 2.......ed System 2.10 Toward the Molecu...... Cell Research and Molecular Robotics 3.1.1 Introduction 3.1.2 Artifici......tificial Cells and Molecular Rob......tificial Cells and DNA Nanotechnology 3.1......cular Robot Prototype 3.2.1 Desi......3 Robot Performance: Active and Inactive Stat......tlook: From Prototype to Advanced Molecular R......3.3 Gellular Automata and Molecular Computing Expanding to Space 3.3.1 Cellular Automata 3.3.2 Gellular Automata 3.3.3 Comp...... of Gellular Automata 3.3.4 Gellular Automata and Distributed Algorithms 3.3.5...
- 一般注記3.8.3 Application of Nanopore Technology: DNA Sequenci...
紙図書
国立国会図書館全国の図書館
- 要約等"Using real-world examples and vivid illustr......r disciplines, An Introduction to Moral Philosop......about morality and demonstrates ......ed philosopher and writer Jonathan Wolff, this ed......s a thoughtful and contemporary ...... gender, race, and non-Western m......ging narrative introductions to moral theories and the thinkers behind them"--
- 内容細目Ch. 1 Moral Philosophy and Moral Reasoni......asoning Formal Logic: Validity, Sou......n, Circularity Logical Traps Informal Logic: Analogy, Induction, Inference to the Best Explanation Thought Experiments and Moral Intuiti......easoning The Plan of This Book C......ck Your Understanding Apply Your......sm? Relativism and Pseudo-Relati......enital Cutting and Cultural Rela......ch. 3 Nihilism and Subjectivism ......es of Nihilism and Subjectivism ......ty as a Device to Curb the Stron......cepts Ethics, Language, Metaphysics, and Epistemology ......nts Responding to Subjectivism ch. 4 Free Will and Moral Responsibility Free Wi...
- 著者標目Wolff, Jonathan, 1959-
紙図書
国立国会図書館
- 要約等...ence, provided an accessible and student friendly introduction to AI. This fully revised and expanded update, Art......lligence: With an Introduction to Machine Learni...... accessibility and problem-solvi......g new material and methods. The ......k is divided into five sections ......he book covers logic-based methods,...... third section and explores evol......ry computation and methods based......ion comes next and provides a de......eural networks and deep learning......es on natural language understanding. Suitable ...... undergraduate and beginning gra......vides students and other readers......key AI methods and algorithms for solving chall...
- 一般注記"A Chapman & Hall Book"
- タイトル標目Chapman & Hall/CRC artificial intelligence and robotics series.
紙図書
国立国会図書館全国の図書館
- 要約等... rulers design and organize their coerc......ir regimes. Balancing the milita......y with republican guards, secret police, and militia makes attempts to oust rulers more likely to fail. However, counterbalancing carries ri......y chain of command compete for arms and recruits, res......tary officers can provoke coup a......n as counterbalancing creates obstacles to a coup's execution."--
- 内容細目Introduction: Preventing Co......ps d'état The Logic of Counterbalancing Counterbalancing and Coup Failure How Counterbalancing Works: Tes......the Causal Mechanisms An Effective Dete......ent? Counterbalancing and Coup Attempts Challenges to Building Coerc......état Escalate to Civil War Conc......e Institutions and Regime Survival
- 件名...-Prevention Balance of power Political leadersh...
紙図書
国立国会図書館
- 要約等This handbook is focused on the analytical dimens......on qualitative and quantitative method......eing practised and can be used by fut......es, conceptual and empirical cha...... whereas the quantitative cluster analyses internat......rough a broad range of statistic...... regressions, panel data, struct......ecision-making and optimisation ......els in certain and uncertain circumstances. This book ......hers, scholars and practitioners who want to learn and implement new methods in analysing entrepreneurial opport...
- 内容細目Introduction: International......ip from Methodological Perspectives......lisation Immigrants and International......preneurship: Transnational Dynamic Capability and Dual Social N......sation of SMEs and Distant Markets: The Networking and Service Funct......g Service-Dominant Logic and the BAR Frame......rs, Platforms, and International Technology Transformation Part......nity Research: Topic Modelling A......erature Review and Future Resear......trepreneurship and Technology: A......Malaysia: A Historical Instituti...... of Start-Ups: An Institutional ......tive Discourse Analysis of the P......urship During Pandemic Barriers to Entrepreneur...
- タイトル標目Contributions to management science. 1431-1941
紙図書
国立国会図書館全国の図書館
- 要約等... impact of the introduction of phenomenology in Japan and its interaction with Japanese philosophy.......ly stage in Japan. Furthermore, ...... thought in Japan. However, the ...... indigenous Japanese tradition of thought and Japanese culture has...... the encounter and the interaction between Japanese thought and phenomenological reflection, ......pecial regards to the topics of awareness and the self, the......rness, ethics, and metaphysical ......gy has served, and still serves, Japan to re-comprehend ......own" tradition and its specific ......ime, it offers an example of how......erent cultures and traditions can be both prese...
- 内容細目...apanese Ethics and Phenomenology......ity Chapter 9. Tomoo Otaka's Con......os: A Phenomenological Interpretation (YAEGASHI and UEMURA) Chapter 10. Ethics Can Only Be Hermeneutic and Not Phenomenological: A Critical ......y of Aidagara: An Interpretation and Application to Psychopatholog......ER) Part 5. Japanese Philosophy and the Developme......f New Phenomenological Perspectives......Awareness as Transcendental Medi......hapter 13. The Logic of Mediation: ......ute mediation" and "Logic of Species" in Tanabe's Philosoph......Philosophy" of Toshihiko Izutsu. Toward a "Structu......15. Recurrence and the Great Death: A Transcont...
- 件名Phenomenology. Philosophy, Japanese.
紙デジタル記事
国立国会図書館全国の図書館
- 要約等We give an overview of se......or security protocols. Especiall......asic ideas of BAN logic and Protocol Composition Logic (PCL) and their related......ch as Basic Protocol Logic (BPL). We also......mputational semantics for PCL.
- 並列タイトル等（連結）From BAN logic to protocol composition logic: an introduction to logical verification......or security protocols
- 並列タイトル等From BAN logic to protocol composition logic: an introduction to logical verification......or security protocols
紙図書
国立国会図書館
- 要約等Description logics are a family ......epresentation languages that hav......-based systems and are used to develop various applications....
- 内容細目An introduction to description logics / D. Nardi and R.J. Brachman Basic description logics / F. Baader and W. Nutt Compl......attler, D. Calvanese, and R. Molitor Expressive description logics / D. Calvanese and G. De Giacomo Extensions to description logics / F. Baader, R. Küsters, and F. Wolter From description logic provers to knowledge repr.......L. McGuinness and P.F. Patel-Sc......er Description logic systems / R. Möller and V. Haarslev Implementation and optimization ......th description logics / A. Borgida and R.J. Brachman Software engin......matics / A. Rector OWL : a description-logic-based ontology language for t...
- 件名Description logics -- Handbooks, manuals, etc. Terminologische Log...
紙図書
国立国会図書館
- 要約等...ides a concise introduction to the exciting w......technology, history and societal impa......puter software and computing devices. Spanning topics from global conflict to home gaming, i......ional business and human communication." -- Publisher.
- 内容細目...ing Concise history of computing......s in computing Introduction to algorithms Concise introduction to logic Human-computer interaction Introduction to programming languages Overview......tions Internet and World Wide Web Smartphone ans social media ......mputing Ethics and professional responsibility ...
- 並列タイトル等（連結）Primer companion for the digital age
紙図書
国立国会図書館全国の図書館
- 要約等"First published by Princeton in 1943, the ...... studied the means and ends of military power and thought, and the historical figures t......shaped that history. The books, ......taple of Princeton's backlist in......ional politics and strategic stu......ard Mead Earle and subtitled Mil......om Machiavelli to Hitler, emerge......foreign policy and security experts organized between Princeton and the Institute of Advanced Study in reaction to World War II a......ret, then at Stanford University......he early 1980s and subtitled From Machiavelli to the Nuclear Ag...... were revised, and the remainder......re wholly new, to reflect the updates in the fi...
- 内容細目...ly, Richelieu, and Mazarin: Fren......h Century / Iskander Rehman 12. Generation......d: William III and André-Hercule de....../ Matt J. Schumann 13. Napoleon and the Strategy ......n Quincy Adams and the Challenge......ence: Tecumseh and the Shawnee C......i Schake 16. Francis Lieber, the Laws of War, and the Origins o...... / Wayne Wei-siang Hsieh 17. Japan Caught between Maritime and Continental I...... Strategies of Anti-Imperial Resistance: Gandhi, Bhagat Singh, and Fanon / Priya Sati......e: Strategy in an Age of Global ......trategy, War Plans, and the First Wor......argaret MacMillan 20. The Strategy of Decisive ...
- ジャンル・形式用語History
紙図書
国立国会図書館全国の図書館
- 要約等This second edition volume expands on the previ......s edition with an update on the ......echniques used to study plant systems biolo...... tissue level, and the whole plant. Chapters cover topics such as gene regulatory network inference and dynamic model......ations or Boolean formalisms; protocols for at-wil......induction of plant aerial or root organs, or quantification of tissue mechanical properties...... modeling of plant tissue using SimuPlant or VirtualLeaf; and simulating cr......apters include introductions to their respective topics, step-by-s......oducible laboratory protocols or software tutorials, and tips on troubleshoo...
- 内容細目...of Plant Roots and Soil Water with a Light Transmission Techni...... Linking Water and Root Observations to Soil-Plant Models RACINE......for Processing and Mapping Spati......Length Density and Potential Roo......del R-SWMS How to Define the App......hallenges in Plant Systems Biology Plant Systems Biolo......urther Reading and Resources
- 件名Plant molecular bio......systémique Biological systems. Botany.
紙図書
国立国会図書館
- 内容細目Introduction Part I : Exper......past, present, and future. Exper......tal philosophy and the philosoph...... Stephen Stich and Kevin P. Tobia Philosophic......aija Moretnsen and Jennifer Nage......ing X-Phi relevant and dangerous / Jonathan M. Weinberg Ea......phy / Peter R. Anstey and Alberto Vanzo Nietzsche and moral psychology / Daniel Telech and Brian Leiter Part II....... A. Free will and philosophy of......roaches / Florian Cova Traditional and experimental approaches to free will and moral respons......nar Björnsson and Derk Pereboom Free will and experimental ......hy / Hoi-Yee Chan, Max Deutsch, and Shaun Nichols B. Moral and p...
- 資料の内容に関する注記...that applies quantitative and empirical methods to traditional topics of philoso......ern philosophy and then surveys ......sub-discipline and contains insi......for a diverse range of fields, i......itive science, anthropology, economics, and psychology, a......nal philosophy today. Edited by ......o take a broad and inclusive approach to the field, it ......ers a complete introduction for non-specialists and students to the central ap......s, challenges, and controversies in experimenta...
紙図書
国立国会図書館
- 内容細目...ntent; Figures and Tables; Ackno......-Based Budget Management; Introduction; Goals of Public Financial Management Reform; Brief History of Budget Re......-Based Budget Management; Result......-Based Budget Management Logic Model; Analyzing Data; R......-Based Budget Management Busines......fficiency; 3 Transparent Reporting of Results; Introduction; Data Management; Steps to Implementing R......-Based Budget ManagementIntroduction; Australia; Canada; Indonesia;......aysia; New Zealand; Philippines;......: Their Nature and Impact on Res......-Based Budget Management Reforms; Introduction; The Principal......ibility for Organizational and Human Resources ...
- 件名Business enterprises--Finance. Budget proc......S--Industrial Management. BUSINE...... & ECONOMICS--Management. BUSINE...... & ECONOMICS--Management Science...... ECONOMICS--Organizational Behavior.
- 典拠情報（Author Heading/「を見よ」参照）Asian Development Bank
紙図書
国立国会図書館全国の図書館
- 要約等... past, present and prospects of ...... The empirical analysis ranges from unions...... independence, to the proposed African Continental Fr......A), which aims to remove trade b......en all 55 African states. In add...... book explores to what extent Af......(RECs) have advanced in accordance with a linea......f goods, labor and capital marke......y of the European model of deep ......tions specific to Africa, consid......le of informal and non-recorded ......easing returns and imperfect com......are introduced to support the ec......ic integration logic. Past and current econo......re scrutinized to answer the question: how can ...
- 件名...ue Economic history. Sustainable development. T...
- 関連情報Advances in African economic, social and political development
紙図書
国立国会図書館
- 要約等...nal holography and hardware acce......rated hologram and digital holog......cessing Units) and FPGAs (Field ......phy as well as anyone interested in hardware ac...
- 内容細目...ntents Contributors Part I Introduction to Holography 1 L......, Diffraction, and Holography 1....... Waves 1.1.2 Plane Waves and Spherical Wav......Integral 1.4.2 Angular Spectrum ......d on Fourier transform Expressio......ine Holography and Off-Axis Holo......graphy Part II Introduction to Hardware 4 Bas......or High Performance 4.1 Introduction 4.2 Pipeline P......uction Latency and Throughput 4........2 Superscalar and Vector Processor 4.3.3 Logical CPU 4.3.4 Mu......on of GPUs 5.2 Introduction to CUDA 5.3 Setti.......3 Compilation and Execution 5.5......Addition of Vectors 5.5.1 Data and Memory Management on GPU 5.5...
- 一般注記Part III Acceleration and Advanced Techniques in Computationa...