Theory of Computation for Software Developers
暫譯: 軟體開發者的計算理論
Mozgovoy, Maxim
- 出版商: CRC
- 出版日期: 2026-07-30
- 售價: $4,280
- 貴賓價: 9.5 折 $4,066
- 語言: 英文
- 頁數: 228
- 裝訂: Quality Paper - also called trade paper
- ISBN: 1032614803
- ISBN-13: 9781032614809
-
相關分類:
Computer-Science
尚未上市，無法訂購
商品描述
The theory of computation is often viewed as one of the most abstract areas of computer science, mostly reserved for university courses. Yet its ideas power much of modern software: from regular expressions and compilers to animation systems and game AI. This book aims to bridge the gap between the formal world of the theory of computation and the realities of everyday programming practice.
Written in a clear, approachable style, it introduces the essential concepts of automata, formal languages, and computability. Through examples and practical connections, readers will see how theoretical models translate into the tools and systems developers work with every day. The book is designed for both students, taking basic computer science courses, and practicing developers who want to understand the theory behind the technologies they use but are not ready to dive
into a fully formal academic text.
Covering material aligned with the ACM/IEEE Computer Science Curricula, this book can serve both as a gentle textbook and a self-contained crash course for curious professionals. Striking a balance between rigor and intuition, it presents the theory of computation as a practical foundation of how software and computation really work.
Maxim Mozgovoy is a senior associate professor at the University of Aizu, Japan. He earned his PhD in Applied Mathematics from St. Petersburg State University and his PhD in Computer Science from the University of Joensuu. His main research interests are focused on educational technologies, natural language processing, and artificial intelligence for games and interactive environments. Maxim has a record of over 100 published papers and industrial-level software development experience. He is a co-founder of Helium9 Games studio, a regular reviewer for IEEE Transactions on Games and Entertainment Computing, and a program committee member of the IEEE Conference on Games, FedCSIS, Foundations of Digital Games, and other international conferences.
商品描述(中文翻譯)
計算理論通常被視為計算機科學中最抽象的領域之一，主要用於大學課程。然而，它的理念驅動了現代軟體的許多部分：從正則表達式和編譯器到動畫系統和遊戲人工智慧。本書旨在彌合計算理論的正式世界與日常程式設計實踐之間的鴻溝。
本書以清晰易懂的風格撰寫，介紹了自動機、形式語言和可計算性等基本概念。通過範例和實際聯繫，讀者將看到理論模型如何轉化為開發人員每天使用的工具和系統。本書適合修習基礎計算機科學課程的學生以及希望了解其所使用技術背後理論的實務開發者，但尚未準備深入正式的學術文本。
本書涵蓋與ACM/IEEE計算機科學課程相符的內容，既可作為一本溫和的教科書，也可作為好奇專業人士的自學速成課程。在嚴謹性與直觀性之間取得平衡，將計算理論呈現為軟體和計算實際運作的基礎。
Maxim Mozgovoy是日本會津大學的高級副教授。他在聖彼得堡國立大學獲得應用數學博士學位，並在約恩蘇大學獲得計算機科學博士學位。他的主要研究興趣集中在教育技術、自然語言處理以及遊戲和互動環境中的人工智慧。Maxim擁有超過100篇已發表論文的記錄和工業級軟體開發經驗。他是Helium9 Games工作室的共同創辦人，IEEE Transactions on Games and Entertainment Computing的定期審稿人，以及IEEE Games會議、FedCSIS、數位遊戲基礎等國際會議的程序委員會成員。
作者簡介
Maxim Mozgovoy is a senior associate professor at the University of Aizu, Japan. He earned his PhD in Applied Mathematics from St. Petersburg State University and his PhD in Computer Science from the University of Joensuu. His main research interests are focused on educational technologies, natural language processing, and artificial intelligence for games and interactive environments. Maxim has a record of over 100 published papers and industrial-level software development experience. He is a co-founder of Helium9 Games studio, a regular reviewer for IEEE Transactions on Games and Entertainment Computing, and a program committee member of the IEEE Conference on Games, FedCSIS, Foundations of Digital Games, and other international conferences.
作者簡介(中文翻譯)
馬克西姆·莫茲戈沃伊是日本會津大學的高級副教授。他在聖彼得堡國立大學獲得應用數學博士學位，並在約恩蘇大學獲得計算機科學博士學位。他的主要研究興趣集中在教育技術、自然語言處理以及用於遊戲和互動環境的人工智慧。馬克西姆擁有超過100篇已發表論文的記錄，並具備工業級軟體開發經驗。他是Helium9 Games工作室的共同創辦人，IEEE《遊戲與娛樂計算期刊》的定期審稿人，以及IEEE遊戲會議、FedCSIS、數位遊戲基礎會議及其他國際會議的程序委員會成員。
