دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis
دانلود کتاب کارایی راهبردهای اثبات قضیه: تحلیل مقایسه ای و مجانبی
مشخصات کتاب
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis
ویرایش: نویسندگان: David A. Plaisted, Yunshan Zhu (auth.) سری: Computational Intelligence ISBN (شابک) : 9783528055745, 9783322938626 ناشر: Vieweg+Teubner Verlag سال نشر: 1997 تعداد صفحات: 175 زبان: German فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 34,000
کلمات کلیدی مربوط به کتاب کارایی راهبردهای اثبات قضیه: تحلیل مقایسه ای و مجانبی: مهندسی، عمومی
در صورت تبدیل فایل کتاب The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کارایی راهبردهای اثبات قضیه: تحلیل مقایسه ای و مجانبی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کارایی راهبردهای اثبات قضیه: تحلیل مقایسه ای و مجانبی
محتوا
ارائه مرزهای مجانبی برای اندازه فیلدهای جستجوی فضاهای جستجو
ایجاد شده توسط بسیاری از راهبردهای اثبات متداول - دستیابی به
درک نظری از کارایی روش‌های اثبات مختلف - مقایسه کارایی
استراتژی‌های اثبات محدودیت‌های مجانبی در اندازه‌های جستجو
فضاهای ایجاد شده توسط بسیاری از راهبردهای رایج اثبات قضیه -
دستیابی به درک نظری از کارایی روش های مختلف اثبات قضیه - مطالعه
تطبیقی استراتژی های اثبات قضیه
گروه هدف
دانشجویان و محققان علوم کامپیوتر و ریاضیات با تمرکز در زمینه
اثبات قضیه خودکار، منطق ریاضی، یا منطق هوش مصنوعی
؟درباره نویسنده/ویراستار
David A. Plaisted استاد گروه علوم کامپیوتر در دانشگاه بوده است.
کارولینای شمالی از سال 1984. تحقیقات فعلی او شامل اثبات قضیه
خودکار، سیستم‌های جایگزین اصطلاح و برنامه‌ریزی تابعی و منطقی
است. یونشان ژو یکی از کارکنان همان بخش در UNC است. هدف پژوهشی
او اثبات قضیه خودکار، روش‌های رسمی و روش‌های مبتنی بر منطق هوش
مصنوعی است. از سال 1984، David A. Plaisted استاد گروه علوم
کامپیوتر در دانشگاه کارولینای شمالی است. علایق فعلی او شامل
اثبات قضیه، سیستم های بازنویسی اصطلاح و منطق و برنامه نویسی
تابعی است. یونشان ژو همچنین عضو گروه علوم کامپیوتر در دانشگاه
کارولینای شمالی است. علایق پژوهشی فعلی زو شامل اثبات قضیه،
روش‌های رسمی و رویکردهای منطقی هوش مصنوعی است.
توضیحاتی درمورد کتاب به خارجی
Inhalt
Bereitstellung asymptotischer Schranken f?r die Gr??e von
Suchfeldern der von vielen gebr?uchlichen Beweisstrategien
erzeugten Suchr?ume - Gewinnung eines theoretischen
Verst?ndnisses der Effizienz unterschiedlicher Beweisverfahren
- Effizienzvergleich von Beweisstrategien Asymptotic bounds on
the sizes of the search spaces generated by many common theorem
proving strategies - gaining a theoretical understanding of the
efficiencies of many different theorem proving methods - a
comparative study of theorem proving strategies
Zielgruppe
Studierende und Forscher der Informatik und Mathematik mit
Schwerpunkten im Bereich des automatischen Theorembeweisens,
der mathematischen Logik, bzw. der Logik K?nstlicher
Intelligenz
?ber den Autor/Hrsg
David A. Plaisted ist seit 1984 Professor am Fachbereich
Informatik der University of North Carolina. Seine
gegenw?rtigen Forschungen umfassen automatisches
Theorembeweisen, Termersetzungssysteme sowie funktionale und
Logikprogrammierung. Yunshan Zhu ist Mitarbeiter am selben
Fachbereich der UNC. Sein Forschungsinteresse gilt dem
automatischen Theorembeweisen, formalen Methoden und
logikbasierten Methoden der K?nstlichen Intelligenz. Since 1984
David A. Plaisted is professor in the Department of Computer
Science at the University of North Carolina. His current
interests include theorem proving, term-rewriting systems and
logic and functional programming. Yunshan Zhu also is a member
of the Department of Computer Science at the University of
North Carolina. Zhu's current research interests include
theorem proving, formal methods and logical approaches of
Artificial Intelligence.
فهرست مطالب
Front Matter....Pages N1-vi
The Propositional Complexity of First-Order Theorem Proving Strategies....Pages 1-65
The First-Order Complexity of First-Order Theorem Proving Strategies....Pages 67-154
Back Matter....Pages 155-168
