دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: Katrin Erk. Prof. Dr. Lutz Priese (auth.)
سری: Springer-Lehrbuch
ISBN (شابک) : 9783540661924, 9783662104293
ناشر: Springer Berlin Heidelberg
سال نشر: 2000
تعداد صفحات: 427
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 13 مگابایت
کلمات کلیدی مربوط به کتاب علوم کامپیوتر نظری: مقدمه ای جامع: منطق ریاضی و زبان های رسمی، محاسبات با دستگاه های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، ریاضیات محاسبات، منطق و مبانی ریاضی، ترکیبیات
در صورت تبدیل فایل کتاب Theoretische Informatik: Eine umfassende Einführung به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب علوم کامپیوتر نظری: مقدمه ای جامع نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این مقدمه برای علم کامپیوتر نظری با قابل درک بودن و خوانایی
خوب آن مشخص می شود. این تئوری زبانهای رسمی، نظریه محاسبهپذیری
و مروری بر نظریه پیچیدگی را پوشش میدهد. این کتاب مخصوصاً برای
مبتدیان مناسب است: تمام اثبات ها با جزئیات توضیح داده شده اند -
از این نظر همچنین مقدمه ای برای تکنیک اثبات است. این کتاب برای
مدرسان نیز جالب است، زیرا اثبات ها نه تنها به طور معمول بیان
شده اند و مدل های محاسباتی غیر استاندارد نیز ارائه شده
است.
این کتاب بر اساس سخنرانی های ده سال گذشته برای دانشجویان علوم
کامپیوتر در مطالعات پایه است. در دانشگاه های پادربورن و
کوبلنتس.
Diese Einf?hrung in die Theoretische Informatik zeichnet sich
durch Verst?ndlichkeit und gute Lesbarkeit aus. Sie umfa?t die
Theorie der formalen Sprachen, die Theorie der Berechenbarkeit
und einen ?berblick ?ber die Komplexit?tstheorie. Das Buch
eignet sich insbesondere f?r Anf?nger: Alle Beweise sind im
Detail ausgef?hrt - insofern ist es auch eine Einf?hrung in die
Technik des Beweisens. F?r Dozenten ist das Buch ebenfalls
interessant, da die Beweise nicht nur wie vielfach ?blich
skizziert sind und auch Nicht-Standard-Berechnungsmodelle
vorgestellt werden.
Das Buch basiert auf Vorlesungen der letzten zehn Jahre f?r
Studierende der Informatik im Grundstudium an den Universit?ten
Paderborn und Koblenz.
Front Matter....Pages I-X
Einleitung....Pages 1-1
Begriffe und Notationen....Pages 3-33
Eine kurze Einführung in die Aussagenlogik....Pages 35-49
Front Matter....Pages 51-51
Grammatiken und formale Sprachen....Pages 53-61
Reguläre Sprachen und endliche Automaten....Pages 63-107
Kontextfreie Sprachen....Pages 109-163
Turing-Maschinen....Pages 165-193
Die Sprachklassen ℒ, ℒ 0 und ℒ 1 ....Pages 195-214
Abschlußeigenschaften von Sprachklassen....Pages 215-223
Front Matter....Pages 225-225
Einleitung....Pages 227-231
Registermaschinen....Pages 233-251
Rekursive Funktionen....Pages 253-289
Unentscheidbare Probleme....Pages 291-324
Alternative Berechnungsmodelle....Pages 325-386
Komplexität....Pages 387-420
Back Matter....Pages 421-433