دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logische und funktionale Programmierung: Grundlagen einer Kombination
دانلود کتاب برنامه نویسی منطقی و کاربردی: اصول اولیه ترکیب
مشخصات کتاب
Logische und funktionale Programmierung: Grundlagen einer Kombination
ویرایش: 1
نویسندگان: Ulrich Furbach (auth.)
سری: Artificial Intelligence / Künstliche Intelligenz
ISBN (شابک) : 9783528051273, 3528047704
ناشر: Vieweg+Teubner Verlag
سال نشر: 1991
تعداد صفحات: 164
زبان: German
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 1 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب برنامه نویسی منطقی و کاربردی: اصول اولیه ترکیب: علوم کامپیوتر، عمومی
در صورت تبدیل فایل کتاب Logische und funktionale Programmierung: Grundlagen einer Kombination به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی منطقی و کاربردی: اصول اولیه ترکیب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی منطقی و کاربردی: اصول اولیه ترکیب
این کتاب نسخه اصلاح شده ای از پایان نامه توانبخشی من "توابع در منطق بند شاخ" است. این کار در دانشگاه فنی Miinehen به عنوان بخشی از پروژه ESPRIT P973 ALPES تکمیل شد. مایلم از پروفسور بیبل و پروفسور جسن تشکر کنم که امکان کار در فضای پربار و محرک گروه پژوهشی فکری را برای من فراهم کردند. از پروفسور برائر به خاطر علاقه اش به این کار تشکر می کنم. بخش مهمی از کار بر اساس کار علمی من در دانشکده علوم کامپیوتر در دانشگاه نیروهای مسلح فدرال در مونیخ است. من می خواهم صمیمانه از پروفسور نیگل برای حمایت در این مدت و همچنین برای پیشنهادات متعدد برای بهبود تشکر کنم. من واقعاً از کار با همکارم Steffen Holldobler لذت بردم؛ ایده‌های او، تمایل او به بحث در مورد مسائل و تمایل او به انتقاد همیشه مرا تحریک می‌کرد. گفتگو با تیری کنراد، ژان ایو کراس و برترام فرونهوفر کمک بزرگی کرد. پیاده سازی سیستم FHCL توسط توماس لافیرمایر، نسخه موازی توسط ماتیاس شوستر انجام شد. کریستین ساتنر در زمان توسعه Smoothsort کاربر FHCL بود. او همچنین نسخه های قبلی این اثر را به همراه پیتر بامگارتنر و مکس موزر به طور انتقادی خوانده است.
توضیحاتی درمورد کتاب به خارجی
Das vorliegende Bueh ist eine iiberarbeitete Fassung meiner Habilitati onssehrift 'Funktionen in Hornklausellogik'. Die Arbeit ist an der Teehnisehen Universitat Miinehen im Rahmen des ESPRIT-Projektes P973 ALPES fertiggestellt worden. Herrn Prof. Bibel und Herrn Prof. Jessen moehte ieh danken, daB sie mir die Arbeit in der fruehtbaren und anregenden Atmosphare der Forsehungsgruppe Intellek tik ermoglieht haben. Herrn Prof. Brauer danke ieh fUr das Interesse, daB er dieser Arbeit entgegengebraeht hat. Ein wiehtiger Teil der Arbeit baut auf meiner wissensehaftliehen Tatigkeit an der Fakultat fiir Informatik der Univer sitat der Bundeswehr Miinehen auf. Fiir die Unterstiitzung wahrend die ser Zeit, sowie fUr zahlreiehe Verbesserungsvorsehlage moehte ieh Herrn Prof. Niegel herzlich danken. Die Zusammenarbeit mit meinem Kollegen Steffen Holldobler hat mir groBen SpaB gemaehtj seine Ideen, seine Diskussionsbereitsehaft und seine Kritikfreudigkeit haben mich stets angeregt. Diskussionen mit Thierry Conrad, Jean-Yves Cras und Bertram Fronhofer haben wesent lich mitgeholfen. Die Implementierung des FHCL-Systems wurde von Thomas Laufier meier, die der parallelen Version von Matthias Schuster angefertigt. Chri stian Suttner war FHCL-Anwender bei der Entwicklung von Smoothsort. Er hat auch zusammen mit Peter Baumgartner und Max Moser friihere Fassungen dieser Arbeit kritiseh gelesen.
فهرست مطالب
Front Matter....Pages i-5
Einführung....Pages 6-11
Hornklausellogik als Programmiersprache....Pages 12-32
Die Kombination von HCL und funktionalen Sprachen....Pages 33-68
Das FHCL-Programmiersystem....Pages 69-86
Parallelisierung von HCL....Pages 87-95
Termersetzungssysteme im FHCL-Schema....Pages 96-110
Sortierte Hornklauseln....Pages 111-126
Eine Anwendung: Smoothsort....Pages 127-137
Zusammenfassung....Pages 138-139
Anhang....Pages 140-150
Back Matter....Pages 151-160
