Hiển thị các bài đăng có nhãn minimum. Hiển thị tất cả bài đăng
Hiển thị các bài đăng có nhãn minimum. Hiển thị tất cả bài đăng

Chủ Nhật, 15 tháng 2, 2015

The Mathematics of Logic

The Mathematics of Logic



This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to a minimum, no background in formal set-theory is required, and the book contains proofs of all the required set theoretical results. The reader is taken on a journey starting with Knig’s Lemma, and progressing via order relations, Zorn’s Lemma, Boolean algebras, and propositional logic, to completeness and compactness of first-order logic. As applications of the work on first-order logic, two final chapters provide introductions to model theory and nonstandard analysis.




Thứ Hai, 5 tháng 1, 2015

Introduction to Fiber Optics

Introduction to Fiber Optics



John Crisp’s Introduction to Fiber Optics is well established as an introductory text for engineers, managers and students. It meets the needs of systems designers, installation engineers, electronic engineers and anyone else who wants to gain a working knowledge of fiber optics with a minimum of maths. Review questions are included within the text to enable the reader to check their understanding as they work through the book.




Thứ Hai, 22 tháng 12, 2014

Microsoft Windows Intune 2.0: Quickstart Administration

Microsoft Windows Intune 2.0: Quickstart Administration



This book takes you through all the steps to plan, set up and maintain , Intune and how to manage a group of PCs. The book starts by providing an overview of , Computing and PC Management. The book then dives into topics such as Windows Intune features, signing up for Windows Intune and installing the client software, configuring Windows Intune, proactive management, and monitoring and dealing with alerts, including remote assistance amongst others. As Windows 7 is part of Windows Intune, the book will also cover the minimum steps required to move from Windows XP to Windows 7 while keeping user settings and preferences.