New York: Springer, 2016. — 641 p.
Advances widely popular topics of universal computation, automata, theoretical computer science, future and emergent computing technologies, cloud computing, parallel computing, security and network analysisComprises unique chapters written by world top experts
Comes lavishly illustrated with visually attractive examples of mathematical...
Springer, 2018. — 698 p. This volume of the Encyclopedia of Complexity and Systems Science, Second Edition, is a unique collection of concise overviews of state-of-art, theoretical and experimental findings, prepared by the world leaders in unconventional computing. Topics covered include bacterial computing, artificial chemistry, amorphous computing, computing with Solitons,...
Berlin: Springer, 2009. — 434 p. This Festschrift volume, published in honor of Kurt Mehlhorn on the occasion of his 60th birthday, contains 28 papers written by his former Ph.D. students and colleagues as well as by his former Ph.D. advisor, Bob Constable. The volume's title is a translation of the title of Kurt Mehlhorn's first book, "Effiziente Algorithmen", published by...
San Rafael: Morgan & Claypool Publishers, 2019. — 166 p. — (Synthesis Lectures on Distributed Computing Theory). — ISBN: 1681735369. This book aims at being a comprehensive and pedagogical introduction to the concept of self-stabilization , introduced by Edsger Wybe Dijkstra in 1973. Self-stabilization characterizes the ability of a distributed algorithm to converge within...
Oxford: Oxford University Press, 1997. - 394 p.
Issues of matching and searching on elementary discrete structures arise pervasively in computer science and many of its applications, and their relevance is expected to grow as information is amassed and shared at an accelerating pace. Several algorithms were discovered as a result of these needs, which in turn created the...
Издательство Cambridge University Press, 2009, -605 pp. Computational complexity theory has developed rapidly in the past three decades. The list of surprising and fund a mental results provedsince 1990 alone could fill a book: These include new probabilistic definitions of classical complexity classes (IP=PSPACE and the PCP theorems) and their implications for the field of...
Chapman and Hall/CRC, 2009. - 950 pages. Algorithms and Theory of Computation Handbook, Second Edition: Special Topics and Techniques provides an up-to-date compendium of fundamental computer science topics and techniques. It also illustrates how the topics and techniques come together to deliver efficient solutions to important practical problems. Along with updating and...
InTech, 2008. — 596 p. The greedy algorithm is one of the simplest approaches to solve the optizmization problem in which we want to determine the global optimum of a given function by a sequence of steps where at each stage we can make a choice among a class of possible decisions. In the greedy method the choice of the optimal decision is made on the information at hand...
Издательство Atlantis Press, 2012, -247 pp. The concept of an instruction sequence is a key concept in practice, but strangely enough it has as yet not come prominently into the picture in theoretical circles. In much work on computer architecture, instruction sequences are under discussion. In spite of this, the notion of an instruction sequence has never been subjected to...
Manning Publications, 2016. — 258 p.
Grokking Algorithms is a fully illustrated, friendly guide that teaches you how to apply common algorithms to the practical problems you face every day as a programmer. You'll start with sorting and searching and, as you build up your skills in thinking algorithmically, you'll tackle more complex concerns such as data compression and...
Second Edition. — Manning Publications, 2023. — 176 p. — (MEAP v1). A friendly, fully-illustrated introduction to the most important computer programming algorithms. The algorithms you'll use most often as a programmer have already been discovered, tested, and proven. This book will prepare you for those pesky algorithms questions in every programming job interview and help you...
Computing Research Repository, 2008, -81 pp. We survey the average-case complexity of problems in NP. We discuss various notions of good-on-average algorithms, and present completeness results due to Impagliazzo and Levin. Such completeness results establish the fact that if a certain specific (but somewhat artificial) NP problem is easy-on-average with respect to the uniform...
Nova Science Publishers, Inc., 2021. — 114 p. — ISBN 1536190071. Heuristic local search algorithms are used to find “good” solutions to the NP-hard combinatorial optimization problems that cannot be solved using analytical methods. Chapter one discusses the characterization and computation of heuristic local search algorithm for the Traveling Salesman Problem (TSP) from the...
Издательство Prentice Hall, 2006, -291 pp. The birth of the theory of computational complexity can be set in the early 1960s when the first users of electronic computers started to pay increasing attention to the performances of their programs. As in the theory of computation, where the concept of a model of computation had led to that of an algorithm and of an algorithmically...
N.-Y.: Springer, 2015. - 554p.
The field of natural computing has been the focus of a substantial research effort in recent decades. One particular strand of this concerns the development of computational algorithms using metaphorical inspiration from systems and phenomena that occur in the natural world. These naturally inspired computing algorithms have proven to be...
Prentice Hall, 1988. - 302 pages.
From the Preface of the book: Our book is neither a programming manual nor an account of the proper use of data structures. Still less is it a "cookbook" containing a long catalogue of programs ready to be used directly on a machine to solve certain specific problems, but giving at best a vague idea of the principles involved in their design....
Prentice-Hall, 1996. — 546 p. — ISBN: 0-13-335068-1. This is an introductory-level algorithm book. It includes worked-out examples and detailed proofs. Presents Algorithms by type rather than application. KEY TOPICS: Includes structured material by techniques employed, not by the application area, so readers can progress from the underlying abstract concepts to the concrete...
New York: Springer, 2017. — 396 p. This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of...
London: Springer, 2001. - 153p. Randomized Algorithms discusses two problems of fine pedigree: counting and generation, both of which are of fundamental importance to discrete mathematics and probability. When asking questions like "How many are there?" and "What does it look like on average?" of families of combinatorial structures, answers are often difficult to find -- we...
New York: Springer, 2004. - 313p.
The first exposition on super-recursive algorithms, systematizing all main classes and providing an accessible, focused examination of the theory and its ramifications.
Demonstrates how these algorithms are more appropriate as mathematical models for modern computers and how they present a better framework for computing methods.
Develops a...
College Publications, 2004. 256 pages. На англ. языке. ISBN-10: 9780954300647 ISBN-13: 978-0954300647 Хорошая коллекция алгоритмов сравнения и поиска строк: от классики (Кнут-Морис-Пратт) до кластерных алгоритмов. С подробными описаниями и вставками кода на C. String matching is a very important subject in the wider domain of text processing. It consists of finding one,or more...
New York: Springer, 2014. — 358 p.
This book constitutes the refereed proceedings of the 8th International Frontiers of Algorithmics Workshop, FAW 2013, held in Zhangjiajie, China, in June 2014. The 30 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 65 submissions. They provide a focused forum on current trends of research...
Репринтное воспроизведение издания 1941 года, в котором Алонзо Черч впервые подробно описал ныне широко известное λ-исчисление, разработанное им в начале 1930х годов. Особенность λ-исчисления, отличающая его от исчисления предикатов - формализация применения функций. В нем легко выражаются сложные понятия - например, натуральные числа, причем это достигается без введения...
New Delhi: Wiley India Private Limited, 2007. — 649 p. This text strikes a good balance between rigor and an intuitive approach to computer theory. Covers all the topics needed by computer scientists with a sometimes humorous approach that reviewers found refreshing. The goal of the book is to provide a firm understanding of the principles and the big picture of where computer...
A K Peters, 2002. — 344 p. This book provides a systematic approach for the algorithmic formulation and implementation of mathematical operations in computer algebra programming languages. The viewpoint is that mathematical expressions, represented by expression trees, are the data objects of computer algebra programs, and by using a few primitive operations that analyze and...
A K Peters, 2002. — 344 p. This book provides a systematic approach for the algorithmic formulation and implementation of mathematical operations in computer algebra programming languages. The viewpoint is that mathematical expressions, represented by expression trees, are the data objects of computer algebra programs, and by using a few primitive operations that analyze and...
McGraw-Hill Higher Education, 2008. - 332 pages. This text explains the fundamentals of algorithms in a story line that makes the material enjoyable and easy to digest. Emphasis is placed on understanding the crisp mathematical idea behind each algorithm, in a manner that is intuitive and rigorous without being unduly formal. Include: The use of boxes to strengthen the...
CRC Press, 2010. — 824 p. — ISBN: 1420068296, 9781420068290
Explores the Impact of the Analysis of Algorithms on Many Areas within and beyond Computer Science
A flexible, interactive teaching format enhanced by a large selection of examples and exercises
Developed from the author’s own graduate-level course, Methods in Algorithmic Analysis presents numerous theories,...
Springer, 2011. — 195 p. — ISBN: 0857291203 9780857291202. Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation. Proofs and Algorithms: An Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of...
New York: Springer, 2010. - 884p. Intuitively, a sequence such as 101010101010101010… does not seem random, whereas 101101011101010100…, obtained using coin tosses, does. How can we reconcile this intuition with the fact that both are statistically equally likely? What does it mean to say that an individual mathematical object such as a real number is random, or to say that one...
Springer. 2013 — 787 pages. Contents. Parameterized Tractability. Preliminaries. The Basic Definitions. Elementary Positive Techniques. Bounded Search Trees. Kernelization. More on Kernelization. Iterative Compression, and Measure and Conquer, for Minimization Problems. Further Elementary Techniques. Color coding, Multilinear Detection, and Randomized divide-and-conquer....
Wiley. Hoboken, NJ, USA, Second Edition. 2014. 512 pages. Includes references and index. ISBN: 978-1-118-30608-6 (cloth) A thorough revision based on advances in the field of computational complexity and readers’ feedback, the Second Edition of Theory of Computational Complexity presents updates to the principles and applications essential to understanding modern computational...
Second edition. — John Wiley, 2014. — 514 pp. Computational complexity theory has been a central area of theoretical computer science since its early development in the mid-1960s. The subsequent rapid development in the next three decades has not only established it as a rich exciting theory, but also shown strong influence on many other related areas in computer science,...
Duke University, 2008.- 95 pages
The main topics to be covered in this course are: Design Techniques; Searching; Prioritizing; Graph Algorithms; Topological Algorithms; Geometric Algorithms; NP-completeness. The emphasis will be on algorithm design and on algorithm analysis.
The MIT Press, 2017. — 336 p. — ISBN: 978-0262036634. Picture a computer scientist, staring at a screen and clicking away frantically on a keyboard, hacking into a system, or perhaps developing an app. Now delete that picture. In Once Upon an Algorithm, Martin Erwig explains computation as something that takes place beyond electronic computers, and computer science as the study...
Cambridge University Press, 2011. — 355 p. — (London Mathematical Society Lecture Note Series 379). — ISBN: 0521718201. Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite and...
Now Publishers Inc., 2019. — viii, 221 p. — (Foundations and Trends in Theoretical Computer Science). — ISBN: 978-1-68083-637-0. True PDF Over the last twenty years, an exciting interplay has emerged between proof systems and algorithms. Some natural families of algorithms can be viewed as a generic translation from a proof that a solution exists into an algorithm for finding...
Springer, 2006. — 494 p. Parameterized complexity theory provides a framework for a refined analysis of hard algorithmic problems. Classical complexity theory analyzes and classifies problems by the amount of a resource, usually time or space, that is required by algorithms solving them. It was a fundamental idea, going back to the work of Hartmanis and Stearns in the early...
Princeton: Princeton University Press, 2013. — 192 pp. — ISBN: 978-0-691-15649-1. The P-NP problem is the most important open problem in computer science, if not all of mathematics. Simply stated, it asks whether every problem whose solution can be quickly checked by computer can also be quickly solved by computer. The Golden Ticket provides a nontechnical introduction to P-NP,...
McGill-Queen's University Press, 1986. — 203 p. This volume contains papers presented at the First International Workshop on Distributed Algorithms. The papers present solutions to a wide spectrum of problems (leader election, resource allocation, routing, etc.) and focus on a variety of issues that influence communications complexity. Preface Table of Contents Contributors The...
Philadelphia: University of Pennsylvania, 2020. — 446 p. The main goal of this book is to present a mix of material dealing with: Proof systems. Computability and undecidability. The Lambda Calculus. Some aspects of complexity theory. Historically, the theory of computability and undecidability arose from Hilbert’s efforts to completely formalize mathematics and from Godel’s...
Cambridge University Press, 2008. — 632 p. The quest for efficiency is ancient and universal, as time and other resources are always in shortage. Thus, the question of which tasks can be performed efficiently is central to the human experience. A key step toward the systematic study of the aforementioned question is a rigorous definition of the notion of a task and of...
Cambridge University Press, 2010. — 216 p. The quest for efficiency is ancient and universal, as time and other resources are always in shortage. Thus, the question of which tasks can be performed efficiently is central to the human experience. A key step toward the systematic study of the aforementioned question is a rigorous definition of the notion of a task and of...
New York: Springer, 2017. — 303 p. This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of some classes of distributed systems. The book also suggests the need for a generalization of...
New York: Springer, 2018. — 355 p. Foreword Insertion, Deletion, and Substitution Register Machines Input-Driven Register Machines and Counter Automata Tissue P Automata as Multiset Pushdown Automata Accepting Strings Input-Driven Tissue P Automata One-Membrane Antiport P Automata Examples and Results Membrane Systems The Efficiency of Membrane Systems A New Solution to...
3rd ed. — Boston, 2010. — 141 p. — ISBN: 0817647287, 9780817647285
This monograph collects some fundamental mathematical techniques that are required for the analysis of algorithms. It builds on the fundamentals of combinatorial analysis and complex variable theory to present many of the major paradigms used in the precise analysis of algorithms, emphasizing the more difficult...
Oxford University Press, 1995. — 327 p. — ISBN13 9780195085914. — ISBN10 0195085914. This book provides a comprehensive analysis of the most important topics in parallel computation. It is written so that it may be used as a self-study guide to the field, and researchers in parallel computing will find it a useful reference for many years to come. The first half of the book...
Springer, 2008. - 448 p. ISBN: 3540699007 This book constitutes the refereed proceedings of the 11th Scandinavian Workshop on Algorithm Theory, SWAT 2008, held in Gothenborg, Sweden, in July 2008. The 36 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 111 submissions. Papers were solicited for original research on...
Aalto University, 2021. — 221 p. This book is an introduction to the theory of distributed algorithms, with focus on distributed graph algorithms (network algorithms) . The topics covered include: Models of computing : precisely what is a distributed algorithm, and what do we mean when we say that a distributed algorithm solves a certain computational problem? Algorithm design...
New York: Springer, 2021. — 221 p. — (Texts in Computer Science). This book aims to address the two problems by compressing and unifying important concepts of the two areas and providing exercises in widely-used software applications. We give a transition from logic to computation via linear temporal logic and state machines. The book combines theoretical teaching and practical...
Palgrave Macmillan Cham, 2022. — 180 p. — ISBN 978-3-031-04219-5. During the Iraq War, American soldiers were sent to both fight an enemy and to recover a “failed state” in pixelated camouflage uniforms, accompanied by robots, and armed with satellite maps and biometric hand-held scanners. The Iraq War, however, was no digital game: massive-scale physical death and destruction...
New York: Springer, 2004. - 547p. There are several approaches to attack hard problems. All have their merits, but also their limitations, and need a large body of theory as their basis. A number of books for each one exist: books on complexity theory, others on approximation algorithms, heuristic approaches, parametrized complexity, and yet others on randomized algorithms....
New York: I/O Press, 2019. — 214 p. Computer science, specifically the theory of computation, deserves to be better known even among non-computer scientists. The reason is simply that it is full of profound thoughts and ideas. It contains some paradoxes that reveal the limits of human knowledge. It provides ways to reason about information and randomness that are understandable...
Из серии Foundations and Trends in Theoretical Computer Science издательства NOWPress, 2009, -110 pp. Spectral methods refer to the use of eigenvalues, eigenvectors, singular values, and singular vectors. They are widely used in Engineering, Applied Mathematics, and Statistics. More recently, spectral methods have found numerous applications in Computer Science to discrete as...
New York: ACM Books, 2023. — 426 p. Professor Stephen A. Cook is a pioneer of the theory of computational complexity. His work on NP-completeness and the P vs. NP problem remains a central focus of this field. Cook won the 1982 Turing Award for "his advancement of our understanding of the complexity of computation in a significant and profound way." This volume includes a...
Independently published, 2020. — 346 p. — ISBN B08LD1NKL1. An Algorithm is a sequence of steps to solve a problem. Design and Analysis of Algorithm is very important for designing algorithm to solve different types of problems in the branch of computer science and information technology. This book introduces the fundamental concepts of Designing Strategies, Complexity analysis...
IGI Global, 2018. — 385 p. — ISBN: 1522550208, 978-1522550204. Many techniques have been developed to control the variety of dynamic systems. To develop those control techniques, it is fundamental to know the mathematical relations between the system inputs and outputs. Incorporating Nature-Inspired Paradigms in Computational Applications is a critical scholarly resource that...
Prentice-Hall, 2001. — 209 p. — ISBN: 0-13-027961-7. This book focuses on fundamental issues of computation. The readers can master the content and gain lasting perspective from which to understand computers by carefully worked out examples, illustrations, and algorithmic proofs. Teaches the fundamental concepts behind computation. Hundreds of exercises marked according to the...
Pearson Education, 2005. — 864 p. — ISBN: 0-321-29535-8.
Algorithm Design introduces algorithms by looking at the real-world problems that motivate them. The book teaches students a range of design and analysis techniques for problems that arise in computing applications. The text encourages an understanding of the algorithm design process and an appreciation of the role of...
Springer, 2021. — 394 p. — ISBN 978-3-030-78016-6. This textbook offers an algorithmic introduction to the field of computer algebra. A leading expert in the field, the author guides readers through numerous hands-on tutorials designed to build practical skills and algorithmic thinking. This implementation-oriented approach equips readers with versatile tools that can be used...
Springer, 2006. — 405 p. The course serves a dual purpose: to cover core material in the foundations of computing for graduate students in computer science preparing for their PhD qualifying exams, and to provide an introduction to some more advanced topics in the theory of computational complexity for those intending to pursue further study in the area. The course is thus a...
Cambridge University Press, 2019. — 534 p. — (Encyclopedia of Mathematics and its Applications: 170). — ISBN: 978-1-108-41684-9. Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the...
Communication Complexity, New York, Cambridge University Press 1997, ISBN: 978-0-521-56067-2, pp. I-XIII, 1- 189. [j19]. Communication Complexity surveys this mathematical theory, concentrating on the question of how much communication is necessary for any particular process. The first part of the book is devoted to the simple two-party model introduced by Yao in 1979, which is...
Philadelphia: SIAM, 2020. - 222 p. - ISBN 1611976162. My inspiration for writing a survey of the best algorithms can be summarized by quoting Martin Aigner and Günter Ziegler , whose splendid book Proofs from THE BOOK is now in its sixth edition (см.: /file/2555508/). They write: Paul Erdós liked to talk about THE BOOK , in which God maintains the perfect proofs for...
Budapest: Typotex, 2014. — 261 p. Some notation and definitions Models of Computation Finite automata The Turing machine The Random Access Machine Boolean functions and Boolean circuits Algorithmic decidability Recursive and recursively enumerable languages Other undecidable problems Godel's incompleteness theorem First-order logic Computation with resource bounds Polynomial...
Из серии Foundations and Trends in Theoretical Computer Science издательства NOWPress, 2009, -127 pp. We survey lower bounds in communication complexity. Our focus is on lower bounds that work by first representing the communication complexity measure in Euclidean space. That is to say, the first step in these lower bound techniques is to find a geometric complexity measure...
Chapman & Hall/CRC, 2007. — 253 p. A Taxonomy of Algorithmic Complexity Fundamental Assumptions Underlying Algorithmic Complexity Examples of Complexity Analysis Sources of Disappointments Implications of Nonuniform Memory for Software Implications of Compiler and Systems Issues for Software Implicit Assumptions Implications of the Finiteness of the Representation of Numbers...
New York: Prentice-Hall, 1997. — 375 p. Appropriate for senior and graduate level courses in Computer Science Theory, Automata, and Theory of Computation. This is the long awaited Second Edition of Lewis and Papadimitriou's best-selling theory of computation text. In this substantially modified edition, the authors have enhanced the clarity of their presentation by making the...
4th. ed. - Springer, 2019. - 851 p. - (Texts in Computer Science). - ISBN: 3030112977. This must-read textbook presents an essential introduction to Kolmogorov complexity (KC), a central theory and powerful tool in information science that deals with the quantity of information in individual objects. The text covers both the fundamental concepts and the most important practical...
3rd edition. — Springer, 2008. — xxiv, 790 p. — (Texts a. monogr. in computer science). — ISBN 978-0-387-33998-6, 978-0-387-49820-1. This must-read textbook presents an essential introduction to Kolmogorov complexity (KC), a central theory and powerful tool in information science that deals with the quantity of information in individual objects. The text covers both the...
Springer, 2023. — 398 p. — 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22–24, 2023, Proceedings. This book constitutes the proceedings of the 17th International Conference and Workshops on Algorithms and Computation, WALCOM 2023, which took place in Hsinchu, Taiwan, in March 2023. The 30 full papers presented together with 2 invited papers...
Springer, 2010. — 222 p. Does P=NP? In just five symbols Dick Karp –in 1972–captured one of the deepest and most important questions of all time. When he first wrote his famous paper, I think it’s fair to say he did not know the depth and importance of his question. Now over three decades later, we know P=NP is central to our understanding of computation, it is a very hard...
Springer, 1979. — 228 p. Lectures given at Centro Internazionale Matematico Estivo (C.I.M.E.), held in Bressanone (Bolzano), Italy, June 14-23, 1979. The purpose of these lectures is to develop some deeper results in α-recursion theory which will hold in somewhat more general setting than L(α) and in particular in many other admissible sets and structures. In addition, I will...
ITexLi, 2021. — 94 p. — ISBN 1789852145 9781789852141 1839628553 9781839628559. This book will be useful to an audience interested in the different problems and approaches that are used within the theory of complexity This book examines the meaning of complexity in the context of systems both social and natural. Chapters cover such topics as the traveling salesman problem,...
Springer, 2017. — 730 p. — ISBN: 1493967932. Lively prose and imaginative exercises draw the reader into this unique introductory real analysis textbook. Motivating the fundamental ideas and theorems that underpin real analysis with historical remarks and well-chosen quotes, the author shares his enthusiasm for the subject throughout. A student reading this book is invited not...
Princeton: Princeton University Press, 2018. — 408 p. An accessible and rigorous textbook for introducing undergraduates to computer science theory What Can Be Computed? is a uniquely accessible yet rigorous introduction to the most profound ideas at the heart of computer science. Crafted specifically for undergraduates who are studying the subject for the first time, and...
Ottawa: Carleton University, 2017. - 251 p. This is a free textbook for an undergraduate course on the Theory of Computation, which we have been teaching at Carleton University since 2002. Until the 2011/2012 academic year, this course was offered as a second-year course and was compulsory for all Computer Science students. Starting with the 2012/2013 academic year, the course...
Springer, 1998. — 337 p. Proof Verification and Approximation Algorithms - Hardly any area in theoretical computer science has been more lively and flourishing during the last few years. Different lines of research which had been developed independently of each other over the years culminated in a new and unexpected characterization of the well-known complexity class NP, based...
New York: Leanpub, 2021. — 194 p. Complexity science is one pillar of modern ways of working. While Complexity literature is very theoretic, this book explores practical applications in software and digital products development. The practices help you navigate everyday Complexity. This book is for leaders, managers, facilitators (Scrum Masters, Agile Coaches), and team...
Springer, 1993. — 423 p. — (Monographs in Computer Science). — ISBN: 0387940901, 9781461243441 Algorithmic Algebra studies some of the main algorithmic tools of computer algebra, covering such topics as Grobner bases, characteristic sets, resultants and semialgebraic sets. The main purpose of the book is to acquaint advanced undergraduate and graduate students in computer...
Oxford University Press, 2009. — 880 p. The idea for this book came about when I was invited to give the Ulam Memorial Lectures in Santa Fe—an annual set of lectures on complex systems for a general audience, given in honor of the great mathematician Stanislaw Ulam. The title of my lecture series was The Past and Future of the Sciences of Complexity. It was very challenging to...
Springer, 2019. — 285 p. — (Algorithms and Computation in Mathematics 27). — ISBN: 978-3-030-03903-5. This book is divided into two parts, one theoretical and one focusing on applications, and offers a complete description of the Canonical Gröbner Cover, the most accurate algebraic method for discussing parametric polynomial systems. It also includes applications to the...
Oxford University Press, 2011. — 985 pages. — ISBN: 978-0199233212. Computational complexity is one of the most beautiful fields of modern mathematics, and it is increasingly relevant to other sciences ranging from physics to biology. But this beauty is often buried underneath layers of unnecessary formalism, and exciting recent results like interactive proofs, cryptography,...
Springer, 2023. — 530 p. This textbook introduces formal languages and automata theory for upper-level undergraduate or beginning graduate students. While it contains the traditional mathematical development usually employed in computational theory courses, it is also quite different from many of them. Machines, grammars, and algorithms developed as part of a constructive proof...
Addison-Wesley, 1998. — 471 p. — ISBN: 0-201-25828-5. Taking a practical approach, this modern introduction to the theory of computation focuses on the study of problem solving through computation in the presence of realistic resource constraints. The Theory of Computation explores questions and methods that characterize theoretical computer science while relating all...
Philadelphia: SIAM, 2008. - 268p.
The annual Workshop on Algorithm Engineering and Experiments (ALENEX) provides a forum for the presentation of original research in all aspects of algorithm engineering, including the implementation, tuning, and experimental evaluation of algorithms and data structures. ALENEX 2008, the tenth workshop in this series, was held in San Francisco,...
2. Auflage. Vieweg+Teubner Verlag, Springer Fachmedien Wiesbaden GmbH., 2006, 2012. 250 p. — ISBN: 978-3-8348-1692-4, ISBN: 978-3-8348-1980-2. Rezension "Viele brauchbare, nützliche und praktische Beispiele. Die Realisierung mit der Standardsoftware MS Office Excel ist hervorragend." Prof. Dr. Ulrich Schwellenberg, FH Düsseldorf "Das Buch knüpft an dem für Ingenieure bereits...
Springer, 2015. — 160 p.
Algorithms are extremely important in science and engineering. One of the main objectives of science is to predict future events; this usually requires sophisticated algorithms. Once we are able to predict future events, a natural next step is to influence these events, i.e., to control the corresponding systems; control also usually requires complex...
Издательство Pitman/John Wiley, 1987, -211 pp. Parallel complexity theory, the study of resource-bounded parallel computation, is surely one of the fastest-growing areas of theoretical Computer Science. In the light of this, it would be foolish to attempt an encyclopedic coverage of the field. However, it is the belief of the author that its foundations are becoming...
Издательство Cambridge University Press, 1996, -321 pp. In the modern world, the importance of information can hardly be overestimated. Information also plays a prominent role in scientific computations. A branch of computational complexity which deals with problems for which information is partial, noisy and priced is called information-based complexity. In a number of...
Rodney Anderson, 2018. — 124 p. — ASIN B07DS7GXFG. An easy & simple guide to analyzing programs and algorithms using Big-O, Big Omega, & Big Theta, including cheat sheets and practice problems.
Cambridge University Press, 2020. — 266 p. — ISBN: 1108497985. Communication complexity is the mathematical study of scenarios where several parties need to communicate to achieve a common goal, a situation that naturally appears during computation. This introduction presents the most recent developments in an accessible form, providing the language to unify several disjoint...
4th Edition. — World Scientific Publishing, 2023. — 497 p. — ISBN 9789811260674. This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on Computer Science (CS) applications including loop invariants, program correctness, logic programming and algorithmic proof techniques. This innovative volume differs from...
3rd edition. — Singapore: World Scientific Publishing, 2017. — 468 p. This text presents the formal concepts underlying Computer Science. It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog. The treatment of computability with Automata and Formal Languages stands out in several ways: it emphasizes...
Cham: Springer, 2022. — 577 p. Computation theory is a discipline that uses mathematical concepts and tools to expose the nature of "computation" and to explain a broad range of computational phenomena: Why is it harder to perform some computations than others? Are the differences in difficulty that we observe inherent, or are they artifacts of the way we try to perform the...
Springer, 2021. — 155 p. — (Schriftenreihe der Institute für Systemdynamik (ISD) und optische Systeme (IOS)). — ISBN 978-3-658-34458-0. Flash memory is an important non-volatile storage medium. Reliable and secure data storage in flash memories requires sophisticated coding and signal processing techniques. Although error-correcting codes are applied in practically all flash...
New York: Springer, 2021. — 387 p. In this monograph, the authors develop a methodology that allows one to construct and substantiate optimal and suboptimal algorithms to solve problems in computational and applied mathematics. Throughout the book, the authors explore well-known and proposed algorithms with a view toward analyzing their quality and the range of their...
American Mathematical Society, 2017. — 519 p. Preface. Acknowledgments. Basic notions and notation. Introduction. What is this book about? Plain Kolmogorov complexity. Complexity of pairs and conditional complexity. Martin-Löf randomness. A priori probability and prefix complexity. Monotone complexity. General scheme for complexities. Shannon entropy and Kolmogorov complexity....
3rd Edition. — Cengage Learning, 2013. — XXII, 458 p. — ISBN13: 978-1-133-18779-0; ISBN10: 1-133-18779-X. Gain a clear understanding of even the most complex, highly theoretical computational theory topics in the approachable presentation found only in the market-leading Introduction to the Theory of Computation, 3E. The number one choice for today's computational theory...
3rd Edition. — World Scientific Publishing, 2018. — 322 p. — ISBN: 978-981-3235-90-8. A successor to the first and second editions, this updated and revised book is a leading companion guide for students and engineers alike, specifically software engineers who design algorithms. While succinct, this edition is mathematically rigorous, covering the foundations for both computer...
World Scientific Publishing Company – 2012, 200 pages, 2nd Edition ISBN: 9814401153, 9789814401159 A successor to the first edition, this updated and revised book is a great companion guide for students and engineers alike, specifically software engineers who design reliable code. While succinct, this edition is mathematically rigorous, covering the foundations of both computer...
O’Reilly Media, 2013. — 332 p. — ISBN: 1449329276, 9781449329273. Finally, you can learn computation theory and programming language design in an engaging, practical way. Understanding Computation explains theoretical computer science in a context you’ll recognize, helping you appreciate why these ideas matter and how they can inform your day-to-day programming. Rather than use...
Amazon KDP, 2021. — 193 p. — ISBN 9798749449730. This book presents practical geometry algorithms with computationally fast C++ code implementations. It covers algorithms for fundamental geometric objects, such as points, lines, rays, segments, triangles, polygons, and planes. These algorithms determine the basic 2D and 3D properties, such as area, distance, inclusion, and...
Aalto University, 2019. — 193 p. This book is an introduction to the theory of distributed algorithms . The topics covered include: Models of computing : precisely what is a distributed algorithm, and what do we mean when we say that a distributed algorithm solves a certain computational problem? Algorithm design and analysis : which computational problems can be solved with...
Oxford University Press, 1997. — 683 p. Models of Computation and Formal Languages presents a comprehensive and rigorous treatment of the theory of computability. The text takes a novel approach focusing on computational models and is the first book of its kind to feature companion software. Deus Ex Machina, developed by Nicolae Savoiu, comprises software simulations of the...
New York: Springer, 2007. - 944p.
The papers included topical sections on graph algorithms, computational geometry, complexity, graph drawing, distributed algorithms, optimization, data structure, and game theory.
Wiley, 2012. — 416 p.
Offering an accessible approach to the topic, Theory of Computation focuses on the metatheory of computing and the theoretical boundaries between what various computational models can do and not do—from the most general model, the URM (Unbounded Register Machines), to the finite automaton. A wealth of programming-like examples and easy-to-follow...
Kostanay: КSPU, 2018. — 99 p. The manual is written in accordance with the requirements of the State Program for the Development of Education and Science of the Republic of Kazakhstan for 2016-2019 — a phased transition of the formation of the Republic of Kazakhstan to a trilingual education and is intended for students of polyglot groups of specialty 5B011100 "Informatics". This...
N.-Y.: Springer, 2009. - 238p. Computable models pervade present day science and engineering and are implicit in the specification of software systems. Raymond Turner first provides a logical framework for specification and the design of specification languages, then uses this framework to introduce and study computable models. In doing so he presents the first systematic...
Springer, 2000. — 204 p. This book contains a revised version of the dissertation the author wrote at the Department of Computer Science of the University of Chicago. The thesis was submitted to the Faculty of Physical Sciences in conformity with the requirements for the PhD degree in June 1999. It was honored with the 1999 ACM Doctoral Dissertation Award in May 2000. Summary...
Springer, 2003. — 400 p. — ISBN: 3642084699, 9783642084690 This book covers the dominant theoretical approaches to the approximate solution of hard combinatorial optimization and enumeration problems. It contains elegant combinatorial theory, useful and interesting algorithms, and deep results about the intrinsic complexity of combinatorial problems. Its clarity of exposition...
Springer, 2008. - 432 p. ISBN: 3540763937 Hinter vielen Computer-Programmen stecken intelligente Verfahren, die man als Algorithmen bezeichnet. Algorithmen lösen nicht nur mathematische Zahlen-Aufgaben, sondern auch ganz alltägliche Probleme: Wie ermittle ich den kürzesten Weg zwischen zwei Orten? Oder, wie kann ich einen Kuchen gerecht aufteilen? In diesem Buch erklären...
Princeton: Princeton University Press, 2017. — 391 p. The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical...
Springer International, 2014. XII, 466 pages, 245 b/w illustrations. - ISBN: 978-3-319-09887-6 (Print) 978-3-319-09888-3 (Online) This book introduces the essential concepts of algorithm analysis required by core undergraduate and graduate computer science courses, in addition to providing a review of the fundamental mathematical notions necessary to understand these concepts....
Springer, 1992. — viii, 108 p. — (Monographs in Theoretical Computer Science. An EATCS Series). — ISBN 0-387-55840-3, 3-540-55840-3. There are many ways to measure the complexity of a given object, but there are two measures of particular importance in the theory of computing: One is Kolmogorov complexity, which measures the amount of information necessary to describe an...
Springer, 2005. — 306 p. Complexity theory – is it a discipline for theoreticians who have no concern for the real world or a central topic of modern computer science? In this introductory text, complexity theory is presented as an active area of computer science with results that have implications for the development and use of algorithms. Our study will lead to insights into...
Издательство A K Peters, 2002, -226 pp. For the past several years, mathematics majors in the computing track at the University of Pennsylvania have taken a course in continuous algorithms (numerical analysis) in the junior year, and in discrete algorithms in the senior year. This book has grown out of the senior course as I have been teaching it recently. It has also been...
A K Peters/CRC Press, 1994. — 139 p. — ISBN13: 978-1-56881178-9. Целевая аудитория: математики, инженеры и опытные разработчики программного обеспечения. Алгоритмы и их сложность часто становятся предметом обсуждения на многих собеседованиях, поэтому необходимость в хорошем знании материала возникает у любого начинающего и, тем более, опытного разработчика. Это небольшое...
Springer, 2021. — 256 p. — ISBN 978-981-16-2608-1. Graph data is powerful, thanks to its ability to model arbitrary relationship between objects and is encountered in a range of real-world applications in fields such as bioinformatics, traffic network, scientific collaboration, World Wide Web and social networks. Graph data mining is used to discover useful information and...
Cambridge: Cambridge University Press, 2022. — 148 p. Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the fundamental results of theoretical computer science. In this Element, readers...
Oxford University Press, 1999. - 528 pages. ISBN10: 0195125169 ISBN13: 978-0195125160 Popular computer algebra systems such as Maple, Macsyma, Mathematica, and REDUCE are now basic tools on most computers. Efficient algorithms for various algebraic operations underlie all these systems. Computer algebra, or algorithmic algebra, studies these algorithms and their properties and...
Springer, 2011. — 279 p. — (Synthese Library 355). — ISBN 978-94-007-1346-8. Строгий финитизм и логика математических приложений This book intends to show that radical naturalism (or physicalism), nominalism and strict finitism account for the applications of classical mathematics in current scientific theories. The applied mathematical theories developed in the book include...
New York: Academic Press/Elsevier, 2023. — 230 p. Algebraic Theory for True Concurrency presents readers with the algebraic laws for true concurrency. Parallelism and concurrency are two of the core concepts within Computer Science. This book covers the different realms of concurrency, which enables programs, algorithms or problems to be broken out into order-independent or...
World Scientific, 2012. — 856 p. — ISBN 9814374296. This volume, with a foreword by Sir Roger Penrose, discusses the foundations of computation in relation to nature.It focuses on two main questions: The contributors are world-renowned experts who have helped shape a cutting-edge computational understanding of the universe. They discuss computation in the world from a variety...
Cham: Springer, 2022. — 270 p. This book explores a different pragmatic approach to algorithmic complexity rooted or motivated by the theoretical foundations of algorithmic probability and explores the relaxation of necessary and sufficient conditions in the pursuit of numerical applicability, with some of these approaches entailing greater risks than others in exchange for...
Издательство Elsevier, 2004, -353 pp. About "quantitative perspective." The subtitle of the book seems to be redundant and requires an explanation. The main purpose of computational complexity is to measure the amount of time, or of space, or of some other resource, that is necessary to solve a computational problem. Thus, by its very nature, computational complexity is a...
М.: МЦНМО, 2009. — 256 с. В книге излагаются основные (начальные) разделы теории сложности алгоритмов. Различаются алгебраическая и битовая сложности, каждая из которых рассматривается в худшем случае и в среднем. Ряд основных понятий теории сложности, как-то: оценки снизу и сверху, нижняя граница сложности алгоритмов некоторого класса, оптимальный алгоритм и т. д.,...
Изд. 3-е, доп. и перераб. — М.: Директ-Медиа, 2021. — 198 с., ил. Книга сотрудника Института программных систем РАН, представляющая собой описание вопросов теории метавычислений и их применения. Метавычисления — раздел теории и практики программирования, посвященный разработке методов анализа и преобразования программ за счет реализации конструктивных метасистем (метапрограмм)...
Абрамов С.М. Методы метавычислений и их применение. — Издание второе, дополненное и переработанное, Переславль-Залесский, Издательство «Университет города Переславля имени А.К.Айламазяна», 2006. —128 с., ил.
Книга представляет собой описание вопросов теории метавычислений и их применения. Метавычисления — раздел теории и практики программирования, посвященный разработке методов...
Учебное пособие. — Томск: Издательский Дом Томского государственного университета, 2018. — 42 с. — ISBN: 978-5-94621-768-2. Пособие представляет собой курс лекций с тем же названием, прочитанный автором в 2016/17 и 2017/18 учебных годах студентам кафедры защиты информации и криптографии по специальности «Компьютерная безопасность». Знакомство с курсом предполагает знание...
М.: Наука, 1963. — 556 с. Настоящая книга рассчитана на широкий круг читателей, работающих в области автоматики, телемеханики и вычислительной техники и впервые знакомящихся с теорией конечных автоматов и последовательностных машин. Авторы имели в виду также, что книга должна быть полезна для математика (не логика), стремящегося познакомиться с этими проблемами, а также для...
Учебно-методическое пособие. — Саров: Саровский физико-технический институт — филиал Национального исследовательского ядерного университета «МИФИ», 2021. — 98 с. Данное пособие представляет собой самостоятельный модуль и предназначено для студентов, изучающих теорию алгоритмов по информационным направлениям подготовки. Пособие составлено на основании лекций, читающихся...
Учебн. пособие. - М.: Статистика, 1973. - 164 с.
В учебном пособии излагаются основы теории алгоритмов и теории формальных грамматик, рассматриваются различные алгоритмические системы, методы оценки и преобразования алгоритмов, связь теории алгоритмов с теорией формальных грамматик, классификация грамматик, связь теории формальных грамматик с теорией автоматов.
Пособие...
Учебное пособие. — Екатеринбург: Уральский государственный университет им. А.М. Горького (УрГУ), 2008. — 152 с. Основой для данного учебного пособия послужили лекции, которые читались авторами для студентов математико-механического факультета Уральского государственного университета им. А. М. Горького, обучающихся по специальностям «Математика, прикладная математика»,...
Ульяновск: Ульяновский государственный технический университет, 2002. - 70 с. Учебное пособие разработано на кафедре прикладной математики и информатики в соответствии с учебными программами для студентов технических и математических специальностей. Содержание включает изложение методических приемов по практическому составлению визуальных алгоритмов, которые могут быть...
М.: Мир, 1979. — 536 с. В монографии с единых позиций излагаются результаты теоретических и прикладных исследований по построению быстрых алгоритмов и доказательству их отсутствия. Рассмотрены задачи перебора, упорядочения массивов данных, умножения чисел, умножения матриц, обсуждаются алгоритмы на графах. Многие результаты ранее были рассеяны в труднодоступных источниках и в...
К.: Диалектика, 2021. — 544 с. В этой монографии, ставшей классикой, излагаются результаты теоретических и прикладных исследований по разработке и анализу эффективных вычислительных алгоритмов. Рассмотрены задачи поиска, сортировки массивов, умножения целых чисел, умножения матриц, алгоритмы на графах, а также основы теории сложности. Книга предназначены для специалистов по...
М.: Московский центр непрерывного математического образования, 2016. — 145 с. — ISBN: 9785443923963. В курсе дается краткое изложение классических способов построения и анализа алгоритмов. Первая часть курса, представленная в данном пособии, в большей степени сконцентрирована на базовых структурах данных, а также задачах сортировки и поиска. Теоретический материал дополняется...
Учебное пособие. — Под общ. ред. проф. М.И. Ломшина. — Саранск: Мордовский государственный университет им. Н.П. Огарёва, 2019. — 136 с. — ISBN 978-5-7103-3873-5. Рассматриваются основные разделы программы курса «Теория алгоритмов», соответствующие содержанию федерального государственного образовательного стандарта среднего профессионального образования «Программирование в...
Харьков: ХАИ, 1973. — 163 с. Критерии эффективной реализация алгоритмов управляющими вычислительными системами Методы оптимизации вычислительных алгоритмов до их параметрам Минимизация вычислительных алгоритмов на уровне операций Синтез алгоритмов повышенной точности вычислений для простых операций при ограниченной длине разрядной сетки УВМ Синтез алгоритмов вычисления...
СПб.: Высшая школа менеджмента Санкт-Петербургского университета, 2019. — 113 с. Введение в теорию алгоритмов. Теория алгоритмов и понятие вычисления. Возникновение теории алгоритмов. Структура курса. Вычислительные парадигмы и задачи. Вычислимые функции. Модели вычислений. Нормальные алгорифмы Маркова. Алфавит, слова, конкатенация слов, иодслова и вхождения. Марковские...
Ставрополь: Северо-Кавказский федеральный университет (СКФУ), 2016. — 130 с. В учебном пособии рассмотрены основные понятия теории алгоритмов, примеры разработки программ с использованием алгоритмов для работы программ с массивами, списками, построения и анализ алгоритмов сортировки и поиска информации, а также основные приемы решения различных практических задач. Предназначено...
Казань: КГУ, 1999. 25 с.
В учебном пособии кратко рассмотрены следующие вопросы: эффективная нумерация алгоритмов; теорема о параметризации; универсальный алгоритм; перечислимые и разрешимые множества; алгоритмически неразрешимые проблемы, в т.ч. теорема Райса; элементы математической логики. В пособии не уделяется внимания определению понятия «алгоритм», оно считается синонимом...
М.: Просвещение, 1970. — 25 с. Учебное пособие для заочных отделений физико-математических факультетов педагогических институтов. Настоящее пособие представляет собой попытку элементарного изложения основ теории алгоритмов, которое могло бы служить требуемым руководством для студентов педвузов. Общий план изложения заимствован из лекций, прочитанных П. С. Новиковым на курсах...
Учебное пособие. — СПб.: Санкт-Петербургский государственный политехнический университет, 2011. — 197 с. В пособии рассматриваются основные понятия дискретной математики, которая имеет широкий спектр приложений, прежде всего в областях, связанных с информационными технологиями и компьютерами. Важнейшими приложениями дискретных структур в программировании являются компьютерная...
Пер. с нем. / Предисл. С. А. Яновской. Вступ. ст. А. П. Юшкевича. Изд. 2-е, стереотипное. — М.: КомКнига, 2005. — 128 с. — ISBN: 5-484-00278-8. Книга выдающегося немецкого математика Германа Вейля (1885-1955) посвящена философии математики. Она состоит из трех разделов. Первый раздел дает общий исторический обзор проблемы обоснования математики. Во втором довольно детально...
М.: МЦНМО, 2013. — 576 с. — ISBN: 978-5-4439-0212-8. Классическая (шенноновская) теория информации измеряет количество информации, заключённой в случайных величинах. В середине 1960-х годов А.Н. Колмогоров (и другие авторы) предложили измерять количество информации в конечных объектах с помощью теории алгоритмов, определив сложность объекта как минимальную длину программы,...
Учебно-методическое пособие по курсу «Теория алгоритмов» для студентов специальности «Информатика» всех форм обучения. — Минск: БГУИР, 2007. — 54 с. Учебно-методическое пособие составлено в соответствии с рабочей программой курса «Теория алгоритмов». В него включены базовые определения и основные результаты классической теории алгоритмов, а также теории сложности вычислений....
Курс лекций для студентов специальности I-31 03 04 «Информатика» всех форм обучения. Минск: БГУИР, 2006, -103с. Содержание Основы теории алгоритмов Неформальное определение алгоритма и необходимость его уточнения Арифметические и интуитивно вычислимые функции Машины Тьюринга Вычислимость по Тьюрингу Машины Шёнфилда Частично вычислимые функции Кодирование алгоритмов...
Учебное пособие. - Минск: БГУ, 2008. - 59 с.
В книге рассматриваются организация полного перебора и приближенные алгоритмы. Организация полного перебора включает в себя следующие разделы: построение дерева решений, способы обхода дерева решений, сокращение числа необходимых для решения подзадач: отсев возможных вариантов ветвления, функции ветвления, а также задачи для...
Учебное пособие. — Казань: Казанский университет, 2024. — 74 с. В учебном пособии излагаются основы теории коммуникационных вычислений. Рассматриваются различные варианты коммуникационной модели: детерминированная, недетерминированная, вероятностная. Определяется понятие протокола, вводится понятие сложности, приводятся примеры протоколов, вычисляющих булевы функции,...
Механико-математический факультет МГУ. 2005. 144с.
Учебное пособие написано на основе специальных курсов "Теория баз данных и информационного поиска" и "Теория интеллектуальных систем", читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ им. М.В.Ломоносова. В книге вводится новый вид представления баз данных, называемый...
2-е изд., перераб. — М.: Высшая школа, 2000. — 320 с. — ISBN: 5-06-003613-8. В книге впервые в отечественной литературе рассматривается связь вопросов арифметики с современными проблемами кибернетики. Она представляет собой сборник задач по арифметике и теории сложности арифметических алгоритмов, позволяющий получить систематические знания в этих областях математики....
3-е изд., испр. — М.: Дрофа, 2005. — 320 с. — (Классический университетский учебник). — ISBN 5-7107-8904-6. В учебном пособии впервые в отечественной литературе рассматривается связь вопросов арифметики с современными проблемами кибернетики. Книга представляет собой сборник задач по арифметике и теории сложности арифметических алгоритмов и позволяет получить систематические...
СПб.: Лань, 2012. — 406 с. Учебное пособие содержит полное изложение материала учебных дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции» Государственного образовательного стандарта высшего профессионального образования по специальностям «Компьютерная безопасность», «Информационная безопасность автоматизированных систем» и некоторым другим смежным...
Учебно-методическое пособие. — Ростов-на-Дону; Таганрог: Южный федеральный университет, 2019. — 50 с. Учебно-методическое пособие является 2-й частью дисциплины «Математическая логика и теория алгоритмов». В нем приведены основные сведения об основных формальных моделях, уточняющих интуитивное понятие алгоритма: рекурсивных функциях, машинах Тьюринга и нормальных алгоритмах...
Учебное пособие. — М.: Первый Московский государственный медицинский университет имени И.М. Сеченова (Сеченовский Университет), Нижний Новгород: Профессиональная наука, 2020. — 134 с. — ISBN 978-5-6044576-2-7. Учебное пособие по изучению дисциплины «Алгоритмические языки» разработано в соответствии с требованиями государственного образовательного стандарта. В пособии...
Пер. с нем. / Под ред. Б. Ф. Мельникова. - 3-е изд. - СПб.: БХВ-Петербург, 2010. - 336с (Учебная литература для вузов)
Изложены основные понятия теоретической информатики: алфавиты, слова, языки, алгоритмические проблемы, конечные автоматы, машины Тьюринга. Рассматриваются теория вычислимости, теория сложности, алгоритмизация труднорешаемых задач, рандомизация, теория связи и...
М.: Мир, Редакция литературы по математическим наукам, 1981. — 364 с. Монография американских авторов, посвященная общим принципам решения задач на ЭВМ, разработке и анализу алгоритмов. Подробно описываются основные этапы решения задач, даются конкретные примеры, иллюстрирующие теоретические выводы и упражнения. По тематике книга пересекается с "Искусством программирования" Д....
М.: Мир, 1982. — 416 с.
300 dpi
Монография американских ученых, посвященная вопросам сложности решения комбинаторных задач, возникающих в дискретной оптимизации, математическом программировании, алгебре, теории чисел, теории автоматов, математической логике, теории множеств, теории графов и т. п. Книга отличается строгим и систематическим изложением теории, в приложении...
Перевод с английского А. С. Куликова под редакцией А. Шеня. — М.: МЦНМО, 2014. — 319 с. В этой книге, предназначенной для студентов математических и программистских специальностей (начиная с младших курсов), подробно разбираются основные методы построения и анализа эффективных алгоритмов. Она основана на лекциях авторов в университетах Сан-Диего и Беркли. Выбор материала не...
Учебно-методическое пособие. — Томск: Томский государственный педагогический университет (ТГПУ), 2019. — 32 с. Пособие содержит основные сведения из теории эффективности: определения, основные теоремы и алгоритмы, а также примеры, иллюстрирующие теоретический материал по отдельным темам. Пособие предназначено для изучения основ теории эффективности студентами различных...
Учебное пособие. — Симферополь: Куб, 2016. — 232 с.: ил. — ISBN: 978-5-9908044-1-8. Введение. Измерение информации. Энтропия и её свойства. Энтропия источника дискретной информации. Свойства энтропии источника дискретной информации. Совместная и условная энтропия. Информация и её свойства. Энтропия непрерывной информации. Передача дискретной информации, пропускная способность...
Учебное пособие. — Барнаул: Алтайский государственный педагогический университет, 2016. — 156 с. — ISBN 978-5-88210-814-3. В пособии представлено описание таких алгоритмических моделей, как класс рекурсивных функций, машина Тьюринга, машина Поста, машины произвольного доступа, нормальные алгоритмы Маркова. Особое внимание уделено разработке вычислительных алгоритмов в указанных...
Ярославль: ЯрГУ, 2008. — 248 с. В учебном пособии рассматриваются основные понятия теории алгоритмов: машины Тьюринга, примитивно рекурсивные, рекурсивные и частично рекурсивные функции, рекурсивные и рекурсивно перечислимые множества, их нумерация, арифметизация теории машин Тьюринга, алгоритмически неразрешимые проблемы из теории алгоритмов, математической логики и алгебры,...
Учебно-методическое пособие. — Ярославль: Ярославский государственный университет им. П.Г. Демидова (ЯрГУ), 2020. — 120 с. В пособии излагаются дополнительные вопросы теории алгоритмов, прежде всего связанные с доказательством фундаментальной теоремы о совпадении классов диофантовых и рекурсивно перечислимых множеств. Приводятся необходимые для этого факты из теории уравнения...
Учебное пособие. — Челябинск: издательский центр ЮУрГУ, 2009. — 64 с. — Кафедра ЭВМ. В пособии рассматриваются общие особенности теории алгоритмов, а также конкретные алгоритмические системы, такие как «Рекурсивные функции», «Машины Поста и Тьюринга», «Нормальные алгоритмы Маркова» и т. п. В соответствии с предметом дисциплины «Математическая логика и теория алгоритмов». Для...
Новосибирск: Изд-во Сибирского отд-ния Российской акад. наук, 2012. — 505 с. — (Интеграционные проекты СО РАН; Вып. 40). — ISBN 978-5-7692-1248-8. Вычислимость и невычислимость Рекурсивность и вычислимость Алгоритм, эффективно вычислимая функция и рекурсивность Алгоритмы и знание Невычислимость Практическая невычислимость Невычислимость, редукционизм и холизм Физикализм,...
Учебное пособие. — Томск: Томский государственный университет, 2005. — 71 с. В пособии содержится материал спецкурса, читаемого автором в последние годы на механико-математическом факультете ТГУ для студентов специализации «Компьютерная математика». Основные разделы: алгоритмы и вычислимые функции, ламбда-исчисление, вычислимое и невычислимое, формальные аксиоматические теории,...
Учебное пособие. — Екатеринбург: Урал. гос. пед. ун-т, 2006. — 149 с. Пособие является курсом лекций по теории алгоритмов и предназначено для студентов дневного и заочного отделений математических факультетов педагогических вузов. Алгоритмы в математике. Основные черты алгоритмов Числовые функции и алгоритмы их вычисления Примитивно рекурсивные функции Частично рекурсивные...
Учебное пособие. — Минск: БГУ, 2013. — 159 с.
В учебном пособии изложены современные методы построения и анализа алгоритмов с использованием эффективных способов хранения, представления и преобразования информации.
Для магистрантов учреждений высшего образования, обучающихся по специальностям «Прикладная математика и информатика» и «Теоретические основы информатики».
Дерево...
СПб.: Питер, 2016. — 800 c. — ISBN: 9785496015455. Впервые на русском языке выходит одна из самых авторитетных книг по разработке и использованию алгоритмов. Алгоритмы — это основа программирования, определяющая, каким образом программное обеспечение будет использовать структуры данных. Вы познакомитесь с базовыми аспектами построения алгоритмов, основными понятиями и...
М.: МЦНМО, 2011 г., 78 с. Содержание: От переводчиков русского издания От переводчика английского издания Предисловие к первому изданию (на французском языке) Введение, определения, примеры Существование устойчивого паросочетания: основной алгоритм Принцип отложенных решений: накопление купонов Теоретические основы: применение в задаче о кратчайшем пути Поиск в хеш-таблицах:...
Учебник. – Самара: Самарский университет, 2018. – 128 с. — ISBN: 978-5-7883-1263-7. Приведены основные направления исследований в теории алгоритмов, определены базовые понятия и требования, предъявляемые к написанию алгоритмов и определению порядка их сложности. Описаны методы и подходы для работы с массивами, списками, деревьями, графами и другими линейными и нелинейными...
Учебное пособие. — Новосибирск: мех.-математический факультет, Новосиб. гос. ун-т, 2015. — 73 с. В настоящем учебном пособии изложены математические основы теории алгоритмов. Пособие отражает содержание лекций основного курса «Дискретная математика и теория алгоритмов» для студентов 1-го курса механико-математического факультета НГУ и охватывает материал из нескольких областей...
Новосибирск: изд. НГУ, 2005. - 89 с.
Конспект лекций для студентов 1 курса.
Содержание.
Предварительные сведения.
Конечные автоматы и формальные грамматики.
Формализации понятия вычислимой функции.
Теория вычислимости.
Теория сложности алгоритмов.
Список литературы.
Учебное пособие. — Новосибирск: мех.-математический факультет, Новосиб. гос. ун-т, 2009. — 107 с. В настоящем учебном пособии изложены математические основы теории алгоритмов. Пособие отражает содержание лекций основного курса «Теория алгоритмов», прочитанных автором для студентов 1-го курса механико-математического факультета НГУ и охватывает материал из нескольких областей...
Новосибирск: НГУ, 2014. — 117 с. Учебное пособие представляет собой изложение курса лекций «Приближенные алгоритмы» , которые включены в программу курса магистратуры ММФ НГУ по специальности «Прикладная математика и информатика». В пособии рассматриваются современные методы и подходы к решению фундаментальных NP-трудных задач дискретной оптимизации, таких как задачи о покрытии,...
М.: МЦНМО, 2000. — 960 с. — ISBN: 5-900916-37-5.
Фундаментальный труд известных специалистов в области кибернетики достоин занять место на полке любого человека, чья деятельность так или иначе связана с информатикой и алгоритмами. Для профессионала эта книга может служить настольным справочником, для преподавателя — пособием для подготовки к лекциям и источником интересных...
М.: МЦНМО, 2001. — 960 с. Книга представляет собой перевод учебника по курсу построения и анализа эффективных алгоритмов, написанного в Массачусетсом технологическом институте; в ней разбираются важнейшие, классы быстрых алгоритмов и приёмы их построения. Изложение подробное и математически строгое. Книгу можно использовать в качестве учебника и справочника; она будет полезна как...
Пер. с англ. — М.: Вильямс, 2005. — 1296 с.: ил. Книга написана очень квалифицированными специалистами-преподавателями Массачусетского технологического института (MIT). Уже более 20-ти лет она является стандартным учебником обязательного предмета "Введение в алгоритмы" для undergraduate (студентов начальных курсов) математиков и компьютерщиков MIT (см....
3-е изд. — М.: Вильямс, 2013. — 1324 с. — ISBN: 978-5-8459-1794-2. Книга "Алгоритмы. Построение и анализ" удачно объединяет в себе полноту охвата и строгость изложения материала. Много книг, посвященных алгоритмам, отличается строгостью изложения материала, но страдает определенной неполнотой; другие книги охватывают огромный объем материала, но недостаточно строго излагают...
Пер. с англ. — М. : Вильямс, 2014. — 208 с.: ил. — ISBN 978-5-8459-1868-0. Эта книга написана признанным авторитетом в области компьютерных алгоритмов — профессором информатики Томасом Корменом. Кормен написал книгу, предназначенную для всех, кого интересуют вопросы, связанные с компьютерными алгоритмами, но базовое образование, да и просто отсутствие времени не позволяют...
Санкт-Петербург: Санкт-Петербургский Государственный институт Точной Механики и Оптики, 2003, 38 с.
Данное пособие посвящено основам теории алгоритмов. Рассматриваются тезис Черча, регистровые машины, некоторые алгоритмические массовые проблемы, разрешимость и перечислимость множества тавтологий, формальные теории, язык Пролог.
Пособие предназначено для студентов компьютерных и...
Учебное пособие для студентов 1 курса. - М.: МАКС Пресс, 2010. - 26 с.
Учебное пособие представляет собой введение к основному курсу лекций для
студентов факультета ВМК МГУ "Алгоритмы и алгоритмические языки". Обсуждается
роль компьютера в решении проблемы накопления и сохранения знаний, детализируется
представление о задаче обработки информации. Вводятся понятия процесса...
Минск : БГУ, 2017. — 183 с. Пособие состоит из двух частей: «Алгоритмы на графах» и «Бинарные поисковые деревья». Первая часть содержит практические задачи, которые могут быть сформулированы в графовой постановке. Далее для их решения применяются соответствующие алгоритмы, например алгоритм построения максимального потока, кратчай шего пути и др. Во второй части рассматриваются...
Минск: Белорусский государственный университет, 2011. — 267 с. В учебном пособии изложены фундаментальные понятия, используемые при разработке алгоритмов и оценке их трудоемкости. Теоретический материал дополнен примерами и рисунками, облегчающими самостоятельное изучение материала, а также перечнем задач для самостоятельного решения. В приложении разбираются алгоритмы решения...
Минск: Белорусский государственный университет, 2011. — 267 с.
В учебном пособии изложены фундаментальные понятия, используемые при разработке алгоритмов и оценке их трудоемкости. Теоретический материал дополнен примерами и рисунками, облегчающими самостоятельное изучение материала, а также перечнем задач для самостоятельного решения. В приложении разбираются алгоритмы решения...
М.: Факториал Пресс, 2006. - 128с.
Учебное пособие написано по материалам полугодового спецкурса, читавшегося автором на механико-математическом факультете МГУ им. М. В. Ломоносова для студентов и аспирантов кафедры математической логики и теории алгоритмов, а также специальности "Защита информации". Излагаются основные идеи и методы теории сложности вычислений.
Для студентов,...
Академия, 2009. - 208 c. В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к формализации понятия алгоритма; даны начала алгоритмической теории множеств; представлены наиболее известные результаты об...
М.: Московский физико-технический институт, 2007. — 135 с.
Элементы теории сложности.
Несложно о сложности. Примеры алгоритмов.
Формально об алгоритмах.
Сложность алгоритмов.
Вероятностные вычисления.
Вероятностно проверяемые доказательства.
Схемы и схемная сложность.
Коммуникационная сложность.
Диаграмма классов сложности.
Приближенные алгоритмы с гарантированными...
Интернет-ресурс, 2009. — 347 с.
Эта книга написана по материалам двух спецкурсов, читавшихся авторами в течение нескольких лет для студентов 4-го и 6-го курсов Московского физико-технического института. Она знакомит читателей как с классическими результатами в разработке эффективных алгоритмов для решения вычислительно-трудных задач, полученными еще в 1960-1970-х годах, так и с...
29 февраля 2016 г. — Интернет-издание, 2016. — 369 с. Настоящее учебное пособие написано по материалам двух спецкурсов, читавшихся авторами в течение нескольких лет для студентов 4-го и 6-го курсов Московского физико-технического института — «Сложность комбинаторных алгоритмов» и «Эффективные алгоритмы». Основная цель пособия заключается в ознакомлении читателей как с...
7 марта 2018 г. — Интернет-издание, 2018. — 368 с. Настоящее учебное пособие написано по материалам двух спецкурсов, читавшихся авторами в течение нескольких лет для студентов 4-го и 6-го курсов Московского физико-технического института — «Сложность комбинаторных алгоритмов» и «Эффективные алгоритмы». Основная цель пособия заключается в ознакомлении читателей как с...
М., 2011. – 363 с. Книга написана по материалам спецкурсов, читавшихся авторами в течение нескольких лет для студентов Московского физико-технического института. Она знакомит читателей как с классическими результатами в разработке эффективных алгоритмов для решения вычислительно-трудных задач, полученными еще в 1960-1970-х годах, так и с новыми результатами, полученными в...
Учебно-методическое пособие. — Москва: МИСИ — МГСУ, 2022. — 43 с. В учебно-методическом пособии по дисциплине «Теория алгоритмов» представлены разделы, традиционно изучаемые в курсе теории алгоритмов: машины Тьюринга, нормальные алгоритмы Маркова, рекурсивные функции и т.д. Рассмотрены вопросы интуитивного и формального определения алгоритмов, сложности и нумерации алгоритмов,...
М.: Институт Системного Программирования РАН, 2004. – 12 с.
При тестировании систем, поведение которых определяется не только последним обращением к ним, а и предшествующей историей работы, т.е. зависит от внутреннего состояния системы, необходимо строить тесты в виде последовательностей обращений, чтобы покрыть возникающие разнообразные ситуации.
Если о системе известно...
Учебное пособие. — М.: Финансы и статистика, 1985. — 223 с. Рассматриваются основы программирования на базе языков Алгол-60, Ассемблер, Фортран и ПЛ/1, излагаются эффективные численные методы, используемые при решении вычислительных задач. Все объяснения ведутся на простых примерах, по принципу «от простого к сложному». Для учащихся техникумов, обучающихся по специальности...
Запорожье: Запорожский национальный университет, 2012. — 196 с. — ISBN: 978-966-599-408-4. Изучение алгоритмов является самой сердцевиной науки о вычислениях. Приемы создания алгоритмов и алгоритмические методы рассматриваются во многих не только классических университетских курсах, но и во многих инженерных дисциплинах. К настоящему времени в мировой практике накоплен огромный...
Запорожье: Запорожский национальный университет, 2012. — 196 с. — ISBN 978-966-599-408-4. Изучение алгоритмов является самой сердцевиной науки о вычислениях. Приемы создания алгоритмов и алгоритмические методы рассматриваются во многих не только классических университетских курсах, но и во многих инженерных дисциплинах. К настоящему времени в мировой практике накоплен огромный...
СПб.: БХВ-Петербург, 2002. — 320 с.: ил. — ISBN 5-94157-069-4. Современное программирование излагается как искусство заставить компьютер решить задачу, возникшую перед человеком. Даны единые основания математики и программирования, краткие сведения из области графов, теории вероятностей и информации (в ее математическом толковании). Приведены основные понятия и конструкции...
Учебно-методическое пособие. — Псков: Псковский государственный университет, 2016. — 76 с. — ISBN: 978-5-91116-424-9. Рассмотрены несколько формализаций понятия алгоритма: конечные автоматы, машины Тьюринга, нормальные алгоритмы Маркова и рекурсивные функции. Изложение материала сопровождается большим количеством примеров и задач разного уровня сложности. Предназначено для...
Учебное пособие. — Махачкала: ДГУНХ, 2017. — 54 с. Учебное пособие «Теория алгоритмов» предназначено для базовой компьютерной подготовки студентов первого и второго курсов очного отделения специальности «Программирование в компьютерных системах (по отраслям)». Темы пособия соответствуют рабочей программе дисциплины «Теория алгоритмов» и состоят из теоретического материала и...
Москва: Техносфера, 2002. — 368 с. — (Мир программирования). — ISBN: 5-94836-005-9. По истечении десятилетия элементная база компьютеров, операционные системы, средства доступа и внешний вид программ меняются коренным образом, однако структуры и алгоритмы, лежащие в их основе, остаются неизменными в течение гораздо большего времени. Эти основы начали закладываться тысячелетия...
2-е изд., доп. — М.: Техносфера, 2004. — 368 с. — (Мир программирования). — ISBN 5-94836-005-9. В учебном пособии обсуждаются алгоритмы решения наиболее широко распространенных классов задач, покрывающих практически всю область программирования: поиск и сортировка, численные алгоритмы и алгоритмы на графах. Особое внимание уделено алгоритмам параллельной обработки, редко...
М.; Л.: Издательство Академии Наук СССР, 1954. — 377 с. Книга вводит читателя в область теории алгоритмов. В ней отыскали отблеска эти нюансы доктрины как многоцелевые, обычные методы, исчисления Поста, комбинаторная неувязка Поста, неувязка определения применимости алгоритмов и всякое разное. Книга написана на высочайшем математическом уровне.
Тула: ТГПУ им. Л.Н.Толстого, 2018. — 72 с. В предлагаемом пособии дано описание комплекса лабораторных работ по дисциплине «Алгоритмы и анализ сложности» блока дисциплин базовой части учебного плана направления подготовки 02.03.02 Фундаментальная информатика и информационные технологии (профиль «Открытые информационные системы»). В работе раскрываются особенности изучения...
М.: Физматлит, 2017. — 136 с. — ISBN: 978-5-9221-1714-2 В книге представлены основные классы элементарных рекурсивных функций, изучаемых в теории рекурсивных функций. Приведены различные определения исследуемых классов, установлены соотношения включения между ними. В терминах сложности вычислений получено описание большого числа классов элементарных функций. Для ряда классов...
Прометей, 2020. — 90 с. В учебном пособии изложены подходы к формализации понятий алгоритма. В нем уточняется понятие алгоритма через математическую машину Тьюринга и машину с неограниченным количеством регистров (МНР) и рассматриваются некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов пособие содержит задания для самостоятельной работы....
Курс лекций. — М.: МИСиС, 2011. — 170 с. — ISBN 978-5-87623-421-6. Рассмотрены основные элементы алгоритмических языков программирования. Приводятся многочисленные примеры, в которых изложено все, что нужно современному специалисту для создания приложений: конструкции языка, динамические структуры данных и основы объектно-ориентированного подхода при разработке программ....
Киев: Выща школа, 1989. — 166 с. — ISBN: 5-11-000002-6. В монографии описаны алгоритмы решения задач линейного, сепарабельного, нелинейного дискретного программирования с блочной структурой ограничений, имеющие псевдополиномиальную оценку числа вычислений. Описаны классы прикладных задач дискретного программирования. Изложены новые возможности использования моделей линейного...
Учебно-методическое пособие. — Том. гос. ун-т, ФПМК. — Томск : ТГУ, 2009. — 39 с. В пособии обсуждаются понятие алгоритма, сложившееся в математике на протяжении тысячелетий, и необходимость формализации этого понятия, возникшая в 30-х годах XX века. Далее приводятся три способа такой формализации : нормальные алгоритмы Маркова, машины Тьюринга, рекурсивные функции. Пособие...
М.: Мир, 1984. - 510 с.
В предлагаемой вниманию читателей книге удачно синтезированы вопросы, которые ранее в литературе освещались изолированно. Объединяющим все изложение лейтмотивом послужила задача линейного программирования, занимающая важное место в истории развития теории алгоритмов.
М.: Физматлит, 2010. — 224 с. — ISBN: 978-5-9221-1264-2. В пособии рассматриваются основные вопросы, связанные с применением аппарата теории вероятностей и математической статистики к исследованию и анализу компьютерных алгоритмов. Вводятся новые оценки качества компьютерных алгоритмов — информационная чувствительность и доверительная трудоемкость, актуальные при проектировании...
2-е исправленное и доп. издание. — М.: МГУ, 2016. — 72 с. Пособие посвящено решению задач по теме «Введение в теорию алгоритмов», изучаемой на первом курсе факультета ВМК МГУ в рамках дисциплины «Алгоритмы и алгоритмические языки». Это задачи на составление алгоритмов в виде машины Тьюринга и нормальных алгоритмов Маркова, а также задачи теоретического характера. В пособии...
Уч-метод. пособие — М.: ВМК МГУ, 2006. — 47 с.
Задачи на составление алгоритмов в виде машины Тьюринга и нормальных алгоритмов Маркова, а также задачи теоретического характера.
Сведения по теории алгоритмов, типичные приёмы решения задач и большой набор задач для самостоятельного решения.
Пособие рассчитано на студентов 1 курса факультета ВМК МГУ и преподавателей, ведущих...
Учебно-методическое пособие, М.: МГУ, 2012. - 38 с.
Рекурсия – мощный инструмент программирования, по выразительным возможностям близкий к циклам. Рекурсия широко применяется при решении игровых и переборных задач. Однако зачастую освоение рекурсии представляет существенную сложность для начинающих программистов. Данное пособие посвящено обсуждению понятия рекурсии,...
Новосибирск: НГУ, 2005. - 130 с. Курс по теории алгоритмов является составной частью дисциплины "Математическая логика", читаемого на 2-3 курсах механико-математического факультета НГУ. В настоящем курсе подробно рассматриваются конечные автоматы и языки, рекурсивные функции и понятие вычислимости, вопросы сложности вычислений.
Учебное пособие. – СПб: СПб НИУ ИТМО, 2012. – 51 с. Пособие содержит обзор моделей алгоритма: - алгоритмы распознавания регулярных языков конечными автоматами; - свойства читающих, записывающих конечных автоматов и автоматов с выходом; - преобразования блок-схем в конечные автоматы и регулярные выражения; - машины Тьюринга и Поста; - ассоциативные вычисления; - рекурсивные...
Учебное пособие. — Москва: МФТИ, 2016. — 138 с. Рассматриваются основы теории рекурсии, ее использование в области разработки рекурсивных алгоритмов и программирования. Приводятся основные сведения о рекурсивных функциях, даны разнообразные примеры рекурсивных алгоритмов. Описаны структуры данных, их компьютерное представление и алгоритмы обработки, знания которых лежат в...
Учебное пособие. — Москва: МФТИ, 2017. — 216 с. Пособие посвящено одному из наиболее интересных и практически ценных разделов информатики и дискретной математики – теории графов. Цель пособия – в весьма ограниченном объеме дать студентам достаточно широкий обзор различных задач теории графов. Рассмотрены базовые алгоритмы решения этих задач с такой степенью доскональности,...
2-е изд., испр. –– М.: МЦНМО, 2019. –– 32 с. –– ISBN: 978-5-4439-2826-5 Брошюра написана по материалам курса, прочитанного автором в 2010 г. в Летней школе «Современная математика». В ней рассказывается об основных понятиях теории алгебраической сложности, и приводятся её начальные утверждения. Рассматриваются задачи эффективного вычисления полиномов и билинейных форм,...
Электронное издание. — М.: МЦНМО, 2016. — 31 с. — ISBN: 978-5-4439-3032-9. Брошюра написана по материалам курса, прочитанного автором в 2010 г. в Летней школе «Современная математика». В ней рассказывается об основных понятиях теории алгебраической сложности и приводятся её начальные утверждения. Рассматриваются задачи эффективного вычисления полиномов и билинейных форм,...
2-е изд., испр. –– М.: МЦНМО, 2019. –– 24 с. Текст брошюры является переводом статьи «Communication complexity», опубликованной в сборнике «An Invitation to Mathematics: From Competitions to Research», D. Schleicher, M. Lackmann (eds.), Springer, 2011, при написании которой использовались материалы курса, прочитанного автором в 2009 году в Летней школе «Современная математика». В...
М.: Мир, 1972. — 624 с. Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых последних лет. Не предполагающая в основной своей части никаких предварительных знаний, кроме знакомства с...
Учебное пособие. — Ярославль: Ярославский государственный университет им. П.Г. Демидова (ЯрГУ), 2005. — 143 с. — ISBN: 5-8397-0382-6. В учебном пособии излагаются основы алгоритмической грамотности (уточнение понятия алгоритма и алгоритмическая неразрешимость, анализ сложности алгоритмов, построение и анализ алгоритмов сортировки и поиска информации, выделение класса...
М.: МФТИ, 2019. — 109 с. Эти заметки написаны по материалам моих семинаров по курсу «Теория и реализация языков программирования», которые я веду на факультете управления и прикладной математики МФТИ. В течение последних шести лет, я давал своим студентам еженедельные домашние задания, которые включали теоретический материал. В этом году я решил переработать еженедельные...
М.: Изд-во Моск. гос. ун-та гражд. авиации, 2003. - 237 с. Учебное пособие. Содержание: Множества и мощности. Упорядоченные множества. Логика высказываний. Языки первого порядка. Исчисление предикатов. Вычислимые и универсальные функции. Машины Тьюринга. В основном тексте содержится более 200 задач теоретической направленности.
Учебно-методическое пособие. – М.: Издательский отдел факультета ВМК МГУ, 2014. - 68 с. Методическое пособие посвящено сбалансированным деревьям поиска. В начале пособия рассматриваются деревья поиска общего вида. Далее рассматриваются три вида сбалансированных деревьев поиска: АВЛдеревья, красно-черные деревья и самоперестраивающиеся деревья. Теоретический материал...
Учебное пособие. — Магнитогорск: Магнитогорский государственный технический университет им. Г.И. Носова, 2021. — 93 с. — ISBN 978-5-9967-2115-3. Содержит следующие разделы: детерминированная машина Тьюринга. Тезис Тьюринга; недетерминированная машина Тьюринга. Класс NP; самые трудные задачи из класса NP; переборные методы решения NP-полных задач. Алгоритмы с возвратом;...
У посібнику запропоновано модель вивчення основ алгоритмізації та програмування з використанням інтегрованого середовища, де на відміну від традиційного підходу головна увага приділяється задачі аналізу на всіх стадіях процесу проектування та реалізації алгоритмів. Описано новий підхід до вивчення поняття складності та вивчення властивостей алгоритмів і вибору оптимального...
Учебное пособие по алгоритмам в информатике. Перевод: Кириленко Вадим (главы 1-12), Волошко Роман Владимирович (главы13-19) Москва : Издательство «Э», 2016. - 544 с. - (Мировой компьютерный бестселлер). ISBN: 978-5-699-81729-0 Тираж 2000 экз. Алгоритмы — это рецепты, которые делают возможным эффективное программирование. Их изучение позволяет усвоить общие подходы к решению...
Учебное пособие. Москва, МИФИ, 2008. 176 стр. - ISBN: 978-5-7262-1078-0 Книга посвящена теории алгоритмов и содержит основные сведения о свойствах алгоритмов и способах их формального представления (машины Тьюринга, алгоритмы Маркова, рекурсивные функции). Изложены основы теории бесконечных множеств, рассмотрены вопросы нахождения эффективных процедур для перечисления объектов...
М.: НИЯУ МИФИ, 2011. – 132 с. Даны базовые понятия теории алгоритмов, основные определения, свойства и теоремы. Теоретическая часть изложена кратко и носит справочный характер, цель – дать основу для решения практических задач и подготовки к сдаче экзамена. В каждом разделе приведены типовые задачи и вопросы с подробными решениям. Материал ориентирован на темы, изучаемые на...
М. : Советское радио, 1974 . – 200 с. Книга является общедоступным введением в теорию алгоритмов и рассматривает круг вопросов, лежащих на грани между математической логикой и теорией автоматических вычислительных машин. Рассчитана на широкий круг читателей, интересующихся кибернетикой, вычислительной математикой и техникой.
Навчально-методичний посібник. — Київ: Університет економіки та права «КРОК», 2023. — 123 с. У навчально - методичному посібнику викладено найважливіші теми дисципліни «Теорія алгоритмів». Посібник містить теоретичний матеріал, що складається з восьми розділів та завдань для лабораторних робіт для закріплення отриманих знань на практиці. Посібник призначений для здобувачів...
Учебное пособие. М.: НАУКА, ФИЗМАТЛИТ, 2007. – 376 с. Разработка и анализ компьютерных алгоритмов — новая дисциплина, возникшая на стыке дискретной математики, программирования и классической теории алгоритмов, играющая важную роль в современных компьютерных технологиях. Для большинства практически значимых задач, решаемых сегодня с использованием компьютеров, существуют...
М.: Физматлит, 2008. — 304 с. — (Информационные и компьютерные технологии). — ISBN: 978-5-9221-0950-5. В пособии полно и на современном уровне изложены вопросы выбора рациональных алгоритмических решений, в том числе и комбинированных, важные в практическом плане и актуальные при проектировании информационных и программных систем. Пособие может использоваться в качестве...
Учебное пособие. — М.: Московский государственная академия приборостроения и информатики (МГАПИ), 2003. — 47 с., 80 с. Предлагаемое издание рекомендуется в качестве учебного пособия для подготовки студентов различных специальностей, изучающих математическую логику и теорию алгоритмов. Издание может быть использовано в качестве учебного пособия по разделу «Математическая логика»...
2-е изд., исправленное. — М.: МЦНМО, 2009. — 48 с. — ISBN: 978-5-94057-485-9. Файл: отскан. страницы (b/w 600 dpi) + OCR + букмарки. Брошюра написана по материалам лекции, прочитанной автором 23 июля 2005 года в летней школе «Современная математика» в Дубне. Она посвящена формализации такого интуитивно ясного термина, как «случайность». В брошюре рассматривается четыре разных...
М.: МЦНМО, 2010.— 556 с.
Классическая (шенноновская) теория информации измеряет количество информации в случайных величинах. В середине 1960-х годов
А. Н. Колмогоров (и другие авторы) предложили измерять количество информации в конечных объектах с помощью теории алгоритмов, определив сложность объекта как минимальную длину программы, порождающей этот объект.
Это определение...
М.: Наука, Физматлит, 1987. — 288 с. — (Библиотечка программиста). Понятие алгоритма является одним из наиболее фундаментальных понятий информатики и математики. Систематическое изучение алгоритмов привело к созданию особой дисциплины, пограничной между математикой и информатикой — теории алгоритмов. В книге дается обзор важнейших достижений теории алгоритмов за последние...
Учебно-методическое пособие. — Шахты: Южно-Российский государственный университет экономики и сервиса (ЮРГУЭС), 2011. — 66 с. Учебно-методическое пособие охватывает традиционные разделы математической логики и теории алгоритмов. Значительное место в пособии занимает описание методов, наиболее часто применяемых на практике при решении задач математической логики и теории...
М. : Радио и связь, 1984. — 153 с. Показана возможность построения алгоритмов решения широкого класса логических задач с использованием алгебры высказываний. Рассмотрены вопросы диагностики, анализа и синтеза релейно-контактных схем, задачи о расписании, задачи о счетчиках, автоматах и др. Для интересующихся проблемами кибернетики и вычислительной техники.
2-е изд., исправленное. — М.: Интуит, 2016. — 336 с. Курс содержит задачи по программированию различной трудности. Большинство задач приводятся с решениями. Цель курса - научить основным методам построения корректных и быстрых алгоритмов. Курс будет полезен учителям информатики, старшеклассникам, студентам младших курсов высших учебных заведений. Курс может быть использован на...
М.: Научный мир, 2009. — 160 с. ISBN: 978-5-91522-055-2 В предлагаемом учебном пособии изложены самые начала теории алгоритмов - базисные понятия теории алгоритмов: предписание (исходное неопределяемое понятие), перечислимое множество, алгоритм, вычислимая функция, разрешимое множество, и один из формальных универсальных языков для записи предписаний, работающих со словами...
Курс лекций. — М.: МИСиС, 1977. — 127 с. Излагаемый курс преследует две цели. С одной стороны, рассматриваются принципиальные вопросы, связанные с вычислениями, не зависящие от конкретной концепции машины. К ним относятся, например, следующие. Всякая ли задача может быть решена на машине (при наличии неограниченного ресурса памяти и времени), что такое "универсальная машина" и...
Практикум. — Ярославль: Ярославский государственный университет им. П.Г. Демидова, 2016. — 76 с. В практикуме содержатся задачи по алгебраической алгоритмике по темам, изучаемым в четвертом семестре студентами специальности "Компьютерная безопасность" в курсе "Алгебраическая алгоритмика." Для решения предлагаемых задач требуется знать основные алгебраические и числовые...
Комментарии