LEADER 04211nam 2200481 450 001 996464514903316 005 20231110213039.0 010 $a3-030-80507-7 035 $a(CKB)5340000000068516 035 $a(MiAaPQ)EBC6789946 035 $a(Au-PeEL)EBL6789946 035 $a(OCoLC)1280458632 035 $a(PPN)258297735 035 $a(EXLCZ)995340000000068516 100 $a20220715d2021 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aThinking programs $elogical modeling and reasoning about languages, data, computations, and executions /$fWolfgang Schreiner 210 1$aCham, Switzerland :$cSpringer,$d[2021] 210 4$d©2021 215 $a1 online resource (660 pages) 225 1 $aTexts and Monographs in Symbolic Computation 311 $a3-030-80506-9 320 $aIncludes bibliographical references and index. 327 $aIntro -- Foreword -- Preface -- Motivation -- Content -- Software -- Teaching and Further Study -- Web Page and Exercises -- Acknowledgments -- Contents -- Logic for Programming: A Perspective -- Logic and Language -- Logic and Mathematics -- Logic with Computers -- Logic for Computer Science -- Logic and Software Development -- Further Reading -- Part IThe Foundations -- 1 Syntax and Semantics -- 1.1 Abstract Syntax -- 1.2 Structural Induction -- 1.3 Semantics -- 1.4 Type Systems -- 1.5 The Semantics of Typed Languages -- 2 The Language of Logic -- 2.1 First-Order Logic -- 2.2 Informal Interpretation -- 2.3 Well-Formed Terms and Formulas -- 2.4 Propositional Logic -- 2.5 Free and Bound Variables -- 2.6 Formal Semantics -- 2.7 Validity, Logical Consequence, and Logical Equivalence -- 3 The Art of Reasoning -- 3.1 Reasoning and Proofs -- 3.2 Inference Rules and Proof Trees -- 3.3 Reasoning in First Order Logic -- 3.4 Reasoning by Induction -- 4 Building Models -- 4.1 Axioms and Definitions -- 4.2 The Theory of Sets -- 4.3 Products and Sums -- 4.4 Set-Theoretic Functions and Relations -- 4.5 More Type Constructions -- 4.6 Implicit Definitions and Function Specifications -- Exercises -- Further Reading -- 5 Recursion -- 5.1 Recursive Definitions -- 5.2 Primitive Recursion -- 5.3 Least and Greatest Fixed Points -- 5.4 Defining Continuous Functions -- 5.5 Inductive and Coinductive Relation Definitions -- 5.6 Rule-Oriented Inductive and Coinductive Relation Definitions -- 5.7 Inductive and Coinductive Function Definitions -- 5.8 Inductive and Coinductive Proofs -- Part IIThe Higher Planes -- 6 Abstract Data Types -- 6.1 Introduction -- 6.2 Declarations, Signatures, and Presentations -- 6.3 Algebras, Homomorphisms, and Abstract Data Types -- 6.4 Loose Specifications -- 6.5 Generated and Free Specifications -- 6.6 Cogenerated and Cofree Specifications. 327 $a6.7 Specifying in the Large -- 6.8 Reasoning About Specifications -- 7 Programming Languages -- 7.1 Programs and Commands -- 7.2 A Denotational Semantics -- 7.3 An Operational Semantics -- 7.4 The Correctness of Translations -- 7.5 Procedures -- Further Reading -- 8 Computer Programs -- 8.1 Specifying Problems -- 8.2 Verifying Programs -- 8.3 Predicate Transformers and Commands as Relations -- 8.4 Non-abortion and Termination -- 8.5 Loop Invariants and Termination Measures -- 8.6 The Refinement of Commands -- 8.7 Reasoning About Procedures -- Further Reading -- 9 Concurrent Systems -- 9.1 Labeled Transition Systems -- 9.2 Modeling Shared Systems -- 9.3 Modeling Distributed Systems -- 9.4 Specifying System Properties -- 9.5 Verifying Invariance -- 9.6 Verifying Response -- 9.7 The Refinement of Systems -- References -- Index. 410 0$aTexts and Monographs in Symbolic Computation 606 $aLogic, Symbolic and mathematical 606 $aComputer science$xMathematics 615 0$aLogic, Symbolic and mathematical. 615 0$aComputer science$xMathematics. 676 $a005.1015113 700 $aSchreiner$b Wolfgang$f1967-$01236216 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996464514903316 996 $aThinking programs$92900276 997 $aUNISA LEADER 03911nam 22004935 450 001 9910647490003321 005 20251116150203.0 010 $a9783868599732 010 $a3868599738 024 7 $a10.1515/9783868599732 035 $a(CKB)5690000000112011 035 $a(DE-B1597)635544 035 $a(DE-B1597)9783868599732 035 $a(MiAaPQ)EBC30366027 035 $a(Au-PeEL)EBL30366027 035 $a(OCoLC)1356995017 035 $a(EXLCZ)995690000000112011 100 $a20230103h20222023 fg 101 0 $ager 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aMobility Design $eDie Zukunft der Mobilität gestalten Band 1: Praxis /$fhrsg. von Kai Vöckler, Peter Eckart 205 $a1st ed. 210 1$aBerlin : $cJOVIS Verlag GmbH, $d[2022] 210 4$d©2023 215 $a1 online resource (304 p.) 311 08$a9783868596465 311 08$a3868596461 327 $tFrontmatter -- $tInhalt -- $tMobilitätsdesign. Die Zukunft der Mobilität gestalten! -- $tIntermodale Mobilität gestalten -- $tConnective Mobility -- $tActive Mobility -- $tAugmented Mobility -- $tVisionary Mobility -- $tBildnachweis -- $tImpressum 330 $aClimate change and increasing resource scarcity together with rising traffic volumes force us to develop new environmentally friendly and people-oriented mobility options. In order to provide a positive mobility experience, the transition from one mobility mode to another must be managed smoothly and safely, and individual, shared or public means of transportation must become convenient and easy. Conceptual as well as existing infrastructure projects provide models for future sustainable and connected mobility. This volume focuses on the importance of design, introducing through photos, plans, and brief texts over 60 groundbreaking projects from the disciplines of product design, architecture, and urban planning. With this international overview Mobility Design portrays the current situation of sustainable mobility systems, while identifying mobility as one of the most important design tasks of the future. With project texts by Markus Hieke, Christian Holl, and Martina Metzner 330 $aKlimawandel und Ressourcenverknappung, aber auch der stetig steigende Verkehrsaufwand machen es unabdingbar, neue Lösungen für eine umweltschonende und menschenfreundliche Mobilität zu entwickeln. Der flüssige und sichere Übergang von einer Mobilitätsform zur anderen, die Nutzung unterschiedlicher individueller, geteilter oder öffentlicher Verkehrsmittel auf einem Weg, muss künftig komfortabel und einfach möglich sein, um Menschen ein positives Mobilitätserlebnis zu vermitteln. Bereits heute gibt es Konzepte und realisierte Infrastrukturprojekte, die in beispielhafter Weise die Zukunft einer nachhaltigen und vernetzten Mobilit.t greifbar machen. Im Fokus dieses Bands steht die Bedeutung der Gestaltung: Über 60 wegweisende Projekte aus den Bereichen Design, Architektur und Städtebau werden anhand von Fotos, Planzeichnungen und Kurztexten vorgestellt. Mit diesem internationalen Überblick zeigt Mobility Design nicht nur den aktuellen Stand nachhaltiger Mobilitätssysteme auf, sondern widmet sich der Mobilität als einer der wichtigsten Gestaltungsaufgaben der Zukunft. Mit Projekttexten von Markus Hieke, Christian Holl und Martina Metzner 606 $aARCHITECTURE / Individual Architects & Firms / General$2bisacsh 615 7$aARCHITECTURE / Individual Architects & Firms / General. 676 $a388.0286 702 $aEckart$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVo?ckler$b Kai$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bDE-B1597 801 1$bDE-B1597 906 $aBOOK 912 $a9910647490003321 996 $aMobility Design$92994155 997 $aUNINA