مشخصات کتاب

Berechnungstheorie für Informatiker

ویرایش: 1 
نویسندگان: Prof. Dr. sc. math. Erwin Engeler,  Prof. Dr. sc. math. Peter Läuchli (auth.)  
سری: Leitfäden und Monographien der Informatik 
ISBN (شابک) : 9783519022589, 9783322930859 
ناشر: Vieweg+Teubner Verlag 
سال نشر: 1988 
تعداد صفحات: 122 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

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

در صورت تبدیل فایل کتاب Berechnungstheorie für Informatiker به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب نظریه محاسباتی برای دانشمندان کامپیوتر

محتوای این کتاب تا حد زیادی مطابق با مطالبی است که این دو نویسنده چندین سال در یک دوره دو ترم برای دانشمندان کامپیوتر در ETH زوریخ تدریس کرده اند. بسیاری از این مطالب قبلاً در قالب یادداشت‌های موقت توسط E. Engeler به عنوان یک دوره آموزشی کوچک در مورد تئوری محاسبه به دانشجویان داده شده است. هنگام نوشتن متنی که اکنون در دسترس است، به طور فزاینده ای مشخص شده است که ویرایش تا حد زیادی مستقل از این دو بخش، که اکنون در فهرست مطالب نیز از هم جدا شده اند، هم از نظر تکنیک کار و هم از نظر نحوه پرداخت، کاملاً طبیعی به نظر می رسد. مواد. بنابراین P. Läuchli قسمت اول و E. Engeier قسمت دوم را به طور مستقل بر عهده گرفتند. اگرچه ما تا حد زیادی در مورد علامت گذاری توافق کرده ایم، اما آگاهانه تفاوت خاصی در سبک را می پذیریم. برای مطالعه کتاب، فرض بر این است که خواننده دارای مهارت های ریاضی است که مثلاً در یک دوره ابتدایی "ریاضیات گسسته" در ترم های پایین یک مدرک دانشگاهی در رشته علوم کامپیوتر یا مهندسی برق ارائه می شود. در هر صورت، این شامل مفاهیم اساسی در مورد مجموعه ها، توابع، روابط و غیره می شود. بخش اول، که عموماً به روش ابتدایی تر فرموله شده است، تقریباً با اولین سخنرانی ذکر شده در بالا ("نظریه محاسبات"، ترم 4) مطابقت دارد که در آن مفهوم محاسبه پذیری کار می شود و اولین آشنایی با تولید یا شناخت زبان های رسمی بر اساس زبان های معمولی به تفصیل مورد بحث قرار می گیرد. تئوری نقطه ثابت که متعاقباً معرفی شد، در نظر گرفته شده است که ابزاری نظری در اختیار دانش‌آموز قرار دهد که به او امکان می‌دهد اشیاء مختلف را از دیدگاه یکنواخت مشاهده کند.

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

Der Inhalt dieses Buches entspricht weitgehend dem Stoff, den die beiden Autoren seit mehreren Jahren in einem zweisemestrigen Kurs fur Informatiker an der ETH Zürich vermitteln. Vieles davon ist bereits früher in der Form von provisorischen Notizen von E. Engeler als "Kleines Repetitorium der Berechnungstheorie" an die Stu denten abgegeben worden. Bei der Niederschrift des nun vorliegenden Textes hat sich immer deutlicher gezeigt, dass sich eine weitgehend unabhängige Redaktion der beiden, jetzt auch im Inhaltsverzeichnis abgegrenzten Teile, sowohl arbeitstechnisch als auch von der Stoffbehandlung her, als durchaus natürlich aufdrängte. So hat denn P. Läuchli den ersten, E. Engeier den zweiten Teil selbständig betreut. Wir haben uns zwar punkto Notation weitgehend abgesprochen, nehmen jedoch eine gewisse Verschiedenheit im Stil bewusst in Kauf. Für die Lektüre des Buches wird vorausgesetzt, dass der Leser über das mathema tische Rüstzeug verfugt, welches etwa in einem elementaren Kurs "Diskrete Mathema tik" in den unteren Semestern eines Hochschulstudiums, Richtung Informatik oder Elek trotechnik, angeboten wird. Dazu gehören jedenfalls Grundbegriffe bezüglich Mengen, Funktionen, Relationen etc. Der erste Teil, im allgemeinen elementarer formuliert, entspricht ungefahr der oben erwähnten ersten Vorlesung ("Berechnungstheorie" , 4. Semester), in welcher vor allem der Berechenbarkeitsbegriff herausgearbeitet und eine erste Bekanntschaft mit der Erzeu gung, bzw. Erkennung von formalen Sprachen anhand der ausführlich diskutierten regulären Sprachen vermittelt wird. Die anschliessend eingefuhrte Fixpunkttheorie soll dem Studenten ein theoretisches Werkzeug in die Hand geben, welches ihm erlaubt, ver schiedene Gegenstände von einem einheitlichen Standpunkt aus zu betrachten.

فهرست مطالب

Front Matter....Pages N2-8
Front Matter....Pages 9-9
Berechenbarkeit, Aufzählbarkeit....Pages 10-31
Automaten und formale Sprachen....Pages 32-57
Fixpunkttheorie....Pages 58-65
Syntaktische Strukturen....Pages 66-74
Front Matter....Pages 75-75
Gödelisierung und Universalprogramme....Pages 76-86
Unlösbare Probleme der Informatik....Pages 87-99
Rekursive Prozeduren....Pages 100-113
Back Matter....Pages 114-125

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

کتاب های تصادفی

دانلود کتاب Current Trends in Organic Synthesis

دانلود کتاب Governance by Indicators: Global Power through Classification and Rankings

دانلود کتاب Regional Economic Outlook, Western Hemisphere, October 2010: Heating Up in the South, Cooler in the North (World Economic and Financial Surveys)

دانلود کتاب Induced Pluripotent Stem (iPS) Cells: Methods and Protocols

دانلود کتاب Ανθρωπολογία, πολιτική, φιλοσοφία