Diskret matematik

Den här boken är främst avsedd för grundläggande kurser i diskret matematik vid universitet och högskolor. Framför allt riktar den sig till första- och andraårsstudenter på data-, matematik-, civilingenjörs- och högskoleingenjörsprogrammen.

Boken behandlar logik, mängdlära, funktioner, induktion, rekursion, kombinatorik, talteori, relationer, grafteori och boolesk algebra. Teoriavsnitten, som avslutas med testfrågor, innehåller ett stort antal exempel och många tillämpningar. Dessutom ingår cirka 450 övningar med svar varav drygt 100 också har ledningar eller lösningar.

Om författarnaArmen Asratian och Anders Björn är professorer och Bengt Ove Turesson är universitetslektor i matematik vid Linköpings universitet. De har alla mångårig erfarenhet av undervisning, speciellt i diskret matematik. De är också aktiva forskare. Armen Asratians specialitet är diskret matematik.

Information Modeling and Relational Databases, Third Edition, provides thorough coverage of information modeling approaches, including object-role modeling (ORM), entity-relationship (ER) modeling, and the unified modeling language (UML). It shows how to map models developed with those approaches to a variety of relational and nonrelational database systems, including document databases, column-oriented databases, graph databases, and deductive databases. Process and state modeling, ontological modeling, and metamodeling are also covered. For this new edition, the coverage of ORM, ER, UML, SQL, OWL, and BPMN has been thoroughly updated to include their latest versions. A significant amount of new material has been added. Various data file formats such as CSV, XML, JSON, YAML, and some other markup languages are now covered, and a more thorough treatment is provided for nonrelational databases, especially NoSQL. One of the major features of the book is its large number of exercises, which have been thoroughly class-tested. This book is intended for anyone with a stake in the accuracy and efficacy of databases such as systems analysts, information modelers, database designers and administrators, and programmers.

As the sophistication of cyber-attacks increases, understanding how to defend critical infrastructure systems-energy production, water, gas, and other vital systems-becomes more important, and heavily mandated. Industrial Network Security, Third Edition arms you with the knowledge you need to understand the vulnerabilities of these distributed supervisory and control systems.Author Eric Knapp examines the unique protocols and applications that are the foundation of Industrial Control Systems (ICS) and provides clear guidelines for their protection. This comprehensive reference gives you thorough understanding of the challenges facing critical infrastructures, new guidelines and security measures for infrastructure protection, knowledge of new and evolving security tools, and pointers on SCADA protocols and security implementation.

API Design for C++, Second Edition provides a comprehensive discussion of Application Programming Interface (API) development, from initial design through implementation, testing, documentation, release, versioning, maintenance, and deprecation. It is the only book that teaches the strategies of C++ API development, including interface design, versioning, scripting, and plug-in extensibility. Drawing from the author's experience on large scale, collaborative software projects, the text offers practical techniques of API design that produce robust code for the long-term. It presents patterns and practices that provide real value to individual developers as well as organizations.The Second Edition includes all new material fully updated for the latest versions of C++, including a new chapter on concurrency and multithreading, as well as a new chapter discussing how Objective C++ and C++ code can co-exist and how a C++ API can be accessed from Swift programs. In addition, it explores often overlooked issues, both technical and non-technical, contributing to successful design decisions that produce high quality, robust, and long-lived APIs. It focuses on various API styles and patterns that will allow you to produce elegant and durable libraries. A discussion on testing strategies concentrates on automated API testing techniques rather than attempting to include end-user application testing techniques such as GUI testing, system testing, or manual testing.

This book sets out an account of the tools which Frobenius used to discover representation theory for nonabelian groups and describes its modern applications. It provides a new viewpoint from which one can examine various aspects of representation theory and areas of application, such as probability theory and harmonic analysis. For example, the focal objects of this book, group matrices, can be thought of as a generalization of the circulant matrices which are behind many important algorithms in information science.