Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
暫譯: 高級資訊學的數學基礎：第一卷：歸納方法

Steffen, Bernhard, Ruthing, Oliver, Huth, Michael

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
  • 出版商: Springer
  • 出版日期: 2019-01-24
  • 售價: $1,890
  • 貴賓價: 9.5 折 $1,796
  • 語言: 英文
  • 頁數: 228
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3030098338
  • ISBN-13: 9783030098339

    • 海外代購書籍(需單獨結帳)

商品描述

The books in this trilogy capture the foundational core of advanced informatics. The authors make the foundations accessible, enabling students to become effective problem solvers.

This first volume establishes the inductive approach as a fundamental principle for system and domain analysis. After a brief introduction to the elementary mathematical structures, such as sets, propositional logic, relations, and functions, the authors focus on the separation between syntax (representation) and semantics (meaning), and on the advantages of the consistent and persistent use of inductive definitions. They identify compositionality as a feature that not only acts as a foundation for algebraic proofs but also as a key for more general scalability of modeling and analysis. A core principle throughout is invariance, which the authors consider a key for the mastery of change, whether in the form of extensions, transformations, or abstractions.

This textbook is suitable for undergraduate and graduate courses in computer science and for self-study. Most chapters contain exercises and the content has been class-tested over many years in various universities.

商品描述(中文翻譯)

這部三部曲的書籍捕捉了先進資訊學的基礎核心。作者使這些基礎變得易於理解，幫助學生成為有效的問題解決者。

第一卷確立了歸納法作為系統和領域分析的基本原則。在簡要介紹基本數學結構，如集合、命題邏輯、關係和函數之後，作者專注於語法（表示）和語義（意義）之間的區分，以及一致且持續使用歸納定義的優勢。他們將組合性識別為一個特徵，不僅作為代數證明的基礎，還作為建模和分析更一般可擴展性的關鍵。整體的核心原則是不變性，作者認為這是掌握變化的關鍵，無論是以擴展、轉換還是抽象的形式出現。

這本教科書適合計算機科學的本科和研究生課程以及自學。大多數章節包含練習，內容在多所大學經過多年課堂測試。

作者簡介

Bernhard Steffen studied mathematics at Christian-Albrechts Universität zu Kiel, where he gained his PhD in Computer Science. After postdoctoral positions in the Laboratory for the Foundations of Computer Science at the University of Edinburgh and at Aarhus Universitet, he held staff positions at RWTH Aachen and Universität Passau. Since 1997 he has led the Chair for Programming Systems and Compiler Construction at Technische Universität Dortmund. He founded the international conference TACAS, Tools and Algorithms for the Construction and Analysis of Systems, and the international academic journal Software Tools for Technology Transfer (STTT). He has published over 300 internationally refereed papers and articles, his research interests include formal verification methods and tools for program analysis, compiler optimization, model generation, testing, and service-oriented software development.
Oliver Rüthing studied computer science at Christian-Albrechts Universität zu Kiel, where he worked from 1991 to 1997 as a research associate. After his PhD in 1997 he moved to Technische Universität Dortmund, he is a member of the scientific staff of the Chair for Programming Systems. His research interests include compilers and model checking.
Michael Huth received his PhD in mathematics in 1991 from Tulane University. After postdoctoral and research positions in computer science and mathematics in the US, the UK, and Germany, he was an assistant professor in the Dept. of Computing and Information Sciences at Kansas State University from 1996 to 2001. He moved to the Dept. of Computing at Imperial College London in 2001 where he is now a professor. His research combines blue-sky and application-driven research in cybersecurity, mathematical modeling, and formal verification.

作者簡介(中文翻譯)

伯恩哈德·斯特芬（Bernhard Steffen）在基爾基督教-阿爾布雷希特大學（Christian-Albrechts Universität zu Kiel）學習數學，並獲得計算機科學博士學位。在愛丁堡大學（University of Edinburgh）計算機科學基礎實驗室和奧胡斯大學（Aarhus Universitet）擔任博士後研究員後，他在亞琛工業大學（RWTH Aachen）和帕紹大學（Universität Passau）擔任教職。自1997年以來，他一直在多特蒙德工業大學（Technische Universität Dortmund）擔任程式系統與編譯器建構的講座主任。他創辦了國際會議TACAS（系統建構與分析的工具與演算法）以及國際學術期刊《技術轉移軟體工具》（Software Tools for Technology Transfer, STTT）。他已發表超過300篇國際審稿的論文和文章，研究興趣包括程式分析的形式驗證方法與工具、編譯器優化、模型生成、測試以及面向服務的軟體開發。

奧利弗·呂廷（Oliver Rüthing）在基爾基督教-阿爾布雷希特大學（Christian-Albrechts Universität zu Kiel）學習計算機科學，並於1991年至1997年擔任研究助理。1997年獲得博士學位後，他轉至多特蒙德工業大學（Technische Universität Dortmund），成為程式系統講座的科學工作人員。他的研究興趣包括編譯器和模型檢查。

邁克爾·哈斯（Michael Huth）於1991年在杜蘭大學（Tulane University）獲得數學博士學位。在美國、英國和德國擔任計算機科學和數學的博士後及研究職位後，他於1996年至2001年在堪薩斯州立大學（Kansas State University）計算與資訊科學系擔任助理教授。2001年，他轉至倫敦帝國學院（Imperial College London）計算系，現為教授。他的研究結合了藍天研究和應用驅動的研究，專注於網絡安全、數學建模和形式驗證。

類似商品

最後瀏覽商品 (20)