مشخصات کتاب

Informatik und Mathematik

ویرایش: 1 
نویسندگان: Roland Bulirsch (auth.),  Prof. Dr. Manfred Broy (eds.)  
سری:  
ISBN (شابک) : 9783642766787, 3642766781 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1991 
تعداد صفحات: 454 
زبان: German 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

کلمات کلیدی مربوط به کتاب علوم کامپیوتر و ریاضیات: زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، آنالیز عددی، ترکیبیات، دستکاری نمادین و جبری

در صورت تبدیل فایل کتاب Informatik und Mathematik به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب علوم کامپیوتر و ریاضیات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب علوم کامپیوتر و ریاضیات

این مجلد یک سخنرانی با عنوان "علوم کامپیوتر در تقاطع ریاضیات عددی، طراحی کامپیوتر، برنامه نویسی، جبر و منطق" را مستند می کند. در 14 ژوئن 1989 در آکادمی علوم باواریا به مناسبت شصت و پنجمین سالگرد تولد پروفسور دکتر. دکتر h.c. چند فردریش ال. بائر، که علم کامپیوتر از همان ابتدا انگیزه های تعیین کننده ای را مدیون اوست. مشارکت‌ها طیف گسترده‌ای از موضوعات را در بر می‌گیرند، که با تراکم اتصالات مجذوب می‌شود. چندین دهه توسعه علوم رایانه نشان داده است که چگونه سؤالات اعداد، طراحی رایانه، اما همچنین سؤالات برنامه نویسی و سؤالات منطق و جبر به طور کلی به هم مرتبط هستند. در تقاطع این حوزه های موضوعی، هسته علوم کامپیوتر به عنوان یک رشته اساسی برای توصیف ساختارهای سیستم و الگوریتم ظاهر می شود که از روش های منطق و جبر استفاده می کند. انواع مسائل فردی در ریاضیات عددی، در جبر سوئیچینگ و تئوری رابطه، در مسائل تقسیم و تشخیص، در منطق جبری، در تکنولوژی برنامه نویسی و در ساخت کامپایلر، و در نهایت در تبدیل برنامه و روش برنامه نویسی سوالات اساسی مشترک را نشان می دهد. محتوای زیبایی‌شناختی و فرهنگی این حوزه‌های موضوعی فراتر از جنبه‌های فنی فردی به‌ویژه از طریق مشارکت پروفسور رولاند بولیرش، که به طور مساوی به استفاده و زیبایی فرمول‌ها در ریاضیات و علوم کامپیوتر می‌پردازد، آشکار می‌شود.

توضیحاتی درمورد کتاب به خارجی

Dieser Band dokumentiert ein Kolloquium mit dem Titel ''Informatik im Kreuzungspunkt von Numerischer Mathematik, Rechnerentwurf, Programmierung, Algebra und Logik''. Es fand im 14. Juni 1989 an der Bayerischen Akademie der Wissenschaften anläßlich des 65. Geburtstags von Herrn Prof. Dr. Dr. h.c. mult. Friedrich L. Bauer statt, dem die Informatik von Anfang an entscheidende Impulse verdankt. Die Beiträge spannen ein breites Themenspektrum auf, das durch die Dichte der Zusammenhänge fasziniert. Mehrere Jahrzehnte der Entwicklung der Informatik haben gezeigt, wie eng Fragestellungen der Numerik, des Rechnerentwurfs, aber auch Fragen der Programmierung und allgemein Fragen der Logik und der Algebra miteinander verknüpft sind. Im Schnittbereich dieser Themengebiete erscheint der Kern der Informatik als eine Grundlagendisziplin für die Beschreibung von System- und Algorithmen strukturen, die sich Methoden der Logik und der Algebra zunutze macht. Die Vielfalt der Einzelprobleme in der Numerischen Mathematik, in der Schaltalgebra und der Relationentheorie, bei Zerteilungs- und Erkennungsproblemen, in der Algebraischen Logik, in der Programmiertechnik und im Übersetzerbau, und schließlich in der Programmtransformation und der Methodik der Programmierung lassen gemeinsame Grundfragestellungen erkennen. Der ästhetische und kulturelle Gehalt dieser Themengebiete erschließt sich über technische Einzelaspekte hinaus besonders durch den Beitrag von Prof. Roland Bulirsch, der gleichermaßen vom Nutzen und von der Schönheit der Formeln in der Mathematik und in der Informatik handelt

فهرست مطالب

Front Matter....Pages I-XIV
Front Matter....Pages 1-1
Mathematik und Informatik Vom Nutzen der Formeln....Pages 3-27
Informatik und Algebra....Pages 28-40
Front Matter....Pages 41-41
Geschichte der Schaltalgebra....Pages 43-72
Fixpoints and Flipflops....Pages 73-85
Computer-Schach — Was ist es wert?....Pages 86-97
Relationen und Programme....Pages 98-114
Relationale Datenbanken mit multiplen Werten....Pages 115-124
Front Matter....Pages 125-125
Anfänge des „elektronischen Rechnens“....Pages 127-136
Innere-Punkt-Verfahren zur Lösung quadratischer Optimierungsprobleme und ihre Komplexität....Pages 137-141
Hierarchische Datenstrukturen für glatte Funktionen mehrerer Veränderlicher....Pages 142-150
Eine schnell konvergierende Block-Iteration für die Konstruktion des Form-erhaltenden Spline-Interpolanten....Pages 151-157
Front Matter....Pages 159-159
Graphen, Sprachen, Automaten Unter dem Blickwinkel der Spezifikation verteilter Systeme betrachtet....Pages 161-170
Partielle Auswertung und semantisch gesteuerter Compilerbau am Beispiel von LISP....Pages 171-191
Strukturerkennung mit Graphgrammatiken....Pages 192-208
Büchis reguläre kanonische Systeme und Analyse kontextfreier Grammatiken....Pages 209-216
Automatische Klassifikation und graphische Darstellung von Polyedertopologien in Silikaten....Pages 217-229
Efficient Recognition of Context-free Languages Without Look-ahead....Pages 230-248
Front Matter....Pages 249-249
Primitive Recursion on the Partial Continuous Functionals....Pages 251-268
Proofs in Structured Specifications....Pages 269-283
Herleitungen als Programme: Ihre Kompilation und Interpretation....Pages 284-294
Front Matter....Pages 295-295
On Progress in Programming....Pages 297-302
Programmiertechnische Grundlagen für Verteilte Systeme....Pages 303-311
Zur Entwicklung der Rechentechnik....Pages 312-319
Schnelle Simulation digitaler Systeme durch änderungsgetriebene Auswertung des Entwurfsgraphen....Pages 320-336
Myhill-Büchis Teilmengenkonstruktion....Pages 337-352
Front Matter....Pages 353-353
Methodische Grundlagen der Programmierung....Pages 355-365
Reusability of Transformational Developments....Pages 366-380
Programming with (Finite) Mappings....Pages 381-405
Codifying the Differencing Technique into Formal Transformation Rules over CIP-L....Pages 406-418
Formal Derivation of Pointer Algorithms....Pages 419-440
Back Matter....Pages 441-450

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Advances in Cryogenic Engineering

دانلود کتاب Lymphedema: A Concise Compendium of Theory and Practice

دانلود کتاب Risks and Security of Internet and Systems: 9th International Conference, CRiSIS 2014, Trento, Italy, August 27-29, 2014, Revised Selected Papers

دانلود کتاب The Raw Youth or The Adolescent

دانلود کتاب Stockhausen serves imperialism, and other articles: With commentary and notes