مشخصات کتاب

Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker

ویرایش: 1 
نویسندگان: Dieter Hofbauer. Ralf-Detlef Kutsche (auth.)  
سری:  
ISBN (شابک) : 9783528047184, 9783322842237 
ناشر: Vieweg+Teubner Verlag 
سال نشر: 1989 
تعداد صفحات: 180 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

کلمات کلیدی مربوط به کتاب مبانی تصحیح ماشین: مقدمه ای برای دانشمندان کامپیوتر و ریاضیدانان: مهندسی، عمومی

در صورت تبدیل فایل کتاب Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب مبانی تصحیح ماشین: مقدمه ای برای دانشمندان کامپیوتر و ریاضیدانان

این کتاب حاصل دوره ای است که در سال های 1987 و 1988 بیشتر طراحی و توسعه داده ایم. این بخشی از طیف دوره های علوم کامپیوتر نظری در دانشگاه فنی برلین با نام "LOGIK II برای دانشمندان کامپیوتر: مبانی اثبات ماشین" است و مستقیماً به "WGIK برای دانشمندان کامپیوتر: رسمی سازی و اثبات" متصل است. بنابراین، این کتاب در درجه اول برای دانشجویان پیشرفته در مطالعات اصلی علوم کامپیوتر، بلکه به طور کلی برای دانشمندان علوم کامپیوتر و ریاضیات که به مبانی منطقی اثبات قضیه ماشین و اولین گام‌ها در جهت کاربرد آنها علاقه‌مند هستند، می‌باشد. تعدادی از کتاب های مهم انگلیسی زبان در مورد این موضوع - البته با تاکیدات بسیار متفاوت - از ابتدای دهه 1970 منتشر شده اند، به عنوان مثال. Chang & Lee [CL73]، Loveland [Lov78]، Boyer & Moore [BM79]، Bible [Bib82/87]، Bundy [Bun83]، Wos، Overbeek، Lusk & Boyle [WOLB84]، Gauls [GaI86]، Genesereth & Nilsson [GN87] و Padawitz [Pad88]؛ در آلمانی، برای مثال Bllisius & BURckert [BB87] یا Richter [Rich89]. ما کتاب خود را به عنوان مکملی برای چنین کتابهایی برای منطقه آلمانی زبان با هدف ارائه مقدمه ریاضی بیشتر برای این موضوع می بینیم. ما بر اساس دانش پایه ای از منطق بنا می کنیم و بنابراین فقط شرایط مورد نیاز در پایتخت را به صورت فشرده ارائه می کنیم. اولین تمرکز در فصل 2 وضوح است، یک حساب اشتقاقی مفید که منطق محمول مرتبه اول را برای رایانه قابل دسترسی می کند.

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

Dieses Buch ist entstanden aus einer Lehrveranstaltung, die wir in den Jahren 1987 und 1988 konzipiert und weiterentwickelt haben. Sie ist an der Technischen Universitlit Berlin unter dem Namen "LOGIK II fUr Informatiker: Grundlagen des maschinellen Beweisens" Bestandteil des Lehrangebots in Theoretischer Informatik und schlieBt direkt an die "WGIK fUr Informatiker: F ormalisieren und Beweisen" an. Das Buch richtet sich somit in erster Linie an fortgeschrittene Student(inn)en im Informatik Hauptstudium, aber auch ganz allgemein an Wissenschaftler(innen) in Informatik und Mathematik, die sich fUr die logischen Grundlagen des maschinellen Theorembeweisens und die ersten Schritte zu deren Anwendung interessieren. Eine Reihe wichtiger englischsprachiger BUcher in diesem Themenfeld -wenn auch mit sehr unterschiedlichen Schwerpunktsetzungen -ist seit dem Beginn der 70er Jahre entstanden, U. a. Chang & Lee [CL73], Loveland [Lov78], Boyer & Moore [BM79], Bibel [Bib82/87], Bundy [Bun83], Wos, Overbeek, Lusk & Boyle [WOLB84], Gallier [GaI86], Genesereth & Nilsson [GN87] und Padawitz [Pad88]; in deutscher Sprache etwa Bllisius & BUrckert [BB87] oder Richter [Rich89]. Wir verstehen unser Buch als Erglinzung solcher BUcher fUr den deutschen Sprachraum mit dem Ziel, eine eher mathematisch orientierte Einflihrung in diese Thematik zu geben. Wir knUpfen an Grundkenntnisse der Logik an und stellen daher die spliter benotigten Begriffe in Kapitell nur in gestraffter Form bereit. Einen ersten Schwerpunkt bildet in Kapitel 2 die Resolution, ein handlicher AbleitungskalkUl, der die Prlidikatenlogik erster Stufe prinzipiell dem Rechner zuglinglich macht.

فهرست مطالب

Front Matter....Pages I-VIII
Grundbegriffe der Prädikatenlogik....Pages 1-32
Resolution....Pages 33-46
Einschränkung des Suchraumes....Pages 47-84
Repräsentation des Suchraums....Pages 85-102
Paramodulation....Pages 103-112
Termersetzung: Grundlagen....Pages 113-128
Termersetzung: Spezielle Techniken....Pages 129-154
Back Matter....Pages 155-172

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Buddhism in Contemporary Tibet: Religious Revival and Cultural Identity

دانلود کتاب Asia and the Arctic: Narratives, Perspectives and Policies

دانلود کتاب Theory and Applications of Volterra Operators in Hilbert Space

دانلود کتاب Современный русский язык: Система обучающих тестов

دانلود کتاب The Armourer