دانلود کتاب Ordnungen und Verbände: Grundlagen, Vorgehensweisen und Anwendungen
کتاب دستورات و انجمن ها: مبانی، رویه ها و کاربردها نسخه زبان اصلی
دانلود کتاب دستورات و انجمن ها: مبانی، رویه ها و کاربردها بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Ordnungen und Verbände: Grundlagen, Vorgehensweisen und Anwendungen
نام کتاب : Ordnungen und Verbände: Grundlagen, Vorgehensweisen und Anwendungen
ویرایش : 1
عنوان ترجمه شده به فارسی : دستورات و انجمن ها: مبانی، رویه ها و کاربردها
سری :
نویسندگان : Rudolf Berghammer (auth.)
ناشر : Vieweg+Teubner Verlag
سال نشر : 2013
تعداد صفحات : 240
ISBN (شابک) : 9783658027100 , 9783658027117
زبان کتاب : German
فرمت کتاب : pdf
حجم کتاب : 1 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
کتاب درسی مقدمه‌ای برای نظریه ریاضی مجموعه‌ها و شبکه‌های مرتب شده ارائه می‌دهد. علاوه بر اصطلاحات مهم، رویه‌های کلی و تکنیک‌های اثبات که برای این منطقه معمولی هستند نشان داده شده‌اند. تعدادی از کاربردها نیز مورد بحث قرار گرفته اند، به ویژه از علوم کامپیوتر، مانند مدارهای منطقی، معناشناسی زبان های برنامه نویسی و بررسی علیت در سیستم های توزیع شده.
فهرست مطالب :
Front Matter....Pages i-x
Mathematische Grundlagen....Pages 1-7
Verbände und Ordnungen....Pages 9-35
Einige wichtige Verbandsklassen....Pages 37-75
Fixpunkttheorie mit Anwendungen....Pages 77-109
Vervollständigung und Darstellung mittels Vervollständigung....Pages 111-147
Wohlgeordnete Mengen und das Auswahlaxiom....Pages 149-189
Einige Informatik-Anwendungen von Ordnungen und Verbänden....Pages 191-233
Back Matter....Pages 235-238
توضیحاتی در مورد کتاب به زبان اصلی :
Das Lehrbuch stellt eine grundlegende Einführung in die mathematische Theorie der geordneten Mengen und Verbände dar. Neben wichtigen Begriffen werden allgemeine Vorgehensweisen und Beweistechniken demonstriert, die für dieses Gebiet typisch sind. Auch werden eine Reihe von Anwendungen diskutiert, insbesondere aus der Informatik, wie logische Schaltungen, Semantik von Programmiersprachen und die Untersuchung von Kausalität in verteilten Systemen.
پست ها تصادفی