Showing 881 - 900 results of 2,193 for search '"logics"', query time: 0.10s Refine Results
  1. 881

    A Guide to Good Reasoning Cultivating Intellectual Virtues by Wilson, David C.

    Published 1999
    Table of Contents: “…-- 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
    Electronic eBook
  2. 882
  3. 883
  4. 884
  5. 885
  6. 886
  7. 887
  8. 888
  9. 889

    A Cool Brisk Walk Through Discrete Mathematics by Davies, Stephen

    Published 2023
    Table of Contents: “…Meetup at the trailhead -- Sets -- Relations -- Probabiltiy -- Structures -- Counting -- Numbers -- Logic -- Proof…”
    Access online version
    Electronic eBook
  10. 890

    Coming to Terms with Superdiversity The Case of Rotterdam /

    Published 2019
    Table of Contents: “…1 Introduction - Peter Scholten, Maurice Crul and Paul van de Laar -- PART I: SUPERDIVERSITY IN ROTTERDAM: 2 Rotterdam's superdiversity from a historical perspective (1600-1980) - Paul van de Laar and Arie van der Schoor -- 3 The second and third generation in Rotterdam: increasing diversity within diversity - Maurice Crul, Frans Lelie and Elif Keskiner -- 4 Between choice and stigma: Identifications of economically successful migrants - Marianne van Bochove and Jack Burgers -- PART II: ROTTERDAM'S RESPONSE TO SUPERDIVERSITY: -- 6 'Walking the walk' rather than 'talking the talk' of superdiversity: Continuity and change in the development of Rotterdam's immigrant integration policies - Rianne Dekker & Ilona van Breugel -- 7 Laboratory Rotterdam. Logics of exceptionalism in the governing of urban populations - Friso van Houdt & Willem Schinkel -- 8 Rotterdam as a case of complexity reduction: Migration from Central and Eastern European countries - Erik Snel, Mark van Ostaijen & Margrietha 't Hart. -- PART III: ROTTERDAM IN COMPARATIVE PERSPECTIVE: -- 9.A tale of two cities: Rotterdam, Amsterdam and their immigrants - Han Entzinger -- 10. …”
    Link to Metadata
    Electronic eBook
  11. 891
  12. 892

    On the path to AI Law's prophecies and the conceptual foundations of the machine learning age / by Grant, Thomas D., Wischik, Damon J.

    Published 2020
    Table of Contents: “…Prologue: Starting with logic -- CHAPTER 1: Two Revolutions -- CHAPTER 2: Getting past logic -- CHAPTER 3: Experience and data as input -- CHAPTER 4: Finding patterns as the path from input to output -- CHAPTER 5: Output as prophecy -- CHAPTER 6: Explanations of machine learning -- CHAPTER 7: Juries and other reliable predictors -- CHAPTER 8: Poisonous datasets, poisonous trees -- CHAPTER 9: From Holmes to AlphaGo -- CHAPTER 10:Conclusion -- EPILOGUE: Lessons in two directions.…”
    Link to Metadata
    Electronic eBook
  13. 893

    Math in Society Mathematics for liberal arts majors by Lee, Cara

    Published 2018
    Table of Contents: “…1 Logic and Sets -- 2 Financial Math -- 3 Statistics -- 4 Probability -- 5 Democracy…”
    Access online version
    Electronic eBook
  14. 894

    Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2020
    Table of Contents: “…Bisimulation -- Verification and Efficiency -- Logic and Proof -- Tools and Case Studies -- Games and Automata -- SV-COMP 2020.…”
    Link to Metadata
    Electronic eBook
  15. 895

    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...

    Published 2019
    Table of Contents: “…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
    Electronic eBook
  16. 896

    Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers /

    Published 2021
    Table of Contents: “…3rd international workshop on Agile Transformation -- Agile Transformation at Scale: A Tertiary Study -- Institutional Logics in Large-Scale Agile Software Development Transformations -- 9th International Workshop on Large-Scale Agile Development -- Innovation in Large-scale agile - Benefits and Challenges of Hackathons when Hacking from Home -- Impacts of COVID-19 Pandemic for Software Development in Nordic Companies - Agility Helps to Respond -- The EFIS framework for leveraging agile organizations within large enterprises -- Managing Dependencies in Large-Scale Agile -- First International Workshop on Agile Sustainability -- How Collective Intelligence Can Gear Agility with Sustainability -- 4th International Workshop on Software-intensive Businesses -- SaaS Pricing Practices Typology: A Case Study -- Is your Software Ecosystem in Danger? …”
    Link to Metadata
    Electronic eBook
  17. 897
  18. 898
  19. 899
  20. 900