ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Grundlagen der funktionalen Programmierung

دانلود کتاب مبانی برنامه نویسی تابعی

Grundlagen der funktionalen Programmierung

مشخصات کتاب

Grundlagen der funktionalen Programmierung

ویرایش: 1 
نویسندگان:   
سری: Leitfäden der Informatik 
ISBN (شابک) : 9783519021377, 9783322892072 
ناشر: Vieweg+Teubner Verlag 
سال نشر: 1994 
تعداد صفحات: 348 
زبان: German 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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



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



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

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


در صورت تبدیل فایل کتاب Grundlagen der funktionalen Programmierung به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مبانی برنامه نویسی تابعی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


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

این کتاب از سلسله سخنرانی های نویسنده در دانشگاه ابرهارد-کارلز در تیبینگن تحت عنوان "مقدمه ای بر برنامه ریزی تابعی" نشات گرفته است. گروه هدف این سخنرانی، دانشجویانی هستند که در مطالعات اصلی خود، علوم کامپیوتر را به عنوان موضوع اصلی یا فرعی خود در نظر می گیرند. پیش نیاز درک کتاب، آگاهی از مفاهیم اولیه علوم کامپیوتر و برنامه نویسی است. سخنرانی نیز مانند کتاب از دو بخش تشکیل شده است. قسمت اول شامل حروف بزرگ تا 8 و به صورت عملی می باشد. او مقدمه ای کوتاه بر زبان برنامه نویسی کاملاً کاربردی Gofer با تکنیک های برنامه نویسی پایه و روش های تأیید و تبدیل برنامه ها ارائه می دهد و به دنبال آن دیدگاهی کوتاه در مورد تکنیک های پیشرفته و مفاهیم پیشرفته ارائه می دهد. به طور خاص، کلاس‌های نوع، کلاس‌های سازنده و مونادها و همچنین ورودی و خروجی کاملاً کاربردی مورد بحث قرار می‌گیرند. کلاس‌های نوع و کلاس‌های سازنده، بارگذاری کنترل‌شده توابع تعریف‌شده توسط کاربر را امکان‌پذیر می‌کنند. از جمله موارد دیگر، مونادها امکان ادغام در زبان های برنامه نویسی کاملا کاربردی را فراهم می کنند. متغیرها به معنای سنتی در قسمت دوم (فصل های 9 تا 15) مدل های مختلفی برای معناشناسی و اجرای زبان های برنامه نویسی تابعی ارائه شده است. این بخش شامل مقدمه ای بر نظریه دامنه، جبر جهانی، معناشناسی عملیاتی و معنایی و حساب لامبدا است. علاوه بر این، انواع و معناشناسی آنها، بازسازی خودکار انواع، و همچنین مفاهیم اساسی تفسیر انتزاعی و تحلیل سختگیری مورد بررسی قرار می گیرد. در ارتباط با این، تکنیک های پیاده سازی برای زبان های برنامه نویسی تابعی در سطح انتزاعی مورد بحث قرار می گیرند.


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

Das vorliegende Buch entstand aus einer Reihe von Vorlesungen, die der Autor an der Eberhard-Karls-UniversWit Tiibingen unter dem Titel "Einfiihrung in die funktionale Programmierung" gehalten hat. Die Zielgruppe der Vorlesung sind Studenten im Hauptstudium, die Informatik als Haupt-oder Nebenfach belegen. Voraussetzungen zum Verstandnis des Buches sind die Kenntnis von Grundbe­ griffen der Informatik und Programmierung. Die Vorlesung, wie auch das Bueh, besteht aus zwei Tellen. Der erste Tell um­ faBt die Kapitell bis 8 und ist praktisch orientiert. Er gibt eine kurze Einfiihrung in die rein-funktionale Programmiersprache Gofer mit grundlegenden Program­ mierteehniken und Methoden der Verifikation und Transformation von Program­ men gefolgt von einem kurzen Ausbliek auf fortgesehrittene Techniken und wei­ terfiihrende Konzepte. Insbesondere wird auf Typklassen, Konstruktorklassen und Monaden, sowie rein-funktionale Ein-und Ausgabe eingegangen. Typklassen und Konstruktorklassen erlauben die kontrollierte Uberladung von benutzerde­ finierten Funktionen. Monaden ermoglichen unter anderem die Integration von in rein-funktionale Programmierspraehen. Variablen im herkommlichen Sinn 1m zweiten Teil (Kap. 9 bis 15) werden verschiedene Modelle fur Semantik und Ausfiihrung funktionaler Programmiersprachen vorgestellt. Der Tell umfaBt eine Einfiihrung in die Bereichstheorie, universelle Algebra, operationelle und de­ notationelle Semantik, und den Lambda-Kalkiil. Ferner werden Typen und ihre Semantik, die automatisehe Rekonstruktion von Typen, sowie Grundbegriffeder abstrakten Interpretation und Striktheitsanalyse behandelt. Damit verzahnt wer­ den Implementierungstechniken fur funktionale Programmiersprachen auf einer abstrakten Ebene diskutiert.



فهرست مطالب

Front Matter....Pages 1-10
Einführung....Pages 11-14
Grundlegende Sprachstrukturen....Pages 15-60
Funktionen höheren Typs....Pages 61-70
Fallstudien....Pages 71-78
Programmieren mit verzögerter Auswertung....Pages 79-92
Eigenschaften von Programmen....Pages 93-114
Fortgeschrittene Programmierkonzepte....Pages 115-150
Überblick und Anwendungen....Pages 151-160
Einführung in die denotationelle Semantik....Pages 161-166
Bereichstheorie....Pages 167-180
Universelle Algebra....Pages 181-198
Semantik und Implementierung funktionaler Sprachen mit Funktionen erster Ordnung....Pages 199-216
Semantik und Implementierung funktionaler Sprachen mit Funktionen höherer Ordnung....Pages 217-240
Abstrakte Interpretation....Pages 241-258
Der λ-Kalkül als funktionale Programmiersprache....Pages 259-302
Back Matter....Pages 303-348




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد