ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen

دانلود کتاب سیستم های جایگزین ترم: اصول تولید نمونه اولیه مشخصات جبری

Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen

مشخصات کتاب

Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen

ویرایش: 1 
نویسندگان:   
سری: Informatik-Fachberichte 210 
ISBN (شابک) : 9783642747694, 9783540511724 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1989 
تعداد صفحات: 159 
زبان: German 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

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



کلمات کلیدی مربوط به کتاب سیستم های جایگزین ترم: اصول تولید نمونه اولیه مشخصات جبری: تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلر، مفسر، دستکاری نمادین و جبری، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، مهندسی نرم افزار



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

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


در صورت تبدیل فایل کتاب Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب سیستم های جایگزین ترم: اصول تولید نمونه اولیه مشخصات جبری



سیستم‌های جایگزین مدت یک مدل محاسباتی غیر قطعی از حوزه برنامه‌نویسی تابعی هستند. توابع با قوانین بازگشتی مشخص می شوند و با جایگزینی زیرترم بدون کنترل صریح ارزیابی می شوند. برنامه نویسی منطقی به اوایل دهه 1970 برمی گردد و در ارتباط با زبان برنامه نویسی PROLOG محبوبیت خاصی پیدا کرد. اصول برنامه نویسی جبری در اواسط دهه 1970 ظاهر شد، زمانی که اولین مقالات در مورد مشخصات انواع داده های انتزاعی منتشر شد. اگرچه برنامه نویسی جبری و منطقی مبتنی بر اصول مشترک است، اما در ابتدا به طور مستقل توسعه یافتند. اخیراً تلاش موفقیت آمیزی برای ترکیب هر دو رویکرد در یک محاسبه مشترک انجام شده است. هدف این کتاب برای کسانی است که به مبانی نظری برنامه‌نویسی جبری و منطقی علاقه دارند. ابتدا مروری بر اصول اولیه اجرای مشخصات جبری و خلاصه ای از مفاهیم اساسی مورد نیاز وجود دارد. مفهوم اساسی مشخصات جبری با استفاده از بیان برای مدیریت خطا و مدولارسازی در انواع داده های انتزاعی گسترش یافته است. ابزارهای بیان به ویژه با توجه به قابلیت عملیاتی شدن آنها مورد بررسی قرار می گیرند. همچنین نشان می دهد که چگونه (و چه زمانی) مشخصات جبری را می توان به طور خودکار به برنامه های PROLOG ترجمه کرد و با کمک آنها اجرا کرد. دانش پایه از منطق ریاضی برای درک بهتر متن مفید است.


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

Termersetzungssysteme sind ein nicht-deterministisches Berechnungsmodell aus dem Bereich der funktionalen Programmierung. Die Funktionen werden durch rekursive Regeln spezifiziert und durch Untertermersetzung ohne explizite Kontrolle ausgewertet. Die logische Programmierung geht auf den Anfang der 70er Jahre zurück und wurde besonders populär in Verbindung mit der Programmiersprache PROLOG. Die algebraische Programmierung entstand in ihren Grundzügen Mitte der 70er Jahre, als die ersten Arbeiten über die Spezifikation abstrakter Datentypen veröffentlicht wurden. Obwohl die algebraische und die logische Programmierung auf gemeinsamen Prinzipien beruhen, entwickelten sie sich zunächst unabhängig voneinander. Erst in jüngster Zeit wurde mit Erfolg versucht, beide Ansätze in einem gemeinsamen Kalkül zu vereinen. Das Buch wendet sich an alle, die an den theoretischen Grundlagen der algebraischen und logischen Programmierung interessiert sind. Es gibt zunächst einen Überblick über die Grundlagen der Ausführung algebraischer Spezifikationen sowie eine Zusammenfassung der benötigten Grundbegriffe. Das Grundkonzept der algebraischen Spezifikation wird um Ausdrucksmittel zur Fehlerbehandlung und Modularisierung in abstrakten Datentypen erweitert. Die Ausdrucksmittel werden besonders im Hinblick auf ihre Operationalisierbarkeit untersucht. Außerdem wird gezeigt, wie (und wann) sich algebraische Spezifikationen automatisch in PROLOG-Programme übersetzen und mit deren Hilfe ausführen lassen. Zum besseren Verständnis des Textes sind Grundkenntnisse der mathematischen Logik hilfreich.



فهرست مطالب

Front Matter....Pages I-IX
Einführung....Pages 1-16
Grundbegriffe....Pages 17-21
Termersetzungssysteme mit eingeschränkten Variablen....Pages 22-95
Übersetzung von Termersetzungssystemen in PROLOG-Programme....Pages 96-120
Parametrisierung....Pages 121-141
Schlußbemerkungen....Pages 142-143
Back Matter....Pages 144-152




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