دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 2.Aufl. نویسندگان: Prof. Dr. sc. math. Erwin Engeler, Prof. Dr. sc. math. Peter Läuchli (auth.) سری: Leitfäden und Monographien der Informatik ISBN (شابک) : 9783519122586, 9783322926777 ناشر: Vieweg+Teubner Verlag سال نشر: 1988 تعداد صفحات: 120 زبان: German فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
کلمات کلیدی مربوط به کتاب نظریه محاسباتی برای دانشمندان کامپیوتر: مهندسی، عمومی
در صورت تبدیل فایل کتاب Berechnungstheorie für Informatiker به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه محاسباتی برای دانشمندان کامپیوتر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
تئوری محاسبات -- منطق و معانی برنامه ها.
Theory of Computation -- Logics and Meanings of Programs.
Front Matter....Pages 1-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-120