مشخصات کتاب

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 مگابایت 

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

در صورت تبدیل فایل کتاب 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

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

کتاب های تصادفی

دانلود کتاب Die antiken Vasen von der Akropolis zu Athen (Text u. Tafeln)

دانلود کتاب Политическая социология. Учебник для вузов

دانلود کتاب How to Say No: An Ancient Guide to the Art of Cynicism (Ancient Wisdom for Modern Readers)

دانلود کتاب Girls at Puberty: Biological and Psychosocial Perspectives

دانلود کتاب Educational Change Amongst English Language College Teachers in China: Transitioning from Teaching for General to Academic Purposes