खोज परिणाम - "logic"
प्रस्तावित विषय : खोज निहित
प्रस्तावित विषय : खोज निहित
- Artificial intelligence 94
- Philosophy 93
- Computer science 87
- Software Engineering 81
- Humanities 64
- History of engineering & technology 59
- Society & social sciences 55
- Philosophy: logic 51
- Technology: general issues 48
- Mathematical theory of computation 47
- Computer programming / software development 46
- Computer networking & communications 38
- Mathematics 38
- Research & information: general 38
- Computer architecture & logic design 36
- Algorithms & data structures 34
- Social & cultural anthropology, ethnography 34
- Media studies 32
- Neurosciences 30
- Sociology 29
- Politics & government 28
- Systems analysis & design 27
- Education 26
- Philosophy: epistemology & theory of knowledge 26
- Software engineering 26
- Anthropology 25
- History 25
- Logic 24
- Philosophy of science 24
- Artificial Intelligence 23
-
981
-
982
-
983
A Guide to Good Reasoning Cultivating Intellectual Virtues
प्रकाशित 1999विषय - सूची: “…-- Part Two: Clarifying Arguments -- Chapter Three: A Framework for Clarifying -- Chapter Four: Streamlining -- Chapter Five: Specifying -- Chapter Six: Structuring -- Part Three: Evaluating Arguments -- Chapter Seven: A Framework for Evaluating -- Chapter Eight: Fallacies -- Part Four: Evaluating the Truth of the Premises -- Chapter Nine: How to Think About Truth -- Part Five: Evaluating Deductive Logic -- Chapter Ten: How to Think About Deductive Logic -- Chapter Eleven: If–Then Arguments -- Chapter Twelve: Either–Or Arguments and More -- Part Six: Evaluating Inductive Logic -- Chapter Thirteen: How to Think About Inductive Logic -- Chapter Fourteen: Inductive Generalization -- Chapter Fifteen: Arguments from Analogy -- Chapter Sixteen: Explanatory Arguments -- --…”
Access online version
इलेक्ट्रोनिक ई-पुस्तक -
984
-
985
-
986
-
987
-
988
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
प्रकाशित 2019विषय - सूची: “…Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning via Duality -- Tight Worst-Case Bounds for Polynomial Loop Programs -- A Complete Normal-Form Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient May Use Limited Optimism to Minimize Regret -- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization Explained Categorically -- Two-Way Parikh Automata with a Visibly Pushdown Stack -- Kleene Algebra with Hypotheses -- Trees in Partial Higher Dimensional Automata -- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains -- Continuous Reachability for Unordered Data Petri Nets is in PTime -- Optimal Satisfiability Checking for Arithmetic mu-Calculi -- Constructing Inductive-Inductive Types in Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for Differential Linear Logic -- Languages Ordered by the Subword Order -- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces -- A Sound and Complete Logic for Algebraic Effects -- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights -- Equational Theories and Monads from Polynomial Cayley Representations -- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words -- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time -- Justness: A Completeness Criterion for Capturing Liveness Properties -- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching.…”
Link to Metadata
इलेक्ट्रोनिक ई-पुस्तक -
989
-
990
-
991
-
992
-
993
-
994
Foundations of Quantum Theory From Classical Concepts to Operator Algebras /
प्रकाशित 2017विषय - सूची: “…Introduction -- Part I Co(X) and B(H): Classical physics on a finite phase space -- Quantum mechanics on a finite-dimensional Hilbert space -- Classical physics on a general phase space -- Quantum physics on a general Hilbert space -- Symmetry in quantum mechanics -- Part II Between Co(X) and B(H): Classical models of quantum mechanics -- Limits: Small hbar -- Limits: large N -- Symmetry in algebraic quantum theory -- Spontaneous Symmetry Breaking -- The Measurement Problem -- Topos theory and quantum logic -- Appendix A: Finite-dimensional Hilbert spaces -- Appendix B: Basic functional analysis -- Appendix C: Operator algebras -- Appendix D: Lattices and logic -- Appendix E: Category theory and topos theory -- References.…”
Link to Metadata
इलेक्ट्रोनिक ई-पुस्तक -
995
-
996
-
997
-
998
-
999
-
1000