Logic and Discrete Mathematics 在線電子書 圖書標籤: logic Textbook 計算機科學 Math
發表於2024-11-23
Logic and Discrete Mathematics 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
This book covers all the traditional topics of discrete mathematics—logic, sets, relations, functions, and graphs—and reflects recent trends in computer science.Shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. Describes Prolog, a programming language based on logic, and a section on Miranda, language bad on functions. Features numerous examples which relate the mathematical concepts to problems in computer science.
評分
評分
評分
評分
Logic and Discrete Mathematics 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024