دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Einführung in die klassische und intensionale Logik
دانلود کتاب مقدمه ای بر منطق کلاسیک و منطقی
مشخصات کتاب
Einführung in die klassische und intensionale Logik
ویرایش: 1
نویسندگان: Dr. Ulf Friedrichsdorf (auth.)
سری:
ISBN (شابک) : 9783528064891, 9783322849908
ناشر: Vieweg+Teubner Verlag
سال نشر: 1992
تعداد صفحات: 361
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب مقدمه ای بر منطق کلاسیک و منطقی: منطق و مبانی ریاضی، منطق و معانی برنامه ها، مهندسی، عمومی
در صورت تبدیل فایل کتاب Einführung in die klassische und intensionale Logik به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مقدمه ای بر منطق کلاسیک و منطقی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مقدمه ای بر منطق کلاسیک و منطقی
دکتر دوباره البته Ulf Friedrichsdorf یک دانشیار پژوهشی در دانشکده ریاضیات در دانشگاه Konstanz، 7750 Konstanz است.
توضیحاتی درمورد کتاب به خارجی
Dr. rer. nat. Ulf Friedrichsdorf ist wissenschaftlicher Mit-arbeiter an der Fakultät für Mathematik der Universität Konstanz, 7750 Konstanz.
فهرست مطالب
Front Matter....Pages I-VII
Mengen, Relationen und Funktionen....Pages 1-18
Aussagenlogik....Pages 19-44
Modale Aussagenlogik....Pages 45-88
Varianten der modalen Aussagenlogik....Pages 89-108
Grundbegriffe der Prädikatenlogik....Pages 109-142
Normalformen und der Satz von Herbrand....Pages 143-158
Der Gödelsche Vollständigkeitssatz....Pages 159-170
Modallogische Aspekte der Gödelschen Unvollständigkeitssätze....Pages 171-208
Einige modelltheoretische Begriffe und Sätze....Pages 209-258
Modale Prädikatenlogik....Pages 259-272
Dynamische Prädikatenlogik....Pages 273-292
Höherstufige Prädikatenlogik....Pages 293-307
Typentheorie....Pages 309-331
Back Matter....Pages 333-356
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Einführung in die Fertigungstechnik
دانلود کتاب Reflections on Human Inquiry: Science, Philosophy, and Common Life
دانلود کتاب Music for Sight Singing
دانلود کتاب Essentially Non-Oscillatory and Weighted Essentially Non-Oscillatory Schemes for Hyperbolic Conservation Laws
