Muutke küpsiste eelistusi

E-raamat: Computer - Human Interaction in Symbolic Computation

Foreword by , Edited by
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 110,53 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Computer - Human Interaction in Symbolic ComputationSuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

The well attended March 1994 HIse workshop in Amsterdam was a very lively con­ ference which stimulated much discussion and human-human interaction. As the editor of this volume points out, the Amsterdam meeting was just part of a year-long project that brought many people together from many parts of the world. The value of the effort was not only in generating new ideas, but in making people aware of work that has gone on on many fronts in using computers to make mathematics more understandable. The author was very glad he attended the workshop. * In thinking back over the conference and in reading the papers in this collection, the author feels there are perhaps four major conclusions to be drawn from the current state of work: 1. graphics is very important, but such features should be made as easy to use as possible; 2. symbolic mathematical computation is very powerful, but the user must be able to see "intermediate steps"; 3. system design has made much progress, but for semester-long coursework and book-length productions we need more tools to help composition and navigation; 4. monolithic systems are perhaps not the best direction for the future, as different users have different needs and may have to link together many kinds of tools. The editor of this volume and the authors of the papers presented here have also reached and documented similar conclusions.

Muu info

Springer Book Archives
List of contributors x N. Kajler Introduction 1(6) A. M. Cohen L. Meertens The ACELA project: aims and plans 7(18) 1 Introduction 7(1) 2 Interactive books 7(3) 3 Interactive mathematical books 10(4) 4 Architecture 14(4) 5 The content of the book 18(1) 6 Related work 19(2) 7 Conclusion 21(1) References 22(3) V. Quint I. Vatton J. Paoli Active structured documents as user interfaces 25(18) 1 Introduction 25(1) 2 Limitations of graphical user interface toolkits 26(1) 3 Active and structured documents 26(3) 4 The Grif editing toolkit 29(3) 5 Applications based on active structured documents 32(5) 6 Related work 37(2) 7 Conclusion 39(1) References 40(3) R. Avitzur Direct manipulation in a mathematics user interface 43(18) 1 Introduction 43(1) 2 Previous work 43(1) 3 Design overview 44(1) 4 Overview of static interface elements 45(3) 5 Direct manipulation 48(4) 6 Usability 52(3) 7 Interval arithmetic 55(2) 8 Implementation details 57(1) 9 Directions for future work 58(1) 10 Conclusion 59(1) References 59(2) R. Ravaglia T. Alper M. Rozenfeld P. Suppes Successful pedagogical applications of symbolic computation 61(28) 1 Introduction 61(1) 2 Symbolic computation and pedagogy 62(3) 3 The EPGY course software 65(5) 4 User interface and design issues 70(4) 5 Logical structure of a derivation 74(4) 6 Two examples 78(4) 7 What is gained 82(2) 8 Limitations and desiderata 84(2) 9 Final remarks 86(1) References 87(2) M. Beeson Design principles of Mathpert: software to support education in algebra and calculus 89(28) 1 Introduction 89(1) 2 Purposes of software for mathematics education 89(1) 3 Design principles 90(8) 4 Cognitive fidelity and glass box in Mathpert: operations and pedagogy 98(4) 5 Customizing the solution in Mathpert 102(2) 6 The correctness principle in Mathpert 104(2) 7 Using the computers power when the user is stuck 106(2) 8 Traditional interface issues: ease of use 108(5) 9 Interfaces and pedagogy 113(1) 10 Use and availability of Mathpert 114(1) References 114(3) S. Pohjolainen J. Multisilta K. Antchev Hypermedia learning environment for mathematical sciences 117(24) 1 Introduction 117(1) 2 Related work in the field 118(1) 3 Components of mathematical hypermedia 119(2) 4 Designing mathematical hypermedia 121(2) 5 Structure of the hypermedia database 123(5) 6 Learning interface 128(9) 7 Conclusion and research topics 137(1) References 138(3) O. Bachmann Chains of recurrences for functions of two variables and their application to surface plotting 141(22) 1 Introduction 141(1) 2 Chains of recurrences for functions of one variable 142(7) 3 Chains of recurrences for functions of two variables 149(3) 4 A Maxima/IZIC implementation 152(4) 5 Conclusions and future work 156(1) 6 Availability 157(3) References 160(3) O. Arsac S. Dalmas M. Gaetano Algorithm animation with Agat 163(16) 1 Introduction 163(1) 2 Overview of Agat 164(1) 3 Using Agat 164(5) 4 The Agat language 169(3) 5 The graphical features of Agat 172(1) 6 Some applications of Agat 173(1) 7 Implementation 173(2) 8 Conclusion 175(1) References 176(3) M. Delest J.-M. Fedou G. Melancon N. Rouillon Computation Computation and images in combinatorics 179(30) 1 Introduction 179(2) 2 Overview of CalICo 181(2) 3 The use of CalICO as illustrated by examples 183(4) 4 The tutor 187(4) 5 Formal coding and symbolic computation 191(6) 6 Graphical workshops and graphical interfaces 197(4) 7 Communication manager 201(4) 8 Availability and implementation 205(1) 9 Conclusion 206(1) References 207(2) Subject index 209
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97837091646172e.html
Märksõnad: