LEADER 04240nam 22006615 450 001 9910960838603321 005 20250725071812.0 010 $a1-4612-3998-2 024 7 $a10.1007/978-1-4612-3998-7 035 $a(CKB)1000000000013092 035 $a(SSID)ssj0000804965 035 $a(PQKBManifestationID)11468624 035 $a(PQKBTitleCode)TC0000804965 035 $a(PQKBWorkID)10823293 035 $a(PQKB)10320253 035 $a(DE-He213)978-1-4612-3998-7 035 $a(MiAaPQ)EBC3076538 035 $a(PPN)238037002 035 $a(EXLCZ)991000000000013092 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 13$aAn Accompaniment to Higher Mathematics /$fby George R. Exner 205 $a1st ed. 1996. 210 1$aNew York, NY :$cSpringer New York :$cImprint: Springer,$d1996. 215 $a1 online resource (XVII, 200 p.) 225 1 $aUndergraduate Texts in Mathematics,$x2197-5604 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a0-387-94617-9 320 $aIncludes bibliographical references and index. 327 $a1 Examples -- 1.1 Propaganda -- 1.2 Basic Examples for Definitions -- 1.3 Basic Examples for Theorems -- 1.4 Extended Examples -- 1.5 Notational Interlude -- 1.6 Examples Again: Standard Sources -- 1.7 Non-examples for Definitions -- 1.8 Non-examples for Theorems -- 1.9 Summary and More Propaganda -- 1.10 What Next? -- 2 Informal Language and Proof -- 2.1 Ordinary Language Clues -- 2.2 Real-Life Proofs vs. Rules of Thumb -- 2.3 Proof Forms for Implication -- 2.4 Two More Proof Forms -- 2.5 The Other Shoe, and Propaganda -- 3 For mal Language and Proof -- 3.1 Propaganda -- 3.2 Formal Language: Basics -- 3.3 Quantifiers -- 3.4 Finding Proofs from Structure -- 3.5 Summary, Propaganda, and What Next? -- 4 Laboratories -- 4.1 Lab I: Sets by Example -- 4.2 Lab II: Functions by Example -- 4.3 Lab III: Sets and Proof -- 4.4 Lab IV: Functions and Proof -- 4.5 Lab V: Function of Sets -- 4.6 Lab VI: Families of Sets -- A Theoretical Apologia -- B Hints -- References. 330 $aFor Students Congratulations! You are about to take a course in mathematical proof. If you are nervous about the whole thing, this book is for you (if not, please read the second and third paragraphs in the introduction for professors following this, so you won't feel left out). The rumors are true; a first course in proof may be very hard because you will have to do three things that are probably new to you: 1. Read mathematics independently. 2. Understand proofs on your own. :1. Discover and write your own proofs. This book is all about what to do if this list is threatening because you "never read your calculus book" or "can't do proofs. " Here's the good news: you must be good at mathematics or you wouldn't have gotten this far. Here's the bad news: what worked before may not work this time. Success may lie in improving or discarding many habits that were good enough once but aren't now. Let's see how we've gotten to a point at which someone could dare to imply that you have bad habits. l The typical elementary and high school mathematics education in the United States tends to teach students to have ineffective learning habits, 1 In the first paragraph, yet. xiv Introduction and we blush to admit college can be just as bad. 410 0$aUndergraduate Texts in Mathematics,$x2197-5604 606 $aMathematical analysis 606 $aTopology 606 $aLogic, Symbolic and mathematical 606 $aAnalysis 606 $aTopology 606 $aMathematical Logic and Foundations 615 0$aMathematical analysis. 615 0$aTopology. 615 0$aLogic, Symbolic and mathematical. 615 14$aAnalysis. 615 24$aTopology. 615 24$aMathematical Logic and Foundations. 676 $a511.3 686 $a00A05$2msc 700 $aExner$b George R.$4aut$4http://id.loc.gov/vocabulary/relators/aut$060969 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910960838603321 996 $aAccompaniment to higher mathematics$983048 997 $aUNINA LEADER 03016nam 22006735 450 001 9910427718003321 005 20251225185134.0 010 $a3-030-58957-9 024 7 $a10.1007/978-3-030-58957-8 035 $a(CKB)4100000011435735 035 $a(DE-He213)978-3-030-58957-8 035 $a(MiAaPQ)EBC6340316 035 $a(PPN)25492624X 035 $a(EXLCZ)994100000011435735 100 $a20200905d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aElectronic Government and the Information Systems Perspective $e9th International Conference, EGOVIS 2020, Bratislava, Slovakia, September 14?17, 2020, Proceedings /$fedited by Andrea K?, Enrico Francesconi, Gabriele Kotsis, A Min Tjoa, Ismail Khalil 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (X, 235 p. 56 illus., 38 illus. in color.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v12394 300 $aIncludes index. 311 08$a3-030-58956-0 330 $aThis book constitutes the refereed proceedings of the 9th International Conference on Electronic Government and the Information Systems Perspective, EGOVIS 2020, held in Bratislava, Slovakia, in September 2020. The 15 full and one short papers presented were carefully reviewed and selected from 24 submissions. The papers are organized in the following topical sections: Knowledge representation and modeling in e-Government; e-Government theoretical background; E-Government cases - data and knowledge management; identity management and legal issues; artificial intelligence and machine learning in e-Government context. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v12394 606 $aComputers and civilization 606 $aArtificial intelligence 606 $aComputer engineering 606 $aComputer networks 606 $aComputers 606 $aComputers and Society 606 $aArtificial Intelligence 606 $aComputer Engineering and Networks 606 $aComputer Engineering and Networks 606 $aComputing Milieux 615 0$aComputers and civilization. 615 0$aArtificial intelligence. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aComputers. 615 14$aComputers and Society. 615 24$aArtificial Intelligence. 615 24$aComputer Engineering and Networks. 615 24$aComputer Engineering and Networks. 615 24$aComputing Milieux. 676 $a352.3802854678 676 $a004 702 $aKo?$b Andrea 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910427718003321 996 $aElectronic government and the information systems perspective$91922204 997 $aUNINA