دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Einführung in die Mathematische Logik: Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung
دانلود کتاب مقدمه ای بر منطق ریاضی: کتاب درسی با ملاحظه برنامه نویسی منطق
مشخصات کتاب
Einführung in die Mathematische Logik: Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung
ویرایش:
نویسندگان: Wolfgang Rautenberg (auth.)
سری:
ISBN (شابک) : 9783528067540, 9783322929136
ناشر: Vieweg+Teubner Verlag
سال نشر: 1995
تعداد صفحات: 262
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 53,000
کلمات کلیدی مربوط به کتاب مقدمه ای بر منطق ریاضی: کتاب درسی با ملاحظه برنامه نویسی منطق: منطق و مبانی ریاضی، کاربردهای ریاضیات
در صورت تبدیل فایل کتاب Einführung in die Mathematische Logik: Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مقدمه ای بر منطق ریاضی: کتاب درسی با ملاحظه برنامه نویسی منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مقدمه ای بر منطق ریاضی: کتاب درسی با ملاحظه برنامه نویسی منطق
محتوا
منطق گزاره ای - منطق مرتبه اول - قضیه کامل بودن جیدل - مبانی
برنامه نویسی منطق - عناصر نظریه مدل - ناقص بودن و غیرقابل تصمیم
گیری - در مورد نظریه ارجاع به خود - نکاتی در مورد حل تمرین ها -
لیست نمادها
گروه هدف
دانشجویان ریاضیات و علوم کامپیوتر از ترم 5 به بعد
؟درباره نویسنده/ویراستار
پروفسور ولفگانگ راوتنبرگ ریاضیات را در دانشگاه آزاد برلین تدریس
می کند.
توضیحاتی درمورد کتاب به خارجی
Inhalt
Aussagenlogik - Pr?dikatenlogik - Der G?delsche
Vollst?ndigkeitssatz - Grundlagen der Logikprogrammierung -
Elemente der Modelltheorie - Unvollst?ndigkeit und
Unentscheidbarkeit - Zur Theorie der Selbstreferenz -
L?sungshinweise zu den ?bungen - Symbolverzeichnis
Zielgruppe
Studenten der Mathematik und Informatik ab dem 5.
Semester
?ber den Autor/Hrsg
Professor Wolfgang Rautenberg lehrt Mathematik an der Freien
Universit?t Berlin.
فهرست مطالب
Front Matter....Pages I-XII
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-206
Zur Theorie der Selbstreferenz....Pages 207-224
Back Matter....Pages 225-252
