دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Bibel W., Schmitt P.H. (eds.) سری: Applied Logic Series 08 ISBN (شابک) : 0792351290 ناشر: Kluwer سال نشر: 1998 تعداد صفحات: 501 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
در صورت تبدیل فایل کتاب Automated deduction - a basis for applications, vol.1: Foundations - calculi and methods به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کسر خودکار - مبنایی برای کاربردها، جلد 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