Зарегистрироваться
Восстановить пароль
FAQ по входу

Теория алгоритмов

Требуется помощь в преобразовании раздела Информатика и вычислительная техника

Если Вы компетентны в тематике этого раздела, то Вас, возможно, заинтересует обсуждение планируемых преобразований.

Смотри также

Теги, соответствующие этому тематическому разделу

Файлы, которые ищут в этом разделе

Доверенные пользователи и модераторы раздела

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...
  • №1
  • 16,79 МБ
  • добавлен
  • изменен
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...
  • №2
  • 5,73 МБ
  • добавлен
  • изменен
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 finite...
  • №3
  • 1,63 МБ
  • добавлен
  • изменен
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...
  • №4
  • 19,65 МБ
  • добавлен
  • изменен
Издательство 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...
  • №5
  • 3,58 МБ
  • добавлен
  • изменен
Boca Raton: CRC Press LLC, 2000. — 1265 р. This book contains information obtained from authentic and highly regarded sources. Reprinted material is quoted with permission, and sources are indicated. A wide variety of references are listed. Reasonable efforts have been made to publish reliable data and information, but the author and the publisher cannot assume responsibility...
  • №6
  • 11,05 МБ
  • добавлен
  • изменен
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...
  • №7
  • 10,74 МБ
  • добавлен
  • изменен
CreateSpace Independent Publishing Platform, 2010. — 222 p. — ISBN-10 1453792996. Algorithms For Interviews (AFI) aims to help engineers interviewing for software development positions as well as their interviewers. AFI consists of 174 solved algorithm design problems. It covers core material, such as searching and sorting; general design principles, such as graph modeling and...
  • №8
  • 15,46 МБ
  • добавлен
  • изменен
Издательство InTech, 2008, -596 pp. Сборник статей 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...
  • №9
  • 55,32 МБ
  • добавлен
  • изменен
Издательство 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...
  • №10
  • 4,54 МБ
  • добавлен
  • изменен
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...
  • №11
  • 24,82 МБ
  • добавлен
  • изменен
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...
  • №12
  • 200,00 МБ
  • добавлен
  • изменен
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...
  • №13
  • 200,00 МБ
  • добавлен
  • изменен
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...
  • №14
  • 106,16 МБ
  • добавлен
  • изменен
N.-Y.: Prentice Hall, 1997. - 312p. It's main purpose is to show how to calculate programs. Describing an algebraic approach to programming based on a categorical calculus of relations, Algebra of Programming is suitable for the derivation of individual programs, and for the study of programming principles in general. The programming principles discussed are those paradigms and...
  • №15
  • 2,07 МБ
  • добавлен
  • изменен
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...
  • №16
  • 737,30 КБ
  • добавлен
  • изменен
Springer, 2017. — 114 p. — (Lecture Notes in Computer Science). — ISBN 10 3319678094, 13 978-3319678092. This book constitutes the proceedings of the 14th International Workshop Algorithms and Models for the Web Graph, WAW 2017, held in Toronto, ON, Canada, in June 2017. The 7 full papers presented in this volume were carefully reviewed and selected from 14 submissions. The papers...
  • №17
  • 6,44 МБ
  • добавлен
  • изменен
Издательство 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...
  • №18
  • 1,31 МБ
  • добавлен
  • изменен
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...
  • №19
  • 8,12 МБ
  • добавлен
  • изменен
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....
  • №20
  • 3,85 МБ
  • дата добавления неизвестна
  • изменен
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...
  • №21
  • 27,61 МБ
  • добавлен
  • изменен
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...
  • №22
  • 4,24 МБ
  • добавлен
  • изменен
Издательство North-Holland, 1989, -611 pp. The theme of this book is a pair of concepts, already recognised as belonging together by Leibniz, whose mathematical development from Frege to Turing has laid the theoretical foundation of computer science: the concept of formal language as carrier of the precise expression of meaning, facts , problems, and the concept of algorithm or...
  • №23
  • 3,63 МБ
  • добавлен
  • изменен
New York: Springer, 2013. — 193 p. Aimed at mathematicians and computer scientists who will only be exposed to one course in this area, Computability: AMathematical Sketchbookprovides a brief but rigorous introduction to the abstract theory of computation, sometimes also referred to as recursion theory. It develops major themes in computability theory, such as Rice's theorem and...
  • №24
  • 19,00 МБ
  • добавлен
  • изменен
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...
  • №25
  • 2,69 МБ
  • добавлен
  • изменен
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...
  • №26
  • 12,12 МБ
  • добавлен
  • изменен
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...
  • №27
  • 2,05 МБ
  • добавлен
  • изменен
Издательство North-Holland, 1988, -500 pp. During the 1890's, when Peano's five axioms were set afloat, a great effort was done to establish what functions are or are not what we can today algorithmically computable functions. Dedekind and Peano have been the first to use functions defined by induction, an important preliminary stage of the recursive function theory. The...
  • №28
  • 2,02 МБ
  • добавлен
  • изменен
Springer, 1999. — 533 p. — ISBN 3-540-63369-3. A Source Book for the History of Mathematics, but one which offers a different perspective by focusing on algorithms. With the development of computing has come an awakening of interest in algorithms. Often neglegted by historians and modern scientists, more concerned with the nature of concepts, algorithmic procedures turn out to...
  • №29
  • 6,56 МБ
  • добавлен
  • изменен
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...
  • №30
  • 712,58 КБ
  • дата добавления неизвестна
  • изменен
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...
  • №31
  • 5,62 МБ
  • добавлен
  • изменен
Репринтное воспроизведение издания 1941 года, в котором Алонзо Черч впервые подробно описал ныне широко известное λ-исчисление, разработанное им в начале 1930х годов. Особенность λ-исчисления, отличающая его от исчисления предикатов - формализация применения функций. В нем легко выражаются сложные понятия - например, натуральные числа, причем это достигается без введения...
  • №32
  • 18,40 МБ
  • добавлен
  • изменен
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...
  • №33
  • 29,71 МБ
  • добавлен
  • изменен
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...
  • №34
  • 2,21 МБ
  • добавлен
  • изменен
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...
  • №35
  • 2,28 МБ
  • добавлен
  • изменен
This book provides a comprehensive introduction to the modern study of computer algorithms. It presents many algorithms and covers them in considerable depth, yet makes their design and analysis accessible to all levels of readers. We have tried to keep explanations elementary without sacrificing depth of coverage or mathematical rigor.Each chapter presents an algorithm, a design...
  • №36
  • 17,81 МБ
  • дата добавления неизвестна
  • изменен
McGrаw-Нill 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...
  • №37
  • 5,72 МБ
  • добавлен
  • изменен
Independently published, 2019. — 363 p. — ISBN-10: 1686863268; ISBN-13: 978-1686863264 This book was written to fill the gap that exists when Computer Science students, and programmers, attempt to learn and analyze the different algorithms that currently exist. I took a course on Algorithms and was disappointed in the type of material that’s currently available. There are two...
  • №38
  • 50,57 МБ
  • добавлен
  • изменен
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,...
  • №39
  • 4,53 МБ
  • добавлен
  • изменен
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 a...
  • №40
  • 1,49 МБ
  • добавлен
  • изменен
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 a...
  • №41
  • 1,11 МБ
  • добавлен
  • изменен
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...
  • №42
  • 5,32 МБ
  • добавлен
  • изменен
Издательство John Wiley, 2000, -506 pp. Computational complexity theory has been a central area of theoretical computer science since its early development in the mid-1960s. Its subsequent rapid development in the next three decades has not only established itself as a rich, exciting theory but also shown strong influence on many other related areas in computer science,...
  • №43
  • 5,67 МБ
  • добавлен
  • изменен
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,...
  • №44
  • 2,36 МБ
  • добавлен
  • изменен
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...
  • №45
  • 3,24 МБ
  • добавлен
  • изменен
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.
  • №46
  • 1,02 МБ
  • добавлен
  • изменен
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 of...
  • №47
  • 2,73 МБ
  • добавлен
  • изменен
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 of...
  • №48
  • 15,32 МБ
  • добавлен
  • изменен
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 infinite...
  • №49
  • 3,06 МБ
  • добавлен
  • изменен
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 1960s,...
  • №50
  • 3,68 МБ
  • добавлен
  • изменен
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,...
  • №51
  • 2,62 МБ
  • добавлен
  • изменен
W.H. Freeman, 1979. — 347 p. Few technical terms have gained such rapid notoriety as the appelation "NP-complete." In the short time since its introduction in the early 1970's, this term has come to symbolize the abyss of inherent intractability that algorithm designers increasingly face as they seek to solve larger and more complex problems. A wide variety of commonly...
  • №52
  • 2,72 МБ
  • добавлен
  • изменен
Kluwer Academic Publishers, 1992. - 585 pages. Algorithms for Computer Algebra is the first comprehensive textbook to be published on the topic of computational symbolic mathematics. The book first develops the foundational material from modern algebra that is required for subsequent topics. It then presents a thorough development of modern computational algorithms for such...
  • №53
  • 4,69 МБ
  • дата добавления неизвестна
  • изменен
Издательство Cambridge University Press, 2008, -632 pp. 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...
  • №54
  • 3,30 МБ
  • добавлен
  • изменен
Издательство Cambridge University Press, 2010, -216 pp. 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...
  • №55
  • 1,11 МБ
  • добавлен
  • изменен
New York: Springer, 2018. — 355 p. Contents : Foreword Contents Introduction 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 References Introduction Membrane Systems The...
  • №56
  • 6,94 МБ
  • добавлен
  • изменен
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...
  • №57
  • 1,44 МБ
  • добавлен
  • изменен
Birkhauser, 2008. — 132 р. — ISBN-13 978-0-8176-4728-5 e-ISBN-13 978-0-8176-4729-2. This monograph is derived from an advanced course in computer science at Stanford University on the analysis of algorithms. The course presents examples of the major paradigms used in the precise analysis of algorithms, emphasizing some of the more difficult techniques. Much of the material is...
  • №58
  • 1,13 МБ
  • добавлен
  • изменен
Birkhauser, 1981. - 107 pages. A quantitative study of the efficiency of computer methods requires an in-depth understanding of both mathematics and computer science. This monograph, derived from an advanced computer science course at Stanford University, builds on the fundamentals of combinatorial analysis and complex variable theory to present many of the major paradigms used...
  • №59
  • 633,50 КБ
  • дата добавления неизвестна
  • изменен
Third Edition. — Boston: Birkhäuser, 1990. — 139 р. — ISBN 0817635157, 978-0817635152. 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...
  • №60
  • 834,63 КБ
  • добавлен
  • изменен
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...
  • №61
  • 4,77 МБ
  • добавлен
  • изменен
Издательство Springer, 2002, -378 pp. We intend this book as a companion far students and professionals who seek an accessible, algorithmically oriented, research-centered, up-to-date guide to some of the most interesting techniques of complexity theory. The authors and their colleague Joel Seiferas have test-driven the book's approach in two different courses at the University...
  • №62
  • 3,26 МБ
  • добавлен
  • изменен
Издательство Springer, 2012, -315 pp. Second Edition The theory of computing provides computer science with concepts, models, and formalisms for reasoning about both the resources needed to carry out computations and the efficiency of the computations that use these resources. It provides tools to measure the difficulty of combinatorial problems both absolutely and in...
  • №63
  • 2,43 МБ
  • добавлен
  • изменен
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....
  • №64
  • 12,06 МБ
  • добавлен
  • изменен
Издательство MIT Press, 1997, -484 pp. Unlike most fields within computer science, computability and complexity theory deals with analysis as much as with synthesis and with some concepts of an apparently absolute nature. Work in logic and recursive function theory spanning nearly the whole century has quite precisely delineated the concepts and nature of effective procedures,...
  • №65
  • 1,68 МБ
  • добавлен
  • изменен
Из серии 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...
  • №66
  • 566,50 КБ
  • добавлен
  • изменен
2nd edition. — Springer, 2016. — 2428 p. — ISBN-10: 1493928635, ISBN-13: 9781493928637. Covers a wealth of problems currently relevant in diverse fields including biology, economics, financial software and computer science, amongst others Presents accessible, updated and enhanced, A-Z entries with useful cross-references Features examples from growing areas such as...
  • №67
  • 48,84 МБ
  • добавлен
  • изменен
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...
  • №68
  • 15,83 МБ
  • добавлен
  • изменен
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...
  • №69
  • 8,66 МБ
  • добавлен
  • изменен
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...
  • №70
  • 4,36 МБ
  • добавлен
  • изменен
Pearson Education, Inc., 2005. - 857 p. Introduction : Some representative problems. Basics of Algorithm Analysis. Graphs. Greedy Algorithms. Divide and Conquer. Dynamic Programming. Network Flow. NP and Computational Intractability. PSPACE: A Class of problems beyond NP. Extending the Limits of Tractability. Approximation Algorithms. Local Search. Randomized...
  • №71
  • 10,54 МБ
  • добавлен
  • изменен
Издательство Springer, 2006, -405 pp. 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...
  • №72
  • 2,75 МБ
  • добавлен
  • изменен
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 field....
  • №73
  • 3,40 МБ
  • добавлен
  • изменен
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...
  • №74
  • 49,13 МБ
  • добавлен
  • изменен
Springer, 2018. — 283 p. This invaluable textbook presents a comprehensive introduction to modern competitive programming. The text highlights how competitive programming has proven to be an excellent way to learn algorithms, by encouraging the design of algorithms that actually work, stimulating the improvement of programming and debugging skills, and reinforcing the type of...
  • №75
  • 3,47 МБ
  • добавлен
  • изменен
Budapest: Typotex, 2014. — 261 p. Contents : Introduction 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...
  • №76
  • 2,89 МБ
  • добавлен
  • изменен
Из серии 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...
  • №77
  • 943,48 КБ
  • добавлен
  • изменен
Издательство Springer, 2010, -222 pp. 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...
  • №78
  • 2,34 МБ
  • добавлен
  • изменен
Издательство Springer, 1979, -228 pp. 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...
  • №79
  • 5,01 МБ
  • добавлен
  • изменен
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 only...
  • №80
  • 10,38 МБ
  • добавлен
  • изменен
Springer, 2017. — 736 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 only...
  • №81
  • 11,08 МБ
  • добавлен
  • изменен
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...
  • №82
  • 4,87 МБ
  • добавлен
  • изменен
Издательство Springer, 1998, -337 pp. 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...
  • №83
  • 5,17 МБ
  • добавлен
  • изменен
D. Reidel, 1987. — 384 p. The purpose of this book is manyfold. It is intended both to present techniques useful in software engineering and to expose results of research on properties of these techniques. The major goal of the book is to help the reader in elaboration of his own views on foundations of computing. The present authors believe that semantics of programs will always...
  • №84
  • 5,71 МБ
  • добавлен
  • изменен
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...
  • №85
  • 11,21 МБ
  • добавлен
  • изменен
Издательство Oxford University Press, 2009, -880 pp. 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...
  • №86
  • 4,88 МБ
  • добавлен
  • изменен
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, and...
  • №87
  • 51,68 МБ
  • добавлен
  • изменен
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 developments...
  • №88
  • 24,13 МБ
  • добавлен
  • изменен
N.-Y.: Addison-Wesley, 1998. - 471p. 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 developments to practical...
  • №89
  • 3,37 МБ
  • добавлен
  • изменен
Addison-Wesley, 1998. - 453 Pages. 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 developments to practical...
  • №90
  • 17,66 МБ
  • добавлен
  • изменен
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,...
  • №91
  • 4,66 МБ
  • добавлен
  • изменен
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...
  • №92
  • 6,32 МБ
  • добавлен
  • изменен
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...
  • №93
  • 2,62 МБ
  • добавлен
  • изменен
N.-Y.: Jones & Bartlett Learning, 2014. - 676p. Foundations of Algorithms, Fifth Edition offers a well-balanced presentation of algorithm design, complexity analysis of algorithms, and computational complexity. Ideal for any computer science students with a background in college algebra and discrete structures, the text presents mathematical concepts using standard English and...
  • №94
  • 20,58 МБ
  • добавлен
  • изменен
Jones and Bartlett Publishers, 2004. - 618 pages. ISBN: 0763723878 3rd edition Foundations of Algorithms Using C++ Pseudocode, Third Edition offers a well-balanced presentation on designing algorithms, complexity analysis of algorithms, and computational complexity. The volume is accessible to mainstream computer science students who have a background in college algebra and...
  • №95
  • 16,68 МБ
  • добавлен
  • изменен
Издательство 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...
  • №96
  • 7,36 МБ
  • добавлен
  • изменен
Издательство 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...
  • №97
  • 2,70 МБ
  • добавлен
  • изменен
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.
  • №98
  • 514,87 КБ
  • добавлен
  • изменен
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.
  • №99
  • 1,27 МБ
  • добавлен
  • изменен
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...
  • №100
  • 7,74 МБ
  • добавлен
  • изменен
Издательство McGrow-Hill, 1967, -504 pp. In addressing the American Mathematical Society in 1944, E. L. Post concluded, "Indeed, if general recursive function is the formal equivalent of effective calculability, its formulation may play a role in the history of combinatory mathematics second only to that of the formulation of the concept of natural number." This book may be...
  • №101
  • 4,90 МБ
  • добавлен
  • изменен
Rnssd Warren Schaifer, 1992. — 91 р. Heapsort is a classical sorting algorithm doe to Williams. Given an array to sort, Heapsort first transforms the keys of the array into a heap. The heap is then sorted by repeatedly swapping the root of the heap with the last key in the bottom row, and then sifting this new root down to an appropriate position to restore heap order. This...
  • №102
  • 1,02 МБ
  • добавлен
  • изменен
Bibliographisches Institut & F.A. Brockhaus AG, 1994. — 311 p. About ten years ago I have started my work on a voluminous book project with tentative title Computational Complexity and Fundamental Problems of Numerical Mathematics. One of the central goals with this project is a thorough development of my Splitting Circle Method for fast approximate factorization of complex...
  • №103
  • 2,99 МБ
  • добавлен
  • изменен
3rd Edition. — Cengage Learning, 2013. — XXII, 458 p. — ISBN-13: 978-1-133-18779-0; ISBN-10: 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...
  • №104
  • 10,24 МБ
  • добавлен
  • изменен
Second Edition. — Thomson Course Technology, 2006. — xx+432 p. — ISBN 0-534-95097-3. This highly anticipated revision of Michael Sipser's popular text builds upon the strengths of the previous edition. It tells the fascinating story of the theory of computation-a subject with beautiful results and exciting unsolved questions at the crossroads of mathematics and computer science....
  • №105
  • 6,57 МБ
  • дата добавления неизвестна
  • изменен
Springer, 1994. — 156 p. Models of Computation Basic Recursive Function Theory Abstract Complexity Theory Complete Problems
  • №106
  • 2,26 МБ
  • добавлен
  • изменен
Pearson Education Limited, 2003. — 423 р. The computation of patterns in strings is a fundamental requirement in many areas of science and information processing. The operation of a text editor, the lexical analysis of a computer program, the functioning of a finite automaton, the retrieval of information from a database - these are all activities which may require that patterns...
  • №107
  • 26,37 МБ
  • добавлен
  • изменен
New York: Springer, 2016. - 300p. Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This model led to both the development of actual computers and to computability theory, the study of what machines can and cannot compute. This book presents classical computability theory from Turing and Post to current results and methods, and...
  • №108
  • 2,99 МБ
  • добавлен
  • изменен
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...
  • №109
  • 3,32 МБ
  • добавлен
  • изменен
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...
  • №110
  • 1,73 МБ
  • добавлен
  • изменен
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.
  • №111
  • 9,17 МБ
  • добавлен
  • изменен
Hoboken: Wiley, 2012. — 409 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...
  • №112
  • 2,85 МБ
  • добавлен
  • изменен
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...
  • №113
  • 15,87 МБ
  • добавлен
  • изменен
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...
  • №114
  • 2,22 МБ
  • добавлен
  • изменен
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...
  • №115
  • 1,56 МБ
  • добавлен
  • изменен
Elsiever / MIT Press, 1990. — 1010 p. Всеобъемлющий справочник о различных типах сложности алгоритмов и вычислений. Modern developments in computer and software systems have raised many challenging issues concerning the design and efficiency of complex programming applications. There is an increasing need for "advanced theory", to understand and exploit basic concepts and...
  • №116
  • 12,20 МБ
  • дата добавления неизвестна
  • изменен
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...
  • №117
  • 8,12 МБ
  • добавлен
  • изменен
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...
  • №118
  • 7,51 МБ
  • добавлен
  • изменен
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...
  • №119
  • 2,78 МБ
  • добавлен
  • изменен
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....
  • №120
  • 10,27 МБ
  • добавлен
  • изменен
Издательство Springer, 2005, -306 pp. 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...
  • №121
  • 2,31 МБ
  • добавлен
  • изменен
Издательство 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...
  • №122
  • 1,70 МБ
  • добавлен
  • изменен
A K Peters/CRC Press, 1994. — 139 p. — ISBN13: 978-1-56881178-9. Целевая аудитория: математики, инженеры и опытные разработчики программного обеспечения. Алгоритмы и их сложность часто становятся предметом обсуждения на многих собеседованиях, поэтому необходимость в хорошем знании материала возникает у любого начинающего и, тем более, опытного разработчика. Это небольшое...
  • №123
  • 2,56 МБ
  • добавлен
  • изменен
A K Peters/CRC Press, 1994. — 139 p. — ISBN13: 978-1-56881178-9. Целевая аудитория: математики, инженеры и опытные разработчики программного обеспечения. Алгоритмы и их сложность часто становятся предметом обсуждения на многих собеседованиях, поэтому необходимость в хорошем знании материала возникает у любого начинающего и, тем более, опытного разработчика. Это небольшое...
  • №124
  • 1,94 МБ
  • добавлен
  • изменен
Society for Industrial and Applied Mathematics, 1980, -99 pp. The two major problem areas which are the concern of Arithmetic Complexity of Computations are: What is the minimum number of arithmetic operations which are needed to perform the computation? How can we obtain a better algorithm when improvement is possible? These two questions are very large in scope, since...
  • №125
  • 865,22 КБ
  • добавлен
  • изменен
Philadelphia: Society, 1980. — 93 р. This monograph focuses on finding the minimum number of arithmetic operations needed to compute the solution to a system of bilinear forms, and on finding a better algorithm for such computations. The author concentrates on results applicable in the area of signal processing. Two reasons for this are: results applicable to signal processing...
  • №126
  • 1,11 МБ
  • добавлен
  • изменен
Oxford University Press, 1999. - 528 pages. ISBN-10: 0195125169 ISBN-13: 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...
  • №127
  • 5,15 МБ
  • добавлен
  • изменен
Издательство 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...
  • №128
  • 5,46 МБ
  • добавлен
  • изменен
М.: МЦНМО, 2009. — 256 с. В книге излагаются основные (начальные) разделы теории сложности алгоритмов. Различаются алгебраическая и битовая сложности, каждая из которых рассматривается в худшем случае и в среднем. Ряд основных понятий теории сложности, как-то: оценки снизу и сверху, нижняя граница сложности алгоритмов некоторого класса, оптимальный алгоритм и т. д.,...
  • №129
  • 1,58 МБ
  • добавлен
  • изменен
М.: Наука, 1986. — 130 с. В книге описываются различные подходы к установлению свойств программ и доказательству теорем о программах. Цель книги - дать единую теоретико-множественную схему: с одной стороны, наиболее распространенные традиционные методы, с другой стороны, новые методы анализа программ. Для студентов и аспирантов математических специальностей, а также научных...
  • №130
  • 2,25 МБ
  • добавлен
  • изменен
Абрамов С.М. Методы метавычислений и их применение. — Издание второе, дополненное и переработанное, Переславль-Залесский, Издательство «Университет города Переславля имени А.К.Айламазяна», 2006. —128 с., ил. Книга представляет собой описание вопросов теории метавычислений и их применения. Метавычисления — раздел теории и практики программирования, посвященный разработке методов...
  • №131
  • 1,07 МБ
  • добавлен
  • изменен
Учебное пособие. — Томск: Издательский Дом Томского государственного университета, 2018. — 42 с. — ISBN 978-5-94621-768-2. Пособие представляет собой курс лекций с тем же названием, прочитанный автором в 2016/17 и 2017/18 учебных годах студентам кафедры защиты информации и криптографии по специальности «Компьютерная безопасность». Знакомство с курсом предполагает знание студентами...
  • №132
  • 501,12 КБ
  • добавлен
  • изменен
М.: Наука, 1963. — 556 с. Настоящая книга рассчитана на широкий круг читателей, работающих в области автоматики, телемеханики и вычислительной техники и впервые знакомящихся с теорией конечных автоматов и последовательностных машин. Авторы имели в виду также, что книга должна быть полезна для математика (не логика), стремящегося познакомиться с этими проблемами, а также для...
  • №133
  • 17,88 МБ
  • добавлен
  • изменен
М.: Наука, 1963. — 556 с. Настоящая книга рассчитана на широкий круг читателей, работающих в области автоматики, телемеханики и вычислительной техники и впервые знакомящихся с теорией конечных автоматов и последовательностных машин. Авторы имели в виду также, что книга должна быть полезна для математика (не логика), стремящегося познакомиться с этими проблемами, а также для...
  • №134
  • 5,45 МБ
  • дата добавления неизвестна
  • изменен
М.: Издательский отдел ф-та ВМиК МГУ, 2002. — 82 с. — ISBN: 5894071372 Рассматриваются общие утверждения о сложности задач, методы построения быстрых алгоритмов и примеры их применения с оценками сложности, основные классы задач относительно их сложности, примеры универсальных задач в этих классах.
  • №135
  • 4,23 МБ
  • добавлен
  • изменен
В учебном пособии излагаются основы теории алгоритмов и теории формальных грамматик, рассматриваются различные алгоритмические системы, методы оценки и преобразования алгоритмов, связь теории алгоритмов с теорией формальных грамматик, классификация грамматик, связь теории формальных грамматик с теорией автоматов. Пособие предназначено для студентов вузов, специализирующихся по...
  • №136
  • 1,63 МБ
  • дата добавления неизвестна
  • изменен
Учебн. пособие. - М.: Статистика, 1973. - 164 с. В учебном пособии излагаются основы теории алгоритмов и теории формальных грамматик, рассматриваются различные алгоритмические системы, методы оценки и преобразования алгоритмов, связь теории алгоритмов с теорией формальных грамматик, классификация грамматик, связь теории формальных грамматик с теорией автоматов. Пособие...
  • №137
  • 2,84 МБ
  • добавлен
  • изменен
Екатеринбург: Уральский государственный университет им. А.М. Горького (УрГУ), 2008. – 152 с. Основой для данного учебного пособия послужили лекции, которые читались авторами для студентов математико-механического факультета Уральского государственного университета им. А. М. Горького, обучающихся по специальностям «Математика, прикладная математика», «Математика, компьютерные...
  • №138
  • 1,00 МБ
  • дата добавления неизвестна
  • изменен
Ульяновск: Ульяновский государственный технический университет, 2002. - 70 с. Учебное пособие разработано на кафедре прикладной математики и информатики в соответствии с учебными программами для студентов технических и математических специальностей. Содержание включает изложение методических приемов по практическому составлению визуальных алгоритмов, которые могут быть...
  • №139
  • 382,55 КБ
  • добавлен
  • изменен
М.: Мир, 1979. — 536 с. В монографии с единых позиций излагаются результаты теоретических и прикладных исследований по построению быстрых алгоритмов и доказательству их отсутствия. Рассмотрены задачи перебора, упорядочения массивов данных, умножения чисел, умножения матриц, обсуждаются алгоритмы на графах. Многие результаты ранее были рассеяны в труднодоступных источниках и в...
  • №140
  • 23,72 МБ
  • добавлен
  • изменен
Перевод с английского. — М.: Вильямс, 2003. — 384 с. — ISBN 5-8459-0122-7. В этой книге подробно рассмотрены структуры данных и алгоритмы, которые являются фундаментом современной методологии разработки программ. Показаны разнообразные реализации абстрактных типов данных, начиная от стандартных списков, стеков, очередей и заканчивая множествами и отображениями, которые...
  • №141
  • 2,66 МБ
  • добавлен
  • изменен
Учебник — М.: Вильямс, 2000. — 384 с. — ISBN 5-8459-0122-7. Построение и анализ алгоритмов Основные абстрактные типы данных Деревья Основные операторы множеств Специальные методы представления множеств Ориентированные графы Неориентированные графы Сортировка Методы анализа алгоритмов Методы разработки алгоритмов Структуры данных и алгоритмы для внешней памяти Управление памятью
  • №142
  • 74,86 МБ
  • добавлен
  • изменен
М.: Московский центр непрерывного математического образования, 2016. — 145 с. — ISBN 9785443923963. В курсе дается краткое изложение классических способов построения и анализа алгоритмов. Первая часть курса, представленная в данном пособии, в большей степени сконцентрирована на базовых структурах данных, а также задачах сортировки и поиска. Теоретический материал дополняется рядом...
  • №143
  • 1,15 МБ
  • добавлен
  • изменен
Учебное пособие. - Улан-Удэ: Изд-во ВСГТУ, 2000 г. - 51 с. В учебном пособии рассмотрены основные понятия теории; формальные модели алгоритмов, дается классификация формальных грамматик, описаны используемые в практике программирования алгоритмы преобразования грамматик и синтеза автоматов. По каждому разделу приведен теоретический материал, даны методические рекомендации и...
  • №144
  • 528,46 КБ
  • дата добавления неизвестна
  • изменен
Екатеринбург: ГОУ ВПО УГТУ-УПИ, 2006. - 17 с. Методическое пособие по дисциплине «Математическая логика и теория алгоритмов». Приводится формализация понятия «алгоритм». Обсуждаются два способа формального описания алгоритма – с помощью нормальных алгоритмов Маркова и через машины Тьюринга. Приводятся меры сложности алгоритмов, определяются легко и трудноразрешимые задачи,...
  • №145
  • 41,75 КБ
  • добавлен
  • изменен
Казань: КГУ, 1999. 25 с. В учебном пособии кратко рассмотрены следующие вопросы: эффективная нумерация алгоритмов; теорема о параметризации; универсальный алгоритм; перечислимые и разрешимые множества; алгоритмически неразрешимые проблемы, в т.ч. теорема Райса; элементы математической логики. В пособии не уделяется внимания определению понятия «алгоритм», оно считается синонимом...
  • №146
  • 42,62 КБ
  • добавлен
  • изменен
Казань: КГУ, 1999. 25 с. В учебном пособии кратко рассмотрены следующие вопросы: эффективная нумерация алгоритмов; теорема о параметризации; универсальный алгоритм; перечислимые и разрешимые множества; алгоритмически неразрешимые проблемы, в т.ч. теорема Райса; элементы математической логики. В пособии не уделяется внимания определению понятия «алгоритм», оно считается синонимом...
  • №147
  • 277,00 КБ
  • добавлен
  • изменен
М.: Просвещение, 1970. — 25 с. Учебное пособие для заочных отделений физико-математических факультетов педагогических институтов. Настоящее пособие представляет собой попытку элементарного изложения основ теории алгоритмов, которое могло бы служить требуемым руководством для студентов педвузов. Общий план изложения заимствован из лекций, прочитанных П. С. Новиковым на курсах...
  • №148
  • 543,54 КБ
  • добавлен
  • изменен
М.: Просвещение, 1970. — 25 с. Учебное пособие для заочных отделений физико-математических факультетов педагогических институтов. Настоящее пособие представляет собой попытку элементарного изложения основ теории алгоритмов, которое могло бы служить требуемым руководством для студентов педвузов. Общий план изложения заимствован из лекций, прочитанных П. С. Новиковым на курсах...
  • №149
  • 780,53 КБ
  • добавлен
  • изменен
Учебное пособие. — СПб.: Санкт-Петербургский государственный политехнический университет, 2011. — 197 с. В пособии рассматриваются основные понятия дискретной математики, которая имеет широкий спектр приложений, прежде всего в областях, связанных с информационными технологиями и компьютерами. Важнейшими приложениями дискретных структур в программировании являются компьютерная...
  • №150
  • 1,35 МБ
  • добавлен
  • изменен
Пер. с нем. / Предисл. С. А. Яновской. Вступ. ст. А. П. Юшкевича. Изд. 2-е, стереотипное. — М.: КомКнига, 2005. — 128 с. — ISBN 5-484-00278-8. Книга выдающегося немецкого математика Германа Вейля (1885-1955) посвящена философии математики. Она состоит из трех разделов. Первый раздел дает общий исторический обзор проблемы обоснования математики. Во втором довольно детально...
  • №151
  • 12,88 МБ
  • добавлен
  • изменен
М.: МЦНМО, 2013. — 576 с. — ISBN 978-5-4439-0212-8. Классическая (шенноновская) теория информации измеряет количество информации, заключённой в случайных величинах. В середине 1960-х годов А.Н. Колмогоров (и другие авторы) предложили измерять количество информации в конечных объектах с помощью теории алгоритмов, определив сложность объекта как минимальную длину программы,...
  • №152
  • 16,01 МБ
  • добавлен
  • изменен
М.: МЦНМО, 2013. - 576 с. - ISBN 978-5-4439-0212-8, eBook, Русский Классическая (шенноновская) теория информации измеряет количество информации, заключённой в случайных величинах. В середине 1960-х годов А. Н. Колмогоров (и другие авторы) предложили измерять количество информации в конечных объектах с помощью теории алгоритмов, определив сложность объекта как минимальную длину...
  • №153
  • 4,40 МБ
  • добавлен
  • изменен
Издательство Мир, Москва 1997. - 183 с. Электронная книга одного из наиболее известных специалистов в современном программировании посвящена методам систематического конструирования алгоритмов и написана как вводный курс программирования. Поскольку такой курс должен быть составной частью общего математического образования, особое внимание уделяется системе обозначений, языку. В...
  • №154
  • 2,43 МБ
  • добавлен
  • изменен
Учебно-методическое пособие по курсу «Теория алгоритмов» для студентов специальности «Информатика» всех форм обучения. — Минск: БГУИР, 2007. — 54 с. Учебно-методическое пособие составлено в соответствии с рабочей программой курса «Теория алгоритмов». В него включены базовые определения и основные результаты классической теории алгоритмов, а также теории сложности вычислений....
  • №155
  • 1,56 МБ
  • добавлен
  • изменен
Курс лекций для студентов специальности I-31 03 04 «Информатика» всех форм обучения. Минск: БГУИР, 2006, -103с. Содержание Основы теории алгоритмов Неформальное определение алгоритма и необходимость его уточнения Арифметические и интуитивно вычислимые функции Машины Тьюринга Вычислимость по Тьюрингу Машины Шёнфилда Частично вычислимые функции Кодирование алгоритмов...
  • №156
  • 1,01 МБ
  • добавлен
  • изменен
Учебное пособие. - Минск: БГУ, 2008. - 59 с. В книге рассматриваются организация полного перебора и приближенные алгоритмы. Организация полного перебора включает в себя следующие разделы: построение дерева решений, способы обхода дерева решений, сокращение числа необходимых для решения подзадач: отсев возможных вариантов ветвления, функции ветвления, а также задачи для...
  • №157
  • 412,57 КБ
  • добавлен
  • изменен
Механико-математический факультет МГУ. 2005. 144с. Учебное пособие написано на основе специальных курсов "Теория баз данных и информационного поиска" и "Теория интеллектуальных систем", читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ им. М.В.Ломоносова. В книге вводится новый вид представления баз данных, называемый...
  • №158
  • 724,76 КБ
  • добавлен
  • изменен
3-е издание, исправленное. Дрофа, 2005. 320 с. В учебном пособии (2-е изд. — 2002 г.) впервые в отечественной литературе рассматривается связь вопросов арифметики с современными проблемами кибернетики. Книга представляет собой сборник задач по арифметике и теории сложности арифметических алгоритмов и позволяет получить систематические знания в этих областях математики. Для...
  • №159
  • 2,83 МБ
  • добавлен
  • изменен
3-е изд., испр. — М.: Дрофа, 2005. — 320 с. — (Классический университетский учебник). — ISBN 5-7107-8904-6. В учебном пособии (2-е изд. — 2002 г. ) впервые в отечественной литературе рассматривается связь вопросов арифметики с современными проблемами кибернетики. Книга представляет собой сборник задач по арифметике и теории сложности арифметических алгоритмов и позволяет получить...
  • №160
  • 2,76 МБ
  • дата добавления неизвестна
  • изменен
2-е изд., перераб. — М.: Высшая школа, 2000. — 320 с. — ISBN 5-06-003613-8. В книге впервые в отечественной литературе рассматривается связь вопросов арифметики с современными проблемами кибернетики. Она представляет собой сборник задач по арифметике и теории сложности арифметических алгоритмов, позволяющий получить систематические знания в этих областях математики....
  • №161
  • 19,18 МБ
  • добавлен
  • изменен
3-е изд., испр. — М.: Дрофа, 2005. — 320 с. — (Классический университетский учебник). — ISBN 5-7107-8904-6. В учебном пособии впервые в отечественной литературе рассматривается связь вопросов арифметики с современными проблемами кибернетики. Книга представляет собой сборник задач по арифметике и теории сложности арифметических алгоритмов и позволяет получить систематические...
  • №162
  • 25,64 МБ
  • добавлен
  • изменен
Пер. с англ. Наука. М., 1974, 288с. Линейные последовательностные машины (ЛПМ) широко применяются в автоматике и вычислительной технике в качестве генераторов последовательностей, счетчиков, кодирующих и декодирующих устройств, устройств обнаружения и исправления ошибок, при моделировании нейронных сетей и т. д. Книга А. Гилла представляет собой первую в мировой литературе...
  • №163
  • 1,70 МБ
  • добавлен
  • изменен
СПб.: Лань, 2012. — 406 с. Учебное пособие содержит полное изложение материала учебных дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции» Государственного образовательного стандарта высшего профессионального образования по специальностям «Компьютерная безопасность», «Информационная безопасность автоматизированных систем» и некоторым другим смежным...
  • №164
  • 1,98 МБ
  • добавлен
  • изменен
2-е изд., перераб. — Киев : Наукова думка, 1978. — 318 с. Эволюция общения человека с ЭВМ связана с созданием мощных средств их математического обеспечения. Используемые при этом развитые языки и системы программирования существенно повышают "Интеллект" ЭВМ, реализуемый как схемным, так и программным способом, и способствуют дальнейшему расширению сферы применения вычислительной...
  • №165
  • 3,90 МБ
  • добавлен
  • изменен
М.: ФИЗМАТЛИТ, 2006. 296 с. Книга является учебным пособием по теории рекурсии в аспекте ее применения в области программирования. В ней рассматриваются основы теории рекурсии, и ее использование в области разработки и анализа рекурсивных алгоритмов. Приводятся основные сведения о рекурсивных последовательностях и функциях, даны примеры рекурсивных алгоритмов, разработанных на...
  • №166
  • 7,44 МБ
  • дата добавления неизвестна
  • изменен
М.: Физматлит, 2006. — 296 с. Книга является учебным пособием по теории рекурсии в аспекте ее применения в области программирования. В ней рассматриваются основы теории рекурсии, и ее использование в области разработки и анализа рекурсивных алгоритмов. Приводятся основные сведения о рекурсивных последовательностях и функциях, даны примеры рекурсивных алгоритмов, разработанных на...
  • №167
  • 2,26 МБ
  • добавлен
  • изменен
2-е издание. — М.: Мир, 1987. — 120 с. Оригинальное и нестандартное изложение известных методов анализа алгоритмов, написанные крупным американским специалистом Д. Кнутом в соавторстве с Д. Грином. В книге представлены: комбинаторные тождества, рекуррентные соотношения, асимптотические представления. От читателя требуется знакомство с основами теории вероятностей, комбинаторного...
  • №168
  • 1,55 МБ
  • дата добавления неизвестна
  • изменен
Пер. с нем. / Под ред. Б. Ф. Мельникова. - 3-е изд. - СПб.: БХВ-Петербург, 2010. - 336с (Учебная литература для вузов) Изложены основные понятия теоретической информатики: алфавиты, слова, языки, алгоритмические проблемы, конечные автоматы, машины Тьюринга. Рассматриваются теория вычислимости, теория сложности, алгоритмизация труднорешаемых задач, рандомизация, теория связи и...
  • №169
  • 2,09 МБ
  • дата добавления неизвестна
  • изменен
Монография американских авторов, посвященная общим принципам решения задач на ЭВМ, разработке и анализу алгоритмов. Подробно описываются основные этапы решения задач, даются конкретные примеры, иллюстрирующие теоретические выводы и упражнения. По тематике книга пересекается с "Искусством программирования" Д. Кнута но рассчитана на первоначальное знакомство с предметом. Для...
  • №170
  • 3,62 МБ
  • дата добавления неизвестна
  • изменен
М.: Мир, Редакция литературы по математическим наукам, 1981. — 364 с. Монография американских авторов, посвященная общим принципам решения задач на ЭВМ, разработке и анализу алгоритмов. Подробно описываются основные этапы решения задач, даются конкретные примеры, иллюстрирующие теоретические выводы и упражнения. По тематике книга пересекается с "Искусством программирования" Д....
  • №171
  • 13,23 МБ
  • добавлен
  • изменен
Учебное пособие. — Омск: изд-во ОмГУ, 2016. — 152 с. — ISBN 978-5-7779-1977-9. Излагаются элементы современной теории синтетической вычислимости. Дается представление об алгоритмах, рекурсивных функциях, интуиционизме, интуиционистской логике, конструктивной математике, реализуемости Клини, теории категорий, теории топосов, топосе реализуемости и др. Описываются эффективный топос...
  • №172
  • 1,44 МБ
  • добавлен
  • изменен
М.: Мир, 1982. — 416 с. 300 dpi Монография американских ученых, посвященная вопросам сложности решения комбинаторных задач, возникающих в дискретной оптимизации, математическом программировании, алгебре, теории чисел, теории автоматов, математической логике, теории множеств, теории графов и т. п. Книга отличается строгим и систематическим изложением теории, в приложении...
  • №173
  • 14,50 МБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. — Симферополь: Куб, 2016. — 232 с.: ил. — ISBN 978-5-9908044-1-8. Введение. Измерение информации. Энтропия и её свойства. Энтропия источника дискретной информации. Свойства энтропии источника дискретной информации. Совместная и условная энтропия. Информация и её свойства. Энтропия непрерывной информации. Передача дискретной информации,...
  • №174
  • 2,61 МБ
  • добавлен
  • изменен
В пособии рассмотрено понятие комбинаторной задачи, приведены примеры таких задач, основные методы их решения и оценки эффективности алгоритмов. Рассмотрены основные понятия теории вычислительной сложности и приведены в кратком изложении основные результаты теории. Рассмотрены приемы доказательства NP-полноты и примеры NP-полных задач. Предназначено для студентов, изучающих курс...
  • №175
  • 140,30 КБ
  • дата добавления неизвестна
  • изменен
Ярославль: ЯрГУ, 2008. — 248 с. В учебном пособии рассматриваются основные понятия теории алгоритмов: машины Тьюринга, примитивно рекурсивные, рекурсивные и частично рекурсивные функции, рекурсивные и рекурсивно перечислимые множества, их нумерация, арифметизация теории машин Тьюринга, алгоритмически неразрешимые проблемы из теории алгоритмов, математической логики и алгебры,...
  • №176
  • 1,53 МБ
  • добавлен
  • изменен
Учебное пособие. — Челябинск: издательский центр ЮУрГУ, 2009. — 64 с. — Кафедра ЭВМ. В пособии рассматриваются общие особенности теории алгоритмов, а также конкретные алгоритмические системы, такие как «Рекурсивные функции», «Машины Поста и Тьюринга», «Нормальные алгоритмы Маркова» и т. п. В соответствии с предметом дисциплины «Математическая логика и теория алгоритмов». Для...
  • №177
  • 622,95 КБ
  • дата добавления неизвестна
  • изменен
В документе находятся теоретические и практические данные (с решениями) о машине Поста и Тьюринга. Машина Поста. Машина Тьюринга
  • №178
  • 98,21 КБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. — Екатеринбург: Урал. гос. пед. ун-т, 2006. — 149 с. Пособие является курсом лекций по теории алгоритмов и предназначено для студентов дневного и заочного отделений математических факультетов педагогических вузов. Алгоритмы в математике. Основные черты алгоритмов Числовые функции и алгоритмы их вычисления Примитивно рекурсивные функции Частично рекурсивные...
  • №179
  • 744,04 КБ
  • добавлен
  • изменен
Учебное пособие. — Минск: БГУ, 2013. — 159 с. В учебном пособии изложены современные методы построения и анализа алгоритмов с использованием эффективных способов хранения, представления и преобразования информации. Для магистрантов учреждений высшего образования, обучающихся по специальностям «Прикладная математика и информатика» и «Теоретические основы информатики». Дерево...
  • №180
  • 885,08 КБ
  • добавлен
  • изменен
Новосибирск: Новосибирский гос. университет (НГУ), 1995. – 113 с. Излагаются основы теории формальных языков и грамматик. Рассматриваются классы регулярных и контекстно-свободных языков и их связь с конечными и магазинными автоматами. Обсуждаются фундаментальные вопросы сложности решения задач дискретной математики. Для студентов вузов, обучающихся по специальности...
  • №181
  • 8,32 МБ
  • добавлен
  • изменен
Перевод с англ. А. А. Мучника под ред. С. Ю. Маслова Книга известного английского математика, охватывающая основные вопросы теории вычислимых функций и ее приложений: сложность вычислений и алгоритмов, теоремы Гёделя о неполноте и Чёрча о неразрешимости, семантику языков программирования. Изложение замкнутое, методически продуманное, имеется много упражнений. Для математиков,...
  • №182
  • 4,47 МБ
  • дата добавления неизвестна
  • изменен
Перевод с англ. А. А. Мучника под ред. С. Ю. Маслова. — М.: Мир, Редакция литературы по математическим наукам, 1983. — 255 с. Книга известного английского математика, охватывающая основные вопросы теории вычислимых функций и ее приложений: сложность вычислений и алгоритмов, теоремы Гёделя о неполноте и Чёрча о неразрешимости, семантику языков программирования. Изложение замкнутое,...
  • №183
  • 7,43 МБ
  • добавлен
  • изменен
СПб.: Питер, 2016. — 800 c. — ISBN 9785496015455. Впервые на русском языке выходит одна из самых авторитетных книг по разработке и использованию алгоритмов. Алгоритмы — это основа программирования, определяющая, каким образом программное обеспечение будет использовать структуры данных. Вы познакомитесь с базовыми аспектами построения алгоритмов, основными понятиями и...
  • №184
  • 8,15 МБ
  • добавлен
  • изменен
СПб.: Питер, 2016. — 800 c. — ISBN 9785496015455. Впервые на русском языке выходит одна из самых авторитетных книг по разработке и использованию алгоритмов. Алгоритмы — это основа программирования, определяющая, каким образом программное обеспечение будет использовать структуры данных. Вы познакомитесь с базовыми аспектами построения алгоритмов, основными понятиями и...
  • №185
  • 11,54 МБ
  • добавлен
  • изменен
М.: МЦНМО, 2011 г., 78 с. "Цель данной работы состоит в том, чтобы ознакомить читателя с основами анализа алгоритмов, причём сделать это с помощью примеров, а не систематического изложения теории. Надеюсь, что такой подход позволит читателю быстро войти в курс дела, познакомиться с идеями, используемыми в этой области, а также понять взаимосвязь анализа алгоритмов с другими...
  • №186
  • 546,15 КБ
  • добавлен
  • изменен
М.: МЦНМО, 2011 г., 78 с. Содержание: От переводчиков русского издания От переводчика английского издания Предисловие к первому изданию (на французском языке) Введение, определения, примеры Существование устойчивого паросочетания: основной алгоритм Принцип отложенных решений: накопление купонов Теоретические основы: применение в задаче о кратчайшем пути Поиск в...
  • №187
  • 2,36 МБ
  • добавлен
  • изменен
Учебник. – Самара: Изд-во Самарского университета, 2018. – 128 с. — ISBN 978-5-7883-1263-7 Приведены основные направления исследований в теории алгоритмов, определены базовые понятия и требования, предъявляемые к написанию алгоритмов и определению порядка их сложности. Описаны методы и подходы для работы с массивами, списками, деревьями, графами и другими линейными и нелинейными...
  • №188
  • 2,68 МБ
  • добавлен
  • изменен
Учебное пособие. — Новосибирск: мех.-математический факультет, Новосиб. гос. ун-т, 2015. — 73 с. В настоящем учебном пособии изложены математические основы теории алгоритмов. Пособие отражает содержание лекций основного курса «Дискретная математика и теория алгоритмов» для студентов 1-го курса механико-математического факультета НГУ и охватывает материал из нескольких областей...
  • №189
  • 717,03 КБ
  • добавлен
  • изменен
Новосибирск: изд. НГУ, 2005. - 89 с. Конспект лекций для студентов 1 курса. Содержание. Предварительные сведения. Конечные автоматы и формальные грамматики. Формализации понятия вычислимой функции. Теория вычислимости. Теория сложности алгоритмов. Список литературы.
  • №190
  • 761,48 КБ
  • добавлен
  • изменен
Учебное пособие. — Новосибирск: мех.-математический факультет, Новосиб. гос. ун-т, 2009. — 107 с. В настоящем учебном пособии изложены математические основы теории алгоритмов. Пособие отражает содержание лекций основного курса «Теория алгоритмов», прочитанных автором для студентов 1-го курса механико-математического факультета НГУ и охватывает материал из нескольких областей...
  • №191
  • 1,12 МБ
  • добавлен
  • изменен
Издательство Мир, 1974, -392 с. Библиотека «Кибернетического сборника» Затрагиваемые в сборнике проблемы математической логики тесно связаны с теорией вычислительных машин. В книге рассматриваются модели вычислительных устройств, их классификация, классификация языков, оценки сложности вычислений и оценки сложности программ. Развивается связанный со сложностью программ подход...
  • №192
  • 5,87 МБ
  • добавлен
  • изменен
М.: МЦНМО, 2001. - 960 с. Книга представляет собой перевод учебника по курсу построения и анализа эффективных алгоритмов, написанного в Массачусетсом технологическом институте; в ней разбираются важнейшие, классы быстрых алгоритмов и приёмы их построения. Изложение подробное и математически строгое. Книгу можно использовать в качестве учебника и справочника; она будет полезна...
  • №193
  • 23,08 МБ
  • добавлен
  • изменен
М.: МЦНМО, 2000. — 960 с. — ISBN: 5-900916-37-5. Фундаментальный труд известных специалистов в области кибернетики достоин занять место на полке любого человека, чья деятельность так или иначе связана с информатикой и алгоритмами. Для профессионала эта книга может служить настольным справочником, для преподавателя — пособием для подготовки к лекциям и источником интересных...
  • №194
  • 4,55 МБ
  • дата добавления неизвестна
  • изменен
В книге подробно разобрано много конкретных алгоритмов; мы старались рассказать о них понятно, но не опуская деталей и не жертвуя строгостью изложения. Алгоритмы записаны с виде «псевдокода» и прокомментированы в тексте; мы старались сделать описание алгоритма понятным людям с минимальным программистским опытом. Книга содержит более 260 рисунков, поясняющих работу различных...
  • №195
  • 1,63 МБ
  • дата добавления неизвестна
  • изменен
М.: ООО И.Д. Вильямс, 2014. — 208 c. — ISBN: 9785845918680 Эта книга написана признанным авторитетом в области компьютерных алгоритмов - профессором информатики Томасом Корменом, чей труд "Алгоритмы: построение и анализ", написанный в соавторстве с такими выдающимися учеными, как Чарльз Лейзерсон, Рональд Ривест и Клиффорд Штайн, выдержав три издания, давно стал общепризнанным...
  • №196
  • 6,78 МБ
  • добавлен
  • изменен
М.: Вильямс, 2014. - 208с. Эта книга написана признанным авторитетом в области компьютерных алгоритмов - профессором информатики Томасом Корменом, чей труд "Алгоритмы: построение и анализ", написанный в соавторстве с такими выдающимися учеными, как Чарльз Лейзерсон, Рональд Ривест и Клиффорд Штайн, выдержав три издания, давно стал общепризнанным классическим учебником по...
  • №197
  • 6,75 МБ
  • добавлен
  • изменен
2-е издание, - М.: Издательский дом "Вильямс", 2005. - 1296 с.: ил. Фундаментальный труд известных специалистов в области кибернетики достоин занять место на полке любого человека, чья деятельность так или иначе связана с информатикой и алгоритмами. Для профессионала эта книга может служить настольным справочником, для преподавателя — пособием для подготовки к лекциям и...
  • №198
  • 18,30 МБ
  • дата добавления неизвестна
  • изменен
1-е издание, 1990. — 893 с.: ил. Фундаментальный труд известных специалистов в области кибернетики достоин занять место на полке любого человека, чья деятельность так или иначе связана с информатикой и алгоритмами. Для профессионала эта книга может служить настольным справочником, для преподавателя — пособием для подготовки к лекциям и источником интересных нетривиальных задач,...
  • №199
  • 3,67 МБ
  • дата добавления неизвестна
  • изменен
Пер. с англ. - М.: Издательский дом "Вильямс", 2005 год, 1296 стр., с илл. Книга написана очень квалифицированными специалистами-преподавателями Массачусетского технологического института (MIT). Уже более 20-ти лет она является стандартным учебником обязательного предмета "Введение в алгоритмы" для undergraduate (студентов начальных курсов) математиков и компьютерщиков MIT (см....
  • №200
  • 126,87 МБ
  • добавлен
  • изменен
3-е изд. — М.: Вильямс, 2013. — 1324 с. — ISBN 978-5-8459-1794-2. Книга "Алгоритмы. Построение и анализ" удачно объединяет в себе полноту охвата и строгость изложения материала. Много книг, посвященных алгоритмам, отличается строгостью изложения материала, но страдает определенной неполнотой; другие книги охватывают огромный объем материала, но недостаточно строго излагают его....
  • №201
  • 99,18 МБ
  • добавлен
  • изменен
Переводчик: И.В.Красикова. — 3-е изд. — М.: Вильямс. — 1324 с. — ISBN: 978-5-8459-1794-2. Книга "Алгоритмы. Построение и анализ" удачно объединяет в себе полноту охвата и строгость изложения материала. Много книг, посвященных алгоритмам, отличается строгостью изложения материала, но страдает определенной неполнотой; другие книги охватывают огромный объем материала, но...
  • №202
  • 18,05 МБ
  • добавлен
  • изменен
Санкт-Петербург: Санкт-Петербургский Государственный институт Точной Механики и Оптики, 2003, 38 с. Данное пособие посвящено основам теории алгоритмов. Рассматриваются тезис Черча, регистровые машины, некоторые алгоритмические массовые проблемы, разрешимость и перечислимость множества тавтологий, формальные теории, язык Пролог. Пособие предназначено для студентов компьютерных и...
  • №203
  • 701,01 КБ
  • дата добавления неизвестна
  • изменен
Учебное пособие для студентов 1 курса. - М.: МАКС Пресс, 2010. - 26 с. Учебное пособие представляет собой введение к основному курсу лекций для студентов факультета ВМК МГУ "Алгоритмы и алгоритмические языки". Обсуждается роль компьютера в решении проблемы накопления и сохранения знаний, детализируется представление о задаче обработки информации. Вводятся понятия процесса...
  • №204
  • 303,48 КБ
  • добавлен
  • изменен
М.: ИНТУИТ, 2016. — 216 с. — ISBN 978-5-9556-0069-7 Предлагаемый курс начинается с азов комбинаторики и охватывает все основные алгоритмы, их анализ и реализацию на языках программирования, а так же рассматриваются алгоритмы на графах с точки зрения комбинаторных методов их реализации и анализа. Курс описывает различные способы представлений конечных последовательностей и...
  • №205
  • 19,62 МБ
  • добавлен
  • изменен
Минск : БГУ, 2017. — 183 с. Пособие состоит из двух частей: «Алгоритмы на графах» и «Бинарные поисковые деревья». Первая часть содержит практические задачи, которые могут быть сформулированы в графовой постановке. Далее для их решения применяются соответствующие алгоритмы, например алгоритм построения максимального потока, кратчай шего пути и др. Во второй части рассматриваются...
  • №206
  • 958,69 КБ
  • добавлен
  • изменен
Минск: Белорусский государственный университет, 2011. — 267 с. В учебном пособии изложены фундаментальные понятия, используемые при разработке алгоритмов и оценке их трудоемкости. Теоретический материал дополнен примерами и рисунками, облегчающими самостоятельное изучение материала, а также перечнем задач для самостоятельного решения. В приложении разбираются алгоритмы решения...
  • №207
  • 6,60 МБ
  • добавлен
  • изменен
Минск: Белорусский государственный университет, 2011. — 267 с. В учебном пособии изложены фундаментальные понятия, используемые при разработке алгоритмов и оценке их трудоемкости. Теоретический материал дополнен примерами и рисунками, облегчающими самостоятельное изучение материала, а также перечнем задач для самостоятельного решения. В приложении разбираются алгоритмы решения...
  • №208
  • 148,82 МБ
  • добавлен
  • изменен
М.: Факториал Пресс, 2006. - 128с. Учебное пособие написано по материалам полугодового спецкурса, читавшегося автором на механико-математическом факультете МГУ им. М. В. Ломоносова для студентов и аспирантов кафедры математической логики и теории алгоритмов, а также специальности "Защита информации". Излагаются основные идеи и методы теории сложности вычислений. Для студентов,...
  • №209
  • 10,05 МБ
  • добавлен
  • изменен
Учебное пособие. M.: Факториал Пресс, 2006. — 128 с. — (Методы современной математики; Вып. 2) ISBN 5-88688-083-6 Тираж 1000 экз. Учебное пособие написано по материалам полугодового спецкурса, читавшегося автором на механико-математическом факультете МГУ им. М.В. Ломоносова для студентов и аспирантов кафедры математической логики и теории алгоритмов, а также специальности...
  • №210
  • 777,04 КБ
  • добавлен
  • изменен
М.: Академия, 2009. — 208 c. В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к формализации понятия алгоритма; даны начала алгоритмической теории множеств; представлены наиболее известные результаты об...
  • №211
  • 18,09 МБ
  • добавлен
  • изменен
Академия, 2009. - 208 c. В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к формализации понятия алгоритма; даны начала алгоритмической теории множеств; представлены наиболее известные результаты об...
  • №212
  • 19,36 МБ
  • добавлен
  • изменен
М.: Московский физико-технический институт, 2007. — 135 с. Элементы теории сложности. Несложно о сложности. Примеры алгоритмов. Формально об алгоритмах. Сложность алгоритмов. Вероятностные вычисления. Вероятностно проверяемые доказательства. Схемы и схемная сложность. Коммуникационная сложность. Диаграмма классов сложности. Приближенные алгоритмы с гарантированными...
  • №213
  • 1,62 МБ
  • дата добавления неизвестна
  • изменен
Интернет-ресурс, 2009. — 347 с. Эта книга написана по материалам двух спецкурсов, читавшихся авторами в течение нескольких лет для студентов 4-го и 6-го курсов Московского физико-технического института. Она знакомит читателей как с классическими результатами в разработке эффективных алгоритмов для решения вычислительно-трудных задач, полученными еще в 1960-1970-х годах, так и с...
  • №214
  • 4,44 МБ
  • дата добавления неизвестна
  • изменен
7 марта 2018 г. — Интернет-издание, 2018. — 368 с. Настоящее учебное пособие написано по материалам двух спецкурсов, читавшихся авторами в течение нескольких лет для студентов 4-го и 6-го курсов Московского физико-технического института — «Сложность комбинаторных алгоритмов» и «Эффективные алгоритмы». Основная цель пособия заключается в ознакомлении читателей как с классическими...
  • №215
  • 4,06 МБ
  • добавлен
  • изменен
29 февраля 2016 г. — Интернет-издание, 2016. — 369 с. Настоящее учебное пособие написано по материалам двух спецкурсов, читавшихся авторами в течение нескольких лет для студентов 4-го и 6-го курсов Московского физико-технического института — «Сложность комбинаторных алгоритмов» и «Эффективные алгоритмы». Основная цель пособия заключается в ознакомлении читателей как с...
  • №216
  • 4,11 МБ
  • добавлен
  • изменен
М., 2011. – 363 с. Книга написана по материалам спецкурсов, читавшихся авторами в течение нескольких лет для студентов Московского физико-технического института. Она знакомит читателей как с классическими результатами в разработке эффективных алгоритмов для решения вычислительно-трудных задач, полученными еще в 1960-1970-х годах, так и с новыми результатами, полученными в...
  • №217
  • 4,88 МБ
  • добавлен
  • изменен
М.: Институт Системного Программирования РАН, 2004. – 12 с. При тестировании систем, поведение которых определяется не только последним обращением к ним, а и предшествующей историей работы, т.е. зависит от внутреннего состояния системы, необходимо строить тесты в виде последовательностей обращений, чтобы покрыть возникающие разнообразные ситуации. Если о системе известно...
  • №218
  • 413,33 КБ
  • добавлен
  • изменен
Учебное пособие. — М.: Финансы и статистика, 1985. — 223 с. Рассматриваются основы программирования на базе языков Алгол-60, Ассемблер, Фортран и ПЛ/1, излагаются эффективные численные методы, используемые при решении вычислительных задач. Все объяснения ведутся на простых примерах, по принципу «от простого к сложному». Для учащихся техникумов, обучающихся по специальности...
  • №219
  • 7,61 МБ
  • добавлен
  • изменен
Учебное пособие. — М.: Финансы и статистика, 1985. — 223 с. Рассматриваются основы программирования на базе языков Алгол-60, Ассемблер, Фортран и ПЛ/1, излагаются эффективные численные методы, используемые при решении вычислительных задач. Все объяснения ведутся на простых примерах, по принципу «от простого к сложному». Для учащихся техникумов, обучающихся по специальности...
  • №220
  • 3,56 МБ
  • добавлен
  • изменен
Запорожье: Запорожский национальный университет, 2012. — 196 с. — ISBN 978-966-599-408-4. Изучение алгоритмов является самой сердцевиной науки о вычислениях. Приемы создания алгоритмов и алгоритмические методы рассматриваются во многих не только классических университетских курсах, но и во многих инженерных дисциплинах. К настоящему времени в мировой практике накоплен огромный...
  • №221
  • 2,02 МБ
  • добавлен
  • изменен
СПб.: БХВ-Петербург, 2002. — 320 с.: ил. — ISBN 5-94157-069-4. Современное программирование излагается как искусство заставить компьютер решить задачу, возникшую перед человеком. Даны единые основания математики и программирования, краткие сведения из области графов, теории вероятностей и информации (в ее математическом толковании). Приведены основные понятия и конструкции...
  • №222
  • 16,56 МБ
  • добавлен
  • изменен
Учебно-методическое пособие для студентов очного и заочного обучения технических специальностей. – Н. Новгород : Изд-во ФГОУ ВПО «ВГАВТ», 2010. – 81 с. Излагаются основные принципы и типовые приемы алгоритмизации при решении инженерных задач. Приводятся примеры алгоритмов решения типовых задач: табулирование функций, поиск элементов с заданными признаками и сортировка данных....
  • №223
  • 811,79 КБ
  • добавлен
  • изменен
Москва: Техносфера, 2002. — 368 с. — (Мир программирования). — ISBN 5-94836-005-9. По истечении десятилетия элементная база компьютеров, операционные системы, средства доступа и внешний вид программ меняются коренным образом, однако структуры и алгоритмы, лежащие в их основе, остаются неизменными в течение гораздо большего времени. Эти основы начали закладываться тысячелетия...
  • №224
  • 3,24 МБ
  • добавлен
  • изменен
Москва: Техносфера, 2002. — 368 с. — (Мир программирования). — ISBN 5-94836-005-9. По истечении десятилетия элементная база компьютеров, операционные системы, средства доступа и внешний вид программ меняются коренным образом, однако структуры и алгоритмы, лежащие в их основе, остаются неизменными в течение гораздо большего времени. Эти основы начали закладываться тысячелетия...
  • №225
  • 3,75 МБ
  • добавлен
  • изменен
2-е изд., доп. — М.: Техносфера, 2004. — 368 с. — (Мир программирования). — ISBN 5-94836-005-9. В учебном пособии обсуждаются алгоритмы решения наиболее широко распространенных классов задач, покрывающих практически всю область программирования: поиск и сортировка, численные алгоритмы и алгоритмы на графах. Особое внимание уделено алгоритмам параллельной обработки, редко...
  • №226
  • 9,76 МБ
  • дата добавления неизвестна
  • изменен
М.: «Наука», 1965. — 394 с. Скан, OCR слой. Еще в 30-х годах нашего столетия математическая логика и возникавшая тогда теория алгоритмов казались наиболее абстрактными и наиболее далекими от практических приложений математическими дисциплинами. В настоящее время положение коренным образом изменилось. Ныне общепризнано, что обе названные дисциплины образуют теоретический...
  • №227
  • 5,63 МБ
  • добавлен
  • изменен
М.: Наука. Гл. ред. физ.-мат. лит., 1986.— 366 c. — 2-е изд. Скан, OCR слой. Посвящается одному из актуальных и бурно развивающихся разделов математической логики — теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов. 1-е изд.— в 1965 г....
  • №228
  • 5,90 МБ
  • добавлен
  • изменен
В оригинале - "Теория Алгорифмов". М. -Л.: Издательство Академии Наук СССР, 1954. - 377 с. Книга вводит читателя в область теории алгоритмов. В ней отыскали отблеска эти нюансы доктрины как многоцелевые, обычные методы, исчисления Поста, комбинаторная неувязка Поста, неувязка определения применимости алгоритмов и всякое разное. Книга написана на высочайшем математическом уровне.
  • №229
  • 3,51 МБ
  • дата добавления неизвестна
  • изменен
М.; Л.: Издательство Академии Наук СССР, 1954. — 377 с. Книга вводит читателя в область теории алгоритмов. В ней отыскали отблеска эти нюансы доктрины как многоцелевые, обычные методы, исчисления Поста, комбинаторная неувязка Поста, неувязка определения применимости алгоритмов и всякое разное. Книга написана на высочайшем математическом уровне.
  • №230
  • 7,81 МБ
  • добавлен
  • изменен
М.: Физматлит, 2007. — 64 с. — ISBN 978-5-9221-0825-6. Брошюра знакомит читателя с алгоритмически вычислимыми функциями натурального аргумента — рекурсивными функциями. Вначале изучается простейший тип рекурсивных функций — примитивно рекурсивные функции. Затем происходит расширение круга вычислимых функций: рассматриваются частично определенные вычислимые функции, а также всюду...
  • №231
  • 506,71 КБ
  • добавлен
  • изменен
М.: МЦНМО, 2003. - 112 с. Книга написана на основе курсов лекций, которые автор читал на факультете Вычислительной математики и кибернетики МГУ. В книге собраны основное классы «элементарных» рекурсивных функций, изучаемые в теории алгоритмов. Приведены различные определения этих классов, установлены соотношения включения между ними. Получены разнообразные канонические...
  • №232
  • 939,59 КБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. – Киров: Вятский государственный университет, 2011. – 40 с. Логические схемы алгоритмов. Матричные схемы алгоритмов. Граф-схемы алгоритмов. Формальные преобразования операторных схем алгоритмов. Объединение операторных схем алгоритмов.
  • №233
  • 312,32 КБ
  • добавлен
  • изменен
М.: БИНОМ. Лаборатория знаний. 2008. — 202 с. Учебник по курсу «Теория алгоритмов» для педагогических вузов по специальности «Информатика», полностью соответствующий стандарту. Изложение имеет четкую логическую структуру и охватывает следующие темы: понятие алгоритма, машина Тьюринга, примитивно-рекурсивные функции, нормальные алгоритмы, вычислимость и разрешимость, сложность...
  • №234
  • 12,80 МБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. Новосибирск: НГУ, 2005. 114 с. Данная книга - изложение курса лекций по теории алгоритмов, читанного автором на математическом факультете Новосибирского госуниверситета в 2001-2003 годах. Задача учебника - дать хорошее интуитивное понимание математического понятия алгоритма и служить введением для дальнейшего изучения других руководств по теории алгоритмов, а...
  • №235
  • 770,38 КБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. — 2-е изд., перераб. и доп. — М.: Финансы и статистика, 1983. — 224 с., ил. Излагаются основы программирования на базе языка ПЛ/1. Описываются элементы языков моделирования и языков высокого уровня для использования в автоматизированном проектировании систем обработки экономической информации. Все языки ориентированы на операционную систему ОС ЕС. Для студентов...
  • №236
  • 4,30 МБ
  • добавлен
  • изменен
Учебное пособие. — Белгород: Белгородская государственная технологическая академия строительных материалов, 2002. В пособии даны основные понятия комбинаторики, рассмотрены алгоритмы порождения основных комбинаторных конфигураций и вопросы их использования при решении дискретных задач выбора. Большинство вопросов излагается с помощью примеров и практических приложений. Учебное...
  • №237
  • 189,73 КБ
  • дата добавления неизвестна
  • изменен
Ноден П., Китте К. Алгебраическая алгоритмика (с упражнениями и решениями): пер. с фран. М.: Мир, 1999. - 720 с. Книга известных французских математиков — это по существу энциклопедия алгоритмов алгебры и теории чисел от Евклида и до наших дней. В ней прослеживается общая идея — представить основные алгебраические структуры и концепции в виде объектов, поддающихся машинной...
  • №238
  • 6,24 МБ
  • дата добавления неизвестна
  • изменен
Возможности вычислительных машин, сложность вычислений, нижние оценки сложности, оптимизация алгоритмов
  • №239
  • 3,54 МБ
  • дата добавления неизвестна
  • изменен
Автор неизвестен. Конспект лекций по курсу "Матем. логика и теория алгоритмов". 2008 год. - 80 стр. Исчисления высказываний. Определение формального исчисления. Исчисление высказываний генценовского типа. Эквивалентность формул. Нормальные формы. Семантика исчисления секвенций. Исчисление высказываний гильбертовского типа. Алгоритмы проверки общезначимости и...
  • №240
  • 447,52 КБ
  • дата добавления неизвестна
  • изменен
Киев: Выща школа, 1989. — 166 с. — ISBN 5-11-000002-6. В монографии описаны алгоритмы решения задач линейного, сепарабельного, нелинейного дискретного программирования с блочной структурой ограничений, имеющие псевдополиномиальную оценку числа вычислений. Описаны классы прикладных задач дискретного программирования. Изложены новые возможности использования моделей линейного...
  • №241
  • 3,50 МБ
  • добавлен
  • изменен
Киев: Выща школа, 1989. — 166 с. — ISBN 5-11-000002-6. В монографии описаны алгоритмы решения задач линейного, сепарабельного, нелинейного дискретного программирования с блочной структурой ограничений, имеющие псевдополиномиальную оценку числа вычислений. Описаны классы прикладных задач дискретного программирования. Изложены новые возможности использования моделей линейного...
  • №242
  • 3,25 МБ
  • добавлен
  • изменен
Учебно-методическое пособие. — Том. гос. ун-т, ФПМК. — Томск : ТГУ, 2009. — 39 с. В пособии обсуждаются понятие алгоритма, сложившееся в математике на протяжении тысячелетий, и необходимость формализации этого понятия, возникшая в 30-х годах XX века. Далее приводятся три способа такой формализации : нормальные алгоритмы Маркова, машины Тьюринга, рекурсивные функции. Пособие...
  • №243
  • 1,20 МБ
  • добавлен
  • изменен
М.: Мир, 1984. - 510 с. В предлагаемой вниманию читателей книге удачно синтезированы вопросы, которые ранее в литературе освещались изолированно. Объединяющим все изложение лейтмотивом послужила задача линейного программирования, занимающая важное место в истории развития теории алгоритмов.
  • №244
  • 19,81 МБ
  • добавлен
  • изменен
Издательство Иностранной литературы, Москва 1954 год. Перевод с немецкого: В. А. Успенского Под редакцией и с предисловием А. Н. Колмогорова Переход от n к n+1 как способ определения теоретико-числовых функций Рекурсивные функции и отношения Возвратная рекурсия Одновременная рекурсия Рекурсия, при которой производится подстановка некоторой функции на место параметра...
  • №245
  • 2,85 МБ
  • дата добавления неизвестна
  • изменен
М.: Физматлит, 2010. — 224 с. — ISBN 978-5-9221-1264-2. В пособии рассматриваются основные вопросы, связанные с применением аппарата теории вероятностей и математической статистики к исследованию и анализу компьютерных алгоритмов. Вводятся новые оценки качества компьютерных алгоритмов — информационная чувствительность и доверительная трудоемкость, актуальные при проектировании...
  • №246
  • 2,17 МБ
  • добавлен
  • изменен
2-е исправленное и доп. издание. — М.: МГУ, 2016. — 72 с. Пособие посвящено решению задач по теме «Введение в теорию алгоритмов», изучаемой на первом курсе факультета ВМК МГУ в рамках дисциплины «Алгоритмы и алгоритмические языки». Это задачи на составление алгоритмов в виде машины Тьюринга и нормальных алгоритмов Маркова, а также задачи теоретического характера. В пособии...
  • №247
  • 737,94 КБ
  • добавлен
  • изменен
Уч-метод. пособие — М.: ВМК МГУ, 2006. — 47 с. Задачи на составление алгоритмов в виде машины Тьюринга и нормальных алгоритмов Маркова, а также задачи теоретического характера. Сведения по теории алгоритмов, типичные приёмы решения задач и большой набор задач для самостоятельного решения. Пособие рассчитано на студентов 1 курса факультета ВМК МГУ и преподавателей, ведущих...
  • №248
  • 541,65 КБ
  • дата добавления неизвестна
  • изменен
Учебно-методическое пособие. — М.: МГУ, 2006. — 47 с. Задачи на составление алгоритмов в виде машины Тьюринга и нормальных алгоритмов Маркова, а также задачи теоретического характера. Сведения по теории алгоритмов, типичные приёмы решения задач и большой набор задач для самостоятельного решения. Пособие рассчитано на студентов 1 курса факультета ВМК МГУ и преподавателей,...
  • №249
  • 255,05 КБ
  • добавлен
  • изменен
Учебно-методическое пособие, М.: МГУ, 2012. - 38 с. Рекурсия – мощный инструмент программирования, по выразительным возможностям близкий к циклам. Рекурсия широко применяется при решении игровых и переборных задач. Однако зачастую освоение рекурсии представляет существенную сложность для начинающих программистов. Данное пособие посвящено обсуждению понятия рекурсии,...
  • №250
  • 782,03 КБ
  • добавлен
  • изменен
Никаких данных нет. Содержание Основные понятия теории алгоритмов Машина Тьюринга Частично-рекурсивные функции Машина с неограниченными регистрами МНР-вычислимость частично-рекурсивных функций Нумерация вычислимых функций Теорема о параметризации Универсальная вычислимая функция Разрешимые и перечислимые множества Теоремы о разрешимых и перечислимых множествах...
  • №251
  • 325,43 КБ
  • добавлен
  • изменен
Новосибирск: НГУ, 2005. – 102 с. Соодержание: Нумерации. Вычислимые нумерации. Вычислимые нумерации конечных семейств и конечных частично упорядоченных множеств. m-сводимость и 1-сводимость. Иерархия Ершова. Табличные сводимости. Вычислимость с оракулом и сводимость по Тьюрингу. Универсальные функции и операция скачка. Арифметическая иерархия. Конструктивные ординалы.
  • №252
  • 704,21 КБ
  • добавлен
  • изменен
Новосибирск: НГУ, 2005. - 130 с. Курс по теории алгоритмов является составной частью дисциплины "Математическая логика", читаемого на 2-3 курсах механико-математического факультета НГУ. В настоящем курсе подробно рассматриваются конечные автоматы и языки, рекурсивные функции и понятие вычислимости, вопросы сложности вычислений.
  • №253
  • 1002,44 КБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. – СПб: СПб НИУ ИТМО, 2012. – 51 с. Пособие содержит обзор моделей алгоритма: - алгоритмы распознавания регулярных языков конечными автоматами; - свойства читающих, записывающих конечных автоматов и автоматов с выходом; - преобразования блок-схем в конечные автоматы и регулярные выражения; - машины Тьюринга и Поста; - ассоциативные вычисления; -...
  • №254
  • 692,37 КБ
  • добавлен
  • изменен
Игра «Жизнь» (Conway's Game of Life) — клеточный автомат, придуманный английским математиком Джоном Конвеем в 1970 году. Место действия этой игры — «вселенная» — это размеченная на клетки поверхность. В нашем случае она замкнутая . Каждая клетка на этой поверхности может находиться в двух состояниях: быть живой; быть мёртвой. Клетка имеет восемь соседей. Распределение...
  • №255
  • 52,57 КБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. — Москва: МФТИ, 2016. — 138 с. Рассматриваются основы теории рекурсии, ее использование в области разработки рекурсивных алгоритмов и программирования. Приводятся основные сведения о рекурсивных функциях, даны разнообразные примеры рекурсивных алгоритмов. Описаны структуры данных, их компьютерное представление и алгоритмы обработки, знания которых лежат в основе...
  • №256
  • 2,78 МБ
  • добавлен
  • изменен
Учебное пособие. — Москва: МФТИ, 2017. — 216 с. Пособие посвящено одному из наиболее интересных и практически ценных разделов информатики и дискретной математики – теории графов. Цель пособия – в весьма ограниченном объеме дать студентам достаточно широкий обзор различных задач теории графов. Рассмотрены базовые алгоритмы решения этих задач с такой степенью доскональности, которая...
  • №257
  • 18,06 МБ
  • добавлен
  • изменен
Перевод с английского В.А.Душского, М.И.Кановича, Е.Ю.Ногиной. Под редакцией В.А.Успенского. — М.: Мир, 1972. — 624 с. Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых последних...
  • №258
  • 6,48 МБ
  • добавлен
  • изменен
М.: Мир, 1972. — 624 с. Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых последних лет. Не предполагающая в основной своей части никаких предварительных знаний, кроме знакомства с...
  • №259
  • 23,16 МБ
  • добавлен
  • изменен
Учебное пособие. — Ярославль: ЯрГУ, 2005. — 143 с. — ISBN 5-8397-0382-6. В учебном пособии излагаются основы алгоритмической грамотности (уточнение понятия алгоритма и алгоритмическая неразрешимость, анализ сложности алгоритмов, построение и анализ алгоритмов сортировки и поиска информации, выделение класса труднорешаемых задач). С целью усвоения материала и развития...
  • №260
  • 955,30 КБ
  • добавлен
  • изменен
М.: Изд-во Моск. гос. ун-та гражд. авиации, 2003. - 237 с. Учебное пособие. Содержание: Множества и мощности. Упорядоченные множества. Логика высказываний. Языки первого порядка. Исчисление предикатов. Вычислимые и универсальные функции. Машины Тьюринга. В основном тексте содержится более 200 задач теоретической направленности.
  • №261
  • 2,54 МБ
  • дата добавления неизвестна
  • изменен
Учебно-методическое пособие. – М.: Издательский отдел факультета ВМК МГУ, 2014. - 68 с. Методическое пособие посвящено сбалансированным деревьям поиска. В начале пособия рассматриваются деревья поиска общего вида. Далее рассматриваются три вида сбалансированных деревьев поиска: АВЛдеревья, красно-черные деревья и самоперестраивающиеся деревья. Теоретический материал...
  • №262
  • 2,92 МБ
  • добавлен
  • изменен
СПб.: БХВ-Петербург,2011. – 720 с. Второе издание популярного бестселлера "Алгоритмы. Руководство по разработке" раскрывает тайны проектирования алгоритмов, анализа их действенности и эффективности. Развивая успешную концепцию первого издания, книга является отличным практическим руководством по разработке эффективных алгоритмов, содержит практические упражнения и готовые решения...
  • №263
  • 76,40 МБ
  • добавлен
  • изменен
СПб.: БХВ-Петербург, 2011. — 722 с. — ISBN: 978-5-9775-0560-4. Книга является наиболее полным руководством по разработке эффективных алгоритмов. Первая часть книги содержит практические рекомендации по разработке алгоритмов: приводятся основные понятия, дается анализ алгоритмов, рассматриваются типы структур данных, основные алгоритмы сортировки, операции обхода графов и...
  • №264
  • 15,93 МБ
  • добавлен
  • изменен
Л.: Наука. 1990. 238с. В сборнике представлены результаты исследований сотрудников лаборатории теории алгоритмов Ленинградского института информатики и автоматизации АН СССР, а также специалистов, сотрудничавших с этой лабораторией. Работы связаны в основном с разработкой и анализом алгоритмов для обработки знаний, анализа изменений и сигналов и для систем компьютерной алгебры....
  • №265
  • 2,00 МБ
  • добавлен
  • изменен
Казань: Казанское математическое общество, 2000. — 576 с. Перевод книги: Robert I. Soare "Recursively Enumerable Sets and Degrees", Perspectives in Mathematical Logic, Springer, 1999. Монография профессора Чикагского университета Р.И.Соара, являющаяся наиболее популярной книгой по теории вычислимости. В ней систематически излагается современное состояние теории вычислимости,...
  • №266
  • 5,05 МБ
  • добавлен
  • изменен
У посібнику запропоновано модель вивчення основ алгоритмізації та програмування з використанням інтегрованого середовища, де на відміну від традиційного підходу головна увага приділяється задачі аналізу на всіх стадіях процесу проектування та реалізації алгоритмів. Описано новий підхід до вивчення поняття складності та вивчення властивостей алгоритмів і вибору оптимального...
  • №267
  • 51,58 МБ
  • добавлен
  • изменен
Учебное пособие по алгоритмам в информатике. Перевод: Кириленко Вадим (главы 1-12), Волошко Роман Владимирович (главы13-19) Москва : Издательство «Э», 2016. - 544 с. - (Мировой компьютерный бестселлер). ISBN 978-5-699-81729-0 Тираж 2000 экз. Алгоритмы — это рецепты, которые делают возможным эффективное программирование. Их изучение позволяет усвоить общие подходы к решению...
  • №268
  • 2,05 МБ
  • добавлен
  • изменен
Учебное пособие по алгоритмам в информатике. Перевод: Кириленко Вадим (главы 1-12), Волошко Роман Владимирович (главы 13-19). — М.: Эксмо, 2016. — 544 с. — (Мировой компьютерный бестселлер). — ISBN 978-5-699-81729-0. Алгоритмы - это рецепты, которые делают возможным эффективное программирование. Их изучение позволяет усвоить общие подходы к решению задач и накапливать полезные...
  • №269
  • 7,98 МБ
  • добавлен
  • изменен
Пер. с англ. — М.: Факториал, 1998. — 368 с.: ил. — ISBN 5-88688-039-9. Монография содержит систематическое изложение важнейших аспектов теории сложности вычислений. Ее автор — известный американский ученый, крупный специалист в области теории сложности и ее приложений. В книге на высоком научном уровне последовательно и во взаимосвязи рассмотрены основные модели вычислений:...
  • №270
  • 3,53 МБ
  • добавлен
  • изменен
Понятие алгоритма. Примеры. Способы задания. Общие свойства. Необходимость математического уточнения понятия алгоритма. Нормальный алгоритм Маркова. Машины Тьюринга. Сведение любого алгоритма к вычислению числовой функции. Геделевская нумерация объектов. Примитивно рекурсивные функции. Универсальная функция. Существование вычислимых, но не примитивно рекурсивных функций. Частично...
  • №271
  • 534,71 КБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. Москва, МИФИ, 2008. 176 стр. - ISBN 978-5-7262-1078-0 Книга посвящена теории алгоритмов и содержит основные сведения о свойствах алгоритмов и способах их формального представления (машины Тьюринга, алгоритмы Маркова, рекурсивные функции). Изложены основы теории бесконечных множеств, рассмотрены вопросы нахождения эффективных процедур для перечисления объектов...
  • №272
  • 1,25 МБ
  • добавлен
  • изменен
Учебное пособие. Москва, МИФИ, 2008. 176 стр. - ISBN 978-5-7262-1078-0 Книга посвящена теории алгоритмов и содержит основные сведения о свойствах алгоритмов и способах их формального представления (машины Тьюринга, алгоритмы Маркова, рекурсивные функции). Изложены основы теории бесконечных множеств, рассмотрены вопросы нахождения эффективных процедур для перечисления объектов...
  • №273
  • 2,06 МБ
  • добавлен
  • изменен
М.: НИЯУ МИФИ, 2011. – 132 с. Даны базовые понятия теории алгоритмов, основные определения, свойства и теоремы. Теоретическая часть изложена кратко и носит справочный характер, цель – дать основу для решения практических задач и подготовки к сдаче экзамена. В каждом разделе приведены типовые задачи и вопросы с подробными решениям. Материал ориентирован на темы, изучаемые на...
  • №274
  • 1,01 МБ
  • добавлен
  • изменен
Учебное пособие. — Самара, 2002. — 44 с. Пособие содержит краткую теорию и варианты заданий по теории алгоритмов, включающих разделы, связанные с машинами Тьюринга, нормальными алгоритмами Маркова, а также теории рекурсивных функций. Рассматриваются также вопросы, связанные с теорией предикатов.
  • №275
  • 557,16 КБ
  • добавлен
  • изменен
М. : Советское радио, 1974 . – 200 с. Книга является общедоступным введением в теорию алгоритмов и рассматривает круг вопросов, лежащих на грани между математической логикой и теорией автоматических вычислительных машин. Рассчитана на широкий круг читателей, интересующихся кибернетикой, вычислительной математикой и техникой.
  • №276
  • 46,81 МБ
  • добавлен
  • изменен
Рассмотрены в популярной форме основные вопросы теории алгоритмов и связь этой теории с современной математикой. Государственное издательство технико-теоретической литературы. М. :1957, 99 стр.
  • №277
  • 843,83 КБ
  • дата добавления неизвестна
  • изменен
Учебное пособие. М.: НАУКА, ФИЗМАТЛИТ, 2007. – 376 с. Разработка и анализ компьютерных алгоритмов — новая дисциплина, возникшая на стыке дискретной математики, программирования и классической теории алгоритмов, играющая важную роль в современных компьютерных технологиях. Для большинства практически значимых задач, решаемых сегодня с использованием компьютеров, существуют...
  • №278
  • 5,71 МБ
  • добавлен
  • изменен
М.: Физматлит, 2008. — 304 с. — (Информационные и компьютерные технологии). — ISBN 978-5-9221-0950-5. В пособии полно и на современном уровне изложены вопросы выбора рациональных алгоритмических решений, в том числе и комбинированных, важные в практическом плане и актуальные при проектировании информационных и программных систем. Пособие может использоваться в качестве практически...
  • №279
  • 2,39 МБ
  • добавлен
  • изменен
Учебное пособие. — М.: МГАПИ, 2003. — 47 с., 80 с. Предлагаемое издание рекомендуется в качестве учебного пособия для подготовки студентов различных специальностей, изучающих математическую логику и теорию алгоритмов. Издание может быть использовано в качестве учебного пособия по разделу «Математическая логика» дисциплины «Математическая логика и теория алгоритмов». В первой...
  • №280
  • 951,19 КБ
  • добавлен
  • изменен
2-е изд., исправленное. — М.: МЦНМО, 2009. — 48 с. — ISBN 978-5-94057-485-9. Файл: отскан. страницы (b/w 600 dpi) + OCR + букмарки. Брошюра написана по материалам лекции, прочитанной автором 23 июля 2005 года в летней школе «Современная математика» в Дубне. Она посвящена формализации такого интуитивно ясного термина, как «случайность». В брошюре рассматривается четыре разных...
  • №281
  • 516,85 КБ
  • добавлен
  • изменен
2-е изд., исправленное. — М.: МЦНМО, 2009. — 48 с. — ISBN 978-5-94057-485-9. Файл: отскан. страницы (b/w 600 dpi) + OCR + букмарки. Брошюра написана по материалам лекции, прочитанной автором 23 июля 2005 года в летней школе «Современная математика» в Дубне. Она посвящена формализации такого интуитивно ясного термина, как «случайность». В брошюре рассматривается четыре разных...
  • №282
  • 621,21 КБ
  • добавлен
  • изменен
М.: МЦНМО, 2010.— 556 с. Классическая (шенноновская) теория информации измеряет количество информации в случайных величинах. В середине 1960-х годов А. Н. Колмогоров (и другие авторы) предложили измерять количество информации в конечных объектах с помощью теории алгоритмов, определив сложность объекта как минимальную длину программы, порождающей этот объект. Это определение...
  • №283
  • 2,45 МБ
  • добавлен
  • изменен
Москва: Наука, 1987. — 288 с. Важнейшие достижения теории алгоритмов. Приложения теории алгоритмов к математической логике, теории вероятностей, теории информации и др. Влияние теории алгоритмов на алгоритмическую практику. Основные математические приложения теории алгоритмов: Исследование массовых проблем. Приложения к основаниям математики. Приложения к...
  • №284
  • 3,55 МБ
  • дата добавления неизвестна
  • изменен
М.: Наука, Физматлит, 1987.— 288 с. (Библиотечка программиста) Понятие алгоритма является одним из наиболее фундаментальных понятий информатики и математики. Систематическое изучение алгоритмов привело к созданию особой дисциплины, пограничной между математикой и информатикой — теория алгоритмов. В книге дается обзор важнейших достижений теории алгоритмов за последние полвека, т....
  • №285
  • 14,33 МБ
  • добавлен
  • изменен
Предисловие. обозначения и терминология. введение. предварительные понятия теории алгоритмов: конструктивные объекты и их ансамбли, локальные свойства и локальные действия. Общее понятие алгоритма как самостоятельное (отдельное) понятие. Представительные вычислительные модели. Общее понятие исчисления как самостоятельное. (отдельное) понятие. Представительные порождающие...
  • №286
  • 224,86 КБ
  • дата добавления неизвестна
  • изменен
Учебно-методическое пособие. — Шахты : ГОУ ВПО «ЮРГУЭС», 2011. — 66 с. Учебно-методическое пособие охватывает традиционные разделы математической логики и теории алгоритмов. Значительное место в пособии занимает описание методов, наиболее часто применяемых на практике при решении задач математической логики и теории алгоритмов. В пособии рассмотрено достаточное количество...
  • №287
  • 558,30 КБ
  • добавлен
  • изменен
М.: Лаборатория знаний, 2016. - 250 с. «Золотой билет» – великолепное введение в P/NP-проблему, в котором описаны история этой задачи и ее влияние на нашу жизнь. В этой информативной и занимательной книге Лэнс Фортноу прослеживает работу, которая велась над задачей во времена холодной войны по обе стороны «железного занавеса», и приводит примеры ее возникновения во множестве...
  • №288
  • 2,64 МБ
  • добавлен
  • изменен
М. : Радио и связь, 1984. — 153 с. Показана возможность построения алгоритмов решения широкого класса логических задач с использованием алгебры высказываний. Рассмотрены вопросы диагностики, анализа и синтеза релейно-контактных схем, задачи о расписании, задачи о счетчиках, автоматах и др. Для интересующихся проблемами кибернетики и вычислительной техники.
  • №289
  • 45,44 МБ
  • добавлен
  • изменен
2-е изд. исправленное. — М.: Интуит, 2016. — 336 с. Курс содержит задачи по программированию различной трудности. Большинство задач приводятся с решениями. Цель курса - научить основным методам построения корректных и быстрых алгоритмов. Курс будет полезен учителям информатики, старшеклассникам, студентам младших курсов высших учебных заведений. Курс может быть использован на...
  • №290
  • 7,83 МБ
  • добавлен
  • изменен
М.: Интуит, 2016. — 336 с. Курс содержит задачи по программированию различной трудности. Большинство задач приводятся с решениями. Цель курса - научить основным методам построения корректных и быстрых алгоритмов. Курс будет полезен учителям информатики, старшеклассникам, студентам младших курсов высших учебных заведений. Курс может быть использован на кружковых и факультативных...
  • №291
  • 27,37 МБ
  • добавлен
  • изменен
СПб.: Диалектика, 2019. — 353 с. Вы всегда считали, что алгоритм — это что-то из мира неопрятных хакеров, освещенных экранами в полутемных помещениях, забитых компьютерами ? Что это нечто "не от мира сего", для обычного человека находящееся за гранью понимания ? Вы непростительно ошибаетесь. Вероятно, это одно из наибольших заблуждений нашего времени — особенно непонятное в свете...
  • №292
  • 43,80 МБ
  • добавлен
  • изменен
В этом разделе нет файлов.

Комментарии

В этом разделе нет комментариев.