検索結果 9,851 件
紙図書
国立国会図書館全国の図書館
- 件名Threshold logic Logique de seuil
紙図書
国立国会図書館全国の図書館
- 要約等... Philosophical Logic, held in Beiji......opics in modal logic (epistemic logic, temporal logic and dynamic logic), proof theory, algebraic logic, game logics, and philosop......foundations of logic. They also ref......nary nature of logic - a subject th......evelopments in logic both in Asia and beyond.
- 内容細目...translation in logics for knowabili......ynamic quantum logic Sequent calcul......al fact change logic The modal logics of the poison game A logical characteriza......ity of a modal logic with predicate......Unary temporal logics, points and intervals The Ze...
- 件名Logic--Congresses. Logic.
紙図書
国立国会図書館
- 件名Entailment (Logic) Computer logic.
紙図書
国立国会図書館
- 要約等Formal logic provides us wi......ents of formal logic. He introduces...... and predicate logic, and develops ......xt for a first logic course and wil...... philosophical logic
- 件名Logic
紙図書
国立国会図書館
- 要約等...order or omega logic, presenting so......n mathematical logic, the book also includes numer...
- 内容細目... for classical logic Cut-elimination in depth Epsi...
- 件名Proof theory Logic, Symbolic and mathematical Logic, Symbolic and mathematical. P...
紙図書
国立国会図書館全国の図書館
- 件名...)--Congresses. Logic programming--C......puter science) Logic programming.
- 著者標目...Functional and Logic Programming (16th : 2022 : Ky...
紙図書
国立国会図書館
- 件名...amsa Negation (Logic) Buddhist logic--Early works t...... 1800 Buddhist logic. Mimamsa.
紙図書
国立国会図書館全国の図書館
- 要約等...s mathematical logic for grasping their essence ra...
- 件名Mathematical statistics Logic, Symbolic and ......gram language) Logic, Symbolic and mathematical. M...
紙図書
国立国会図書館全国の図書館
- 要約等... of reversible logic circuits. The ......the reversible logic circuits to meet these challe...
- 件名Logic circuits--Design and construction. Logic circuits--Testing.
紙図書
国立国会図書館全国の図書館
- 件名Logic, Symbolic and ......que--Congrès. Logic, Symbolic and mathematical.
- 著者標目...n Mathematical Logic (2018 : Kōbe Daigaku) Takeut...
紙図書
国立国会図書館全国の図書館
- 要約等...thods in fuzzy logic, as well as relevant applicat...
- 件名Fuzzy logic. Fuzzy sets.
紙図書
国立国会図書館
- 件名Logic devices--Congresses. Logic, Symbolic and ......l--Congresses. Logic devices. Logic, Symbolic and mathematical.
紙図書
国立国会図書館全国の図書館
- 件名Language and logic. Logic. Language and languages--Phil...
紙図書
国立国会図書館
- 件名Fuzzy logic Logic, Symbolic and mathematical
紙図書
国立国会図書館
- 要約等...ong history of logical falsehoods and philosophica...
- 内容細目... Propositional logic. Affirming a d......ul Categorical logic. Exclusive pre......rbone ; Kettle logic / Andy Wible ;......anninen ; Etymological fallacy / Le......Rivera ; Chronological snobbery / A.G. Holdier ; C...
- 件名Fallacies (Logic) Philosophy.
紙図書
国立国会図書館全国の図書館
- 要約等... Kiyoshi wrote Logic of Imagination as a series of...
- 件名...5 Kyoto school Logic Imagination (Philosophy) Phil...
- 並列タイトル等（連結）Logic of imagination
紙図書
国立国会図書館
- 要約等Philosophy of logic is a fundament......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 stu......nts working on logic, as well as fo...... philosophy of logic in its wider context.
- 内容細目The nature and tools of logic The standard s......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
紙図書
国立国会図書館
- 要約等... substructural logics. Chapters, wr......bra, algebraic logic and the Full L......ract algebraic logic, topological dualities, a...... substructural logics, results on t...... non-classical logic
- 内容細目... non-classical logics (James G. Raf......ract algebraic logic An introductor......Chapter 4. Topological duality and ......and separation logic (Peter Jipsen ......ties of linear logic (Robert Goldbl......iate predicate logic (Nobu-Yuki Suz...... substructural logics (Jacopo Amidei, Rodolfo C. E...
- 件名Logic, Symbolic and mathematical On...
紙図書
国立国会図書館
- 件名Italian Association for Logic Programming. Logic programming.
- 並列タイトル等（連結）Twenty-five year perspective on logic programming
- 並列タイトル等Twenty-five year perspective on logic programming
紙図書
国立国会図書館全国の図書館
- 内容細目...ic analysis of logical properties M...... substructural logics Deducibility ......II: Algebra in Logic. From algebra to logic Basics of algebraic logic Logics and varieties Residuated str...
- 件名Proof theory Algebraic logic
- 関連情報Short textbooks in logic