دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programmierung - eine Einfuhrung in die Informatik mit Standard ML
دانلود کتاب برنامه نویسی - مقدمه ای برای علم کامپیوتر با ML استاندارد
مشخصات کتاب
Programmierung - eine Einfuhrung in die Informatik mit Standard ML
ویرایش:
نویسندگان: Gert Smolka
سری:
ISBN (شابک) : 9783486586015, 3486586017
ناشر: Oldenbourg
سال نشر: 2007
تعداد صفحات: 345
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 38,000
در صورت تبدیل فایل کتاب Programmierung - eine Einfuhrung in die Informatik mit Standard ML به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی - مقدمه ای برای علم کامپیوتر با ML استاندارد نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی - مقدمه ای برای علم کامپیوتر با ML استاندارد
این مقدمه به علم کامپیوتر برنامه نویسی را به عنوان ترکیبی از تئوری و عمل منتقل می کند. دانش برنامه نویسی لازم نیست. این کتاب از زبان برنامه نویسی تابعی Standard ML استفاده می کند که با آن می توان حتی برنامه های سخت را نیز به راحتی پیاده سازی کرد. موضوع اصلی کتاب ساختار زبان های برنامه نویسی است که از طریق گرامرها، قواعد استنتاج و برنامه نویسی مفسرها، ماشین ها و مترجم ها منتقل می شود. مطابق با این، ساختارهای داده بازگشتی و تکنیک های اساسی برای اثبات صحت و تعیین زمان اجرا مورد بررسی قرار می گیرند.
توضیحاتی درمورد کتاب به خارجی
Diese Einf�hrung in die Informatik vermittelt Programmierung als Synthese von Theorie und Praxis. Programmierkenntnisse werden nicht vorausgesetzt. Das Buch verwendet die funktionale Programmiersprache Standard ML, mit der auch anspruchsvolle Programme einfach realisiert werden k�nnen. Leitthema des Buches ist der Aufbau von Programmiersprachen, der durch Grammatiken, Inferenzregeln und das Programmieren von Interpretern, Maschinen und �bersetzern vermittelt wird. Darauf abgestimmt werden rekursive Datenstrukturen und grundlegende Techniken f�r Korrektheitsbeweise und Laufzeitbestimmungen behandelt.
فهرست مطالب
Front Matter......Page 1
2 Programmiersprachliches......Page 15
3 Hoeherstufige Prozeduren......Page 34
4 Listen und Strings......Page 59
5 Sortieren......Page 82
6 Konstruktoren und Ausnahmen......Page 96
7 Baeume......Page 113
8 Mengenlehre......Page 136
9 Mathematische Prozeduren......Page 159
10 Induktive Korrektheitsbeweise......Page 179
11 Laufzeit rekursiver Prozeduren......Page 196
12 Statische und dynamische Semantik......Page 220
13 Konkrete Syntax......Page 237
14 Datenstrukturen......Page 256
15 Speicher und veränderliche Objekte......Page 273
16 Stapelmaschinen und Uebersetzer......Page 300
Back Matter......Page 327
