Logic is an important tool in the analysis and presentation of arguments. It investigates whether assumptions imply conclusions, independently of their truth or falsity and independently of their subject matter. This book aims to apply the traditional methods of logic to contemporary theories of problem-solving and computer programming.
As an introduction to logic, the book differs from others in its use of the clausal form of logic. This has several advantages. Clausal form is simpler than the standard form of logic but is just as powerful. It is simple enough to be introduced directly, without the usual preliminary study of propositional logic, and it bears greater resemblance than standard form to other formalisms used in data processing and computer programming.
This book is not concerned with the mathematics of logic but with its applications. For an interesting and more thorough discussion of the relationships between logic and language the reader is advised to consult the books by Quine [1941] and Hodges [1977].
Logic for Problem Solving (Artificial intelligence series) (Elsevier Limited, 1979, English)
***********************************************************************
This book focuses on a specific engineering problem that is and will continue to be important in the forthcoming information age: namely, the need for highly integrated radio systems that can be embedded in wireless devices for various applications, including portable mobile multimedia wireless communications, wireless appliances, digital cellular, and digital cordless. Traditionally, the design of radio ICs involves a team of engineers trained in a wide range of fields that include networking, communication systems, radio propagation, digital/analog circuits, RF circuits, and process technology. However, as radio ICs become more integrated, the need for a diverse skill set and knowledge becomes essential for professionals as well as students, to broaden beyond their trained area of expertise and to become proficient in related areas. The key to designing an optimized, economical solution for radio systems on a chip hinges on the designer's thorough understanding of the complex trade-offs from communication systems down to circuits. The purpose of this book is to provide a focused, top-down treatment of radio system IC design with an emphasis on digital radio systems that will play a dominant role in wireless communications in the 21st century. The intended readers of this book include both engineers as well as students whose main area of interest or line of work lies in the design and integrated circuits implementation of wireless communication ICs, with an emphasis on the integration of an entire radio system on a chip.
Digital Radio Systems on a Chip - A Systems Approach (Springer, 2001, English)
***********************************************************************
Intranets.com for Dummies (For Dummies S.) (John Wiley & Sons, 2005, English)
***********************************************************************
CompTIA Network+ All-in-One Exam Guide, Fourth Edition (McGraw-Hill, 2009, English)
***********************************************************************
Linear and Nonlinear Optimization, Second Edition (SIAM, 2008, English)
***********************************************************************
Fast Reliable Algorithms for Matrices with Structure (Advances in Design and Control) (SIAM, 1987, English)
***********************************************************************
Software Applications: Concepts, Methodologies, Tools, and Applications (Premier Refence Source) (Information Science Publishing, 2009, English)
***********************************************************************
Database Technologies: Concepts, Methodologies, Tools, and Applications (Information Science Publishing, 2009, English)
***********************************************************************
Control of Color Imaging Systems: Analysis and Design (CRC Press, 2009, English)
***********************************************************************
The Mathematics of Combustion (Frontiers in Applied Mathematics) (SIAM, 1987, English)
***********************************************************************
Recreations in the Theory of Numbers (Dover Publications, 1964, English)
***********************************************************************
Negotiation Games (Routledge Advances in Game Theory, 002.) (Routledge, 2003, English)
***********************************************************************
Matrix Analysis for Scientists and Engineers (SIAM, 2004, English)
***********************************************************************
Mathematical Recreations (Dover Publications, 1953, English)
***********************************************************************
Microsoft Visual Studio 2008 Programming (McGraw-Hill, 2009, English)
No comments:
Post a Comment