دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker
دانلود کتاب مبانی تصحیح ماشین: مقدمه ای برای دانشمندان کامپیوتر و ریاضیدانان
مشخصات کتاب
Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker
ویرایش: 2
نویسندگان: Dieter Hofbauer. Ralf-Detlef Kutsche (auth.)
سری:
ISBN (شابک) : 9783528147181, 9783663076810
ناشر: Vieweg+Teubner Verlag
سال نشر: 1991
تعداد صفحات: 183
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 44,000
کلمات کلیدی مربوط به کتاب مبانی تصحیح ماشین: مقدمه ای برای دانشمندان کامپیوتر و ریاضیدانان: مهندسی، عمومی
در صورت تبدیل فایل کتاب Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی تصحیح ماشین: مقدمه ای برای دانشمندان کامپیوتر و ریاضیدانان نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی تصحیح ماشین: مقدمه ای برای دانشمندان کامپیوتر و ریاضیدانان
این کتاب یک کتاب درسی است که دقیقاً مبانی منطقی و ریاضی اثبات قضیه خودکار را توسعه می دهد. هدف آن دانشجویان و دانشمندان علوم کامپیوتر است که می توانند از آن برای دستیابی به مبانی دستکاری نمادها، روش های مشخصات رسمی و برنامه نویسی عملکردی و منطقی استفاده کنند و با شروع منطق مرتبه اول، مفاهیم نظری و استراتژی هایی برای اثبات کننده های قضیه خودکار ارائه می شود. در انجام این کار، یک قوس از وضوح از طریق paramodulation به جایگزینی مدت رسم می شود: حساب تفکیک یک سیستم قواعد فنی برای منطق محمول مرتبه اول کلی را نشان می دهد؛ گسترش آن برای شامل paramodulation باعث می شود که رابطه برابری به اندازه کافی درمان شود. ("جایگزینی مانند با مشابه")؛ در نهایت، با بررسی دقیق سیستم های جایگزین ترم، یک دیدگاه عملیاتی از مجموعه های خالص معادلات مورد تاکید قرار می گیرد.
توضیحاتی درمورد کتاب به خارجی
Dieses Buch ist ein Lehrbuch, das präzise die logischen und mathematischen Grundlagen des automatischen Theorembeweisens entwickelt. Es richtet sich an Studenten und Wissenschaftler der Informatik, die damit auch Grundlagen von Symbolmanipulation, formalen Spezifikationsmethoden sowie funktionaler und logischer Programmierung erwerben können.Ausgehend von der Prädikatenlogik werden theoretische Konzepte und Strategien für automatische Theorembeweiser vorgestellt. Dabei wird ein Bogen von der Resolution über die Paramodulation bis zurTermersetzung gespannt: Der Resolutionskalkül stellt ein handwerkliches Regelsystem für die allgemeine Prädikatenlogik erster Stufe dar, seine Erweiterung um die Paramodulation ermöglicht, die Gleichheitsrelation adäquat behandeln zu können. (,, Ersetzen von Gleichem durch Gleiches"); schließlich wird mit der ausführlichen Behandlung von Termersetzungssystemen eine operationale Sichtweise von reinen Gleichungsmengen betont.
فهرست مطالب
Front Matter....Pages I-IX
Grundbegriffe der Prädikatenlogik....Pages 1-31
Resolution....Pages 33-45
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
Schlußbemerkungen....Pages 155-158
Back Matter....Pages 159-174
