دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Elementare Logik
دانلود کتاب منطق ابتدایی
مشخصات کتاب
Elementare Logik
ویرایش:
نویسندگان: Franz von Kutschera
سری:
ISBN (شابک) : 3709181755, 9783709181751
ناشر: Springer
سال نشر: 1967
تعداد صفحات: 400
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 11 مگابایت
قیمت کتاب (تومان) : 46,000
در صورت تبدیل فایل کتاب Elementare Logik به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق ابتدایی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق ابتدایی
از نیمه دوم قرن گذشته تحول عمیقی در منطق رسمی رخ داده است، به طوری که منطق ریاضی یا نمادین مدرن اساساً در روش ها و محتوای خود با منطق سنتی متفاوت است. منطق در شکل مدرن خود، تعدادی حوزه کاربردی جدید، به ویژه در تحقیقات ریاضی پایه و در فلسفه تحلیلی و فلسفه علم معاصر، گشوده است، و بنابراین توجه گسترده ای فراتر از مرزهای موضوع خود پیدا کرده است. این مقدمه بر آموزه های اساسی منطق مدرن نیز ممکن است برای گروه وسیع تری از افراد علاقه مند به منطق باشد. بنابراین، دشواری های خواننده آموزش ندیده ریاضی را در برخورد با فرمالیسم ها مورد توجه ویژه قرار می دهد و روش رسمی سازی را با جزئیات زیاد توسعه می دهد. از این دیدگاه آموزشی، تأکید بر دستیابی سریع به نتایج نیست، بلکه بر تمرین کامل روش های مورد استفاده برای به دست آوردن آنها است. بنابراین، گهگاه برهان‌های متفاوتی برای یک نتیجه ارائه می‌شود و معناشناسی و نیز مفهوم اثباتی منطق ابتدایی به روش‌های متفاوتی ساخته می‌شوند. اهمیت ویژه ای نیز به تفسیر معنایی فرمالیسم ها داده می شود که برای فن اثبات از اهمیت یکسانی برخوردار است و به روش های استدلال طبیعی که هم برای کاربردها و هم برای توجیه منطق اهمیت دارند. تمرین های ساده در پایان هر بخش باید به خواننده این فرصت را بدهد که درک خود را از توضیحات بررسی کرده و عمیق تر کند.
توضیحاتی درمورد کتاب به خارجی
In der formalen Logik hat sich seit der zweiten HaUte des vorigen Jahrhunderts eine tiefgreifende Entwicklung vollzogen, so daB sich die modeme mathematische oder symbolische Logik ihren Methoden wie ihrem Inhalt nach wesentlich von der tradition ellen Logik unterscheidet. In ihrer modernen Gestalt hat sich die Logik eine Reihe neuer Anwendungs gebiete erschlossen, insbesondere in der mathematischen Grundlagen forschung und in der analytischen Philo sophie und Wissenschaftstheorie der Gegenwart und hat so Uber die Grenzen ihres Fachs hinaus ein weites Interesse gefunden. An einen weiteren Kreis von logisch Interessierten mochte sich auch diese EinfUhrung in die Grundlehren der modernen Logik wenden. Sie nimmt daher besondere RUcksicht auf die Schwierigkeiten des mathe matisch nicht vorgebildeten Lesers im Umgang mit Formalismen und entwickelt die Methode der Formalisierung in aller AusfUhrlichkeit. Unter diesem didaktischen Gesichtspunkt wird auch nicht so sehr Wert gelegt auf die schnelle Gewinnung von Resultaten, als auf die grUndliche EinUbung der Methoden, mit denen sie gewonnen werden. Daher werden gelegentlich verschiedene Beweise fUr das gleiche Resultat angegeben und Semantik wie Beweisbegriff der elementaren Logik werden auf verschiedenen Wegen aufgebaut. Besonderer Wert wird auch auf die semantische Deutung der Formalismen gelegt, die gleichwertig neb en der Beweistechnik steht, und auf die Methoden des natUrlichen SchlieBens, die sowohl fUr die Anwendungen wie auch fUr die BegrUndung der Logik wichtig sind. Einfache Dbungsaufgaben am Ende der einzelnen Ab schnitte sollen dem Leser die Moglichkeit geben, sein Verstandnis der Darlegungen zu kontrollieren und zu vertiefen.
فهرست مطالب
Front Matter....Pages I-VIII
Einleitung....Pages 1-11
Aussagenlogik....Pages 12-110
Prädikatenlogik....Pages 111-237
Erweiterungen und Anwendungen der Prädikatenlogik....Pages 238-274
Die Prädikatenlogik der zweiten Stufe....Pages 275-298
Klassenlogik....Pages 299-339
Einige Themen aus der Geschichte der Logik....Pages 340-378
Back Matter....Pages 379-392
نظرات کاربران
کتاب های تصادفی
