New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects into a homogeneous software environment for scientific computation. The proposed methodology is based on a combination of different techniques: algebraic specification through modular approach and completion algorithms, approximated and exact algebraic computing methods, object-oriented programming paradigm, automated theorem proving through methods à la Hilbert and methods of natural deduction. In particular the proposed treatment of mathematical objects, via techniques for method abstraction, structures classification, and exact representation, the programming methodology which supports the design and implementation issues, and reasoning capabilities supported by the whole framework are described.
還沒有人留下心得,快來搶頭香!
為您推薦
類似書籍推薦給您
類似書籍推薦給您
類似書籍推薦給您
DESCRIPTION A delightful, engaging, and comprehensive overview of interaction design Effective and engaging design is a critical component of any digital product, from virtual reality software to chatbots, smartphone apps, and more. In the newly updated sixth edition of Interaction Design: Beyond Human-Computer Interaction, a team of accomplished technology, design, and computing professors delivers an intuitive and instructive discussion of the principles underlying the design of effective interactive technologies. The authors discuss how to design and apply digital technologies in the real world, illustrated with numerous examples. The book explores the interdisciplinary foundations of interaction design, including skills from product design, computer science, human and social psychology, and others. The book builds on the highly successful fifth edition and draws on extensive new research and interviews with accomplished professionals and researchers in the field that reflect a rapidly-changing landscape. It is supported by a website hosting digital resources that add to and complement the material contained within. Readers will also find: Explorations of the social and emotional components of interacting with apps, digital devices and computers Descriptions about how to design, prototype, evaluate and construct technologies that support human-computer interaction Discussions of the cognitive aspects of interaction design, as well as design and evaluation, including usability testing and expert reviews. An essential text for undergraduate and graduate students of human-computer interaction, interaction design, software engineering, web design, and information studies, Interaction Design will also prove to be indispensable for interaction design and user experience professionals.
類似書籍推薦給您
資訊
工程
數學與統計學
機率與統計
自然科學
健康科學
地球與環境
建築、設計與藝術
人文與社會科學
教育
語言學習與考試
法律
會計與財務
大眾傳播
觀光與休閒餐旅
考試用書
研究方法
商業與管理
經濟學
心理學
生活
生活風格商品
參考書/測驗卷/輔材