検索結果 812 件
紙記事
国立国会図書館全国の図書館
- 件名Logical thinking argument academic ...
- 並列タイトル等（連結）講習会"Logical Thinking Skills for Academi...
- 並列タイトル等講習会"Logical Thinking Skills for Academi...
紙図書
国立国会図書館
- 要約等Philosophy of logic is a fundament......nt in relation to many issues in......and accessible introduction to topics including ......objectivity of logical inference ru......ons of epistemological relativism, ......ed interest in logical pluralism, the question of logic's metaphysical......cation between logic and mathematic...... philosophy of logic, and allow students to understand the......without having to contend with c......nts working on logic, as well as fo...... philosophy of logic in its wider context.
- 内容細目The nature and tools of logic The standard story and its riva......s second-order logic proper logic? Logical constants Th......metaphysics of logic The epistemology of logic Logical pluralism Logic, reasoning, an......n The place of logic in science.
- 件名Logic. Logik Philosophie
紙図書
国立国会図書館全国の図書館
- 典拠情報（件名/「を見よ」参照）レポートライティング リポートライティング Report writing Logic 形式論理学
- 並列タイトル等（連結）INTRODUCTION TO LOGIC
- 並列タイトル等INTRODUCTION TO LOGIC
紙図書
国立国会図書館
- 要約等...s with a guide to both ordinal analysis, and to proof theory. ......is, a research topic in proof th......order or omega logic, presenting so......n mathematical logic, the book also......ises, designed to help readers grasp and apply ...
- 内容細目Introduction Calculi for classical logic Cut-elimination in depth Epsi...
- 件名Proof theory Logic, Symbolic and mathematical Logic, Symbolic and mathematical. P...
紙図書
国立国会図書館
- 要約等Formal logic provides us wi......showing others to be valid. Thes......s are relevant to all of us with......esents a guide to the fundamenta......ents of formal logic. He introduces the reader to the languages ...... and predicate logic, and develops ......s translated into these language......xt for a first logic course and wil...... philosophical logic
- 件名Logic
- タイトル標目Cambridge introductions to philosophy
紙図書
国立国会図書館
- 要約等...ides a concise introduction to the exciting w......technology, history and societal......ices. Spanning topics from global conflict to home gaming, international bu...
- 内容細目...ing Concise history of computing......s in computing Introduction to algorithms Concise introduction to logic Human-computer interaction Introduction to programming languages Overvie...
紙図書
全国の図書館
- 件名...-- Early works to 1800 Aristotle Aristotle. Categoriae Logic -- Early works to 1800
- 件名（識別子）...-- Early works to 1800 Aristotle Aristotle. Categoriae Logic -- Early works to 1800
- 関連情報Ancient commentators on Aristotle
紙図書
全国の図書館
- 件名...-- Early works to 1800 Aristotle Aristotle. Categoriae Logic -- Early works to 1800
- 件名（識別子）...-- Early works to 1800 Aristotle Aristotle. Categoriae Logic -- Early works to 1800
- 関連情報Ancient commentators on Aristotle
紙図書
国立国会図書館全国の図書館
- 要約等...hich are alien to us, but home to others? Is our......ssibility of a logical alien, a thi......by a different logic yet still coun......t this issue into clear form and......luminatingly into historical context. ......iversity of Porto - Portugal mar...... the nature of logical truths (the ......of Conference) to the nature of thinkers, and t...
- 内容細目Introduction to part I: basic ......The search for logically alien thou......escartes ought to have thought a...... Moore Kant on logic and the laws o......Arata Hamawaki Logical aliens and the "ground" of logical necessity / ......ocelyn Benoist Introduction to part II: on how history of philosophy can be illumi...
- 件名Logic Thought and th...... 21th century) Logic. Philosophy, Comparative. Phi...
紙図書
全国の図書館
- 並列タイトル等（連結）Hilbert's 10th problem : an introduction to logic, number theory, and computabi...
- 並列タイトル等Hilbert's 10th problem : an introduction to logic, number theory, and computabi...
紙図書
国立国会図書館
- 要約等...udent friendly introduction to AI. This fully......gence: With an Introduction to Machine Learni......k is divided into five sections ......he book covers logic-based methods, while the seco...
- 内容細目1. Introduction to Artificial Int...... Propositional Logic 3. First-Order Logic 3.1. Basics of First-Order Logic 3.1.1. Syntax ....... Validity and Logical Implication ......or First-Order Logic 3.2. Artificial Intelligence ...
紙図書
国立国会図書館全国の図書館
- 典拠情報（件名/「を見よ」参照）Logic circuits
- 並列タイトル等（連結）Introduction to Logic Design
- 並列タイトル等Introduction to Logic Design
紙図書
国立国会図書館全国の図書館
- 内容細目Introduction to hybrid logic. Informal moti......igin of hybrid logic in prior's wor......itional hybrid logic. The basics of......itional hybrid logic ; The basics o......itional hybrid logic ; Axiom system......itional hybrid logic Tableaus and d......res for hybrid logic. The basics of......ion Comparison to Seligman's nat...... ; Translation to Seligman-style......s for a hybrid logic. The natural d......onsideration ; Introduction to functional com......t-order hybrid logic. Introduction to first-order hybrid logic ; Natural dedu......t-order hybrid logic ; Axiom system......t-order hybrid logic Intentional first-order hybri...
- 件名Proof theory. Logic, Symbolic and mathematical.
- 関連情報Applied logic series
紙デジタル記事
国立国会図書館全国の図書館
- 並列タイトル等（連結）Introduction to logic via go
- 並列タイトル等Introduction to logic via go
紙図書
国立国会図書館
- 要約等"Provides logical foundations for annotated logics. Discusses in......s of annotated logics. Presents the...... written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses so......tions of these logics and also incl...... contributions to annotated logics. The central ......of the book is to show how annotated logic can be applied as a tool to solve problems......be of interest to pure and applied logicians, philosoph......paraconsistent logic. But, the layman will also ta...
- 内容細目Introduction Propositional Annotated Logics Pt Predicate Annotated Logics Qt Formal Issues Variants an...
- 件名Logic programming. Intelligence art...
紙図書
国立国会図書館
- 要約等...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......molecular actuators, molecular m......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...... Trends in DNA Logic Circuit Techno......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 3.3.2 Gellular Automata 3.3.3 Comp...... of Gellular Automata 3.3.4 Gellular Automata a...
- 典拠情報（Author Heading/「を見よ」参照）Murata, Satoshi
紙図書
国立国会図書館全国の図書館
- 典拠情報（件名/「を見よ」参照）Logic circuits
- 並列タイトル等（連結）Introduction to Logic Circuits
- 並列タイトル等Introduction to Logic Circuits
紙図書
国立国会図書館
- 要約等...s Confessor, into a metaphysics ......uctured on Aristotle's Categorie......hristian Neoplatonist theology that continues to stimulate 21st......tanding of Aristotelian logic, Christology, and the i...... and later theological traditions. Contributors: David Alber......Contreni, Christophe Erismann, J......Michael Harrington, Catherine Ka......d McGinn, Ernesto Sergio Mainoldi, Dermot Moran...
- 内容細目Introduction / Adrian Guiu ...... Scottus, Nutritor, and the Libe...... and the Neoplatonic tradition /......Michael Harrington Between Greek...... : Eriugena on logic / Christophe Erismann A thematic introduction to and outline of......riugena's christological ascent / Joh......tination / Emesto Sergio Mainold......gena as translator and interpret......nfessor : christology as cosmic theophany / Adr...
- ジャンル・形式用語History.
紙図書
国立国会図書館全国の図書館
- 要約等In "A Companion to Indian Cinema"......mporary and historical questions......ular attention to regional cinem......f film. The editors have include...... century India to a historicized engagem......works relevant to Indian cinema.......tudies, and history, A Companion to Indian Cinema is also an impo...
- 内容細目Introduction / Ranjani Mazu......Ganti 2. Spectators from the pas......James Burke photographs / Sabeen......s from Bhagwan to Bachchan / Ush......ar film and photograph : Hunting......idence, and vectors of desire / ......l 18. Coming into cinema : criti...... 19. Affective logics : re-making f......13) / Helen Ashton and Rachel Dw......ksha 24. Technological obsolescence......m unattainable to distantly watched films : fil...
- 関連情報Wiley-Blackwell companions to national cinemas
紙図書
国立国会図書館全国の図書館
- 要約等... impact of the introduction of phenomenolo......t and phenomenological reflection, ......pecial regards to the topics of awarene...... serves, Japan to re-comprehend ....... The phenomenological tradition ha......ways been open to new and alien ...... new challenge to actual phenomenological thinking.
- 内容細目Chapter 1. Introduction: On the origin...... philosophy (ALTOBRANDO and TAGU......ida's Phenomenological Thought (TAN...... Phenomenology touching its limi......ity Chapter 9. Tomoo Otaka's Con......os: A Phenomenological Interpretati......d Not Phenomenological: A Critical ......nd Application to Psychopatholog......f New Phenomenological Perspectives......hapter 13. The Logic of Mediation: ......ediation" and "Logic of Species" in......Philosophy" of Toshihiko Izutsu. Toward a "Structuralist Phenomen...
- タイトル標目Tetsugaku companions to Japanese philosophy ; v. 3.