دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Grundzüge der mathematischen Logik
دانلود کتاب مبانی منطق ریاضی
مشخصات کتاب
Grundzüge der mathematischen Logik
ویرایش: 1
نویسندگان: P. S. Novikov (auth.)
سری: Logik und Grundlagen der Mathematik 14
ISBN (شابک) : 9783528083199, 9783322887870
ناشر: Vieweg+Teubner Verlag
سال نشر: 1973
تعداد صفحات: 295
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 33,000
کلمات کلیدی مربوط به کتاب مبانی منطق ریاضی: ریاضیات عمومی
در صورت تبدیل فایل کتاب Grundzüge der mathematischen Logik به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی منطق ریاضی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی منطق ریاضی
در ریاضیات مدرن، روش به اصطلاح بدیهی رایج است. کشف هندسه نااقلیدسی توسط لوباچفسکی یکی از آنهاست. تکامل فوق العاده ای را تجربه کرد و نه تنها روش های جدید، بلکه اصول جدید تفکر فیزیکی و ریاضی را نیز تولید کرد. روش بدیهی تیک در دو مرحله توسعه یافت. اولین مورد از کشف Lobatschewski تا کار هیلبرت در زمینه مبانی ریاضیات را شامل می شود. دومین اثر هیلبرت تا به امروز. مرحله دوم ترکیبی از ایده ها از هندسه را با نظریه در حال توسعه موازی که برای ما به عنوان منطق \"نمادین\" یا \"ریاضی\" شناخته می شود، نشان می دهد. در نتیجه، رشته جدیدی پدید آمد که اصطلاح منطق ریاضی برای آن حفظ شد. قبل از اینکه از خود منطق ریاضی صحبت کنیم، به طور مختصر وضعیت روش بدیهی را که قبل از آن بود بررسی می کنیم و سعی می کنیم حداقل کلی ترین خطوط کلی دلایل پیدایش این روش و وظایفی که با آن روبروست را روشن کنیم. ماهیت روش بدیهی عبارت است از روشی خاص برای تعریف اشیاء ریاضی و روابط بین آنها. در مطالعه سیستمی از اشیاء از هر نوع، از اصطلاحات خاصی استفاده می کنیم که ویژگی های این اشیاء و روابط بین آنها را بیان می کند.
توضیحاتی درمورد کتاب به خارجی
In der modernen Mathematik ist die sogenannte axiomatische Methode weit verbreitet; die Entdeckung der nichteuklidischen Geometrie durch Lobatschewski ist eine ihrer Bis heute hat die axiomatische Methode durch Beriihrung mit anderen Ideen Quellen. eine gewaltige Evolution erlebt und nicht nur neue Methoden, sondern auch neue Prinzi pien des physikalischen und des mathematischen Denkens hervorgebracht. Die axiom a tische Methode hat sich in zwei Etappen entwickelt. Die erste reicht von der Entdeckung durch Lobatschewski bis zu den Arbeiten Hilberts tiber die Grundlagen der Mathematik; die zweite von die sen Arbeiten Hilberts bis heute. Die zweite Etappe stellt eine Zusarn menfassung von Ideen aus der Geometrie mit der sich parallel entwickelnden Theorie dar, die uns als \"symbolische\" oder \"mathematische\" Logik bekannt ist. Als Ergebnis ent stand eine neue Disziplin, fiir welche die Bezeichnung mathematische Logik beibehalten wurde. Bevor wir auf die mathematische Logik selbst zu sprechen komrnen, betrachten wir kurz den ihr vorausgehenden Stand der axiomatischen Methode und versuchen, wenig stens in den allgemeinsten Ziigen die Griinde fiir die Entstehung dieser Methode und die vor ihr stehenden Aufgaben zu klaren. Das Wesen der axiomatischen Methode besteht in einer spezifischen Weise, mathematische Objekte und Relationen zwischen ihnen zu defi nieren. Beim Studium eines Systems von Objekten irgendwelcher Art verwenden wir be stimrnte Termini, welche die Eigenschaften dieser Objekte und die Relationen zwischen ihnen ausdrticken.
فهرست مطالب
Front Matter....Pages i-ix
Einleitung....Pages 1-18
Aussagenalgebra....Pages 19-39
Aussagenkalkül....Pages 40-83
Prädikatenlogik....Pages 84-124
Der Prädikatenkalkül....Pages 125-194
Axiomatische Arithmetik....Pages 195-236
Elemente der Beweistheorie....Pages 237-281
Back Matter....Pages 282-286
نظرات کاربران
کتاب های تصادفی
دانلود کتاب 西田龍雄 西夏語研究と法華経（II）
دانلود کتاب Organic Chemistry as a Second Language: Second Semester Topics
دانلود کتاب Management development in the construction industry : guidelines for the construction professional
