دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Einführung in die Mathematische Logik
دانلود کتاب مقدمه ای بر منطق ریاضی
مشخصات کتاب
Einführung in die Mathematische Logik
ویرایش: 2., verb. u. erw. Aufl.
نویسندگان: Prof. Dr. Wolfgang Rautenberg (auth.)
سری:
ISBN (شابک) : 9783528167547, 9783322915184
ناشر: Vieweg+Teubner Verlag
سال نشر: 2002
تعداد صفحات: 269
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 36,000
کلمات کلیدی مربوط به کتاب مقدمه ای بر منطق ریاضی: منطق و مبانی ریاضی، کاربردهای ریاضیات
در صورت تبدیل فایل کتاب Einführung in die Mathematische Logik به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مقدمه ای بر منطق ریاضی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مقدمه ای بر منطق ریاضی
این کتاب درسی نسبتاً جامع برای دانشجویان و مدرسان ریاضیات و
علوم کامپیوتر و به دلیل ارائه دقیق قضایای ناقص بودن G?del در
منطق فلسفی نوشته شده است. متن چاپ اول با تمام جزئیات به طور
کامل اصلاح شده است. به ویژه، فصل های 6 و 7 در مورد تصمیم
ناپذیری و ناقص بودن سازماندهی مجدد شده و به طور قابل توجهی
گسترش یافته است. فصل 7 اکنون از قضیه دوم ناتمامیت فراتر رفته و
توسعه اخیر را در نظر می گیرد.
ارائه در سه فصل اول نسبتاً گسترده است، به طوری که دانش آموز به
راحتی می تواند حتی قبل از یک سخنرانی به صورت خودآموز بر مطالب
تسلط یابد. وضوح زبان و یک تایپ فیس مرتب باید کمک کند. در این
کتاب هیچ شکست فرمولی در شکست خط وجود ندارد.
فصل 4 به مبانی برنامه نویسی منطقی می پردازد. توابع قابل محاسبه
را می توان بسیار طبیعی توسط برنامه های PROLOG تعریف کرد. این
ثابت می کند که مشکل وجود قطعنامه های موفق غیرقابل تصمیم گیری
است. این مشکلات مربوط به حل مسئله از طریق پرس و جو به برنامه
های منطقی را توضیح می دهد.
توضیحاتی درمورد کتاب به خارجی
Dieses recht 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 der Philosophischen Logik. Der
Text der ersten Auflage wurde in allen Details gr?ndlich
revidiert. Insbesondere wurden die Kapitel 6 und 7 ?ber
Unentscheidbarkeit und Unvollst?ndigkeit neu organisiert und
erheblich erweitert. Kapitel 7 geht jetzt ?ber den zweiten
Unvollst?ndigkeitssatz hinaus und ber?cksichtigt die neuere
Entwicklung.
Die Darstellung in den ersten drei Kapiteln ist ziemlich breit
gehalten, so dass der Student noch vor einer Vorlesung auch im
Selbststudium den Stoff m?helos bew?ltigen kann. Klarheit in
der Sprache und ein ordentliches Schriftbild sollten dabei
helfen. Es gibt in diesem Buche keine Formeltrennungen im
Zeilenumbruch.
Kapitel 4 befasst sich mit den Grundlagen der
Logikprogrammierung. Die berechenbaren Funktionen lassen sich
sehr nat?rlich durch PROLOG-Programme definieren. Damit wird
die Unentscheidbarkeit des Existenzproblems erfolgreicher
Resolutionen bewiesen. Dies erkl?rt die Schwierigkeiten, die
mit der Probleml?sung durch Anfragen an Logikprogramme
zusammenh?ngen.
فهرست مطالب
Front Matter....Pages I-XVI
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
