ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Logische und funktionale Programmierung: Grundlagen einer Kombination

دانلود کتاب برنامه نویسی منطقی و کاربردی: اصول اولیه ترکیب

Logische und funktionale Programmierung: Grundlagen einer Kombination

مشخصات کتاب

Logische und funktionale Programmierung: Grundlagen einer Kombination

ویرایش: 1 
نویسندگان:   
سری: Artificial Intelligence / Künstliche Intelligenz 
ISBN (شابک) : 9783528051273, 3528047704 
ناشر: Vieweg+Teubner Verlag 
سال نشر: 1991 
تعداد صفحات: 164 
زبان: German 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت 

قیمت کتاب (تومان) : 51,000



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



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 10


در صورت تبدیل فایل کتاب 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




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