ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Einfuhrung in die Mathematische Logik, 3. Auflage

دانلود کتاب مقدمه ای بر منطق ریاضی ، چاپ سوم

Einfuhrung in die Mathematische Logik, 3. Auflage

مشخصات کتاب

Einfuhrung in die Mathematische Logik, 3. Auflage

دسته بندی: ریاضیات
ویرایش:  
نویسندگان:   
سری:  
ISBN (شابک) : 3834805785, 9783834805782 
ناشر:  
سال نشر: 2008 
تعداد صفحات: 274 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

قیمت کتاب (تومان) : 46,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 4


در صورت تبدیل فایل کتاب Einfuhrung in die Mathematische Logik, 3. Auflage به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب مقدمه ای بر منطق ریاضی ، چاپ سوم

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


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

Dieses umfassende Lehrbuch wurde geschrieben für Studenten und Dozenten der Mathematik und Informatik, und wegen der ausführlichen Darstellung der Gödelschen Unvollständigkeitssätze auch für Fachstudenten der Philosophischen Logik. Für diese Neuauflage wurde der Text sachlich und stilistisch vollständig überarbeitet, er enthält verbesserte Beweise und Übungen mit Lösungshinweisen sowie eine historisch orientierte Einleitung. Das Buch kann ganz unabhängig von Vorlesungen aber auch zum Selbststudium genutzt werden.



فهرست مطالب

Front Matter....Pages i-xxi
Aussagenlogik....Pages 1-32
Prädikatenlogik....Pages 33-70
Der Gödelsche Vollständigkeitssatz....Pages 71-104
Grundlagen der Logikprogrammierung....Pages 105-130
Elemente der Modelltheorie....Pages 131-166
Unvollständigkeit und Unentscheidbarkeit....Pages 167-208
Zur Theorie der Selbstreferenz....Pages 209-230
Back Matter....Pages 231-256




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی