برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Automated deduction - a basis for applications, vol.1: Foundations - calculi and methods

دانلود کتاب کسر خودکار - مبنایی برای کاربردها، جلد 1: مبانی - محاسبات و روشها

مشخصات کتاب

Automated deduction - a basis for applications, vol.1: Foundations - calculi and methods

دسته بندی: منطق
ویرایش:  
نویسندگان: Bibel W.,  Schmitt P.H. (eds.)  
سری: Applied Logic Series 08 
ISBN (شابک) : 0792351290 
ناشر: Kluwer 
سال نشر: 1998 
تعداد صفحات: 501 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت

قیمت کتاب (تومان) : 48,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 2

در صورت تبدیل فایل کتاب Automated deduction - a basis for applications, vol.1: Foundations - calculi and methods به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب کسر خودکار - مبنایی برای کاربردها، جلد 1: مبانی - محاسبات و روشها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب کسر خودکار - مبنایی برای کاربردها، جلد 1: مبانی - محاسبات و روشها

پروژه تحقیقاتی سراسری «Deduktion» که توسط «Deutsche Forschungsgemeinschaft (DFG)» برای یک دوره شش ساله تأمین می‌شود، تقریباً همه گروه‌های تحقیقاتی در آلمان را که در زمینه استدلال خودکار فعالیت می‌کنند گرد هم آورده است. همکاری فشرده و تبادل نظر منجر به پیشرفت قابل توجهی هم در مبانی نظری و هم در کاربرد دانش قیاسی شد. این کتاب سه جلدی این مشارکت‌های اصلی را پوشش می‌دهد که در حالت هنر کسر خودکار شکل گرفته‌اند.
این سه جلد برای مستندسازی و پیشبرد پیشرفتی در زمینه کسر خودکار است که اکنون در سراسر جهان قابل مشاهده است. به جای محدود کردن علاقه به تحقیقات صرفاً آکادمیک، اکنون تمرکز بر بررسی مشکلات ناشی از کاربردهای واقعی است. در واقع کاربردهای صنعتی در حال حاضر به صورت آزمایشی دنبال می شوند. در نتیجه، تأکید مجلدات بر ارائه مبانی نظری استنتاج منطقی، مانند کتاب راهنما، نیست. در عوض، کتاب‌ها مفاهیم و روش‌هایی را که در حال حاضر در استنباط خودکار موجود است، به شکلی ارائه می‌کنند که برای دانشمندانی که در برنامه‌های کاربردی خارج از حوزه کسر کار می‌کنند، به راحتی قابل دسترسی باشد. این منعکس کننده این اعتقاد قوی است که کسر خودکار در آستانه گنجاندن کامل در تکامل فناوری است.
جلد اول بر تحقیقات پایه در استنباط و دانشی که سیستم های قیاسی مدرن بر آن بنا شده اند متمرکز است. جلد دوم تکنیک های پیاده سازی و جزئیات مربوط به ساخت سیستم را ارائه می دهد. جلد سوم به کاربردهای تکنیک های قیاسی عمدتاً، اما نه منحصراً، در ریاضیات و تأیید نرم افزار می پردازد.
هر فصل توسط دو داور، یکی کارشناس بین المللی از خارج از کشور و دیگری یک شرکت کننده آگاه در پروژه ملی خوانده شد. بر اساس این گزارش های بازبینی برای درج پذیرفته شده است.
مخاطبان: محققان و توسعه دهندگان در مهندسی نرم افزار، روش های رسمی، گواهی، تایید، اعتبار سنجی، مشخصات سیستم ها و نرم افزارهای پیچیده، سیستم های خبره، پردازش زبان طبیعی

توضیحاتی درمورد کتاب به خارجی

The nationwide research project `Deduktion', funded by the `Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensive cooperation and exchange of ideas led to considerable progress both in the theoretical foundations and in the application of deductive knowledge. This three-volume book covers these original contributions moulded into the state of the art of automated deduction.
The three volumes are intended to document and advance a development in the field of automated deduction that can now be observed all over the world. Rather than restricting the interest to purely academic research, the focus now is on the investigation of problems derived from realistic applications. In fact industrial applications are already pursued on a trial basis. In consequence the emphasis of the volumes is not on the presentation of the theoretical foundations of logical deduction as such, as in a handbook; rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction. This reflects the strong conviction that automated deduction is on the verge of being fully included in the evolution of technology.
Volume I focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. Volume II presents techniques of implementation and details about system building. Volume III deals with applications of deductive techniques mainly, but not exclusively, to mathematics and the verification of software.
Each chapter was read by two referees, one an international expert from abroad and the other a knowledgeable participant in the national project. It has been accepted for inclusion on the basis of these review reports.
Audience: Researchers and developers in software engineering, formal methods, certification, verification, validation, specification of complex systems and software, expert systems, natural language processing