ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Logikkalküle

دانلود کتاب محاسبات منطقی

Logikkalküle

مشخصات کتاب

Logikkalküle

ویرایش: 1 
نویسندگان:   
سری: Leitfäden der angewandten Mathematik und Mechanik LAMM 43 
ISBN (شابک) : 9783519023456, 9783322912084 
ناشر: Vieweg+Teubner Verlag 
سال نشر: 1978 
تعداد صفحات: 234 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت

قیمت کتاب (تومان) : 47,000



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



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 5


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




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی