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...
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...
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...
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...
Издательство 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...
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...
Издательство 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,...
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...
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...
Kluwer Academic Publishers, 1992. — xx, 585 p. — ISBN 0-7923-9259-0. 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...
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...
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,...
Birkhauser, 2008. — 132 р. — ISBN13: 978-0-8176-4728-5 e-ISBN13: 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...
Springer, 2002. — 378 p. 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 of...
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...
2nd edition. — Springer, 1997. — 656 p. — (Graduate texts in computer science). — ISBN: 0-387-94868-6. Written by two experts in the field, this is the only comprehensive and unified treatment of the central ideas and applications of Kolmogorov complexity. The book presents a thorough treatment of the subject with a wide range of illustrative applications. Such applications...
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...
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...
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...
Springer, 2010. — 403 p. This is the first text and monograph about DNA computing, a molecular approach that might revolutionize our thinking and ideas about computing. Although it is too soon to predict whether computer hardware is likely to change from silicon to carbon and from microchips to DNA molecules, the theoretical premises have already been studied extensively. The...
McGraw-Hill, 1967. — 504 p. 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 viewed as a...
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...
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...
American Mathematical Society, 2017. — 519 p. Preface. Acknowledgments. Basic notions and notation. Introduction. What is this book about? Plain Kolmogorov complexity. Complexity of pairs and conditional complexity. Martin-Löf randomness. A priori probability and prefix complexity. Monotone complexity. General scheme for complexities. Shannon entropy and Kolmogorov complexity....
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...
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...
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...
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...
Springer, 1992. — viii, 108 p. — (Monographs in Theoretical Computer Science. An EATCS Series). — ISBN 0-387-55840-3, 3-540-55840-3. There are many ways to measure the complexity of a given object, but there are two measures of particular importance in the theory of computing: One is Kolmogorov complexity, which measures the amount of information necessary to describe an...
A K Peters/CRC Press, 1994. — 139 p. — ISBN13: 978-1-56881178-9. Целевая аудитория: математики, инженеры и опытные разработчики программного обеспечения. Алгоритмы и их сложность часто становятся предметом обсуждения на многих собеседованиях, поэтому необходимость в хорошем знании материала возникает у любого начинающего и, тем более, опытного разработчика. Это небольшое...
Society for Industrial and Applied Mathematics, 1980. — 99 p. 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...
М.: Наука, 1986. — 130 с. В книге описываются различные подходы к установлению свойств программ и доказательству теорем о программах. Цель книги - дать единую теоретико-множественную схему: с одной стороны, наиболее распространенные традиционные методы, с другой стороны, новые методы анализа программ. Для студентов и аспирантов математических специальностей, а также научных...
Переславль-Залесский: Университет города Переславля, 2016. — 27 c. В метавычисления в первую очередь включают теорию суперкомпиляции и близкие методы и средства. Приставка "мета" указывает на то, что программа в метавычислениях рассматривается как объект анализа и/или преобразования. В сборнике из 3-х книг приводятся основные понятия метавычислений, дается описание вопросов...
Переславль-Залесский: Университет города Переславля, 2016. — 130 c. В метавычисления в первую очередь включают теорию суперкомпиляции и близкие методы и средства. Приставка "мета" указывает на то, что программа в метавычислениях рассматривается как объект анализа и/или преобразования. В сборнике из 3-х книг приводятся основные понятия метавычислений, дается описание вопросов...
Переславль-Залесский: Университет города Переславля, 2016. — 74 c. В метавычисления в первую очередь включают теорию суперкомпиляции и близкие методы и средства. Приставка "мета" указывает на то, что программа в метавычислениях рассматривается как объект анализа и/или преобразования. В сборнике из 3-х книг приводятся основные понятия метавычислений, дается описание вопросов...
М.: Наука, 1963. — 556 с. Настоящая книга рассчитана на широкий круг читателей, работающих в области автоматики, телемеханики и вычислительной техники и впервые знакомящихся с теорией конечных автоматов и последовательностных машин. Авторы имели в виду также, что книга должна быть полезна для математика (не логика), стремящегося познакомиться с этими проблемами, а также для...
М.: Издательский отдел ф-та ВМиК МГУ, 2002. — 82 с. — ISBN: 5894071372
Рассматриваются общие утверждения о сложности задач, методы построения быстрых алгоритмов и примеры их применения с оценками сложности, основные классы задач относительно их сложности, примеры универсальных задач в этих классах.
В учебном пособии излагаются основы теории алгоритмов и теории формальных грамматик, рассматриваются различные алгоритмические системы, методы оценки и преобразования алгоритмов, связь теории алгоритмов с теорией формальных грамматик, классификация грамматик, связь теории формальных грамматик с теорией автоматов.
Пособие предназначено для студентов вузов, специализирующихся по...
Перевод с английского. — М.: Вильямс, 2003. — 384 с. — ISBN: 5-8459-0122-7. В этой книге подробно рассмотрены структуры данных и алгоритмы, которые являются фундаментом современной методологии разработки программ. Показаны разнообразные реализации абстрактных типов данных, начиная от стандартных списков, стеков, очередей и заканчивая множествами и отображениями, которые...
Монография. — Пер. с англ. и ред. докт. физ.-мат. наук Д.А. Клюшина, при участии И.В. Василенко. — Киев: Диалектика, 2021. — 544 с.: ил. — ISBN 978-5-907203-27-3. В этой монографии, ставшей классикой, излагаются результаты теоретических и прикладных исследований по разработке и анализу эффективных вычислительных алгоритмов. Рассмотрены задачи поиска, сортировки массивов,...
М.: Просвещение, 1970. — 25 с. Учебное пособие для заочных отделений физико-математических факультетов педагогических институтов. Настоящее пособие представляет собой попытку элементарного изложения основ теории алгоритмов, которое могло бы служить требуемым руководством для студентов педвузов. Общий план изложения заимствован из лекций, прочитанных П. С. Новиковым на курсах...
М.: МЦНМО, 2013. — 576 с. — ISBN: 978-5-4439-0212-8. Классическая (шенноновская) теория информации измеряет количество информации, заключённой в случайных величинах. В середине 1960-х годов А.Н. Колмогоров (и другие авторы) предложили измерять количество информации в конечных объектах с помощью теории алгоритмов, определив сложность объекта как минимальную длину программы,...
Издательство Мир, Москва 1997. - 183 с.
Электронная книга одного из наиболее известных специалистов в современном программировании посвящена методам систематического конструирования алгоритмов и написана как вводный курс программирования. Поскольку такой курс должен быть составной частью общего математического образования, особое внимание уделяется системе обозначений, языку. В...
Учебное пособие. — М.: Издательство Центра прикладных исследований при механико-математическом факультете МГУ, 2005. — 144 с. Различным видам управляющих систем соответствуют различные виды хранения и представления модели данных, классам функций, исследуемым в теории синтеза, соответствуют типы задач поиска, исследуемые в теории информационного поиска. И в теории синтеза и в...
3-е издание, исправленное. — М.: Дрофа, 2005. — 320 с. — (Классический университетский учебник). — ISBN 5-7107-8904-6. В учебном пособии (2-е изд. — 2002 г.) впервые в отечественной литературе рассматривается связь вопросов арифметики с современными проблемами кибернетики. Книга представляет собой сборник задач по арифметике и теории сложности арифметических алгоритмов и...
3-е изд., испр. — М.: Дрофа, 2005. — 320 с. — (Классический университетский учебник). — ISBN 5-7107-8904-6. В учебном пособии (2-е изд. — 2002 г. ) впервые в отечественной литературе рассматривается связь вопросов арифметики с современными проблемами кибернетики. Книга представляет собой сборник задач по арифметике и теории сложности арифметических алгоритмов и позволяет...
Пер. с англ. Наука. М., 1974, 288с.
Линейные последовательностные машины (ЛПМ) широко применяются в автоматике и вычислительной технике в качестве генераторов последовательностей, счетчиков, кодирующих и декодирующих устройств, устройств обнаружения и исправления ошибок, при моделировании нейронных сетей и т. д. Книга А. Гилла представляет собой первую в мировой литературе...
2-е изд., перераб. — Киев : Наукова думка, 1978. — 318 с. Эволюция общения человека с ЭВМ связана с созданием мощных средств их математического обеспечения. Используемые при этом развитые языки и системы программирования существенно повышают "Интеллект" ЭВМ, реализуемый как схемным, так и программным способом, и способствуют дальнейшему расширению сферы применения вычислительной...
М.: Физматлит, 2006. — 296 с. Книга является учебным пособием по теории рекурсии в аспекте ее применения в области программирования. В ней рассматриваются основы теории рекурсии, и ее использование в области разработки и анализа рекурсивных алгоритмов. Приводятся основные сведения о рекурсивных последовательностях и функциях, даны примеры рекурсивных алгоритмов, разработанных...
2-е издание. — М.: Мир, 1987. — 120 с. Оригинальное и нестандартное изложение известных методов анализа алгоритмов, написанные крупным американским специалистом Д. Кнутом в соавторстве с Д. Грином. В книге представлены: комбинаторные тождества, рекуррентные соотношения, асимптотические представления. От читателя требуется знакомство с основами теории вероятностей, комбинаторного...
М.: Мир, Редакция литературы по математическим наукам, 1981. — 364 с. Монография американских авторов, посвященная общим принципам решения задач на ЭВМ, разработке и анализу алгоритмов. Подробно описываются основные этапы решения задач, даются конкретные примеры, иллюстрирующие теоретические выводы и упражнения. По тематике книга пересекается с "Искусством программирования" Д....
Пер. с анг. А.С. Куликова, под ред. А. Шеня. — М.: МЦНМО, 2014. — 320 с. — ISBN 978-5-4439-0236-4. В этой книге, предназначенной для студентов математических и программистских специальностей (начиная с младших курсов), подробно разбираются основные методы построения и анализа эффективных алгоритмов. Она основана на лекциях авторов в университетах Сан-Диего и Беркли. Выбор...
Учебное пособие. — Ярославль: Ярославский государственный университет им. П.Г. Демидова (ЯрГУ), 2008. — 248 с. — ISBN 978-5-8397-0622-4. Под алгоритмом мы понимаем в интуитивном смысле точное предписание, определяющее вычислительный процесс, который ведет от исходных данных, варьируемых в некотором заданном множестве, к искомому результату. Этот вычислительный процесс должен...
Новосибирск: Изд-во Сибирского отд-ния Российской акад. наук, 2012. — 505 с. Вычислимость и невычислимость Рекурсивность и вычислимость Алгоритм, эффективно вычислимая функция и рекурсивность Алгоритмы и знание Невычислимость Практическая невычислимость Невычислимость, редукционизм и холизм Физикализм, бесконечность и невычислимость Компьютерная модель вселенной Машинная...
Перевод с англ. А. А. Мучника под ред. С. Ю. Маслова Книга известного английского математика, охватывающая основные вопросы теории вычислимых функций и ее приложений: сложность вычислений и алгоритмов, теоремы Гёделя о неполноте и Чёрча о неразрешимости, семантику языков программирования. Изложение замкнутое, методически продуманное, имеется много упражнений. Для математиков,...
СПб.: Питер, 2016. — 800 c. — ISBN: 9785496015455. Впервые на русском языке выходит одна из самых авторитетных книг по разработке и использованию алгоритмов. Алгоритмы — это основа программирования, определяющая, каким образом программное обеспечение будет использовать структуры данных. Вы познакомитесь с базовыми аспектами построения алгоритмов, основными понятиями и...
М.: МЦНМО, 2011 г., 78 с. "Цель данной работы состоит в том, чтобы ознакомить читателя с основами анализа алгоритмов, причём сделать это с помощью примеров, а не систематического изложения теории. Надеюсь, что такой подход позволит читателю быстро войти в курс дела, познакомиться с идеями, используемыми в этой области, а также понять взаимосвязь анализа алгоритмов с другими...
Учебник. — Самара: Самарский университет, 2018. — 128 с. — ISBN: 978-5-7883-1263-7. Приведены основные направления исследований в теории алгоритмов, определены базовые понятия и требования, предъявляемые к написанию алгоритмов и определению порядка их сложности. Описаны методы и подходы для работы с массивами, списками, деревьями, графами и другими линейными и нелинейными...
Издательство Мир, 1974, -392 с. Библиотека «Кибернетического сборника» Затрагиваемые в сборнике проблемы математической логики тесно связаны с теорией вычислительных машин. В книге рассматриваются модели вычислительных устройств, их классификация, классификация языков, оценки сложности вычислений и оценки сложности программ. Развивается связанный со сложностью программ подход...
М.: МЦНМО, 2001. — 960 с. Книга представляет собой перевод учебника по курсу построения и анализа эффективных алгоритмов, написанного в Массачусетсом технологическом институте; в ней разбираются важнейшие, классы быстрых алгоритмов и приёмы их построения. Изложение подробное и математически строгое. Книгу можно использовать в качестве учебника и справочника; она будет полезна как...
М.: ООО И.Д. Вильямс, 2014. — 208 c. — ISBN: 9785845918680 Эта книга написана признанным авторитетом в области компьютерных алгоритмов - профессором информатики Томасом Корменом, чей труд "Алгоритмы: построение и анализ", написанный в соавторстве с такими выдающимися учеными, как Чарльз Лейзерсон, Рональд Ривест и Клиффорд Штайн, выдержав три издания, давно стал общепризнанным...
М.: Вильямс, 2014. - 208с.
Эта книга написана признанным авторитетом в области компьютерных алгоритмов - профессором информатики Томасом Корменом, чей труд "Алгоритмы: построение и анализ", написанный в соавторстве с такими выдающимися учеными, как Чарльз Лейзерсон, Рональд Ривест и Клиффорд Штайн, выдержав три издания, давно стал общепризнанным классическим учебником по...
2-е издание, - М.: Издательский дом "Вильямс", 2005. - 1296 с.: ил. Фундаментальный труд известных специалистов в области кибернетики достоин занять место на полке любого человека, чья деятельность так или иначе связана с информатикой и алгоритмами. Для профессионала эта книга может служить настольным справочником, для преподавателя — пособием для подготовки к лекциям и...
Переводчик: И.В.Красикова. — 3-е изд. — М.: Вильямс. — 1324 с. — ISBN: 978-5-8459-1794-2.
Книга "Алгоритмы. Построение и анализ" удачно объединяет в себе полноту охвата и строгость изложения материала. Много книг, посвященных алгоритмам, отличается строгостью изложения материала, но страдает определенной неполнотой; другие книги охватывают огромный объем материала, но...
В.М. Котов, Ю.Л. Орлович, Е.П. Соболевская, С.А. Соболь. — Минск: БГУ, 2017. — 183 с. — ISBN: 978-985-566-412-4. Пособие состоит из двух частей: «Алгоритмы на графах» и «Бинарные поисковые деревья». Первая часть содержит практические задачи, которые могут быть сформулированы в графовой постановке. Далее для их решения применяются соответствующие алгоритмы, например алгоритм...
Учебное пособие. М.: Факториал Пресс, 2006. — 128 с. — (Методы современной математики; Вып. 2) ISBN: 5-88688-083-6 Тираж 1000 экз. Учебное пособие написано по материалам полугодового спецкурса, читавшегося автором на механико-математическом факультете МГУ им. М.В. Ломоносова для студентов и аспирантов кафедры математической логики и теории алгоритмов, а также специальности...
М.: Академия, 2009. — 208 c. В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к формализации понятия алгоритма; даны начала алгоритмической теории множеств; представлены наиболее известные результаты об...
Учебное пособие. — М.: Финансы и статистика, 1985. — 223 с. Рассматриваются основы программирования на базе языков Алгол-60, Ассемблер, Фортран и ПЛ/1, излагаются эффективные численные методы, используемые при решении вычислительных задач. Все объяснения ведутся на простых примерах, по принципу «от простого к сложному». Для учащихся техникумов, обучающихся по специальности...
Запорожье: Запорожский национальный университет, 2012. — 196 с. — ISBN 978-966-599-408-4. Настоящая монография основана на материале лекций, читающихся в Запорожском национальном университете для студентов, обучающихся по специальностям "Прикладная математика", "Информационные системы" и «Программная инженерия». Это лекции по разделу "Теория графов" курса «Дискретная...
Учебно-методическое пособие для студентов очного и заочного обучения технических специальностей. – Н. Новгород : Изд-во ФГОУ ВПО «ВГАВТ», 2010. – 81 с. Излагаются основные принципы и типовые приемы алгоритмизации при решении инженерных задач. Приводятся примеры алгоритмов решения типовых задач: табулирование функций, поиск элементов с заданными признаками и сортировка данных....
Москва: Техносфера, 2002. — 368 с. — (Мир программирования). — ISBN: 5-94836-005-9. По истечении десятилетия элементная база компьютеров, операционные системы, средства доступа и внешний вид программ меняются коренным образом, однако структуры и алгоритмы, лежащие в их основе, остаются неизменными в течение гораздо большего времени. Эти основы начали закладываться тысячелетия...
М.: «Наука», 1965. — 394 с. Скан, OCR слой. Еще в 30-х годах нашего столетия математическая логика и возникавшая тогда теория алгоритмов казались наиболее абстрактными и наиболее далекими от практических приложений математическими дисциплинами. В настоящее время положение коренным образом изменилось. Ныне общепризнано, что обе названные дисциплины образуют теоретический...
М.: Наука. Гл. ред. физ.-мат. лит., 1986.— 366 c. — 2-е изд. Скан, OCR слой. Посвящается одному из актуальных и бурно развивающихся разделов математической логики — теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов. 1-е изд.— в 1965 г. Для...
В оригинале - "Теория Алгорифмов". М. -Л.: Издательство Академии Наук СССР, 1954. - 377 с.
Книга вводит читателя в область теории алгоритмов. В ней отыскали отблеска эти нюансы доктрины как многоцелевые, обычные методы, исчисления Поста, комбинаторная неувязка Поста, неувязка определения применимости алгоритмов и всякое разное. Книга написана на высочайшем математическом уровне.
М.: Московский центр непрерывного математического образования (МЦНМО), 2003. — 112 с. Книга написана на основе курсов лекций, которые автор читал на факультете Вычислительной математики и кибернетики МГУ. В книге собраны основное классы «элементарных» рекурсивных функций, изучаемые в теории алгоритмов. Приведены различные определения этих классов, установлены соотношения...
М.: БИНОМ. Лаборатория знаний. 2008. — 202 с. Учебник по курсу «Теория алгоритмов» для педагогических вузов по специальности «Информатика», полностью соответствующий стандарту. Изложение имеет четкую логическую структуру и охватывает следующие темы: понятие алгоритма, машина Тьюринга, примитивно-рекурсивные функции, нормальные алгоритмы, вычислимость и разрешимость, сложность...
Учебное пособие. — 2-е изд., перераб. и доп. — М.: Финансы и статистика, 1983. — 224 с., ил. Излагаются основы программирования на базе языка ПЛ/1. Описываются элементы языков моделирования и языков высокого уровня для использования в автоматизированном проектировании систем обработки экономической информации. Все языки ориентированы на операционную систему ОС ЕС. Для студентов...
Курс лекций. — М.: МИСиС, 2011. — 170 с. — ISBN 978-5-87623-421-6. Рассмотрены основные элементы алгоритмических языков программирования. Приводятся многочисленные примеры, в которых изложено все, что нужно современному специалисту для создания приложений: конструкции языка, динамические структуры данных и основы объектно-ориентированного подхода при разработке программ....
Ноден П., Китте К. Алгебраическая алгоритмика (с упражнениями и решениями): пер. с фран. М.: Мир, 1999. - 720 с. Книга известных французских математиков — это по существу энциклопедия алгоритмов алгебры и теории чисел от Евклида и до наших дней. В ней прослеживается общая идея — представить основные алгебраические структуры и концепции в виде объектов, поддающихся машинной...
Киев: Выща школа, 1989. — 166 с. — ISBN: 5-11-000002-6. В монографии описаны алгоритмы решения задач линейного, сепарабельного, нелинейного дискретного программирования с блочной структурой ограничений, имеющие псевдополиномиальную оценку числа вычислений. Описаны классы прикладных задач дискретного программирования. Изложены новые возможности использования моделей линейного...
Издательство Иностранной литературы, Москва 1954 год.
Перевод с немецкого: В. А. Успенского
Под редакцией и с предисловием А. Н. Колмогорова
Переход от n к n+1 как способ определения теоретико-числовых функций
Рекурсивные функции и отношения
Возвратная рекурсия
Одновременная рекурсия
Рекурсия, при которой производится подстановка некоторой функции на место параметра...
Учебно-методическое пособие. — М.: МГУ, 2006. — 47 с.
Задачи на составление алгоритмов в виде машины Тьюринга и нормальных алгоритмов Маркова, а также задачи теоретического характера.
Сведения по теории алгоритмов, типичные приёмы решения задач и большой набор задач для самостоятельного решения.
Пособие рассчитано на студентов 1 курса факультета ВМК МГУ и преподавателей,...
Никаких данных нет. Содержание Основные понятия теории алгоритмов Машина Тьюринга Частично-рекурсивные функции Машина с неограниченными регистрами МНР-вычислимость частично-рекурсивных функций Нумерация вычислимых функций Теорема о параметризации Универсальная вычислимая функция Разрешимые и перечислимые множества Теоремы о разрешимых и перечислимых множествах Нумерация...
СПб.: БХВ-Петербург, 2011. — 722 с. — ISBN: 978-5-9775-0560-4. Книга является наиболее полным руководством по разработке эффективных алгоритмов. Первая часть книги содержит практические рекомендации по разработке алгоритмов: приводятся основные понятия, дается анализ алгоритмов, рассматриваются типы структур данных, основные алгоритмы сортировки, операции обхода графов и...
Л.: Наука. 1990. 238с. В сборнике представлены результаты исследований сотрудников лаборатории теории алгоритмов Ленинградского института информатики и автоматизации АН СССР, а также специалистов, сотрудничавших с этой лабораторией. Работы связаны в основном с разработкой и анализом алгоритмов для обработки знаний, анализа изменений и сигналов и для систем компьютерной алгебры....
Казань: Казанское математическое общество, 2000. — 576 с. Перевод книги: Robert I. Soare "Recursively Enumerable Sets and Degrees", Perspectives in Mathematical Logic, Springer, 1999. Монография профессора Чикагского университета Р.И.Соара, являющаяся наиболее популярной книгой по теории вычислимости. В ней систематически излагается современное состояние теории вычислимости,...
Пер. с англ. — М.: Факториал, 1998. — 368 с.: ил. — ISBN: 5-88688-039-9. Монография содержит систематическое изложение важнейших аспектов теории сложности вычислений. Ее автор — известный американский ученый, крупный специалист в области теории сложности и ее приложений. В книге на высоком научном уровне последовательно и во взаимосвязи рассмотрены основные модели вычислений:...
Учебное пособие. Москва, МИФИ, 2008. 176 стр. - ISBN: 978-5-7262-1078-0 Книга посвящена теории алгоритмов и содержит основные сведения о свойствах алгоритмов и способах их формального представления (машины Тьюринга, алгоритмы Маркова, рекурсивные функции). Изложены основы теории бесконечных множеств, рассмотрены вопросы нахождения эффективных процедур для перечисления объектов...
Учебное пособие. — Самара, 2002. — 44 с. Пособие содержит краткую теорию и варианты заданий по теории алгоритмов, включающих разделы, связанные с машинами Тьюринга, нормальными алгоритмами Маркова, а также теории рекурсивных функций. Рассматриваются также вопросы, связанные с теорией предикатов.
Рассмотрены в популярной форме основные вопросы теории алгоритмов и связь этой теории с современной математикой. Государственное издательство технико-теоретической литературы. М. :1957, 99 стр.
М.: Физматлит, 2008. — 304 с. — (Информационные и компьютерные технологии). — ISBN 978-5-9221-0950-5. В пособии полно и на современном уровне изложены вопросы выбора рациональных алгоритмических решений, в том числе и комбинированных, важные в практическом плане и актуальные при проектировании информационных и программных систем. Пособие может использоваться в качестве...
Учебное пособие. — М.: Наука, Физматлит, 2007. — 376 с. — ISBN 978-5-9221-0950-5. Разработка и анализ компьютерных алгоритмов — новая дисциплина, возникшая на стыке дискретной математики, программирования и классической теории алгоритмов, играющая важную роль в современных компьютерных технологиях. Для большинства практически значимых задач, решаемых сегодня с использованием...
2-е изд., исправленное. — М.: МЦНМО, 2009. — 48 с. — ISBN: 978-5-94057-485-9. Файл: отскан. страницы (b/w 600 dpi) + OCR + букмарки. Брошюра написана по материалам лекции, прочитанной автором 23 июля 2005 года в летней школе «Современная математика» в Дубне. Она посвящена формализации такого интуитивно ясного термина, как «случайность». В брошюре рассматривается четыре разных...
Москва: Наука, 1987. — 288 с.— (Библиотечка программиста). Понятие алгоритма является одним из наиболее фундаментальных понятий информатики и математики. Систематическое изучение алгоритмов привело к созданию особой дисциплины, пограничной между математикой и информатикой — теории алгоритмов. В книге дается обзор важнейших достижений теории алгоритмов за последние полвека, т....
2-е изд. исправленное. — М.: Интуит, 2016. — 336 с. Курс содержит задачи по программированию различной трудности. Большинство задач приводятся с решениями. Цель курса - научить основным методам построения корректных и быстрых алгоритмов. Курс будет полезен учителям информатики, старшеклассникам, студентам младших курсов высших учебных заведений. Курс может быть использован на...
Курс лекций. — М.: МИСиС, 1977. — 127 с. Излагаемый курс преследует две цели. С одной стороны, рассматриваются принципиальные вопросы, связанные с вычислениями, не зависящие от конкретной концепции машины. К ним относятся, например, следующие. Всякая ли задача может быть решена на машине (при наличии неограниченного ресурса памяти и времени), что такое "универсальная машина" и...
Комментарии