دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Iliano Cervesato (auth.)
سری: Cognitive Technologies
ISBN (شابک) : 9783642377464, 9783642377471
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2013
تعداد صفحات: 423
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
کلمات کلیدی مربوط به کتاب صفحه گسترده Deductive: سیستم های اطلاعاتی و خدمات ارتباطی، هوش مصنوعی (شامل رباتیک)، تکنیک های برنامه نویسی، سیستم های اطلاعات کسب و کار، برنامه های کامپیوتری. در پردازش داده های اداری
در صورت تبدیل فایل کتاب The Deductive Spreadsheet به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب صفحه گسترده Deductive نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب تحقیقات چند رشتهای اخیر را در تلاقی زمینههای برنامهنویسی منطقی، نظریه پایگاه داده و تعامل انسان و رایانه توصیف میکند. هدف از این تلاش توسعه پایه یک صفحه گسترده قیاسی بود، یک برنامه کاربردی بهره وری کاربر که به کاربران بدون آموزش رسمی در علوم کامپیوتر اجازه می دهد تا در مورد داده های عمومی به همان روش ساده ای که در حال حاضر از صفحات گسترده برای تصمیم گیری در مورد داده های عددی استفاده می کنند، تصمیم بگیرند. نتیجه یک طراحی زیبا است که توسط جدیدترین پیشرفتها در رشتههای فوق پشتیبانی میشود.
نیمه اول کتاب بر روی موتور قیاسی که زیربنای این کاربرد است، تمرکز دارد. کاربران نمی بینند پس از ارائه یک مدل ریاضی از برنامههای کاربردی صفحهگسترده سنتی، آنها را با عملگرها گسترش میدهیم تا تعدادی از وظایف رابطهای را انجام دهند، شبیه به نمای کاربر از یک پایگاه داده، اما در زمینه صفحهگسترده. بیان این بسط در یک چارچوب برنامه نویسی منطقی یک گام طبیعی در جهت دادن قابلیت های قیاسی قدرتمند به آن است. نیمه دوم کتاب به رابط کاربری می پردازد، بخشی از برنامه که کاربر در واقع با آن تعامل دارد. ما عناصر رابط کاربری گرافیکی برنامههای صفحهگسترده سنتی را بررسی میکنیم و روشهای عملی برای طراحی رابطهای کاربر وام گرفته شده از حوزه روانشناسی شناختی را توصیف میکنیم. سپس طرحی را پیشنهاد می کنیم که به طور محافظه کارانه مکانیسم هایی را برای کاربر ادغام می کند تا از قابلیت های قیاسی جدید استفاده کند. این با نتایج برخی از آزمایشهای اولیه قابلیت استفاده دنبال میشود.
این کتاب برای محققان و پزشکان در زمینههای مختلف زیربنای این کار جذاب خواهد بود. محققان نه تنها پیشرفت های جدید جالبی را در حوزه های خود خواهند یافت، بلکه یاد خواهند گرفت که چگونه به تمرکز چند رشته ای دست یابند. پزشکان راهحلهای کاملاً توسعهیافتهای برای مشکلات متعددی خواهند یافت که با استفاده از برنامههای صفحهگسترده سنتی به راحتی قابل حل نیستند.This book describes recent multidisciplinary research at the confluence of the fields of logic programming, database theory and human-computer interaction. The goal of this effort was to develop the basis of a deductive spreadsheet, a user productivity application that allows users without formal training in computer science to make decisions about generic data in the same simple way they currently use spreadsheets to make decisions about numerical data. The result is an elegant design supported by the most recent developments in the above disciplines.
The first half of the book focuses on the deductive engine that underlies this application, the foundations that users do not see. After giving a mathematical model of traditional spreadsheet applications, we extend them with operators to perform a number of relational tasks, similar to the user view of a database but in a spreadsheet context. Expressing this extension in a logic programming framework is a natural step towards giving it powerful deductive capabilities. The second half of the book deals with the user interface, the part of the application with which the user actually interacts. We review the elements of the graphical user interface of traditional spreadsheet applications and describe practical methodologies for designing user interfaces borrowed from the field of cognitive psychology. We then propose a design that conservatively integrates mechanisms for a user to take advantage of the new deductive capabilities. This is followed by the results of some preliminary usability experiments.
The book will appeal to researchers and practitioners in the various areas underlying this work. Researchers will not only find interesting new developments in their domains, but will also learn how to achieve a multidisciplinary focus. Practitioners will find fully developed solutions to numerous problems that are not easily solvable using traditional spreadsheet applications.Front Matter....Pages i-xxi
Introduction....Pages 1-23
Requirements....Pages 25-30
Front Matter....Pages 31-32
The Traditional Spreadsheet....Pages 33-54
The Relational Spreadsheet....Pages 55-117
The Logical Spreadsheet....Pages 119-182
The Deductive Spreadsheet....Pages 183-252
Front Matter....Pages 253-254
The Traditional Interface....Pages 255-277
Cognitive Interface Design....Pages 279-298
Toward a Deductive Interface....Pages 299-346
Preliminary Experiments....Pages 347-364
Future Developments....Pages 365-374
Back Matter....Pages 375-406