دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Mathematisch-strukturelle Grundlagen der Informatik
دانلود کتاب مبانی ریاضی-ساختاری علوم کامپیوتر
مشخصات کتاب
Mathematisch-strukturelle Grundlagen der Informatik
ویرایش: نویسندگان: H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz (auth.) سری: Springer-Lehrbuch ISBN (شابک) : 9783540638650, 9783642979866 ناشر: Springer Berlin Heidelberg سال نشر: 1999 تعداد صفحات: 533 زبان: German فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 28 مگابایت
قیمت کتاب (تومان) : 38,000
کلمات کلیدی مربوط به کتاب مبانی ریاضی-ساختاری علوم کامپیوتر: کاربردهای ریاضی در علوم کامپیوتر، دستکاری نمادین و جبری، ساختارهای داده، منطق ریاضی و زبان های رسمی، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Mathematisch-strukturelle Grundlagen der Informatik به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی ریاضی-ساختاری علوم کامپیوتر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی ریاضی-ساختاری علوم کامپیوتر
این کتاب در پنج بخش با هماهنگی دقیق، به عناصر ریاضی اساسی
مشخصات رسمی سیستم‌ها و منطق گزاره‌ای و محمولی می‌پردازد که برای
درک حل مسئله رسمی تعیین‌کننده هستند و بنابراین برای دانشمندان
رایانه ضروری است.
مقدمه. نظریه مجموعه های شهودی ابتدا مبانی ریاضی لازم را فراهم
می کند. با انگیزه مفهوم ساختارهای داده و انواع داده های
انتزاعی، ساختارهای جبری در علوم کامپیوتر مورد بررسی قرار می
گیرند. سپس منطق گزاره ای و مرتبه اول از دیدگاه ریاضیات و علوم
کامپیوتر ارائه شده است. در نهایت، نظریه مقوله، دانشمندان
کامپیوتر را با دنیای درمان انتزاعی ساختارهای ریاضی آشنا می
کند.
توضیحاتی درمورد کتاب به خارجی
In f?nf sorgf?ltig aufeinander abgestimmten Teilen behandelt
das Buch die wesentlichen mathematischen Elemente der formalen
Spezifikation von Systemen und der Aussagen- und
Pr?dikatenlogik, die f?r das Verst?ndnis des formalisierten
Probleml?sens entscheidend und damit f?r Informatiker
unerl??lich sind.
Eine Einf?hrung in die intuitive Mengentheorie vermittelt
zun?chst notwendige mathematische Grundlagen. Motiviert durch
das Konzept von Datenstrukturen und abstrakten Datentypen,
werden dann algebraische Strukturen in der Informatik
behandelt. Danach werden Aussagen- und Pr?dikatenlogik aus der
Sicht der Mathematik und Informatik dargestellt. Schlie?lich
f?hrt die Kategorientheorie f?r Informatiker in die Welt der
abstrakten Behandlung mathematischer Strukturen ein.
فهرست مطالب
Front Matter....Pages I-XIX
Einleitung....Pages 1-3
Front Matter....Pages 5-6
Mengen....Pages 7-27
Relationen....Pages 29-41
Abbildungen....Pages 43-76
Ordnungen....Pages 77-91
Äquivalenzrelationen....Pages 93-107
Front Matter....Pages 109-111
Datenstrukturen....Pages 113-119
Signaturen und Algebren....Pages 121-131
Homomorphismen....Pages 133-152
Terme und strukturelle Induktion....Pages 153-165
Termalgebren....Pages 167-180
Algebraische Spezifikationen....Pages 181-197
Front Matter....Pages 199-200
Aussagenlogische Formeln und Gültigkeit....Pages 201-224
Folgerung....Pages 225-236
Logische Äquivalenz....Pages 237-258
Aussagenlogische Hilbert-Kalküle....Pages 259-276
Aussagenlogische Sequenzenkalküle....Pages 277-287
Das Resolutionsverfahren....Pages 289-304
Front Matter....Pages 305-306
Prädikatenlogische Formeln und Gültigkeit....Pages 307-332
Folgerung und logische Äquivalenz....Pages 333-351
Front Matter....Pages 305-306
Substitution und Umbenennung....Pages 353-364
Prädikatenlogische Hilbert-Kalküle....Pages 365-377
Front Matter....Pages 379-382
Kategorien in Mathematik und Informatik....Pages 383-399
Isomorphie, Mono- und Epimorphismen....Pages 401-408
Funktoren und natürliche Transformationen....Pages 409-423
Produkte und Coprodukte....Pages 425-443
Universelle Konstruktionen....Pages 445-471
Adjunktionen....Pages 473-496
Anwendungen auf Algebra und Logik....Pages 497-519
Back Matter....Pages 521-535
