دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logikkalküle
دانلود کتاب محاسبات منطقی
مشخصات کتاب
Logikkalküle
ویرایش: 1
نویسندگان: Dr. rer. nat. Michael M. Richter (auth.)
سری: Leitfäden der angewandten Mathematik und Mechanik LAMM 43
ISBN (شابک) : 9783519023456, 9783322912084
ناشر: Vieweg+Teubner Verlag
سال نشر: 1978
تعداد صفحات: 234
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 53,000
کلمات کلیدی مربوط به کتاب محاسبات منطقی: مهندسی، عمومی
در صورت تبدیل فایل کتاب Logikkalküle به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات منطقی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبات منطقی
این کتاب به جنبه‌های منطق گزاره‌ای و منطق محمولی مرتبه اول می‌پردازد. البته بسته به انگیزه‌هایی که فرد اساساً با آن هدایت می‌شود، ریاضی‌سازی و محاسبه منطق می‌تواند بسیار متفاوت باشد. ما سه جنبه را در پیش‌زمینه قرار می‌دهیم، که به نظر ما ضروری‌ترین آنهاست: صوری‌سازی مفهوم صدق، رسمی‌سازی مفهوم اثبات‌پذیری و مشکل جستجوی برهان. این سه جنبه منجر به سه نوع حساب مختلف می شود. تأکید بر مفهوم حقیقت منجر به بررسی محاسبات نوع هیلبرت از دیدگاهی مشابه آنچه در کتاب Rasiowa-Sikorski [را-سی] گرفته شده است. تأکید ویژه ای بر تکنیک های جبری شد، زیرا به نظر ما ماهیت اثبات های کامل در این محاسبات فقط از طریق جبری قابل درک است. می توان با گفتن این که اثبات های کامل در محاسبات نوع هیلبرت نتیجه ملاحظات روابط همخوانی در جبرهای بولی خاص است، تا حدودی اغراق کرد. در ملاحظات نظری مدل به اختصار و تنها به معرفی چند اصطلاح اساسی پرداختیم.
توضیحاتی درمورد کتاب به خارجی
In diesem Buch werden Aspekte der Aussagenlogik und der Prädikaten logik der ersten Stufe behandelt. Eine Mathematisierung und Kalkü lisierung der Logik kann natürlich ganz verschieden ausfallen, je nach dem, von welchen Motiven man sich primär leiten läßt. Wir stellen drei Gesichtspunkte, die uns auch als die wesentlichsten erscheinen, in den Vordergrund: Die Formalisierung des Wahrheits begriffes, die Formalisierung des Beweisbarkeitsbegriffes und das Problem des Suchens nach Beweisen. Diese drei Aspekte führen zu drei verschiedenen Arten von Kalkülen. Die Betonung des Wahrheitsbegriffes führte auf die untersuchung der Hilberttypkalküle von einem Standpunkt, wie er etwa auch im Buch von Rasiowa-Sikorski [Ra-Si] eingenommen wird. Hierbei wurde besonderen Wert auf die algebraischen Techniken gelegt, denn die Natur der Vollständigkeitsbeweise in diesen Kalkülen läßt sich u. E. eigentlich nur algebraisch verstehen. Etwas überspitzt könnte man formulieren, daß die Vollständigkeitsbeweise in Hilberttypkal külen Korollare zu Betrachtungen über Kongruenzrelationen in ge wissen Boole'schen Algebren sind. Bei den modelltheoretischen Be trachtungen haben wir uns kurz ge faßt und nur einige grundlegende Begriffe vorgestellt.
فهرست مطالب
Front Matter....Pages 1-8
Einführung und Hilfsmittel....Pages 9-37
Die Aussagenlogik und ihre Vollständigkeitssätze Hilberttypkalkül....Pages 38-57
Die Prädikatenlogik und ihre Vollständigkeitssätze (Hilberttypkalküle)....Pages 58-88
Gentzensysteme....Pages 89-166
Testmethoden und die Kalküle des Automatischen Beweisens....Pages 167-223
Back Matter....Pages 224-233
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Broken Promises, Broken Dreams: The Stories of Jewish and Palestinian Trauma and Resilience
دانلود کتاب Regulating New Forms of Employment Local Experiments and Social Innovation in Europe (Routledge Eui Studies in the Political Economy of Welfare)
دانلود کتاب Славянские Веды
