دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Algorithmische Informationstheorie -- Berechenbarkeit und Komplexität verstehen
دانلود کتاب تئوری اطلاعات الگوریتمی -- درک قابلیت پیش بینی و پیچیدگی
مشخصات کتاب
Algorithmische Informationstheorie -- Berechenbarkeit und Komplexität verstehen
ویرایش: 1 نویسندگان: Witt, Kurt-Ulrich, Müller, Martin Eric سری: ISBN (شابک) : 9783662616932 ناشر: Springer سال نشر: 2020 تعداد صفحات: 186 زبان: German فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 43,000
در صورت تبدیل فایل کتاب Algorithmische Informationstheorie -- Berechenbarkeit und Komplexität verstehen به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تئوری اطلاعات الگوریتمی -- درک قابلیت پیش بینی و پیچیدگی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تئوری اطلاعات الگوریتمی -- درک قابلیت پیش بینی و پیچیدگی
این کتاب درسی ابتدا به موضوعات محوری علوم کامپیوتر نظری کلاسیک می پردازد و با تکیه بر این مبانی نظریه اطلاعات الگوریتمی را معرفی می کند. به طور خاص، به سؤالات زیر پرداخته می شود: - الگوریتم ها چیست؟ توانایی آنها چیست و حدود آنها کجاست؟ - چه اظهاراتی در مورد زمان اجرا می توان بیان کرد؟ مهمترین کلاس های پیچیدگی کدامند؟ اینها برای تئوری و عمل چه معنایی دارند؟ - چگونه می توان پیچیدگی ساختاری داده ها را توصیف و تحلیل کرد؟ این کتاب برای دانش‌آموزانی که در رشته‌های ریاضی و علوم کامپیوتر در دوره‌های مربوطه در دانشگاه‌های مختلف شرکت می‌کنند و یا می‌خواهند به طور مستقل ادامه تحصیل دهند، ارائه شده است. همه مبانی رسمی ارائه شده و از نظر ریاضی دقیق و با جزئیات ثابت شده است، بسیاری از توضیحات مفصل و ارجاعات متقابل درک ارتباطات را آسان تر می کند. این باعث می شود که کتاب به راحتی برای دانشجویان علوم کامپیوتر با تمرکز بر مشکلات عملی فعلی و کاربردهای احتمالی، به عنوان مثال در زمینه تجزیه و تحلیل داده ها، در دسترس باشد. کتاب درسی برای خودآموزی ایده آل است. هر فصل با انگیزه ای کوتاه از مطالب زیر آغاز می شود. توضیحات تفصیلی درک را تقویت می کند، بسیاری از مثال ها و وظایف در خدمت تثبیت دانش و تمرین روش ها و رویه های ارائه شده است. تقریباً برای همه کارها نمونه راه حل در متن یا در انتهای کتاب وجود دارد. خلاصه های پایان فصل نیز فرصتی برای تأمل در مطالب فراهم می کند. پروفسور دکتر کرت اولریش ویت بیش از بیست سال است که در دپارتمان علوم کامپیوتر دانشگاه علوم کاربردی بن راین سیگ تدریس و تحقیق می کند. او نویسنده چندین کتاب درسی در زمینه مبانی ریاضی و نظری علوم کامپیوتر است. دکتر مارتین ای. مولر یک مدرس خصوصی در دانشگاه آگسبورگ و استاد مبانی ریاضی و نظری علوم کامپیوتر در دانشگاه علوم کاربردی Bonn-Rhein-Sieg است. او بیش از ده سال است که در زمینه های مختلف علوم کامپیوتر نظری، ریاضیات گسسته و منطق جبری تدریس و تحقیق کرده است. هر دو نویسنده اهمیت ویژه ای به آموزش ریاضی و نظری مناسب برای دانشجویان علوم کامپیوتر می دهند.
توضیحاتی درمورد کتاب به خارجی
Dieses Lehrbuch behandelt zunächst zentrale Themen der klassischen Theoretischen Informatik und führt darauf aufbauend in die Grundlagen der Algorithmischen Informationstheorie ein. Behandelt werden insbesondere die Fragestellungen: - Was sind Algorithmen? Was können sie und wo liegen ihre Grenzen? - Welche Aussagen sind über die Laufzeit möglich? Welches sind die wichtigsten Komplexitätsklassen? Was bedeuten diese für Theorie und Praxis? - Wie kann die strukturelle Komplexität von Daten beschrieben und analysiert werden? Das Buch richtet sich an Studierende in Mathematik- und Informatik-Studiengängen, die entsprechende Lehrveranstaltungen an Hochschulen aller Art besuchen oder sich unabhängig davon weiterbilden möchten. Alle formalen Grundlagen werden mathematisch präzise und ausführlich dargestellt bzw. bewiesen, viele detaillierte Erklärungen und Querverweise erleichtern dabei das Verständnis der Zusammenhänge. Dadurch ist das Buch auch für Studierende der Informatik mit Fokus auf aktuelle praktische Problemstellungen und Anwendungsmöglichkeiten, etwa im Bereich der Datenanalyse, gut zugänglich. Das Lehrbuch ist hervorragend zum Selbststudium geeignet. Jedes Kapitel beginnt mit einer kurzen Motivation des folgenden Inhalts. Ausführliche Erklärungen fördern das Verständnis, viele Beispiele und Aufgaben dienen der Festigung des Wissens und dem Einüben der dargestellten Methoden und Verfahren. Zu fast allen Aufgaben sind im Text oder am Ende des Buches Musterlösungen aufgeführt. Zusammenfassungen am Kapitelende bieten darüber hinaus Gelegenheit, den Stoff zu reflektieren. Prof. Dr. Kurt-Ulrich Witt lehrt und forscht seit über zwanzig Jahren am Fachbereich Informatik der Hochschule Bonn-Rhein-Sieg. Er ist Autor mehrerer Lehrbücher zu mathematischen und theoretischen Grundlagen der Informatik. Dr. Martin E. Müller ist Privatdozent an der Universität Augsburg und Professor für mathematische und theoretische Grundlagen der Informatik an der Hochschule Bonn-Rhein-Sieg. Er lehrt und forscht seit über zehn Jahren in verschiedenen Gebieten der Theoretischen Informatik, der Diskreten Mathematik sowie der Algebraischen Logik. Beiden Autoren liegt eine mathematisch und theoretisch fundierte Ausbildung der Informatik-Studierenden besonders am Herzen.
فهرست مطالب
Vorwort......Page 5
Inhaltsverzeichnis......Page 7
Kapitel 1 Einführung und Übersicht......Page 10
1.1 Informationskomplexität......Page 11
1.2.1 Grundlegende Definitionen für Bitfolgen......Page 13
1.2.2 Beispiele......Page 15
1.3 Inhaltsübersicht......Page 20
1.4 Zusammenfassung und bibliografische Hinweise......Page 22
Kapitel 2 Alphabete, Wörter, Sprachen......Page 23
2.2 Wörter und Wortfunktionen......Page 24
2.3 Homomorphismen......Page 30
2.4 Formale Sprachen......Page 31
2.5 Präfixfreie Sprachen......Page 34
2.6 Codierungen von Alphabeten und Wörtern über N0 und B......Page 35
2.7 Entscheidbarkeit von Sprachen und Mengen......Page 39
2.8 Die Cantorsche k-Tupel-Funktion......Page 41
2.9 Zusammenfassung und bibliografische Hinweise......Page 44
Kapitel 3 Berechenbarkeit......Page 45
3.1 Turing-Berechenbarkeit......Page 46
3.2 Varianten von Turingmaschinen......Page 53
3.3 Churchsche These......Page 55
3.4 Entscheidbare, semi-entscheidbare und rekursiv-aufzählbare Mengen......Page 57
3.5 Turing-Verifizierer......Page 62
3.6 Äquivalenz von Turing-Akzeptoren und Verifizierern......Page 66
3.7 Nicht deterministische Turingmaschinen......Page 67
3.8 Zusammenfassung und bibliografische Hinweise......Page 71
4.1 Die O-Notation......Page 72
4.2 Die Komplexitätsklassen P und NP......Page 75
4.3 NP-Vollständigkeit......Page 79
4.4 Einige Beispiele für NP-vollständige Mengen......Page 81
4.5 Bemerkungen zur P-NP-Frage......Page 86
4.6 Zusammenfassung und bibliografische Hinweise......Page 88
Kapitel 5 Universelle Berechenbarkeit......Page 90
5.1 Codierung von Turingmaschinen......Page 91
5.2 Nummerierung von Turingmaschinen......Page 92
5.3 Nummerierung der berechenbaren Funktionen......Page 95
5.4.1 Das utm-Theorem......Page 97
5.4.2 Das smn-Theorem......Page 98
5.4.3 Anwendungen von utm- und smn-Theorem......Page 99
5.4.4 Der Äquivalenzsatz von Rogers......Page 103
5.5 Zusammenfassung und bibliografische Hinweise......Page 105
Kapitel 6 Unentscheidbare Mengen......Page 107
6.1 Das Halteproblem......Page 108
6.2 Der Satz von Rice......Page 113
6.4 Das Äquivalenzproblem......Page 115
6.5 Zusammenfassung und bibliografische Hinweise......Page 116
7.1 Codierung von Bitfolgen-Sequenzen......Page 118
7.2 Definitionen......Page 120
7.3 Eigenschaften......Page 123
7.4 (Nicht-) Komprimierbarkeit und Zufälligkeit......Page 133
7.5 Zusammenfassung und bibliografische Hinweise......Page 141
8.1 Unentscheidbarkeit des Halteproblems......Page 143
8.2 Die Menge der Primzahlen ist unendlich......Page 145
8.3 Reguläre Sprachen......Page 146
8.4 Unvollständigkeit formaler Systeme......Page 150
8.5 Die Kolmogorov-Komplexität entscheidbarer Sprachen......Page 152
8.6 Die Chaitin-Konstante......Page 154
8.7 Praktische Anwendungen......Page 160
8.8 Zusammenfassung und bibliografische Hinweise......Page 161
Lösungen zu den Aufgaben......Page 163
Anhang: Mathematische Grundbegriffe......Page 176
Literaturverzeichnis......Page 179
Index......Page 182
