دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Elementare Aussagenlogik
دانلود کتاب منطق گزاره ای ابتدایی
مشخصات کتاب
Elementare Aussagenlogik
ویرایش: 0 نویسندگان: Wirsing. Martin, Bauer. Friedrich Ludwig سری: Mathematik für Informatiker ISBN (شابک) : 3540529748, 0387529748 ناشر: Springer Verlag سال نشر: 1991 تعداد صفحات: 239 زبان: German فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 34,000
کلمات کلیدی مربوط به کتاب منطق گزاره ای ابتدایی: منطق، نمادین و ریاضی، منطق نمادین
در صورت تبدیل فایل کتاب Elementare Aussagenlogik به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق گزاره ای ابتدایی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق گزاره ای ابتدایی
این کتاب در مورد منطق گزاره ای ابتدایی (مانند دنباله برنامه ریزی شده آن در منطق مرتبه اول ابتدایی و جبر جهانی) از سخنرانی های دانشگاه فنی مونیخ برخاسته است. بر اساس این اعتقاد است که دانشجویان علوم کامپیوتر نه تنها برای مطالعات پایه ریاضی خود به ساختار متفاوتی نسبت به مهندسان یا فیزیکدانان نیاز دارند، بلکه به منوی متفاوتی نسبت به دانشگاه های ما طبق توصیه های GAMM-NTG در دهه 1970 نیاز دارند. علاوه بر سخنرانی های مقدماتی ضروری در ریاضیات، دانش فنی پایه منطق و جبر جهانی برای دانشمندان کامپیوتر قبل از دیپلم متوسط - به عنوان پایه ای برای علوم کامپیوتر عملی و نظری در مرحله دوم مطالعه - مورد نیاز است. بر خلاف بسیاری از کتاب های دیگر در زمینه منطق، این کتاب برای مبتدیان علوم کامپیوتر نوشته شده است و از نظر آموزشی با سطح او تنظیم شده است. در انجام این کار، اشیایی که خارج از منطق گزاره‌ای قرار دارند، مانند منطق سوئیچینگ، به‌طور سیستماتیک در هر جایی که امکان داشته باشد، گنجانده شده‌اند: از حوزه تمایز موارد دوتایی، که برای زبان‌های برنامه‌نویسی بسیار مهم است، تا روش حل و فصل، که اتصال را آماده می‌کند. به منطق محمول، به منطق گزاره ای وجهی. تمرین های پراکنده اغلب ایده هایی را در بر می گیرند که فقط به صورت گذرا در متن ذکر شده اند و ارجاعات متقابل ایجاد می کنند. راه حل هایی که در انتهای کتاب آمده است، شگفتی هایی را ارائه می دهد
توضیحاتی درمورد کتاب به خارجی
Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universität München entstanden. Es basiert auf der Überzeugung, daß für Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa für Ingenieure oder Physiker, sondern auch ein anderes Menü, als es sich an unseren Universitäten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingebürgert hat. Neben den unentbehrlichen Einführungsvorlesungen in Mathematik sind für die Informatiker vor dem Vordiplom handwerkliche Grundkenntnisse in Logik und Universeller Algebra erforderlich - als Grundlage für die Praktische und die Theoretische Informatik im zweiten Studienabschnitt. Im Gegensatz zu vielen anderen Büchern über Logik ist dieses für den Anfänger der Informatik geschrieben und didaktisch auf sein Niveau eingestellt. Dabei sind sonst eher außerhalb der Aussagenlogik liegende Gegenstände wie die Schaltlogik systematisch einbezogen worden, wo immer es möglich war: von dem für die Programmiersprachen so wichtigen Gebiet der dyadischen Fallunterscheidungen über die Resolventenmethode, die den Anschluß an die Prädikatenlogik vorbereitet, bis zu modalen Aussagenlogiken. Die eingestreuten Übungsaufgaben greifen häufig Gedanken auf, die im Text nur nebenbei erwähnt sind, und stellen Querbezüge her. Die Lösungshinweise am Ende des Buches bieten manche Überraschungen
فهرست مطالب
Front Matter....Pages I-X
Einleitung....Pages 1-1
Natürliches Begriffsfeld....Pages 2-17
Wertverlauf....Pages 18-45
Funktionale und Algebraische Aspekte....Pages 46-87
Formale Reduktionen....Pages 88-141
Formale Ableitungen....Pages 142-165
Modale Aussagenlogiken....Pages 166-196
Back Matter....Pages 197-229
