Учебное пособие. — Казань: Казанский университет, 2024. — 74 с. В учебном пособии излагаются основы теории коммуникационных вычислений. Рассматриваются различные варианты коммуникационной модели: детерминированная, недетерминированная, вероятностная. Определяется понятие протокола, вводится понятие сложности, приводятся примеры протоколов, вычисляющих булевы функции,...
Прометей, 2020. — 90 с. В учебном пособии изложены подходы к формализации понятий алгоритма. В нем уточняется понятие алгоритма через математическую машину Тьюринга и машину с неограниченным количеством регистров (МНР) и рассматриваются некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов пособие содержит задания для самостоятельной работы....
Учебное пособие. — М.: Первый Московский государственный медицинский университет имени И.М. Сеченова (Сеченовский Университет), Нижний Новгород: Профессиональная наука, 2020. — 134 с. — ISBN 978-5-6044576-2-7. Учебное пособие по изучению дисциплины «Алгоритмические языки» разработано в соответствии с требованиями государственного образовательного стандарта. В пособии...
Springer, 2000. — 204 p. This book contains a revised version of the dissertation the author wrote at the Department of Computer Science of the University of Chicago. The thesis was submitted to the Faculty of Physical Sciences in conformity with the requirements for the PhD degree in June 1999. It was honored with the 1999 ACM Doctoral Dissertation Award in May 2000. Summary...
Springer, 2018. — 698 p. This volume of the Encyclopedia of Complexity and Systems Science, Second Edition, is a unique collection of concise overviews of state-of-art, theoretical and experimental findings, prepared by the world leaders in unconventional computing. Topics covered include bacterial computing, artificial chemistry, amorphous computing, computing with Solitons,...
Харьков: ХАИ, 1973. — 163 с. Критерии эффективной реализация алгоритмов управляющими вычислительными системами Методы оптимизации вычислительных алгоритмов до их параметрам Минимизация вычислительных алгоритмов на уровне операций Синтез алгоритмов повышенной точности вычислений для простых операций при ограниченной длине разрядной сетки УВМ Синтез алгоритмов вычисления...
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...
Springer, 2023. — 530 p. This textbook introduces formal languages and automata theory for upper-level undergraduate or beginning graduate students. While it contains the traditional mathematical development usually employed in computational theory courses, it is also quite different from many of them. Machines, grammars, and algorithms developed as part of a constructive proof...
Springer. 2013 — 787 pages. Contents. Parameterized Tractability. Preliminaries. The Basic Definitions. Elementary Positive Techniques. Bounded Search Trees. Kernelization. More on Kernelization. Iterative Compression, and Measure and Conquer, for Minimization Problems. Further Elementary Techniques. Color coding, Multilinear Detection, and Randomized divide-and-conquer....
ACM Books, 2023. — 426 p. — ISBN: 979-8-4007-0778-0. Professor Stephen A. Cook is a pioneer of the theory of computational complexity. His work on NP-completeness and the P vs. NP problem remains a central focus of this field. Cook won the 1982 Turing Award for "his advancement of our understanding of the complexity of computation in a significant and profound way." This volume...
ACM Books, 2023. — 426 p. — ISBN: 979-8-4007-0778-0. Professor Stephen A. Cook is a pioneer of the theory of computational complexity. His work on NP-completeness and the P vs. NP problem remains a central focus of this field. Cook won the 1982 Turing Award for "his advancement of our understanding of the complexity of computation in a significant and profound way." This volume...
ACM Books, 2023. — 426 p. — ISBN: 979-8-4007-0778-0. Professor Stephen A. Cook is a pioneer of the theory of computational complexity. His work on NP-completeness and the P vs. NP problem remains a central focus of this field. Cook won the 1982 Turing Award for "his advancement of our understanding of the complexity of computation in a significant and profound way." This volume...
New York: ACM Books, 2023. — 426 p. Professor Stephen A. Cook is a pioneer of the theory of computational complexity. His work on NP-completeness and the P vs. NP problem remains a central focus of this field. Cook won the 1982 Turing Award for "his advancement of our understanding of the complexity of computation in a significant and profound way." This volume includes a...
Пер. с анг. А.С. Куликова, под ред. А. Шеня. — М.: МЦНМО, 2014. — 320 с. — ISBN 978-5-4439-0236-4. В этой книге, предназначенной для студентов математических и программистских специальностей (начиная с младших курсов), подробно разбираются основные методы построения и анализа эффективных алгоритмов. Она основана на лекциях авторов в университетах Сан-Диего и Беркли. Выбор...
McGill-Queen's University Press, 1986. — 203 p. This volume contains papers presented at the First International Workshop on Distributed Algorithms. The papers present solutions to a wide spectrum of problems (leader election, resource allocation, routing, etc.) and focus on a variety of issues that influence communications complexity. Preface Table of Contents Contributors The...
Навчально-методичний посібник. — Київ: Університет економіки та права «КРОК», 2023. — 123 с. У навчально - методичному посібнику викладено найважливіші теми дисципліни «Теорія алгоритмів». Посібник містить теоретичний матеріал, що складається з восьми розділів та завдань для лабораторних робіт для закріплення отриманих знань на практиці. Посібник призначений для здобувачів...
Oxford University Press, 1997. — 683 p. Models of Computation and Formal Languages presents a comprehensive and rigorous treatment of the theory of computability. The text takes a novel approach focusing on computational models and is the first book of its kind to feature companion software. Deus Ex Machina, developed by Nicolae Savoiu, comprises software simulations of the...
Oxford University Press, 1995. — 327 p. — ISBN13 9780195085914. — ISBN10 0195085914. This book provides a comprehensive analysis of the most important topics in parallel computation. It is written so that it may be used as a self-study guide to the field, and researchers in parallel computing will find it a useful reference for many years to come. The first half of the book...
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....
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....
Springer, 2021. — 221 p. — (Texts in Computer Science). — ISBN 978-3-030-87882-5. This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale...
М.: МФТИ, 2019. — 109 с. Эти заметки написаны по материалам моих семинаров по курсу «Теория и реализация языков программирования», которые я веду на факультете управления и прикладной математики МФТИ. В течение последних шести лет, я давал своим студентам еженедельные домашние задания, которые включали теоретический материал. В этом году я решил переработать еженедельные...
Independently published, 2023. — 102 p. Алгоритмы Grokking: простые и эффективные методы глубокого и машинного обучения Grokking In the past decade, Artificial Intelligence has been making waves. From self-driving cars to Siri to Alexa, Artificial Intelligence (AI) is everywhere. But what exactly is it? The term "artificial intelligence" was coined in 1956 by John McCarthy, a...
Independently published, 2023. — 102 p. Алгоритмы Grokking: простые и эффективные методы глубокого и машинного обучения Grokking In the past decade, Artificial Intelligence has been making waves. From self-driving cars to Siri to Alexa, Artificial Intelligence (AI) is everywhere. But what exactly is it? The term "artificial intelligence" was coined in 1956 by John McCarthy, a...
4th Edition. — World Scientific Publishing, 2023. — 497 p. — ISBN 9789811260674. This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on Computer Science (CS) applications including loop invariants, program correctness, logic programming and algorithmic proof techniques. This innovative volume differs from...
Second Edition. — Manning Publications, 2023. — 176 p. — (MEAP v1). A friendly, fully-illustrated introduction to the most important computer programming algorithms. The algorithms you'll use most often as a programmer have already been discovered, tested, and proven. This book will prepare you for those pesky algorithms questions in every programming job interview and help you...
Учебно-методическое пособие. — Москва: МИСИ — МГСУ, 2022. — 43 с. В учебно-методическом пособии по дисциплине «Теория алгоритмов» представлены разделы, традиционно изучаемые в курсе теории алгоритмов: машины Тьюринга, нормальные алгоритмы Маркова, рекурсивные функции и т.д. Рассмотрены вопросы интуитивного и формального определения алгоритмов, сложности и нумерации алгоритмов,...
Учебное пособие. — Магнитогорск: Магнитогорский государственный технический университет им. Г.И. Носова, 2021. — 93 с. — ISBN 978-5-9967-2115-3. Содержит следующие разделы: детерминированная машина Тьюринга. Тезис Тьюринга; недетерминированная машина Тьюринга. Класс NP; самые трудные задачи из класса NP; переборные методы решения NP-полных задач. Алгоритмы с возвратом;...
Springer, 2023. — 398 p. — 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22–24, 2023, Proceedings. This book constitutes the proceedings of the 17th International Conference and Workshops on Algorithms and Computation, WALCOM 2023, which took place in Hsinchu, Taiwan, in March 2023. The 30 full papers presented together with 2 invited papers...
Cham: Springer, 2022. — 270 p. This book explores a different pragmatic approach to algorithmic complexity rooted or motivated by the theoretical foundations of algorithmic probability and explores the relaxation of necessary and sufficient conditions in the pursuit of numerical applicability, with some of these approaches entailing greater risks than others in exchange for...
Учебно-методическое пособие. — Владивосток: Дальневосточный федеральный университет, 2020. — 18 с. — ISBN 987-5-7444-4842-4. В пособии представлен материал для проведения практических занятий по теории алгоритмов, а также для организации самостоятельной работы студентов. Пособие может быть использовано как задачник и как раздаточный материал для выполнения контрольных работ и...
New York: Academic Press/Elsevier, 2023. — 230 p. Algebraic Theory for True Concurrency presents readers with the algebraic laws for true concurrency. Parallelism and concurrency are two of the core concepts within Computer Science. This book covers the different realms of concurrency, which enables programs, algorithms or problems to be broken out into order-independent or...
Пер. с англ. — М. : Вильямс, 2014. — 208 с.: ил. — ISBN 978-5-8459-1868-0. Эта книга написана признанным авторитетом в области компьютерных алгоритмов — профессором информатики Томасом Корменом. Кормен написал книгу, предназначенную для всех, кого интересуют вопросы, связанные с компьютерными алгоритмами, но базовое образование, да и просто отсутствие времени не позволяют...
World Scientific, 2012. — 856 p. — ISBN 9814374296. This volume, with a foreword by Sir Roger Penrose, discusses the foundations of computation in relation to nature.It focuses on two main questions: The contributors are world-renowned experts who have helped shape a cutting-edge computational understanding of the universe. They discuss computation in the world from a variety...
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...
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...
Тула: ТГПУ им. Л.Н.Толстого, 2018. — 72 с. В предлагаемом пособии дано описание комплекса лабораторных работ по дисциплине «Алгоритмы и анализ сложности» блока дисциплин базовой части учебного плана направления подготовки 02.03.02 Фундаментальная информатика и информационные технологии (профиль «Открытые информационные системы»). В работе раскрываются особенности изучения...
New York: Prentice-Hall, 1997. — 375 p. Appropriate for senior and graduate level courses in Computer Science Theory, Automata, and Theory of Computation. This is the long awaited Second Edition of Lewis and Papadimitriou's best-selling theory of computation text. In this substantially modified edition, the authors have enhanced the clarity of their presentation by making the...
Cham: Springer, 2022. — 577 p. Computation theory is a discipline that uses mathematical concepts and tools to expose the nature of "computation" and to explain a broad range of computational phenomena: Why is it harder to perform some computations than others? Are the differences in difficulty that we observe inherent, or are they artifacts of the way we try to perform the...
Учебное пособие. — М.: Наука, Физматлит, 2007. — 376 с. — ISBN 978-5-9221-0950-5. Разработка и анализ компьютерных алгоритмов — новая дисциплина, возникшая на стыке дискретной математики, программирования и классической теории алгоритмов, играющая важную роль в современных компьютерных технологиях. Для большинства практически значимых задач, решаемых сегодня с использованием...
Palgrave Macmillan Cham, 2022. — 180 p. — ISBN 978-3-031-04219-5. During the Iraq War, American soldiers were sent to both fight an enemy and to recover a “failed state” in pixelated camouflage uniforms, accompanied by robots, and armed with satellite maps and biometric hand-held scanners. The Iraq War, however, was no digital game: massive-scale physical death and destruction...
Palgrave Macmillan Cham, 2022. — 180 p. — ISBN 978-3-031-04219-5. During the Iraq War, American soldiers were sent to both fight an enemy and to recover a “failed state” in pixelated camouflage uniforms, accompanied by robots, and armed with satellite maps and biometric hand-held scanners. The Iraq War, however, was no digital game: massive-scale physical death and destruction...
Новосибирск: Изд-во Сибирского отд-ния Российской акад. наук, 2012. — 505 с. — (Интеграционные проекты СО РАН; Вып. 40). — ISBN 978-5-7692-1248-8. Вычислимость и невычислимость Рекурсивность и вычислимость Алгоритм, эффективно вычислимая функция и рекурсивность Алгоритмы и знание Невычислимость Практическая невычислимость Невычислимость, редукционизм и холизм Физикализм,...
Новосибирск: Изд-во Сибирского отд-ния Российской акад. наук, 2012. — 505 с. Вычислимость и невычислимость Рекурсивность и вычислимость Алгоритм, эффективно вычислимая функция и рекурсивность Алгоритмы и знание Невычислимость Практическая невычислимость Невычислимость, редукционизм и холизм Физикализм, бесконечность и невычислимость Компьютерная модель вселенной Машинная...
Aalto University, 2021. — 221 p. This book is an introduction to the theory of distributed algorithms, with focus on distributed graph algorithms (network algorithms) . The topics covered include: Models of computing : precisely what is a distributed algorithm, and what do we mean when we say that a distributed algorithm solves a certain computational problem? Algorithm design...
Philadelphia: SIAM, 2020. - 222 p. - ISBN 1611976162. My inspiration for writing a survey of the best algorithms can be summarized by quoting Martin Aigner and Günter Ziegler , whose splendid book Proofs from THE BOOK is now in its sixth edition (см.: /file/2555508/). They write: Paul Erdós liked to talk about THE BOOK , in which God maintains the perfect proofs for...
New York: Springer, 2017. — 303 p. This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of some classes of distributed systems. The book also suggests the need for a generalization of...
Cambridge: Cambridge University Press, 2022. — 148 p. Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the fundamental results of theoretical computer science. In this Element, readers...
Запорожье: Запорожский национальный университет, 2012. — 196 с. — ISBN 978-966-599-408-4. Изучение алгоритмов является самой сердцевиной науки о вычислениях. Приемы создания алгоритмов и алгоритмические методы рассматриваются во многих не только классических университетских курсах, но и во многих инженерных дисциплинах. К настоящему времени в мировой практике накоплен огромный...
Запорожье: Запорожский национальный университет, 2012. — 196 с. — ISBN 978-966-599-408-4. Настоящая монография основана на материале лекций, читающихся в Запорожском национальном университете для студентов, обучающихся по специальностям "Прикладная математика", "Информационные системы" и «Программная инженерия». Это лекции по разделу "Теория графов" курса «Дискретная...
Учебное пособие. — Под общ. ред. проф. М.И. Ломшина. — Саранск: Мордовский государственный университет им. Н.П. Огарёва, 2019. — 136 с. — ISBN 978-5-7103-3873-5. Рассматриваются основные разделы программы курса «Теория алгоритмов», соответствующие содержанию федерального государственного образовательного стандарта среднего профессионального образования «Программирование в...
СПб.: Высшая школа менеджмента Санкт-Петербургского университета, 2019. — 113 с. Введение в теорию алгоритмов. Теория алгоритмов и понятие вычисления. Возникновение теории алгоритмов. Структура курса. Вычислительные парадигмы и задачи. Вычислимые функции. Модели вычислений. Нормальные алгорифмы Маркова. Алфавит, слова, конкатенация слов, иодслова и вхождения. Марковские...
Учебно-методическое пособие. — Саров: Саровский физико-технический институт — филиал Национального исследовательского ядерного университета «МИФИ», 2021. — 98 с. Данное пособие представляет собой самостоятельный модуль и предназначено для студентов, изучающих теорию алгоритмов по информационным направлениям подготовки. Пособие составлено на основании лекций, читающихся...
Учебное пособие. — Томск: Томский государственный университет, 2005. — 71 с. В пособии содержится материал спецкурса, читаемого автором в последние годы на механико-математическом факультете ТГУ для студентов специализации «Компьютерная математика». Основные разделы: алгоритмы и вычислимые функции, ламбда-исчисление, вычислимое и невычислимое, формальные аксиоматические теории,...
Учебно-методическое пособие. — Ростов-на-Дону; Таганрог: Южный федеральный университет, 2019. — 50 с. Учебно-методическое пособие является 2-й частью дисциплины «Математическая логика и теория алгоритмов». В нем приведены основные сведения об основных формальных моделях, уточняющих интуитивное понятие алгоритма: рекурсивных функциях, машинах Тьюринга и нормальных алгоритмах...
New York: Springer, 2021. — 387 p. In this monograph, the authors develop a methodology that allows one to construct and substantiate optimal and suboptimal algorithms to solve problems in computational and applied mathematics. Throughout the book, the authors explore well-known and proposed algorithms with a view toward analyzing their quality and the range of their...
New York: Springer, 2021. — 221 p. — (Texts in Computer Science). This book aims to address the two problems by compressing and unifying important concepts of the two areas and providing exercises in widely-used software applications. We give a transition from logic to computation via linear temporal logic and state machines. The book combines theoretical teaching and practical...
Учебно-методическое пособие. — Томск: Томский государственный педагогический университет (ТГПУ), 2019. — 32 с. Пособие содержит основные сведения из теории эффективности: определения, основные теоремы и алгоритмы, а также примеры, иллюстрирующие теоретический материал по отдельным темам. Пособие предназначено для изучения основ теории эффективности студентами различных...
М.: Физматлит, 2008. — 304 с. — (Информационные и компьютерные технологии). — ISBN 978-5-9221-0950-5. В пособии полно и на современном уровне изложены вопросы выбора рациональных алгоритмических решений, в том числе и комбинированных, важные в практическом плане и актуальные при проектировании информационных и программных систем. Пособие может использоваться в качестве...
Монография. — Пер. с англ. и ред. докт. физ.-мат. наук Д.А. Клюшина, при участии И.В. Василенко. — Киев: Диалектика, 2021. — 544 с.: ил. — ISBN 978-5-907203-27-3. В этой монографии, ставшей классикой, излагаются результаты теоретических и прикладных исследований по разработке и анализу эффективных вычислительных алгоритмов. Рассмотрены задачи поиска, сортировки массивов,...
К.: Диалектика, 2021. — 544 с. В этой монографии, ставшей классикой, излагаются результаты теоретических и прикладных исследований по разработке и анализу эффективных вычислительных алгоритмов. Рассмотрены задачи поиска, сортировки массивов, умножения целых чисел, умножения матриц, алгоритмы на графах, а также основы теории сложности. Книга предназначены для специалистов по...
Курс лекций. — М.: МИСиС, 2011. — 170 с. — ISBN 978-5-87623-421-6. Рассмотрены основные элементы алгоритмических языков программирования. Приводятся многочисленные примеры, в которых изложено все, что нужно современному специалисту для создания приложений: конструкции языка, динамические структуры данных и основы объектно-ориентированного подхода при разработке программ....
Курс лекций. — М.: МИСиС, 2011. — 170 с. — ISBN 978-5-87623-421-6. Рассмотрены основные элементы алгоритмических языков программирования. Приводятся многочисленные примеры, в которых изложено все, что нужно современному специалисту для создания приложений: конструкции языка, динамические структуры данных и основы объектно-ориентированного подхода при разработке программ....
Курс лекций. — М.: МИСиС, 1977. — 127 с. Излагаемый курс преследует две цели. С одной стороны, рассматриваются принципиальные вопросы, связанные с вычислениями, не зависящие от конкретной концепции машины. К ним относятся, например, следующие. Всякая ли задача может быть решена на машине (при наличии неограниченного ресурса памяти и времени), что такое "универсальная машина" и...
Курс лекций. — М.: МИСиС, 1977. — 127 с. Излагаемый курс преследует две цели. С одной стороны, рассматриваются принципиальные вопросы, связанные с вычислениями, не зависящие от конкретной концепции машины. К ним относятся, например, следующие. Всякая ли задача может быть решена на машине (при наличии неограниченного ресурса памяти и времени), что такое "универсальная машина" и...
ITexLi, 2021. — 94 p. — ISBN 1789852145 9781789852141 1839628553 9781839628559. This book will be useful to an audience interested in the different problems and approaches that are used within the theory of complexity This book examines the meaning of complexity in the context of systems both social and natural. Chapters cover such topics as the traveling salesman problem,...
Springer, 2021. — 155 p. — (Schriftenreihe der Institute für Systemdynamik (ISD) und optische Systeme (IOS)). — ISBN 978-3-658-34458-0. Flash memory is an important non-volatile storage medium. Reliable and secure data storage in flash memories requires sophisticated coding and signal processing techniques. Although error-correcting codes are applied in practically all flash...
Springer, 2021. — 155 p. — (Schriftenreihe der Institute für Systemdynamik (ISD) und optische Systeme (IOS)). — ISBN 978-3-658-34458-0. Flash memory is an important non-volatile storage medium. Reliable and secure data storage in flash memories requires sophisticated coding and signal processing techniques. Although error-correcting codes are applied in practically all flash...
Nova Science Publishers, Inc., 2021. — 114 p. — ISBN 1536190071. Heuristic local search algorithms are used to find “good” solutions to the NP-hard combinatorial optimization problems that cannot be solved using analytical methods. Chapter one discusses the characterization and computation of heuristic local search algorithm for the Traveling Salesman Problem (TSP) from the...
Amazon KDP, 2021. — 193 p. — ISBN 9798749449730. This book presents practical geometry algorithms with computationally fast C++ code implementations. It covers algorithms for fundamental geometric objects, such as points, lines, rays, segments, triangles, polygons, and planes. These algorithms determine the basic 2D and 3D properties, such as area, distance, inclusion, and...
Springer, 2021. — 496 p. — ISBN 978-3-030-72356-9. This textbook covers the broader field of artificial intelligence. The chapters for this textbook span within three categories: Deductive reasoning methods: These methods start with pre-defined hypotheses and reason with them in order to arrive at logically sound conclusions. The underlying methods include search and...
Springer, 2021. — 256 p. — ISBN 978-981-16-2608-1. Graph data is powerful, thanks to its ability to model arbitrary relationship between objects and is encountered in a range of real-world applications in fields such as bioinformatics, traffic network, scientific collaboration, World Wide Web and social networks. Graph data mining is used to discover useful information and...
Springer, 2021. — 256 p. — ISBN 978-981-16-2608-1. Graph data is powerful, thanks to its ability to model arbitrary relationship between objects and is encountered in a range of real-world applications in fields such as bioinformatics, traffic network, scientific collaboration, World Wide Web and social networks. Graph data mining is used to discover useful information and...
Springer, 2021. — 394 p. — ISBN 978-3-030-78016-6. This textbook offers an algorithmic introduction to the field of computer algebra. A leading expert in the field, the author guides readers through numerous hands-on tutorials designed to build practical skills and algorithmic thinking. This implementation-oriented approach equips readers with versatile tools that can be used...
Springer, 2011. — 279 p. — (Synthese Library 355). — ISBN 978-94-007-1346-8. Строгий финитизм и логика математических приложений This book intends to show that radical naturalism (or physicalism), nominalism and strict finitism account for the applications of classical mathematics in current scientific theories. The applied mathematical theories developed in the book include...
Учебное пособие. — М.: Издательство Центра прикладных исследований при механико-математическом факультете МГУ, 2005. — 144 с. Различным видам управляющих систем соответствуют различные виды хранения и представления модели данных, классам функций, исследуемым в теории синтеза, соответствуют типы задач поиска, исследуемые в теории информационного поиска. И в теории синтеза и в...
Учебное пособие. — Барнаул: Алтайский государственный педагогический университет, 2016. — 156 с. — ISBN 978-5-88210-814-3. Системные требования: ПК с Intel x86-совместимый процессором, Pentium 4 или новее; 512 Мб ОЗУ; Windows XP и более поздние; Adobe Acrobat Reader; SVGA видеоплата и монитор (1024х768, 16 млн цв.); мышь. В пособии представлено описание таких алгоритмических...
Учебное пособие. — Барнаул: Алтайский государственный педагогический университет, 2016. — 156 с. — ISBN 978-5-88210-814-3. В пособии представлено описание таких алгоритмических моделей, как класс рекурсивных функций, машина Тьюринга, машина Поста, машины произвольного доступа, нормальные алгоритмы Маркова. Особое внимание уделено разработке вычислительных алгоритмов в указанных...
Учебное пособие. — Ярославль: Ярославский государственный университет им. П.Г. Демидова (ЯрГУ), 2008. — 248 с. — ISBN 978-5-8397-0622-4. Под алгоритмом мы понимаем в интуитивном смысле точное предписание, определяющее вычислительный процесс, который ведет от исходных данных, варьируемых в некотором заданном множестве, к искомому результату. Этот вычислительный процесс должен...
Статья. — Пер. с англ. Н.К. Верещагина. Под ред. А.X. Шеня. — Успехи математических наук. — 1988. — Том 43. — Выпуск 6 (264). — С. 129–166. Авторы настоящей работы любезно прислали предварительные варианты готовящейся ими публикации (Ming Li, Paul M.В. Vitányi, Two Decades of Applied Kolmogorov Complexity). Тем самым советский читатель получает возможность из первых рук...
Springer, 1992. — viii, 108 p. — (Monographs in Theoretical Computer Science. An EATCS Series). — ISBN 0-387-55840-3, 3-540-55840-3. There are many ways to measure the complexity of a given object, but there are two measures of particular importance in the theory of computing: One is Kolmogorov complexity, which measures the amount of information necessary to describe an...
Springer, 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...
3rd edition. — Springer, 2008. — xxiv, 790 p. — (Texts a. monogr. in computer science). — ISBN 978-0-387-33998-6, 978-0-387-49820-1. This must-read textbook presents an essential introduction to Kolmogorov complexity (KC), a central theory and powerful tool in information science that deals with the quantity of information in individual objects. The text covers both the...
Учебно-методическое пособие. — Ярославль: Ярославский государственный университет им. П.Г. Демидова (ЯрГУ), 2020. — 120 с. В пособии излагаются дополнительные вопросы теории алгоритмов, прежде всего связанные с доказательством фундаментальной теоремы о совпадении классов диофантовых и рекурсивно перечислимых множеств. Приводятся необходимые для этого факты из теории уравнения...
Практикум. — Ярославль: Ярославский государственный университет им. П.Г. Демидова, 2016. — 76 с. В практикуме содержатся задачи по алгебраической алгоритмике по темам, изучаемым в четвертом семестре студентами специальности "Компьютерная безопасность" в курсе "Алгебраическая алгоритмика." Для решения предлагаемых задач требуется знать основные алгебраические и числовые...
Independently published, 2020. — 346 p. — ISBN B08LD1NKL1. An Algorithm is a sequence of steps to solve a problem. Design and Analysis of Algorithm is very important for designing algorithm to solve different types of problems in the branch of computer science and information technology. This book introduces the fundamental concepts of Designing Strategies, Complexity analysis...
Independently published, 2020. — 346 p. — ISBN B08LD1NKL1. An Algorithm is a sequence of steps to solve a problem. Design and Analysis of Algorithm is very important for designing algorithm to solve different types of problems in the branch of computer science and information technology. This book introduces the fundamental concepts of Designing Strategies, Complexity analysis...
Independently published, 2020. — 346 p. — ISBN B08LD1NKL1. An Algorithm is a sequence of steps to solve a problem. Design and Analysis of Algorithm is very important for designing algorithm to solve different types of problems in the branch of computer science and information technology. This book introduces the fundamental concepts of Designing Strategies, Complexity analysis...
Изд. 3-е, доп. и перераб. — М.: Директ-Медиа, 2021. — 198 с., ил. Книга сотрудника Института программных систем РАН, представляющая собой описание вопросов теории метавычислений и их применения. Метавычисления — раздел теории и практики программирования, посвященный разработке методов анализа и преобразования программ за счет реализации конструктивных метасистем (метапрограмм)...
New York: Leanpub, 2021. — 194 p. Complexity science is one pillar of modern ways of working. While Complexity literature is very theoretic, this book explores practical applications in software and digital products development. The practices help you navigate everyday Complexity. This book is for leaders, managers, facilitators (Scrum Masters, Agile Coaches), and team...
М.: Физматлит, 2017. — 136 с. — ISBN: 978-5-9221-1714-2 В книге представлены основные классы элементарных рекурсивных функций, изучаемых в теории рекурсивных функций. Приведены различные определения исследуемых классов, установлены соотношения включения между ними. В терминах сложности вычислений получено описание большого числа классов элементарных функций. Для ряда классов...
Учебно-методическое пособие. — Псков: Псковский государственный университет, 2016. — 76 с. — ISBN: 978-5-91116-424-9. Рассмотрены несколько формализаций понятия алгоритма: конечные автоматы, машины Тьюринга, нормальные алгоритмы Маркова и рекурсивные функции. Изложение материала сопровождается большим количеством примеров и задач разного уровня сложности. Предназначено для...
Переславль-Залесский: Университет города Переславля, 2016. — 27 c. В метавычисления в первую очередь включают теорию суперкомпиляции и близкие методы и средства. Приставка "мета" указывает на то, что программа в метавычислениях рассматривается как объект анализа и/или преобразования. В сборнике из 3-х книг приводятся основные понятия метавычислений, дается описание вопросов...
Переславль-Залесский: Университет города Переславля, 2016. — 74 c. В метавычисления в первую очередь включают теорию суперкомпиляции и близкие методы и средства. Приставка "мета" указывает на то, что программа в метавычислениях рассматривается как объект анализа и/или преобразования. В сборнике из 3-х книг приводятся основные понятия метавычислений, дается описание вопросов...
Переславль-Залесский: Университет города Переславля, 2016. — 130 c. В метавычисления в первую очередь включают теорию суперкомпиляции и близкие методы и средства. Приставка "мета" указывает на то, что программа в метавычислениях рассматривается как объект анализа и/или преобразования. В сборнике из 3-х книг приводятся основные понятия метавычислений, дается описание вопросов...
Cambridge University Press, 2020. — 266 p. — ISBN: 1108497985. Communication complexity is the mathematical study of scenarios where several parties need to communicate to achieve a common goal, a situation that naturally appears during computation. This introduction presents the most recent developments in an accessible form, providing the language to unify several disjoint...
Manning Publications Co., 2020. — 320 p. — ISBN: 978-1617296185. Grokking Artificial Intelligence Algorithms is a fully-illustrated and interactive tutorial guide to the different approaches and algorithms that underpin AI. Written in simple language and with lots of visual references and hands-on examples, you’ll learn the concepts, terminology, and theory you need to...
Manning Publications Co., 2020. — 320 p. — ISBN: 978-1617296185. Grokking Artificial Intelligence Algorithms is a fully-illustrated and interactive tutorial guide to the different approaches and algorithms that underpin AI. Written in simple language and with lots of visual references and hands-on examples, you’ll learn the concepts, terminology, and theory you need to...
Manning Publications Co., 2020. — 320 p. — ISBN: 978-1617296185. Grokking Artificial Intelligence Algorithms is a fully-illustrated and interactive tutorial guide to the different approaches and algorithms that underpin AI. Written in simple language and with lots of visual references and hands-on examples, you’ll learn the concepts, terminology, and theory you need to...
Ставрополь: Северо-Кавказский федеральный университет (СКФУ), 2016. — 130 с. В учебном пособии рассмотрены основные понятия теории алгоритмов, примеры разработки программ с использованием алгоритмов для работы программ с массивами, списками, построения и анализ алгоритмов сортировки и поиска информации, а также основные приемы решения различных практических задач. Предназначено...
В.М. Котов, Ю.Л. Орлович, Е.П. Соболевская, С.А. Соболь. — Минск: БГУ, 2017. — 183 с. — ISBN: 978-985-566-412-4. Пособие состоит из двух частей: «Алгоритмы на графах» и «Бинарные поисковые деревья». Первая часть содержит практические задачи, которые могут быть сформулированы в графовой постановке. Далее для их решения применяются соответствующие алгоритмы, например алгоритм...
Now Publishers Inc., 2019. — viii, 221 p. — (Foundations and Trends in Theoretical Computer Science). — ISBN: 978-1-68083-637-0. True PDF Over the last twenty years, an exciting interplay has emerged between proof systems and algorithms. Some natural families of algorithms can be viewed as a generic translation from a proof that a solution exists into an algorithm for finding...
Aalto University, 2019. — 193 p. This book is an introduction to the theory of distributed algorithms . The topics covered include: Models of computing : precisely what is a distributed algorithm, and what do we mean when we say that a distributed algorithm solves a certain computational problem? Algorithm design and analysis : which computational problems can be solved with...
Учебник. — Самара: Самарский университет, 2018. — 128 с. — ISBN: 978-5-7883-1263-7. Приведены основные направления исследований в теории алгоритмов, определены базовые понятия и требования, предъявляемые к написанию алгоритмов и определению порядка их сложности. Описаны методы и подходы для работы с массивами, списками, деревьями, графами и другими линейными и нелинейными...
Philadelphia: University of Pennsylvania, 2020. — 446 p. The main goal of this book is to present a mix of material dealing with: Proof systems. Computability and undecidability. The Lambda Calculus. Some aspects of complexity theory. Historically, the theory of computability and undecidability arose from Hilbert’s efforts to completely formalize mathematics and from Godel’s...
2nd Edition. — Springer, 2016. — 2428 p. — ISBN: 978-1-4939-2864-4 (eBook). This dynamic reference work provides solutions to vital algorithmic problems for scholars, researchers, practitioners, teachers and students in fields such as computer science, mathematics, statistics, biology, economics, financial software, and medical informatics. This second edition is broadly...
2nd Edition. — Springer, 2016. — 2428 p. — ISBN: 978-1-4939-2864-4 (eBook). This dynamic reference work provides solutions to vital algorithmic problems for scholars, researchers, practitioners, teachers and students in fields such as computer science, mathematics, statistics, biology, economics, financial software, and medical informatics. This second edition is broadly...
2nd Edition. — Springer, 2016. — 2428 p. — ISBN: 978-1-4939-2864-4 (eBook). This dynamic reference work provides solutions to vital algorithmic problems for scholars, researchers, practitioners, teachers and students in fields such as computer science, mathematics, statistics, biology, economics, financial software, and medical informatics. This second edition is broadly...
М.: Научный мир, 2009. — 160 с. ISBN: 978-5-91522-055-2 В предлагаемом учебном пособии изложены самые начала теории алгоритмов - базисные понятия теории алгоритмов: предписание (исходное неопределяемое понятие), перечислимое множество, алгоритм, вычислимая функция, разрешимое множество, и один из формальных универсальных языков для записи предписаний, работающих со словами...
Новосибирск: НГУ, 2014. — 117 с. Учебное пособие представляет собой изложение курса лекций «Приближенные алгоритмы» , которые включены в программу курса магистратуры ММФ НГУ по специальности «Прикладная математика и информатика». В пособии рассматриваются современные методы и подходы к решению фундаментальных NP-трудных задач дискретной оптимизации, таких как задачи о покрытии,...
Springer, 2019. — 285 p. — (Algorithms and Computation in Mathematics 27). — ISBN: 978-3-030-03903-5. This book is divided into two parts, one theoretical and one focusing on applications, and offers a complete description of the Canonical Gröbner Cover, the most accurate algebraic method for discussing parametric polynomial systems. It also includes applications to the...
М.: МЦНМО, 2001. — 960 с. Книга представляет собой перевод учебника по курсу построения и анализа эффективных алгоритмов, написанного в Массачусетсом технологическом институте; в ней разбираются важнейшие, классы быстрых алгоритмов и приёмы их построения. Изложение подробное и математически строгое. Книгу можно использовать в качестве учебника и справочника; она будет полезна как...
Учебное пособие. — Махачкала: ДГУНХ, 2017. — 54 с. Учебное пособие «Теория алгоритмов» предназначено для базовой компьютерной подготовки студентов первого и второго курсов очного отделения специальности «Программирование в компьютерных системах (по отраслям)». Темы пособия соответствуют рабочей программе дисциплины «Теория алгоритмов» и состоят из теоретического материала и...
New York: I/O Press, 2019. — 214 p. Computer science, specifically the theory of computation, deserves to be better known even among non-computer scientists. The reason is simply that it is full of profound thoughts and ideas. It contains some paradoxes that reveal the limits of human knowledge. It provides ways to reason about information and randomness that are understandable...
Chapman & Hall/CRC, 2007. — 253 p. A Taxonomy of Algorithmic Complexity Fundamental Assumptions Underlying Algorithmic Complexity Examples of Complexity Analysis Sources of Disappointments Implications of Nonuniform Memory for Software Implications of Compiler and Systems Issues for Software Implicit Assumptions Implications of the Finiteness of the Representation of Numbers...
Лектор Герман О.В. Остальные выходные данные отсутствуют. Содержание. Введение в теорию алгоритмов. Машины Тьюринга. Распознавание языков машинами Тьюринга. Рекурсивные множества и функции. Алгоритмически неразрешимые проблемы. Использование машин Тьюринга для обоснования универсальности языка программирования. Понятие вычислительной сложности. Распознавание языков. язык...
Учебное пособие. — СПб.: Санкт-Петербургский государственный политехнический университет, 2011. — 197 с. В пособии рассматриваются основные понятия дискретной математики, которая имеет широкий спектр приложений, прежде всего в областях, связанных с информационными технологиями и компьютерами. Важнейшими приложениями дискретных структур в программировании являются компьютерная...
Independently published, 2019. — 363 p. — ISBN10: 1686863268; ISBN13: 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...
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...
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...
Учебник. – Самара: Самарский университет, 2018. – 128 с. — ISBN: 978-5-7883-1263-7. Приведены основные направления исследований в теории алгоритмов, определены базовые понятия и требования, предъявляемые к написанию алгоритмов и определению порядка их сложности. Описаны методы и подходы для работы с массивами, списками, деревьями, графами и другими линейными и нелинейными...
4th. ed. - Springer, 2019. - 851 p. - (Texts in Computer Science). - ISBN: 3030112977. This must-read textbook presents an essential introduction to Kolmogorov complexity (KC), a central theory and powerful tool in information science that deals with the quantity of information in individual objects. The text covers both the fundamental concepts and the most important practical...
Springer, 2017. - 281p. - ISBN: 9783319596051 This book constitutes the proceedings of the 11th International Workshop on Frontiers in Algorithmics, FAW 2017, held in Chengdu, China, in June 2017. The 24 papers presented in this volume were carefully reviewed and selected from 61 submissions. They deal with all aspects of theoretical computer science and algorithms
Springer, 2018. - 316p. - ISBN: 9783319784557 This book constitutes the refereed proceedings of the 12th International Workshop on Frontiers in Algorithmics, FAW 2018, held in Guangzhou, China, in May 2018.The 23 full papers presented in this volume were carefully reviewed and selected from 38 submissions. The papers of this workshop provide a focused forum on current trends of...
М. : Радио и связь, 1984. — 153 с. Показана возможность построения алгоритмов решения широкого класса логических задач с использованием алгебры высказываний. Рассмотрены вопросы диагностики, анализа и синтеза релейно-контактных схем, задачи о расписании, задачи о счетчиках, автоматах и др. Для интересующихся проблемами кибернетики и вычислительной техники.
Budapest: Typotex, 2014. — 261 p. Some notation and definitions Models of Computation Finite automata The Turing machine The Random Access Machine Boolean functions and Boolean circuits Algorithmic decidability Recursive and recursively enumerable languages Other undecidable problems Godel's incompleteness theorem First-order logic Computation with resource bounds Polynomial...
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...
Учебно-методическое пособие. — Том. гос. ун-т, ФПМК. — Томск : ТГУ, 2009. — 39 с. В пособии обсуждаются понятие алгоритма, сложившееся в математике на протяжении тысячелетий, и необходимость формализации этого понятия, возникшая в 30-х годах XX века. Далее приводятся три способа такой формализации : нормальные алгоритмы Маркова, машины Тьюринга, рекурсивные функции. Пособие...
М.: МФТИ, 2017. — 224 с. Чистая математика изучает какие угодно объекты и функции и ставит любые вопросы о них. Важную роль играют бесконечные объекты: действительные и комплексные числа, топологические пространства, ординалы и т.п. Ответ на поставленный вопрос часто может быть неконструктивен: например, существование объекта доказывается без конкретной процедуры его поиска....
Учебное пособие. — Томск: Издательский Дом Томского государственного университета, 2018. — 42 с. — ISBN: 978-5-94621-768-2. Пособие представляет собой курс лекций с тем же названием, прочитанный автором в 2016/17 и 2017/18 учебных годах студентам кафедры защиты информации и криптографии по специальности «Компьютерная безопасность». Знакомство с курсом предполагает знание...
Киев: Выща школа, 1989. — 166 с. — ISBN: 5-11-000002-6. В монографии описаны алгоритмы решения задач линейного, сепарабельного, нелинейного дискретного программирования с блочной структурой ограничений, имеющие псевдополиномиальную оценку числа вычислений. Описаны классы прикладных задач дискретного программирования. Изложены новые возможности использования моделей линейного...
2-е изд., испр. –– М.: МЦНМО, 2019. –– 32 с. –– ISBN: 978-5-4439-2826-5 Брошюра написана по материалам курса, прочитанного автором в 2010 г. в Летней школе «Современная математика». В ней рассказывается об основных понятиях теории алгебраической сложности, и приводятся её начальные утверждения. Рассматриваются задачи эффективного вычисления полиномов и билинейных форм,...
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...
2-е изд., испр. –– М.: МЦНМО, 2019. –– 24 с. Текст брошюры является переводом статьи «Communication complexity», опубликованной в сборнике «An Invitation to Mathematics: From Competitions to Research», D. Schleicher, M. Lackmann (eds.), Springer, 2011, при написании которой использовались материалы курса, прочитанного автором в 2009 году в Летней школе «Современная математика». В...
A K Peters/CRC Press, 1994. — 139 p. — ISBN13: 978-1-56881178-9. Целевая аудитория: математики, инженеры и опытные разработчики программного обеспечения. Алгоритмы и их сложность часто становятся предметом обсуждения на многих собеседованиях, поэтому необходимость в хорошем знании материала возникает у любого начинающего и, тем более, опытного разработчика. Это небольшое...
A K Peters/CRC Press, 1994. — 139 p. — ISBN13: 978-1-56881178-9. Целевая аудитория: математики, инженеры и опытные разработчики программного обеспечения. Алгоритмы и их сложность часто становятся предметом обсуждения на многих собеседованиях, поэтому необходимость в хорошем знании материала возникает у любого начинающего и, тем более, опытного разработчика. Это небольшое...
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...
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...
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...
7 марта 2018 г. — Интернет-издание, 2018. — 368 с. Настоящее учебное пособие написано по материалам двух спецкурсов, читавшихся авторами в течение нескольких лет для студентов 4-го и 6-го курсов Московского физико-технического института — «Сложность комбинаторных алгоритмов» и «Эффективные алгоритмы». Основная цель пособия заключается в ознакомлении читателей как с...
New York: Springer, 2018. — 355 p. Foreword Insertion, Deletion, and Substitution Register Machines Input-Driven Register Machines and Counter Automata Tissue P Automata as Multiset Pushdown Automata Accepting Strings Input-Driven Tissue P Automata One-Membrane Antiport P Automata Examples and Results Membrane Systems The Efficiency of Membrane Systems A New Solution to...
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...
Учебное пособие. — Новосибирск: мех.-математический факультет, Новосиб. гос. ун-т, 2015. — 73 с. В настоящем учебном пособии изложены математические основы теории алгоритмов. Пособие отражает содержание лекций основного курса «Дискретная математика и теория алгоритмов» для студентов 1-го курса механико-математического факультета НГУ и охватывает материал из нескольких областей...
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...
Киев: Выща школа, 1989. — 166 с. — ISBN: 5-11-000002-6. В монографии описаны алгоритмы решения задач линейного, сепарабельного, нелинейного дискретного программирования с блочной структурой ограничений, имеющие псевдополиномиальную оценку числа вычислений. Описаны классы прикладных задач дискретного программирования. Изложены новые возможности использования моделей линейного...
Ярославль: ЯрГУ, 2008. — 248 с. В учебном пособии рассматриваются основные понятия теории алгоритмов: машины Тьюринга, примитивно рекурсивные, рекурсивные и частично рекурсивные функции, рекурсивные и рекурсивно перечислимые множества, их нумерация, арифметизация теории машин Тьюринга, алгоритмически неразрешимые проблемы из теории алгоритмов, математической логики и алгебры,...
Учебное пособие. — Екатеринбург: Урал. гос. пед. ун-т, 2006. — 149 с. Пособие является курсом лекций по теории алгоритмов и предназначено для студентов дневного и заочного отделений математических факультетов педагогических вузов. Алгоритмы в математике. Основные черты алгоритмов Числовые функции и алгоритмы их вычисления Примитивно рекурсивные функции Частично рекурсивные...
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...
Учебное пособие. — Москва: МФТИ, 2016. — 138 с. Рассматриваются основы теории рекурсии, ее использование в области разработки рекурсивных алгоритмов и программирования. Приводятся основные сведения о рекурсивных функциях, даны разнообразные примеры рекурсивных алгоритмов. Описаны структуры данных, их компьютерное представление и алгоритмы обработки, знания которых лежат в...
Учебное пособие. — Москва: МФТИ, 2017. — 216 с. Пособие посвящено одному из наиболее интересных и практически ценных разделов информатики и дискретной математики – теории графов. Цель пособия – в весьма ограниченном объеме дать студентам достаточно широкий обзор различных задач теории графов. Рассмотрены базовые алгоритмы решения этих задач с такой степенью доскональности,...
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...
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...
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...
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...
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...
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.
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.
Выходные данные не указаны. Написать кодер, использующий статический алгоритм Хаффмана. Исследовать его эффективность (степень сжатия) в зависимости от типа и размера сжимаемых файлов. (уровень сложности 2)
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...
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...
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...
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...
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...
Учебное пособие по алгоритмам в информатике. Перевод: Кириленко Вадим (главы 1-12), Волошко Роман Владимирович (главы 13-19). — М.: Эксмо, 2016. — 544 с. — (Мировой компьютерный бестселлер). — ISBN: 978-5-699-81729-0. Алгоритмы - это рецепты, которые делают возможным эффективное программирование. Их изучение позволяет усвоить общие подходы к решению задач и накапливать полезные...
2-е изд. исправленное. — М.: Интуит, 2016. — 336 с. Курс содержит задачи по программированию различной трудности. Большинство задач приводятся с решениями. Цель курса - научить основным методам построения корректных и быстрых алгоритмов. Курс будет полезен учителям информатики, старшеклассникам, студентам младших курсов высших учебных заведений. Курс может быть использован на...
М.: МЦНМО, 2013. — 576 с. — ISBN: 978-5-4439-0212-8. Классическая (шенноновская) теория информации измеряет количество информации, заключённой в случайных величинах. В середине 1960-х годов А.Н. Колмогоров (и другие авторы) предложили измерять количество информации в конечных объектах с помощью теории алгоритмов, определив сложность объекта как минимальную длину программы,...
Учебное пособие. — 2-е изд., перераб. и доп. — М.: Финансы и статистика, 1983. — 224 с., ил. Излагаются основы программирования на базе языка ПЛ/1. Описываются элементы языков моделирования и языков высокого уровня для использования в автоматизированном проектировании систем обработки экономической информации. Все языки ориентированы на операционную систему ОС ЕС. Для студентов...
М.: Физматлит, 2010. — 224 с. — ISBN: 978-5-9221-1264-2. В пособии рассматриваются основные вопросы, связанные с применением аппарата теории вероятностей и математической статистики к исследованию и анализу компьютерных алгоритмов. Вводятся новые оценки качества компьютерных алгоритмов — информационная чувствительность и доверительная трудоемкость, актуальные при проектировании...
A K Peters, 2002. — 344 p. This book provides a systematic approach for the algorithmic formulation and implementation of mathematical operations in computer algebra programming languages. The viewpoint is that mathematical expressions, represented by expression trees, are the data objects of computer algebra programs, and by using a few primitive operations that analyze and...
A K Peters, 2002. — 344 p. This book provides a systematic approach for the algorithmic formulation and implementation of mathematical operations in computer algebra programming languages. The viewpoint is that mathematical expressions, represented by expression trees, are the data objects of computer algebra programs, and by using a few primitive operations that analyze and...
Пер. с нем. / Предисл. С. А. Яновской. Вступ. ст. А. П. Юшкевича. Изд. 2-е, стереотипное. — М.: КомКнига, 2005. — 128 с. — ISBN: 5-484-00278-8. Книга выдающегося немецкого математика Германа Вейля (1885-1955) посвящена философии математики. Она состоит из трех разделов. Первый раздел дает общий исторический обзор проблемы обоснования математики. Во втором довольно детально...
М.: Мир, Редакция литературы по математическим наукам, 1981. — 364 с. Монография американских авторов, посвященная общим принципам решения задач на ЭВМ, разработке и анализу алгоритмов. Подробно описываются основные этапы решения задач, даются конкретные примеры, иллюстрирующие теоретические выводы и упражнения. По тематике книга пересекается с "Искусством программирования" Д....
М.; Л.: Издательство Академии Наук СССР, 1954. — 377 с. Книга вводит читателя в область теории алгоритмов. В ней отыскали отблеска эти нюансы доктрины как многоцелевые, обычные методы, исчисления Поста, комбинаторная неувязка Поста, неувязка определения применимости алгоритмов и всякое разное. Книга написана на высочайшем математическом уровне.
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...
М.: Просвещение, 1970. — 25 с. Учебное пособие для заочных отделений физико-математических факультетов педагогических институтов. Настоящее пособие представляет собой попытку элементарного изложения основ теории алгоритмов, которое могло бы служить требуемым руководством для студентов педвузов. Общий план изложения заимствован из лекций, прочитанных П. С. Новиковым на курсах...
М.: Мир, 1979. — 536 с. В монографии с единых позиций излагаются результаты теоретических и прикладных исследований по построению быстрых алгоритмов и доказательству их отсутствия. Рассмотрены задачи перебора, упорядочения массивов данных, умножения чисел, умножения матриц, обсуждаются алгоритмы на графах. Многие результаты ранее были рассеяны в труднодоступных источниках и в...
IBM T.J. Watson Research Center Yorktown Heights, New York. — 12 p. P-adic Representation and Approximation Newton's Iteration A sample Usage in Algebraic formula Power Series Application Another Example Coupled p-adic Construction Newton's Iteration on P-adic space Zassenhaus' Construction Hensel Lemma Order of Convergence Versus Computational Efficiency Applications of...
Запорожье: Запорожский национальный университет, 2012. — 196 с. — ISBN: 978-966-599-408-4. Изучение алгоритмов является самой сердцевиной науки о вычислениях. Приемы создания алгоритмов и алгоритмические методы рассматриваются во многих не только классических университетских курсах, но и во многих инженерных дисциплинах. К настоящему времени в мировой практике накоплен огромный...
Запорожье: Запорожский национальный университет, 2015. — 44 с. Методическое пособие предназначена для проведения практических занятий по дисциплине «Алгоритмы и структуры данных» студентам, обучающимся по программе подготовке бакалавров по специальности 6.080202 «Прикладная математика».
Запорожье: Запорожский национальный университет, 2008. - 50 с. Методическое пособие предназначена для проведения практических занятий по дисциплине «Алгоритмы и структуры данных» студентам, обучающимся по программе подготовке бакалавров по специальности 6.080202 «Прикладная математика».
Электронное издание. — М.: МЦНМО, 2016. — 31 с. — ISBN: 978-5-4439-3032-9. Брошюра написана по материалам курса, прочитанного автором в 2010 г. в Летней школе «Современная математика». В ней рассказывается об основных понятиях теории алгебраической сложности и приводятся её начальные утверждения. Рассматриваются задачи эффективного вычисления полиномов и билинейных форм,...
Минск: Белорусский государственный университет, 2011. — 267 с. В учебном пособии изложены фундаментальные понятия, используемые при разработке алгоритмов и оценке их трудоемкости. Теоретический материал дополнен примерами и рисунками, облегчающими самостоятельное изучение материала, а также перечнем задач для самостоятельного решения. В приложении разбираются алгоритмы решения...
СПб.: Питер, 2016. — 800 c. — ISBN: 9785496015455. Впервые на русском языке выходит одна из самых авторитетных книг по разработке и использованию алгоритмов. Алгоритмы — это основа программирования, определяющая, каким образом программное обеспечение будет использовать структуры данных. Вы познакомитесь с базовыми аспектами построения алгоритмов, основными понятиями и...
Минск : БГУ, 2017. — 183 с. Пособие состоит из двух частей: «Алгоритмы на графах» и «Бинарные поисковые деревья». Первая часть содержит практические задачи, которые могут быть сформулированы в графовой постановке. Далее для их решения применяются соответствующие алгоритмы, например алгоритм построения максимального потока, кратчай шего пути и др. Во второй части рассматриваются...
Практикум. — Челябинск: Издательство Южно-Уральского государственного гуманитарно-педагогического университета, 2017. — 91 с. — ISBN: 978-5-906908-75-9. Практикум содержит материалы для изучения курсов «Теория алгоритмов» и «Теоретические основы информатики и современных информационных технологий». Пособие предназначено для организации аудиторной и самостоятельной работы...
М.: Наука, 1963. — 556 с. Настоящая книга рассчитана на широкий круг читателей, работающих в области автоматики, телемеханики и вычислительной техники и впервые знакомящихся с теорией конечных автоматов и последовательностных машин. Авторы имели в виду также, что книга должна быть полезна для математика (не логика), стремящегося познакомиться с этими проблемами, а также для...
АПК Россия 2009. Жукова С.В. 44 страницы Лекции по информатики. Цели обучения основам алгоритмизации и место этого раздела в курсе информатики. Понятие алгоритма в школьном курсе информатики Цели обучения Понятия алгоритм, алгоритмизация Правила алгоритмизации Идея Исполнителя алгоритма, Среда Исполнителя, СКИ Методические идеи в разделе Исполнитель Требования к знаниям и...
Специальность ООП 09.03.03 Прикладная информатика. Профиль подготовки Прикладная информатика — Томск: Издательство ТПУ, 2016. — 12 с. Цели освоения дисциплины Место дисциплины в структуре основной образовательной программы Результаты освоения дисциплины (модуля) Структура и содержание дисциплины Организация самостоятельной работы студентов Рейтинг качества освоения дисциплины...
М.: Московский центр непрерывного математического образования, 2016. — 145 с. — ISBN: 9785443923963. В курсе дается краткое изложение классических способов построения и анализа алгоритмов. Первая часть курса, представленная в данном пособии, в большей степени сконцентрирована на базовых структурах данных, а также задачах сортировки и поиска. Теоретический материал дополняется...
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...
Казань: Казанское математическое общество, 2000. — 576 с. Перевод книги: Robert I. Soare "Recursively Enumerable Sets and Degrees", Perspectives in Mathematical Logic, Springer, 1999. Монография профессора Чикагского университета Р.И.Соара, являющаяся наиболее популярной книгой по теории вычислимости. В ней систематически излагается современное состояние теории вычислимости,...
М.: Академия, 2009. — 208 c. В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к формализации понятия алгоритма; даны начала алгоритмической теории множеств; представлены наиболее известные результаты об...
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...
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...
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...
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,...
М.: Наука, 1986. — 130 с. В книге описываются различные подходы к установлению свойств программ и доказательству теорем о программах. Цель книги - дать единую теоретико-множественную схему: с одной стороны, наиболее распространенные традиционные методы, с другой стороны, новые методы анализа программ. Для студентов и аспирантов математических специальностей, а также научных...
Учебное пособие. — М.: Финансы и статистика, 1985. — 223 с. Рассматриваются основы программирования на базе языков Алгол-60, Ассемблер, Фортран и ПЛ/1, излагаются эффективные численные методы, используемые при решении вычислительных задач. Все объяснения ведутся на простых примерах, по принципу «от простого к сложному». Для учащихся техникумов, обучающихся по специальности...
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...
Альманах современной науки и образования. — Тамбов: Грамота, 2016. — № 10 (112). — C. 53-56. — ISSN: 1993-5552. В статье описываются структура, возможности и назначение программы, моделирующей работу нормальных алгоритмов Маркова и машин Тьюринга. Эта программа была создана автором на факультете вычислительной математики и кибернетики МГУ им. Ломоносова. Она предназначена для...
Альманах современной науки и образования. — Тамбов: Грамота, 2014. — № 8 (86). — C. 74-79. — ISSN: 1993-5552. Работа посвящена алгоритму кластеризации FRiS-Cluster, слабым местом которого является параметр r*. Данный параметр необходимо задавать вручную, при этом судить о правильности выбора можно только по окончанию работы алгоритма. В статье исследована зависимость качества...
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...
М.: Просвещение, 1970. — 25 с. Учебное пособие для заочных отделений физико-математических факультетов педагогических институтов. Настоящее пособие представляет собой попытку элементарного изложения основ теории алгоритмов, которое могло бы служить требуемым руководством для студентов педвузов. Общий план изложения заимствован из лекций, прочитанных П. С. Новиковым на курсах...
М.: Наука, Физматлит, 1987. — 288 с. — (Библиотечка программиста). Понятие алгоритма является одним из наиболее фундаментальных понятий информатики и математики. Систематическое изучение алгоритмов привело к созданию особой дисциплины, пограничной между математикой и информатикой — теории алгоритмов. В книге дается обзор важнейших достижений теории алгоритмов за последние...
29 февраля 2016 г. — Интернет-издание, 2016. — 369 с. Настоящее учебное пособие написано по материалам двух спецкурсов, читавшихся авторами в течение нескольких лет для студентов 4-го и 6-го курсов Московского физико-технического института — «Сложность комбинаторных алгоритмов» и «Эффективные алгоритмы». Основная цель пособия заключается в ознакомлении читателей как с...
М.: Физматлит, 2008. — 304 с. — (Информационные и компьютерные технологии). — ISBN: 978-5-9221-0950-5. В пособии полно и на современном уровне изложены вопросы выбора рациональных алгоритмических решений, в том числе и комбинированных, важные в практическом плане и актуальные при проектировании информационных и программных систем. Пособие может использоваться в качестве...
СПб.: Лань, 2012. — 406 с. Учебное пособие содержит полное изложение материала учебных дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции» Государственного образовательного стандарта высшего профессионального образования по специальностям «Компьютерная безопасность», «Информационная безопасность автоматизированных систем» и некоторым другим смежным...
2-е исправленное и доп. издание. — М.: МГУ, 2016. — 72 с. Пособие посвящено решению задач по теме «Введение в теорию алгоритмов», изучаемой на первом курсе факультета ВМК МГУ в рамках дисциплины «Алгоритмы и алгоритмические языки». Это задачи на составление алгоритмов в виде машины Тьюринга и нормальных алгоритмов Маркова, а также задачи теоретического характера. В пособии...
Ottawa: Carleton University, 2017. - 251 p. This is a free textbook for an undergraduate course on the Theory of Computation, which we have been teaching at Carleton University since 2002. Until the 2011/2012 academic year, this course was offered as a second-year course and was compulsory for all Computer Science students. Starting with the 2012/2013 academic year, the course...
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...
Учебное пособие. — Новосибирск: мех.-математический факультет, Новосиб. гос. ун-т, 2009. — 107 с. В настоящем учебном пособии изложены математические основы теории алгоритмов. Пособие отражает содержание лекций основного курса «Теория алгоритмов», прочитанных автором для студентов 1-го курса механико-математического факультета НГУ и охватывает материал из нескольких областей...
Перевод с английского А. С. Куликова под редакцией А. Шеня. — М.: МЦНМО, 2014. — 319 с. В этой книге, предназначенной для студентов математических и программистских специальностей (начиная с младших курсов), подробно разбираются основные методы построения и анализа эффективных алгоритмов. Она основана на лекциях авторов в университетах Сан-Диего и Беркли. Выбор материала не...
2-е изд., исправленное. — М.: МЦНМО, 2009. — 48 с. — ISBN: 978-5-94057-485-9. Файл: отскан. страницы (b/w 600 dpi) + OCR + букмарки. Брошюра написана по материалам лекции, прочитанной автором 23 июля 2005 года в летней школе «Современная математика» в Дубне. Она посвящена формализации такого интуитивно ясного термина, как «случайность». В брошюре рассматривается четыре разных...
2-е изд., исправленное. — М.: МЦНМО, 2009. — 48 с. — ISBN: 978-5-94057-485-9. Файл: отскан. страницы (b/w 600 dpi) + OCR + букмарки. Брошюра написана по материалам лекции, прочитанной автором 23 июля 2005 года в летней школе «Современная математика» в Дубне. Она посвящена формализации такого интуитивно ясного термина, как «случайность». В брошюре рассматривается четыре разных...
Учебно-методическое пособие по курсу «Теория алгоритмов» для студентов специальности «Информатика» всех форм обучения. — Минск: БГУИР, 2007. — 54 с. Учебно-методическое пособие составлено в соответствии с рабочей программой курса «Теория алгоритмов». В него включены базовые определения и основные результаты классической теории алгоритмов, а также теории сложности вычислений....
Москва: Техносфера, 2002. — 368 с. — (Мир программирования). — ISBN: 5-94836-005-9. По истечении десятилетия элементная база компьютеров, операционные системы, средства доступа и внешний вид программ меняются коренным образом, однако структуры и алгоритмы, лежащие в их основе, остаются неизменными в течение гораздо большего времени. Эти основы начали закладываться тысячелетия...
Учебное пособие. — Минск: БГУ, 2013. — 159 с.
В учебном пособии изложены современные методы построения и анализа алгоритмов с использованием эффективных способов хранения, представления и преобразования информации.
Для магистрантов учреждений высшего образования, обучающихся по специальностям «Прикладная математика и информатика» и «Теоретические основы информатики».
Дерево...
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,...
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.
М.: Лаборатория знаний, 2016. - 250 с.
«Золотой билет» – великолепное введение в P/NP-проблему, в котором описаны история этой задачи и ее влияние на нашу жизнь. В этой информативной и занимательной книге Лэнс Фортноу прослеживает работу, которая велась над задачей во времена холодной войны по обе стороны «железного занавеса», и приводит примеры ее возникновения во множестве...
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...
Международный журнал прикладных и фундаментальных исследований. — 2016. — № 7-1. — С. 131-132.
Рассматривается возможность применения к решению задачи КОММИВОЯЖЕР «скупого» метода, суть которого заключается в том, что, уже имея оптимальный путь, новая точка добавляется так, чтобы прирост пути был минимальным.
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...
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...
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...
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...
301 кафедра МАИ, Белоногов В.Д., 2015, 13 с. Целью работы является изучение методов численного интегрирования, разработка алгоритмов, реализация их в форме программ на Mathcad и оценка их сравнительной точности и трудоемкости на примере тестовых задач моделирования динамических систем. Программа численного интегрирования по Эйлеру. Программа интегрирования по Рунге-Кутту....
301 кафедра МАИ, Белоногов В.Д., 2015, 8 с. Вычисление дискретной модели системы в форме системы разностных уравнений по системе дифференциальных уравнений в форме уравнений состояния. Реализация алгоритмов в Mathcad. Оценка точности и трудоемкости.
301 кафедра МАИ, Белоногов В.Д., 2015, 11 с. Вычисление матрицы передаточных функций по системе дифференциальных уравнений. Изучение алгоритмов вычислительных операций с матрицами и их реализация в Mathcad.
Репринтное воспроизведение издания 1941 года, в котором Алонзо Черч впервые подробно описал ныне широко известное λ-исчисление, разработанное им в начале 1930х годов. Особенность λ-исчисления, отличающая его от исчисления предикатов - формализация применения функций. В нем легко выражаются сложные понятия - например, натуральные числа, причем это достигается без введения...
London: Springer, 2001. - 153p. Randomized Algorithms discusses two problems of fine pedigree: counting and generation, both of which are of fundamental importance to discrete mathematics and probability. When asking questions like "How many are there?" and "What does it look like on average?" of families of combinatorial structures, answers are often difficult to find -- we...
New York: Springer, 2004. - 547p. There are several approaches to attack hard problems. All have their merits, but also their limitations, and need a large body of theory as their basis. A number of books for each one exist: books on complexity theory, others on approximation algorithms, heuristic approaches, parametrized complexity, and yet others on randomized algorithms....
New York: 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...
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...
2nd edition. — Springer, 2016. — 2428 p. — ISBN10: 1493928635, ISBN13: 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 bioinformatics...
Учебное пособие. М.: Факториал Пресс, 2006. — 128 с. — (Методы современной математики; Вып. 2) ISBN: 5-88688-083-6 Тираж 1000 экз. Учебное пособие написано по материалам полугодового спецкурса, читавшегося автором на механико-математическом факультете МГУ им. М.В. Ломоносова для студентов и аспирантов кафедры математической логики и теории алгоритмов, а также специальности...
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....
Перевод с английского. — М.: Вильямс, 2003. — 384 с. — ISBN: 5-8459-0122-7. В этой книге подробно рассмотрены структуры данных и алгоритмы, которые являются фундаментом современной методологии разработки программ. Показаны разнообразные реализации абстрактных типов данных, начиная от стандартных списков, стеков, очередей и заканчивая множествами и отображениями, которые...
Учебно-методическое пособие. — Шахты: Южно-Российский государственный университет экономики и сервиса (ЮРГУЭС), 2011. — 66 с. Учебно-методическое пособие охватывает традиционные разделы математической логики и теории алгоритмов. Значительное место в пособии занимает описание методов, наиболее часто применяемых на практике при решении задач математической логики и теории...
Учебное пособие. — Самара, 2002. — 44 с. Пособие содержит краткую теорию и варианты заданий по теории алгоритмов, включающих разделы, связанные с машинами Тьюринга, нормальными алгоритмами Маркова, а также теории рекурсивных функций. Рассматриваются также вопросы, связанные с теорией предикатов.
Учебное пособие по алгоритмам в информатике. Перевод: Кириленко Вадим (главы 1-12), Волошко Роман Владимирович (главы13-19) Москва : Издательство «Э», 2016. - 544 с. - (Мировой компьютерный бестселлер). ISBN: 978-5-699-81729-0 Тираж 2000 экз. Алгоритмы — это рецепты, которые делают возможным эффективное программирование. Их изучение позволяет усвоить общие подходы к решению...
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...
2-е изд., исправленное. — М.: Интуит, 2016. — 336 с. Курс содержит задачи по программированию различной трудности. Большинство задач приводятся с решениями. Цель курса - научить основным методам построения корректных и быстрых алгоритмов. Курс будет полезен учителям информатики, старшеклассникам, студентам младших курсов высших учебных заведений. Курс может быть использован на...
Учебное пособие. — Симферополь: Куб, 2016. — 232 с.: ил. — ISBN: 978-5-9908044-1-8. Введение. Измерение информации. Энтропия и её свойства. Энтропия источника дискретной информации. Свойства энтропии источника дискретной информации. Совместная и условная энтропия. Информация и её свойства. Энтропия непрерывной информации. Передача дискретной информации, пропускная способность...
СПб.: Питер, 2016. — 800 c. — ISBN: 9785496015455. Впервые на русском языке выходит одна из самых авторитетных книг по разработке и использованию алгоритмов. Алгоритмы — это основа программирования, определяющая, каким образом программное обеспечение будет использовать структуры данных. Вы познакомитесь с базовыми аспектами построения алгоритмов, основными понятиями и...
3-е изд. — М.: Вильямс, 2013. — 1324 с. — ISBN: 978-5-8459-1794-2. Книга "Алгоритмы. Построение и анализ" удачно объединяет в себе полноту охвата и строгость изложения материала. Много книг, посвященных алгоритмам, отличается строгостью изложения материала, но страдает определенной неполнотой; другие книги охватывают огромный объем материала, но недостаточно строго излагают...
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.
Учебное пособие. — М.: Московский государственная академия приборостроения и информатики (МГАПИ), 2003. — 47 с., 80 с. Предлагаемое издание рекомендуется в качестве учебного пособия для подготовки студентов различных специальностей, изучающих математическую логику и теорию алгоритмов. Издание может быть использовано в качестве учебного пособия по разделу «Математическая логика»...
Учебное пособие. М.: НАУКА, ФИЗМАТЛИТ, 2007. – 376 с. Разработка и анализ компьютерных алгоритмов — новая дисциплина, возникшая на стыке дискретной математики, программирования и классической теории алгоритмов, играющая важную роль в современных компьютерных технологиях. Для большинства практически значимых задач, решаемых сегодня с использованием компьютеров, существуют...
М. : Советское радио, 1974 . – 200 с. Книга является общедоступным введением в теорию алгоритмов и рассматривает круг вопросов, лежащих на грани между математической логикой и теорией автоматических вычислительных машин. Рассчитана на широкий круг читателей, интересующихся кибернетикой, вычислительной математикой и техникой.
Теорія алгоритмів та представлення знань: Конспект лекцій для студентів освітньо-кваліфікаційного рівня «бакалавр» напряму підготовки 6.020303 «Філологія» / Укл.: Н.І. Мельникова, – Львів: Кафедра «Інформаційних систем та мереж» Інститут комп‘ютерних наук та інформаційних технологій Національного університету «Львівська політехніка», 2015.-91 с.
Казань: КГУ, 1999. 25 с.
В учебном пособии кратко рассмотрены следующие вопросы: эффективная нумерация алгоритмов; теорема о параметризации; универсальный алгоритм; перечислимые и разрешимые множества; алгоритмически неразрешимые проблемы, в т.ч. теорема Райса; элементы математической логики. В пособии не уделяется внимания определению понятия «алгоритм», оно считается синонимом...
Казань: КГУ, 1999. 25 с.
В учебном пособии кратко рассмотрены следующие вопросы: эффективная нумерация алгоритмов; теорема о параметризации; универсальный алгоритм; перечислимые и разрешимые множества; алгоритмически неразрешимые проблемы, в т.ч. теорема Райса; элементы математической логики. В пособии не уделяется внимания определению понятия «алгоритм», оно считается синонимом...
М.: Мир, 1972. — 624 с. Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых последних лет. Не предполагающая в основной своей части никаких предварительных знаний, кроме знакомства с...
3-е изд., испр. — М.: Дрофа, 2005. — 320 с. — (Классический университетский учебник). — ISBN 5-7107-8904-6. В учебном пособии впервые в отечественной литературе рассматривается связь вопросов арифметики с современными проблемами кибернетики. Книга представляет собой сборник задач по арифметике и теории сложности арифметических алгоритмов и позволяет получить систематические...
2-е изд., перераб. — М.: Высшая школа, 2000. — 320 с. — ISBN: 5-06-003613-8. В книге впервые в отечественной литературе рассматривается связь вопросов арифметики с современными проблемами кибернетики. Она представляет собой сборник задач по арифметике и теории сложности арифметических алгоритмов, позволяющий получить систематические знания в этих областях математики....
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...
Учебное пособие. - Минск: БГУ, 2008. - 59 с.
В книге рассматриваются организация полного перебора и приближенные алгоритмы. Организация полного перебора включает в себя следующие разделы: построение дерева решений, способы обхода дерева решений, сокращение числа необходимых для решения подзадач: отсев возможных вариантов ветвления, функции ветвления, а также задачи для...
3rd Edition. — Cengage Learning, 2013. — XXII, 458 p. — ISBN13: 978-1-133-18779-0; ISBN10: 1-133-18779-X. Gain a clear understanding of even the most complex, highly theoretical computational theory topics in the approachable presentation found only in the market-leading Introduction to the Theory of Computation, 3E. The number one choice for today's computational theory...
Переводчик: И.В.Красикова. — 3-е изд. — М.: Вильямс. — 1324 с. — ISBN: 978-5-8459-1794-2.
Книга "Алгоритмы. Построение и анализ" удачно объединяет в себе полноту охвата и строгость изложения материала. Много книг, посвященных алгоритмам, отличается строгостью изложения материала, но страдает определенной неполнотой; другие книги охватывают огромный объем материала, но...
Учебное пособие. — М.: Финансы и статистика, 1985. — 223 с. Рассматриваются основы программирования на базе языков Алгол-60, Ассемблер, Фортран и ПЛ/1, излагаются эффективные численные методы, используемые при решении вычислительных задач. Все объяснения ведутся на простых примерах, по принципу «от простого к сложному». Для учащихся техникумов, обучающихся по специальности...
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...
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...
Учебно-методическое пособие, М.: МГУ, 2012. - 38 с.
Рекурсия – мощный инструмент программирования, по выразительным возможностям близкий к циклам. Рекурсия широко применяется при решении игровых и переборных задач. Однако зачастую освоение рекурсии представляет существенную сложность для начинающих программистов. Данное пособие посвящено обсуждению понятия рекурсии,...
Учебно-методическое пособие. – М.: Издательский отдел факультета ВМК МГУ, 2014. - 68 с. Методическое пособие посвящено сбалансированным деревьям поиска. В начале пособия рассматриваются деревья поиска общего вида. Далее рассматриваются три вида сбалансированных деревьев поиска: АВЛдеревья, красно-черные деревья и самоперестраивающиеся деревья. Теоретический материал...
Учебное пособие для студентов 1 курса. - М.: МАКС Пресс, 2010. - 26 с.
Учебное пособие представляет собой введение к основному курсу лекций для
студентов факультета ВМК МГУ "Алгоритмы и алгоритмические языки". Обсуждается
роль компьютера в решении проблемы накопления и сохранения знаний, детализируется
представление о задаче обработки информации. Вводятся понятия процесса...
Айтқожа А.А., Фазылова Л.С., Копбалина С.С. — Қарағанды: Е.А. Бөкетов атындағы Қарағанды мемлекеттік университеті, 2006. — 105 б.
Экономикалық ғылым модельдер мен модельдеуді ертеден қолданып келеді. Экономикалық есептерді зерттеуде және шешуде математикалық аппаратты кеңінен қолдану экономикалық есептерді талдауға арналған математикалық әдістерді құруға қажеттілік туындатты....
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,...
М.: Издательский отдел ф-та ВМиК МГУ, 2002. — 82 с. — ISBN: 5894071372
Рассматриваются общие утверждения о сложности задач, методы построения быстрых алгоритмов и примеры их применения с оценками сложности, основные классы задач относительно их сложности, примеры универсальных задач в этих классах.
Springer, 2006. — 737 p. The proliferation of computing devices in every aspect of our lives increases the demand for better understanding of emerging computing paradigms. For the last fifty years most, if not all, computers in the world have been built based on the von Neumann model, which in turn was inspired by the theoretical model proposed by Alan Turing early in the...
М.: Факториал Пресс, 2006. - 128с.
Учебное пособие написано по материалам полугодового спецкурса, читавшегося автором на механико-математическом факультете МГУ им. М. В. Ломоносова для студентов и аспирантов кафедры математической логики и теории алгоритмов, а также специальности "Защита информации". Излагаются основные идеи и методы теории сложности вычислений.
Для студентов,...
Издательство 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...
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...
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...
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...
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...
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,...
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...
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...
М.: МЦНМО, 2013. — 576 с. — ISBN: 978-5-4439-0212-8. Классическая (шенноновская) теория информации измеряет количество информации, заключённой в случайных величинах. В середине 1960-х годов А.Н. Колмогоров (и другие авторы) предложили измерять количество информации в конечных объектах с помощью теории алгоритмов, определив сложность объекта как минимальную длину программы,...
Шпаргалка ДНУ Теория алгоритмов ФФЭКС 3 курс
55 вопросов.
Вопросы:
Понятие алгоритма. Алгоритм Евклида.
Основные свойства алгоритмов.
Метод математической индукции как метод доказательства справедливости алгоритмов.
Метод доказательства справедливости произвольного алгоритма.
Множество, подмножество, множество-степень. Операции над множествами. Отношения между множествами....
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,...
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...
М.: ООО И.Д. Вильямс, 2014. — 208 c. — ISBN: 9785845918680 Эта книга написана признанным авторитетом в области компьютерных алгоритмов - профессором информатики Томасом Корменом, чей труд "Алгоритмы: построение и анализ", написанный в соавторстве с такими выдающимися учеными, как Чарльз Лейзерсон, Рональд Ривест и Клиффорд Штайн, выдержав три издания, давно стал общепризнанным...
М.: Вильямс, 2014. - 208с.
Эта книга написана признанным авторитетом в области компьютерных алгоритмов - профессором информатики Томасом Корменом, чей труд "Алгоритмы: построение и анализ", написанный в соавторстве с такими выдающимися учеными, как Чарльз Лейзерсон, Рональд Ривест и Клиффорд Штайн, выдержав три издания, давно стал общепризнанным классическим учебником по...
Communication Complexity, New York, Cambridge University Press 1997, ISBN: 978-0-521-56067-2, pp. I-XIII, 1- 189. [j19]. Communication Complexity surveys this mathematical theory, concentrating on the question of how much communication is necessary for any particular process. The first part of the book is devoted to the simple two-party model introduced by Yao in 1979, which is...
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...
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...
Алгоритмы и структуры данных
Опишите задачу решаемую алгоритмом Беллмана-Форда. Приведите пример использования данного алгоритма в обобщенном виде.
Опишите задачу решаемую бинарным деревом поиска. Приведите пример использования данной структуры в обобщенном виде.
Опишите задачу решаемую алгоритмом Дейкстры. Приведите пример использования данного алгоритма в обобщенном виде....
Пер. с англ. — М.: Факториал, 1998. — 368 с.: ил. — ISBN: 5-88688-039-9. Монография содержит систематическое изложение важнейших аспектов теории сложности вычислений. Ее автор — известный американский ученый, крупный специалист в области теории сложности и ее приложений. В книге на высоком научном уровне последовательно и во взаимосвязи рассмотрены основные модели вычислений:...
Академия, 2009. - 208 c. В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к формализации понятия алгоритма; даны начала алгоритмической теории множеств; представлены наиболее известные результаты об...
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...
М.: Наука. Гл. ред. физ.-мат. лит., 1986.— 366 c. — 2-е изд. Скан, OCR слой. Посвящается одному из актуальных и бурно развивающихся разделов математической логики — теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов. 1-е изд.— в 1965 г. Для...
М.: «Наука», 1965. — 394 с. Скан, OCR слой. Еще в 30-х годах нашего столетия математическая логика и возникавшая тогда теория алгоритмов казались наиболее абстрактными и наиболее далекими от практических приложений математическими дисциплинами. В настоящее время положение коренным образом изменилось. Ныне общепризнано, что обе названные дисциплины образуют теоретический...
Автор неизвестен. Екатеринбург, УрФУ, 2004 — 17 с. Методические указания к лабораторной работе по дисциплине «Информационные модели и языки программирования» для студентов специальности 2201 – Вычислительные машины, комплексы, системы и сети Вводные замечания Описание базисного Рефала Пример 1 - Замена плюсов на минусы Пример 2 - Факториал Пример 3 - Перевод слова Оформление...
Учебн. пособие. - М.: Статистика, 1973. - 164 с.
В учебном пособии излагаются основы теории алгоритмов и теории формальных грамматик, рассматриваются различные алгоритмические системы, методы оценки и преобразования алгоритмов, связь теории алгоритмов с теорией формальных грамматик, классификация грамматик, связь теории формальных грамматик с теорией автоматов.
Пособие...
12 стр.
Содержание:
Теория как особая форма научного познания.
Дедукция.
Типы дедуктивных теорий по О.С. Разумовскому.
Дедуктивный метод Шерлока Холмса.
Список используемой литературы.
У посібнику запропоновано модель вивчення основ алгоритмізації та програмування з використанням інтегрованого середовища, де на відміну від традиційного підходу головна увага приділяється задачі аналізу на всіх стадіях процесу проектування та реалізації алгоритмів. Описано новий підхід до вивчення поняття складності та вивчення властивостей алгоритмів і вибору оптимального...
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...
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...
Никаких данных нет. Содержание Основные понятия теории алгоритмов Машина Тьюринга Частично-рекурсивные функции Машина с неограниченными регистрами МНР-вычислимость частично-рекурсивных функций Нумерация вычислимых функций Теорема о параметризации Универсальная вычислимая функция Разрешимые и перечислимые множества Теоремы о разрешимых и перечислимых множествах Нумерация...
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...
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...
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,...
Учебное пособие. — Ярославль: Ярославский государственный университет им. П.Г. Демидова (ЯрГУ), 2005. — 143 с. — ISBN: 5-8397-0382-6. В учебном пособии излагаются основы алгоритмической грамотности (уточнение понятия алгоритма и алгоритмическая неразрешимость, анализ сложности алгоритмов, построение и анализ алгоритмов сортировки и поиска информации, выделение класса...
СПб.: БХВ-Петербург, 2011. — 722 с. — ISBN: 978-5-9775-0560-4. Книга является наиболее полным руководством по разработке эффективных алгоритмов. Первая часть книги содержит практические рекомендации по разработке алгоритмов: приводятся основные понятия, дается анализ алгоритмов, рассматриваются типы структур данных, основные алгоритмы сортировки, операции обхода графов и...
Лектор Герман О.В. Остальные выходные данные отсутствуют.
Содержание.
Введение в теорию алгоритмов.
Машины Тьюринга.
Распознавание языков машинами Тьюринга.
Рекурсивные множества и функции.
Алгоритмически неразрешимые проблемы.
Использование машин Тьюринга для обоснования универсальности языка программирования.
Понятие вычислительной сложности.
Распознавание языков....
Выходные данные не приведены. Автор не известен. — 35 с.
Данный курсовой проект посвящен рассмотрению и изучению алгоритмов нечисленной обработки данных – линейный и двоичный поиск, а также упорядочение массива методом сортировки деревом. Алгоритмы реализованы на языке Turbo Pascal 7.0
Постановка задачи.
Метод решения .
Сортировка двоичным деревом.
Организация массива в...
Воронежский государственный технический университет, Воронеж, Литвиненко В.П., 2007. — 15 с.
Введение.
Разработка оптимального дихотомического алгоритма поиска при равновероятном распределении вероятностей и числе событий м=.
Разработка оптимального алгоритма поиска для экспоненциального закона распределения вероятностей при м=.
Разработка оптимального алгоритма поиска...
Выходные данные не приведены. Казиев В.М. — 9 с.
Исполнитель.
Человек (специалист).
Структура мозга человека.
Центральная нервная система.
Человеческий мозг.
Структура познания системы.
Структура обработки информации человеком.
Выходные данные не приведены. Автор не известен. — 13 с.
Введение.
Алгоритмизация.
Понятие алгоритма и его свойства.
Исполнитель алгоритмов.
Заключение.
Список использованной литературы.
Выходные данные не приведены. Автор не известен. — 8 с.
Правило размещения результата.
Построение НАМ.
Построение алгоритмов из алгоритмов.
Табличная запись программы.
Выводы.
Список литературы.
O’Reilly Media, 2013. — 332 p. — ISBN: 1449329276, 9781449329273. Finally, you can learn computation theory and programming language design in an engaging, practical way. Understanding Computation explains theoretical computer science in a context you’ll recognize, helping you appreciate why these ideas matter and how they can inform your day-to-day programming. Rather than use...
Учебное пособие. – СПб: СПб НИУ ИТМО, 2012. – 51 с. Пособие содержит обзор моделей алгоритма: - алгоритмы распознавания регулярных языков конечными автоматами; - свойства читающих, записывающих конечных автоматов и автоматов с выходом; - преобразования блок-схем в конечные автоматы и регулярные выражения; - машины Тьюринга и Поста; - ассоциативные вычисления; - рекурсивные...
Издательство Мир, Москва 1997. - 183 с.
Электронная книга одного из наиболее известных специалистов в современном программировании посвящена методам систематического конструирования алгоритмов и написана как вводный курс программирования. Поскольку такой курс должен быть составной частью общего математического образования, особое внимание уделяется системе обозначений, языку. В...
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...
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...
Л.: Наука. 1990. 238с. В сборнике представлены результаты исследований сотрудников лаборатории теории алгоритмов Ленинградского института информатики и автоматизации АН СССР, а также специалистов, сотрудничавших с этой лабораторией. Работы связаны в основном с разработкой и анализом алгоритмов для обработки знаний, анализа изменений и сигналов и для систем компьютерной алгебры....
Пер. с англ. Наука. М., 1974, 288с.
Линейные последовательностные машины (ЛПМ) широко применяются в автоматике и вычислительной технике в качестве генераторов последовательностей, счетчиков, кодирующих и декодирующих устройств, устройств обнаружения и исправления ошибок, при моделировании нейронных сетей и т. д. Книга А. Гилла представляет собой первую в мировой литературе...
Механико-математический факультет МГУ. 2005. 144с.
Учебное пособие написано на основе специальных курсов "Теория баз данных и информационного поиска" и "Теория интеллектуальных систем", читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ им. М.В.Ломоносова. В книге вводится новый вид представления баз данных, называемый...
М.: МЦНМО, 2011 г., 78 с. Содержание: От переводчиков русского издания От переводчика английского издания Предисловие к первому изданию (на французском языке) Введение, определения, примеры Существование устойчивого паросочетания: основной алгоритм Принцип отложенных решений: накопление купонов Теоретические основы: применение в задаче о кратчайшем пути Поиск в хеш-таблицах:...
Oxford University Press, 1999. - 528 pages. ISBN10: 0195125169 ISBN13: 978-0195125160 Popular computer algebra systems such as Maple, Macsyma, Mathematica, and REDUCE are now basic tools on most computers. Efficient algorithms for various algebraic operations underlie all these systems. Computer algebra, or algorithmic algebra, studies these algorithms and their properties and...
Учебное пособие. Москва, МИФИ, 2008. 176 стр. - ISBN: 978-5-7262-1078-0 Книга посвящена теории алгоритмов и содержит основные сведения о свойствах алгоритмов и способах их формального представления (машины Тьюринга, алгоритмы Маркова, рекурсивные функции). Изложены основы теории бесконечных множеств, рассмотрены вопросы нахождения эффективных процедур для перечисления объектов...
СПб.: Санкт-Петербургский государственный университет; Санкт-Петербургское отделение Математического института им. В.А.Стеклова (ПОМИ) РАН, Гирш Э.А., 2002 г.
Спецкурс прочитан в Санкт-Петербургском государственном университете в 2002 г. Материал включает в себя конспекты 14 лекций по указанному спецкурсу.
Задачи поиска. Классы P и NP. СведЕния. NP-полные задачи....
СПб.: Санкт-Петербургский государственный университет; Санкт-Петербургское отделение Математического института им. В.А.Стеклова (ПОМИ) РАН, Гирш Э.А., 2010 г.
Курс лекций, прочитанный в Санкт-Петербургском государственном университете, посвящён оценкам длины доказательств в первую очередь для утверждений логики высказываний, хотя будут рассмотрены и другие языки. Существование...
World Scientific Publishing Company – 2012, 200 pages, 2nd Edition ISBN: 9814401153, 9789814401159 A successor to the first edition, this updated and revised book is a great companion guide for students and engineers alike, specifically software engineers who design reliable code. While succinct, this edition is mathematically rigorous, covering the foundations of both computer...
Кузюрин Н.Н., Фомин С.А.
- М.: Институт системного программирования РАН, 2010. – 26 слайдов.
Содержание:
RAM — random access machine.
RAM: набор команд.
RAM: моделирование FOR через GOTO.
RAM: меры сложности алгоритмов.
Машина Тьюринга.
Симулятор Машины Тьюринга.
Машина Тьюринга: Удвоение строки.
Машина Тьюринга: Унарное сложение.
Машина Тьюринга: Распознавание четных...
Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. Специальность 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
- М.: Институт системного программирования РАН, 2006. – 26 с.
Графы являются естественным и наглядным средством представления сложных структур и процессов. Это...
Борисенко О.
- 2010. – 43 слайда.
Для хранения и обработки больших объёмов данных требуется много памяти. Таким образом, разумно использовать внешнюю память для хранения информации. Для этого необходимы специальные структуры, которые были бы ориентированы на работу с использованием жесткого диска.
В презентации производится подробный обзор используемых структур.
Основные...
Кузюрин Н.Н., Фомин С.А.
- М.: Институт системного программирования РАН; Факультет Вычислительной математики и кибернетики МГУ, 2011. – 28 слайдов.
Содержание:
История алгоритмов.
Теория сложности.
Обозначения.
Тривиальное и разумное вычисления.
Дискретный логарифм.
Наибольший общий делитель.
Алгоритм Евклида.
Задача коммивояжера.
Переборный алгоритм для TSP....
М.: Институт Системного Программирования РАН, 2004. – 12 с.
При тестировании систем, поведение которых определяется не только последним обращением к ним, а и предшествующей историей работы, т.е. зависит от внутреннего состояния системы, необходимо строить тесты в виде последовательностей обращений, чтобы покрыть возникающие разнообразные ситуации.
Если о системе известно...
Агаев Н. - М.: Факультет Вычислительной математики и кибернетики МГУ, 2011. – 31 слайд. Содержание: Понятие кластеризации Меры близости. Классификация алгоритмов. Неиерархические алгоритмы кластеризации. Иерархические алгоритмы кластеризации.
Кузюрин Н.Н., Фомин С.А. - М.: Институт системного программирования РАН; Факультет Вычислительной математики и кибернетики МГУ, 2010. – 15 слайдов. Содержание: Приближенный алгоритм с гарантированной точностью. Покрытие множества. Жадный алгоритм в задаче о покрытии. Покрытие на каждом шаге. Точность жадного алгоритма: верхняя оценка. Как обмануть жадный алгоритм? Нижняя...
Кузюрин Н.Н., Фомин С.А. - М.: Институт системного программирования РАН; Факультет Вычислительной математики и кибернетики МГУ, 2011. – 13 слайдов.
В материале рассматриваются полиномиальные и матричные тождества.
Содержание:
Алгоритм Фрейвалда.
Корректность алгоритма.
Доказательство.
Полиномиальные тождества.
Лемма Шварца-Зиппеля и ее доказательство.
Упражнение.
Кузюрин Н.Н., Фомин С.А. - М.: Институт системного программирования РАН; Факультет Вычислительной математики и кибернетики МГУ, 2010. – 16 слайдов.
Параллельный вероятностный алгоритм Луби – алгоритм нахождения максимального по включению независимого множества в графе. Для реализации данного алгоритма требуется полилогарифмическое время «в среднем».
Кузюрин Н.Н., Фомин С.А. - М.: Институт системного программирования РАН; Факультет Вычислительной математики и кибернетики МГУ, 2010. – 16 слайдов.
Содержание:
Определения эйлерового пути, эйлерового цикла и эйлерова графа.
Алгоритм нахождения эйлерова цикла.
Алгоритм Прима.
Приближенный алгоритм-1 для метрической «TSP».
Алгоритм Кристофидеса для метрической «TSP».
М., 2011. – 363 с. Книга написана по материалам спецкурсов, читавшихся авторами в течение нескольких лет для студентов Московского физико-технического института. Она знакомит читателей как с классическими результатами в разработке эффективных алгоритмов для решения вычислительно-трудных задач, полученными еще в 1960-1970-х годах, так и с новыми результатами, полученными в...
Одесса: Одесский государственный политехнический университет (ОГПУ), 2004. – 36 с. Методические указания к курсовой работе по дисциплине Теория алгоритмов и вычислительных процессов для студентов специальности 7.080403. Данные методические указания предназначены для оказания помощи студентам при решении ключевых вопросов теории и практики проектирования алгоритмов: разработке...
Одесса: Одесский государственный политехнический университет (ОГПУ). – 66 с. Данные методические указания и задачи к практическим занятиям подготовлены в соответствии с программой курса «Теория алгоритмов и вычислительных процессов», изучаемого студентами специальностей 7.080403 «Программное обеспечение автоматизированных систем». Целью данных методических указаний и задач...
28 с.
(Автор не указан).
Содержание:
Методы разработки алгоритмов.
Жадные алгоритмы.
Эвристические алгоритмы.
Абстрактные типы данных.
Введение.
АТД дерево (TREE).
АТД множество (SET).
АТД словарь (DICTIONARY).
АТД очередь с приоритетом (PRIORITYQUEUE).
Задачи на графах.
Определение компонент сильной связности ориентированного графа.
Поиск точек сочленения в...
37 с.
(Автор не указан).
Содержание:
Формулировки задач.
Задача линейного раскроя.
Задача о рюкзаке.
Задача о камнях.
Задача коммивояжера.
NP-полнота.
Переборные методы.
Задача о рюкзаке.
Задача о камнях.
Задача коммивояжера.
Метод ветвей и границ.
Жадные алгоритмы.
Задача о выборе заявок.
Эвристические методы.
Задача линейного раскроя.
Задача о рюкзаке....
Елабуга: Елабужский государственный педагогический университет. – 87 с. Содержание: Теория рекурсивных функций. Примитивно рекурсивные функции. Базис элементарных функций. Операции подстановки и примитивной рекурсии. Основные свойства. Примитивно рекурсивные функции относительно совокупности функций. Основные свойства. Производные операции над функциями. Операции конечного...
Издательство 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,...
Oxford University Press, 2009. — 880 p. The idea for this book came about when I was invited to give the Ulam Memorial Lectures in Santa Fe—an annual set of lectures on complex systems for a general audience, given in honor of the great mathematician Stanislaw Ulam. The title of my lecture series was The Past and Future of the Sciences of Complexity. It was very challenging to...
М.: МЦНМО, 2009. — 256 с. В книге излагаются основные (начальные) разделы теории сложности алгоритмов. Различаются алгебраическая и битовая сложности, каждая из которых рассматривается в худшем случае и в среднем. Ряд основных понятий теории сложности, как-то: оценки снизу и сверху, нижняя граница сложности алгоритмов некоторого класса, оптимальный алгоритм и т. д.,...
Учебник — М.: Вильямс, 2000. — 384 с. — ISBN: 5-8459-0122-7. Построение и анализ алгоритмов Основные абстрактные типы данных Деревья Основные операторы множеств Специальные методы представления множеств Ориентированные графы Неориентированные графы Сортировка Методы анализа алгоритмов Методы разработки алгоритмов Структуры данных и алгоритмы для внешней памяти Управление памятью
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...
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...
Курс лекций для студентов специальности I-31 03 04 «Информатика» всех форм обучения. Минск: БГУИР, 2006, -103с. Содержание Основы теории алгоритмов Неформальное определение алгоритма и необходимость его уточнения Арифметические и интуитивно вычислимые функции Машины Тьюринга Вычислимость по Тьюрингу Машины Шёнфилда Частично вычислимые функции Кодирование алгоритмов...
Москва: Техносфера, 2002. — 368 с. — (Мир программирования). — ISBN: 5-94836-005-9. По истечении десятилетия элементная база компьютеров, операционные системы, средства доступа и внешний вид программ меняются коренным образом, однако структуры и алгоритмы, лежащие в их основе, остаются неизменными в течение гораздо большего времени. Эти основы начали закладываться тысячелетия...
Минск: Белорусский государственный университет, 2011. — 267 с.
В учебном пособии изложены фундаментальные понятия, используемые при разработке алгоритмов и оценке их трудоемкости. Теоретический материал дополнен примерами и рисунками, облегчающими самостоятельное изучение материала, а также перечнем задач для самостоятельного решения. В приложении разбираются алгоритмы решения...
Новосибирский государственный университет, С.Л. Березнюк. – 111 с. Содержание: Общий обзор теории алгоритмов. Алфавиты и языки. Конечные представления языков. Конечные автоматы. Регулярные и нерегулярные языки Минимизация числа состояний. Контекстно-свободные грамматики и языки. Нормальные алгорифмы Маркова. Машины Шенфилда. Частично вычислимые функции. Кодирование конечных...
McGraw-Hill Higher Education, 2008. - 332 pages. This text explains the fundamentals of algorithms in a story line that makes the material enjoyable and easy to digest. Emphasis is placed on understanding the crisp mathematical idea behind each algorithm, in a manner that is intuitive and rigorous without being unduly formal. Include: The use of boxes to strengthen the...
Ульяновск: Ульяновский государственный технический университет, 2002. - 70 с. Учебное пособие разработано на кафедре прикладной математики и информатики в соответствии с учебными программами для студентов технических и математических специальностей. Содержание включает изложение методических приемов по практическому составлению визуальных алгоритмов, которые могут быть...
Springer, 1979. — 228 p. Lectures given at Centro Internazionale Matematico Estivo (C.I.M.E.), held in Bressanone (Bolzano), Italy, June 14-23, 1979. The purpose of these lectures is to develop some deeper results in α-recursion theory which will hold in somewhat more general setting than L(α) and in particular in many other admissible sets and structures. In addition, I will...
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...
Издательство 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...
Издательство 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...
Издательство 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...
Parberry I., University of North Texas, 2001. — 118 p. Contents: Induction. Correctness. Analysis. Divide and Conquer. Dynamic Programming. Greedy Algorithms. Backtracking. NP completeness.
Издательство 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...
Издательство 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...
Издательство 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...
Gács P., Lovász L. 1999. -180 pp. Contents: Introduction and Preliminaries Models of Computation Algorithmic decidability Computation with resource bounds General theorems on space and time complexity Non-deterministic algorithms Randomized algorithms Information complexity: the complexity-theoretic notion of randomness Pseudo-random numbers An application of complexity:...
Издательство 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...
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...
3-е издание, исправленное. — М.: Дрофа, 2005. — 320 с. — (Классический университетский учебник). — ISBN 5-7107-8904-6. В учебном пособии (2-е изд. — 2002 г.) впервые в отечественной литературе рассматривается связь вопросов арифметики с современными проблемами кибернетики. Книга представляет собой сборник задач по арифметике и теории сложности арифметических алгоритмов и...
Учебно-методическое пособие для студентов очного и заочного обучения технических специальностей. – Н. Новгород : Изд-во ФГОУ ВПО «ВГАВТ», 2010. – 81 с. Излагаются основные принципы и типовые приемы алгоритмизации при решении инженерных задач. Приводятся примеры алгоритмов решения типовых задач: табулирование функций, поиск элементов с заданными признаками и сортировка данных....
Учебное пособие. Москва, МИФИ, 2008. 176 стр. - ISBN: 978-5-7262-1078-0 Книга посвящена теории алгоритмов и содержит основные сведения о свойствах алгоритмов и способах их формального представления (машины Тьюринга, алгоритмы Маркова, рекурсивные функции). Изложены основы теории бесконечных множеств, рассмотрены вопросы нахождения эффективных процедур для перечисления объектов...
Для представленного графа найти остовное дерево с минимальным весом. Провести сравнительный анализ алгоритмов Крускала и Прима по количеству сравнений и присвоений, а также сравнить время выполнения алгоритмов.
Новосибирск: изд. НГУ, 2005. - 89 с.
Конспект лекций для студентов 1 курса.
Содержание.
Предварительные сведения.
Конечные автоматы и формальные грамматики.
Формализации понятия вычислимой функции.
Теория вычислимости.
Теория сложности алгоритмов.
Список литературы.
М.: НИЯУ МИФИ, 2011. – 132 с. Даны базовые понятия теории алгоритмов, основные определения, свойства и теоремы. Теоретическая часть изложена кратко и носит справочный характер, цель – дать основу для решения практических задач и подготовки к сдаче экзамена. В каждом разделе приведены типовые задачи и вопросы с подробными решениям. Материал ориентирован на темы, изучаемые на...
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...
Марков А. А., Нагорный Н. М., 136 с. Лекции в виде презентации. Содержание. - Алгоритмы в математике. Основные черты алгоритмов. Числовые функциии алгоритмы их вычисления. Примитивно рекурсивные функции. - Частично рекурсивные функции.Тезис Черча. - Машины Тьюринга и машины с неограниченными регистрами. Вычислимость частично рекурсивных функций на МНР. - Нумерации и...
Chapman&Hall / CRC Press, 2010. — 990 p. The design and analysis of algorithms and data structures form the foundation of computer science. As current algorithms and data structures are improved and new methods are introduced, it becomes increasingly important to present the latest research and applications to professionals in the field. This series aims to capture new...
Учебно-методическое пособие. — М.: МГУ, 2006. — 47 с.
Задачи на составление алгоритмов в виде машины Тьюринга и нормальных алгоритмов Маркова, а также задачи теоретического характера.
Сведения по теории алгоритмов, типичные приёмы решения задач и большой набор задач для самостоятельного решения.
Пособие рассчитано на студентов 1 курса факультета ВМК МГУ и преподавателей,...
Екатеринбург: ГОУ ВПО УГТУ-УПИ, 2006. - 17 с. Методическое пособие по дисциплине «Математическая логика и теория алгоритмов». Приводится формализация понятия «алгоритм». Обсуждаются два способа формального описания алгоритма – с помощью нормальных алгоритмов Маркова и через машины Тьюринга. Приводятся меры сложности алгоритмов, определяются легко и трудноразрешимые задачи,...
Автор Лифшиц Ю.М. РАН СПб. Отделение Математического Института им. В.А. Стеклова, Лаборатория математической логики
Содержание
Введение
Хронология теории алгоритмов
Современное состояние теории алгоритмов
Использование других наук в алгоритмах
Наиболее значимые применения алгоритмов
Идеи и техники в теории алгоритмов
Формирование популярных направлений исследований...
М.: Мир, 1984. - 510 с.
В предлагаемой вниманию читателей книге удачно синтезированы вопросы, которые ранее в литературе освещались изолированно. Объединяющим все изложение лейтмотивом послужила задача линейного программирования, занимающая важное место в истории развития теории алгоритмов.
М.: МЦНМО, 2001. — 960 с. Книга представляет собой перевод учебника по курсу построения и анализа эффективных алгоритмов, написанного в Массачусетсом технологическом институте; в ней разбираются важнейшие, классы быстрых алгоритмов и приёмы их построения. Изложение подробное и математически строгое. Книгу можно использовать в качестве учебника и справочника; она будет полезна как...
Springer, 2006. — 405 p. The course serves a dual purpose: to cover core material in the foundations of computing for graduate students in computer science preparing for their PhD qualifying exams, and to provide an introduction to some more advanced topics in the theory of computational complexity for those intending to pursue further study in the area. The course is thus a...
Springer, 1998. — 337 p. Proof Verification and Approximation Algorithms - Hardly any area in theoretical computer science has been more lively and flourishing during the last few years. Different lines of research which had been developed independently of each other over the years culminated in a new and unexpected characterization of the well-known complexity class NP, based...
Автор неизвестен. г. Екатеринбург, 2009. 73 слайда.Происхождение слова алгоритм. Варианты протекания алгоритмического процесса. Основные черты алгоритма. Алгоритмический процесс . Десятая проблема Гильберта. Направления формализации понятия алгоритм. Машина Тьюринга. Нормальные алгорифмы Маркова. Конструктивные объекты.
Пер. с англ. — М.: Вильямс, 2005. — 1296 с.: ил. Книга написана очень квалифицированными специалистами-преподавателями Массачусетского технологического института (MIT). Уже более 20-ти лет она является стандартным учебником обязательного предмета "Введение в алгоритмы" для undergraduate (студентов начальных курсов) математиков и компьютерщиков MIT (см....
СПб.: БХВ-Петербург, 2002. — 320 с.: ил. — ISBN 5-94157-069-4. Современное программирование излагается как искусство заставить компьютер решить задачу, возникшую перед человеком. Даны единые основания математики и программирования, краткие сведения из области графов, теории вероятностей и информации (в ее математическом толковании). Приведены основные понятия и конструкции...
Cambridge University Press, 2010. — 216 p. The quest for efficiency is ancient and universal, as time and other resources are always in shortage. Thus, the question of which tasks can be performed efficiently is central to the human experience. A key step toward the systematic study of the aforementioned question is a rigorous definition of the notion of a task and of...
Cambridge University Press, 2008. — 632 p. The quest for efficiency is ancient and universal, as time and other resources are always in shortage. Thus, the question of which tasks can be performed efficiently is central to the human experience. A key step toward the systematic study of the aforementioned question is a rigorous definition of the notion of a task and of...
Оценить длину программы умножения матриц произвольного ранга.
Оценить начальное количество ошибок в ОС, если число разрядов слова состояния системы равно 12.
Оценить длину программы обращения матрицы произвольного ранга.
Оценить длину программы сортировки массива (например, по методу «пузырька»).
Оценить квалификационное время программирования для табулирования Pn(x).
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...
Springer, 2010. — 222 p. Does P=NP? In just five symbols Dick Karp –in 1972–captured one of the deepest and most important questions of all time. When he first wrote his famous paper, I think it’s fair to say he did not know the depth and importance of his question. Now over three decades later, we know P=NP is central to our understanding of computation, it is a very hard...
Из серии 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...
Springer, 2008. — 1219 p. — (Springer Reference). The Encyclopedia of Algorithms aims to provide the researchers, students, and practitioners of algorithmic research with a mechanism to efficiently and accurately find the names, definitions, key results, and further readings of important algorithmic problems. The work covers a wide range of algorithmic areas, and each algorithmic...
Из серии 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...
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...
Содержание .
Часть 2.
Определение алгоритма.
Вычислимость.
Разрешимость.
Типы алгоритмов. История создания.
Алгоритмические машины.
Примеры исчислений в IT.
Структура алгоритма (составляющие алгоритма).
Машина Поста.
Пример программы (алгоритма).
Программа, добавляющая к числу метку справа.
Программа, добавляющая к числу метку слева.
Машина Тьюринга (МТ)....
Содержание .
Часть1.
Исторический экскурс.
Математическое моделирование.
Классификация задач по Евклиду.
Классификация задач по Декарту.
Классификация задач по Пойа.
Классификация задач по Клини.
Классификация задач в работах по искусственному интеллекту.
Модель.
Классификация абстрактных моделей.
Этапы и цели компьютерного математического моделирования.
Множества....
Абрамов С.М. Методы метавычислений и их применение. — Издание второе, дополненное и переработанное, Переславль-Залесский, Издательство «Университет города Переславля имени А.К.Айламазяна», 2006. —128 с., ил.
Книга представляет собой описание вопросов теории метавычислений и их применения. Метавычисления — раздел теории и практики программирования, посвященный разработке методов...
2-е изд., перераб. — Киев : Наукова думка, 1978. — 318 с. Эволюция общения человека с ЭВМ связана с созданием мощных средств их математического обеспечения. Используемые при этом развитые языки и системы программирования существенно повышают "Интеллект" ЭВМ, реализуемый как схемным, так и программным способом, и способствуют дальнейшему расширению сферы применения вычислительной...
М.: МЦНМО, 2011 г., 78 с. "Цель данной работы состоит в том, чтобы ознакомить читателя с основами анализа алгоритмов, причём сделать это с помощью примеров, а не систематического изложения теории. Надеюсь, что такой подход позволит читателю быстро войти в курс дела, познакомиться с идеями, используемыми в этой области, а также понять взаимосвязь анализа алгоритмов с другими...
InTech, 2008. — 596 p. The greedy algorithm is one of the simplest approaches to solve the optizmization problem in which we want to determine the global optimum of a given function by a sequence of steps where at each stage we can make a choice among a class of possible decisions. In the greedy method the choice of the optimal decision is made on the information at hand...
Издательство Мир, 1974, -392 с. Библиотека «Кибернетического сборника» Затрагиваемые в сборнике проблемы математической логики тесно связаны с теорией вычислительных машин. В книге рассматриваются модели вычислительных устройств, их классификация, классификация языков, оценки сложности вычислений и оценки сложности программ. Развивается связанный со сложностью программ подход...
Springer, 2005. — 306 p. Complexity theory – is it a discipline for theoreticians who have no concern for the real world or a central topic of modern computer science? In this introductory text, complexity theory is presented as an active area of computer science with results that have implications for the development and use of algorithms. Our study will lead to insights into...
М.: МЦНМО, 2010.— 556 с.
Классическая (шенноновская) теория информации измеряет количество информации в случайных величинах. В середине 1960-х годов
А. Н. Колмогоров (и другие авторы) предложили измерять количество информации в конечных объектах с помощью теории алгоритмов, определив сложность объекта как минимальную длину программы, порождающей этот объект.
Это определение...
Содержание Введение: Актуальность темы Понятие алгоритма Признаки алгоритмов Структуры данных и их представление в памяти ЭВМ Эффективность алгоритмов и методы её достижения Форма алгоритмов Эффективность алгоритмов Машина Тьюринга Краткое содержание курсовой работы Разработка эффективных алгоритмов: Типы алгоритмов Линейный алгоритм Задание 1 Алгоритмы разветвляющейся...
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...
Понятие алгоритма. Примеры. Способы задания. Общие свойства. Необходимость математического уточнения понятия алгоритма. Нормальный алгоритм Маркова. Машины Тьюринга. Сведение любого алгоритма к вычислению числовой функции. Геделевская нумерация объектов. Примитивно рекурсивные функции. Универсальная функция. Существование вычислимых, но не примитивно рекурсивных функций....
Выпускная квалификационная работа посвящена теме «Построение компьютерной модели алгорифмов Маркова». Эта тема является одной из наиболее важных и объемных тем курса теории алгоритмов. Алгорифмы Маркова решают проблемы парадоксальности теории множеств и применяются во многих отраслях точных наук.
Все вышесказанное и определяет актуальность темы исследования.
Объектом...
Ответы на вопросы:
Машина Тьюринга.
Конструирование МТ.
Вычислимые по Тьюрингу функции: ПРФ, ЧРФ.
Правильная вычислимость.
Уточнение понятия алгоритма через машину с неограниченными регистрами.
нормальные алгоритмы Маркова.
Вычислимые функции и разрешимые множества: вычислимость, разрешимость, перечислимость, множество n-ок нат чисел, диагональная конструкция, главные...
Понятие алгоритма. Свойства алгоритмов. Дискретность. Детерминированность. Конечность. Массовость. Результативность. Виды алгоритмов. Линейный алгоритм. Циклический алгоритм. Разветвляющийся алгоритм. Вспомогательный алгоритм. Способы описания алгоритмов. Словесный способ. Блок-схемы. Литература. Презентация была использована для защиты реферата Элементы теории алгоритмов. .
Содержание . Введение. Понятие алгоритма. Свойства алгоритмов. Дискретность. Детерминированность. Конечность. Массовость. Результативность. Виды алгоритмов. Линейный алгоритм. Циклический алгоритм. Разветвляющийся алгоритм. Вспомогательный алгоритм. Способы описания алгоритмов. Словесный способ. Блок-схемы. Заключение. Литература. Презентация для защиты реферата.
Архив содержит файлы решенных задач на МТ следующих вариантов:
Вариант 2
Дано число п в восьмеричной системе счисления. Разработайте машину Тьюринга, которая увеличивала бы заданное число n на 1.
Вариант 3
Дана десятичная запись натурального числа п
1. Разработайте машину Тьюринга, которая уменьшала бы заданное число n на
1. При этом запись числа п - 1 не должна...
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...
Санкт-Петербург: Санкт-Петербургский Государственный институт Точной Механики и Оптики, 2003, 38 с.
Данное пособие посвящено основам теории алгоритмов. Рассматриваются тезис Черча, регистровые машины, некоторые алгоритмические массовые проблемы, разрешимость и перечислимость множества тавтологий, формальные теории, язык Пролог.
Пособие предназначено для студентов компьютерных и...
College Publications, 2004. 256 pages. На англ. языке. ISBN-10: 9780954300647 ISBN-13: 978-0954300647 Хорошая коллекция алгоритмов сравнения и поиска строк: от классики (Кнут-Морис-Пратт) до кластерных алгоритмов. С подробными описаниями и вставками кода на C. String matching is a very important subject in the wider domain of text processing. It consists of finding one,or more...
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...
Рассмотрены в популярной форме основные вопросы теории алгоритмов и связь этой теории с современной математикой. Государственное издательство технико-теоретической литературы. М. :1957, 99 стр.
М.: Московский физико-технический институт, 2007. — 135 с.
Элементы теории сложности.
Несложно о сложности. Примеры алгоритмов.
Формально об алгоритмах.
Сложность алгоритмов.
Вероятностные вычисления.
Вероятностно проверяемые доказательства.
Схемы и схемная сложность.
Коммуникационная сложность.
Диаграмма классов сложности.
Приближенные алгоритмы с гарантированными...
Для контроля знаний предлагается программа ASSIST2, для которой приведены тесты по дисциплине "Теория алгоритмов". Содержатся вопросы по машинам Тьюринга и Поста. Дружеский интерфейс позволяет автоматически получить оценку по пятибалльной системе.
Учебное пособие. — Белгород: Белгородская государственная технологическая академия строительных материалов, 2002.
В пособии даны основные понятия комбинаторики, рассмотрены алгоритмы порождения основных комбинаторных конфигураций и вопросы их использования при решении дискретных задач выбора. Большинство вопросов излагается с помощью примеров и практических приложений.
Учебное...
М.: Мир, 1982. — 416 с.
300 dpi
Монография американских ученых, посвященная вопросам сложности решения комбинаторных задач, возникающих в дискретной оптимизации, математическом программировании, алгебре, теории чисел, теории автоматов, математической логике, теории множеств, теории графов и т. п. Книга отличается строгим и систематическим изложением теории, в приложении...
Предисловие.
обозначения и терминология.
введение.
предварительные понятия теории алгоритмов: конструктивные объекты и их ансамбли, локальные свойства и локальные действия.
Общее понятие алгоритма как самостоятельное (отдельное) понятие.
Представительные вычислительные модели.
Общее понятие исчисления как самостоятельное.
(отдельное) понятие.
Представительные порождающие...
Издательство Иностранной литературы, Москва 1954 год.
Перевод с немецкого: В. А. Успенского
Под редакцией и с предисловием А. Н. Колмогорова
Переход от n к n+1 как способ определения теоретико-числовых функций
Рекурсивные функции и отношения
Возвратная рекурсия
Одновременная рекурсия
Рекурсия, при которой производится подстановка некоторой функции на место параметра...
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...
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....
Ноден П., Китте К. Алгебраическая алгоритмика (с упражнениями и решениями): пер. с фран. М.: Мир, 1999. - 720 с. Книга известных французских математиков — это по существу энциклопедия алгоритмов алгебры и теории чисел от Евклида и до наших дней. В ней прослеживается общая идея — представить основные алгебраические структуры и концепции в виде объектов, поддающихся машинной...
Методические указания. — Ростов-на-Дону, 2004. — 35 с.
В данных методических указаниях для студентов механико-математического факультета изложены основы теории сложности алгоритмов и вычислений. Указания составлены на основе лекций, читаемых автором для студентов механико-математического факультета, специализирующихся по кафедре алгебры и дискретной математики. Методические...
М.: БИНОМ. Лаборатория знаний. 2008. — 202 с. Учебник по курсу «Теория алгоритмов» для педагогических вузов по специальности «Информатика», полностью соответствующий стандарту. Изложение имеет четкую логическую структуру и охватывает следующие темы: понятие алгоритма, машина Тьюринга, примитивно-рекурсивные функции, нормальные алгоритмы, вычислимость и разрешимость, сложность...
Новосибирск: НГУ, 2005. - 130 с. Курс по теории алгоритмов является составной частью дисциплины "Математическая логика", читаемого на 2-3 курсах механико-математического факультета НГУ. В настоящем курсе подробно рассматриваются конечные автоматы и языки, рекурсивные функции и понятие вычислимости, вопросы сложности вычислений.
Учебное пособие. — Екатеринбург: Уральский государственный университет им. А.М. Горького (УрГУ), 2008. — 152 с. Основой для данного учебного пособия послужили лекции, которые читались авторами для студентов математико-механического факультета Уральского государственного университета им. А. М. Горького, обучающихся по специальностям «Математика, прикладная математика»,...
15 слайдов.
Свойства алгоритма.
Классификация алгоритмов по структуре.
Классификация алгоритмов по форме представления.
Таблица основных условных обозначений в блок-схемах.
Учебное пособие. — Челябинск: издательский центр ЮУрГУ, 2009. — 64 с. — Кафедра ЭВМ. В пособии рассматриваются общие особенности теории алгоритмов, а также конкретные алгоритмические системы, такие как «Рекурсивные функции», «Машины Поста и Тьюринга», «Нормальные алгоритмы Маркова» и т. п. В соответствии с предметом дисциплины «Математическая логика и теория алгоритмов». Для...
М.: Московский центр непрерывного математического образования (МЦНМО), 2003. — 112 с. Книга написана на основе курсов лекций, которые автор читал на факультете Вычислительной математики и кибернетики МГУ. В книге собраны основное классы «элементарных» рекурсивных функций, изучаемые в теории алгоритмов. Приведены различные определения этих классов, установлены соотношения...
Перевод с англ. А. А. Мучника под ред. С. Ю. Маслова Книга известного английского математика, охватывающая основные вопросы теории вычислимых функций и ее приложений: сложность вычислений и алгоритмов, теоремы Гёделя о неполноте и Чёрча о неразрешимости, семантику языков программирования. Изложение замкнутое, методически продуманное, имеется много упражнений. Для математиков,...
Игра «Жизнь» (Conway's Game of Life) — клеточный автомат, придуманный английским математиком Джоном Конвеем в 1970 году. Место действия этой игры — «вселенная» — это размеченная на клетки поверхность. В нашем случае она замкнутая . Каждая клетка на этой поверхности может находиться в двух состояниях: быть живой; быть мёртвой. Клетка имеет восемь соседей. Распределение живых...
Интернет-ресурс, 2009. — 347 с.
Эта книга написана по материалам двух спецкурсов, читавшихся авторами в течение нескольких лет для студентов 4-го и 6-го курсов Московского физико-технического института. Она знакомит читателей как с классическими результатами в разработке эффективных алгоритмов для решения вычислительно-трудных задач, полученными еще в 1960-1970-х годах, так и с...
3-е изд., испр. — М.: Дрофа, 2005. — 320 с. — (Классический университетский учебник). — ISBN 5-7107-8904-6. В учебном пособии (2-е изд. — 2002 г. ) впервые в отечественной литературе рассматривается связь вопросов арифметики с современными проблемами кибернетики. Книга представляет собой сборник задач по арифметике и теории сложности арифметических алгоритмов и позволяет...
М.: МЦНМО, 2000. — 960 с. — ISBN: 5-900916-37-5.
Фундаментальный труд известных специалистов в области кибернетики достоин занять место на полке любого человека, чья деятельность так или иначе связана с информатикой и алгоритмами. Для профессионала эта книга может служить настольным справочником, для преподавателя — пособием для подготовки к лекциям и источником интересных...
В оригинале - "Теория Алгорифмов". М. -Л.: Издательство Академии Наук СССР, 1954. - 377 с.
Книга вводит читателя в область теории алгоритмов. В ней отыскали отблеска эти нюансы доктрины как многоцелевые, обычные методы, исчисления Поста, комбинаторная неувязка Поста, неувязка определения применимости алгоритмов и всякое разное. Книга написана на высочайшем математическом уровне.
1-е издание, 1990. — 893 с.: ил. Фундаментальный труд известных специалистов в области кибернетики достоин занять место на полке любого человека, чья деятельность так или иначе связана с информатикой и алгоритмами. Для профессионала эта книга может служить настольным справочником, для преподавателя — пособием для подготовки к лекциям и источником интересных нетривиальных задач,...
18 ст.
Вступ.
Основні поняття.
Властивості кліткових автоматів.
Класифікація кліткових автоматів.
Одновимірні кліткові автомати.
Двовимірні кліткові автомати.
Автомати з клітинами без пам'яті.
Гра «Життя».
Застосування кліткових автоматів.
Висновок.
Використана література.
М.: Физматлит, 2006. — 296 с. Книга является учебным пособием по теории рекурсии в аспекте ее применения в области программирования. В ней рассматриваются основы теории рекурсии, и ее использование в области разработки и анализа рекурсивных алгоритмов. Приводятся основные сведения о рекурсивных последовательностях и функциях, даны примеры рекурсивных алгоритмов, разработанных...
В книге подробно разобрано много конкретных алгоритмов; мы старались рассказать о них понятно, но не опуская деталей и не жертвуя строгостью изложения.
Алгоритмы записаны с виде «псевдокода» и прокомментированы в тексте; мы старались сделать описание алгоритма понятным людям с минимальным программистским опытом. Книга содержит более 260 рисунков, поясняющих работу различных...
Пер. с нем. / Под ред. Б. Ф. Мельникова. - 3-е изд. - СПб.: БХВ-Петербург, 2010. - 336с (Учебная литература для вузов)
Изложены основные понятия теоретической информатики: алфавиты, слова, языки, алгоритмические проблемы, конечные автоматы, машины Тьюринга. Рассматриваются теория вычислимости, теория сложности, алгоритмизация труднорешаемых задач, рандомизация, теория связи и...
М.: Изд-во Моск. гос. ун-та гражд. авиации, 2003. - 237 с. Учебное пособие. Содержание: Множества и мощности. Упорядоченные множества. Логика высказываний. Языки первого порядка. Исчисление предикатов. Вычислимые и универсальные функции. Машины Тьюринга. В основном тексте содержится более 200 задач теоретической направленности.
Уч-метод. пособие — М.: ВМК МГУ, 2006. — 47 с.
Задачи на составление алгоритмов в виде машины Тьюринга и нормальных алгоритмов Маркова, а также задачи теоретического характера.
Сведения по теории алгоритмов, типичные приёмы решения задач и большой набор задач для самостоятельного решения.
Пособие рассчитано на студентов 1 курса факультета ВМК МГУ и преподавателей, ведущих...
Москва: Наука, 1987. — 288 с.— (Библиотечка программиста). Понятие алгоритма является одним из наиболее фундаментальных понятий информатики и математики. Систематическое изучение алгоритмов привело к созданию особой дисциплины, пограничной между математикой и информатикой — теории алгоритмов. В книге дается обзор важнейших достижений теории алгоритмов за последние полвека, т....
М.: Мир, Редакция литературы по математическим наукам, 1981. — 364 с. Монография американских авторов, посвященная общим принципам решения задач на ЭВМ, разработке и анализу алгоритмов. Подробно описываются основные этапы решения задач, даются конкретные примеры, иллюстрирующие теоретические выводы и упражнения. По тематике книга пересекается с "Искусством программирования" Д....
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...
Автор неизвестен.
Конспект лекций по курсу "Матем. логика и теория алгоритмов". 2008 год. - 80 стр.
Исчисления высказываний.
Определение формального исчисления.
Исчисление высказываний генценовского типа.
Эквивалентность формул.
Нормальные формы.
Семантика исчисления секвенций.
Исчисление высказываний гильбертовского типа.
Алгоритмы проверки общезначимости и...
Введение в теорию алгоритмов Сложность алгоритмов Сортировка и поиск Сортировка всплытия Флойда Логарифмический поиск Сортировка с вычисляемыми адресами Генетические алгоритмы Моделирование генетических операций Вычислительные эксперименты с генетическими операциями
В учебном пособии излагаются основы теории алгоритмов и теории формальных грамматик, рассматриваются различные алгоритмические системы, методы оценки и преобразования алгоритмов, связь теории алгоритмов с теорией формальных грамматик, классификация грамматик, связь теории формальных грамматик с теорией автоматов.
Пособие предназначено для студентов вузов, специализирующихся по...
The MIT Press, 2001. — 1180 p. — ISBN 0262032937. 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...
М.: Наука, 1963. — 556 с. Настоящая книга рассчитана на широкий круг читателей, работающих в области автоматики, телемеханики и вычислительной техники и впервые знакомящихся с теорией конечных автоматов и последовательностных машин. Авторы имели в виду также, что книга должна быть полезна для математика (не логика), стремящегося познакомиться с этими проблемами, а также для...
2-е издание, - М.: Издательский дом "Вильямс", 2005. - 1296 с.: ил. Фундаментальный труд известных специалистов в области кибернетики достоин занять место на полке любого человека, чья деятельность так или иначе связана с информатикой и алгоритмами. Для профессионала эта книга может служить настольным справочником, для преподавателя — пособием для подготовки к лекциям и...
2-е изд., доп. — М.: Техносфера, 2004. — 368 с. — (Мир программирования). — ISBN 5-94836-005-9. В учебном пособии обсуждаются алгоритмы решения наиболее широко распространенных классов задач, покрывающих практически всю область программирования: поиск и сортировка, численные алгоритмы и алгоритмы на графах. Особое внимание уделено алгоритмам параллельной обработки, редко...
2-е издание. — М.: Мир, 1987. — 120 с. Оригинальное и нестандартное изложение известных методов анализа алгоритмов, написанные крупным американским специалистом Д. Кнутом в соавторстве с Д. Грином. В книге представлены: комбинаторные тождества, рекуррентные соотношения, асимптотические представления. От читателя требуется знакомство с основами теории вероятностей, комбинаторного...
В пособии рассмотрено понятие комбинаторной задачи, приведены примеры таких задач, основные методы их решения и оценки эффективности алгоритмов. Рассмотрены основные понятия теории вычислительной сложности и приведены в кратком изложении основные результаты теории. Рассмотрены приемы доказательства NP-полноты и примеры NP-полных задач. Предназначено для студентов, изучающих курс...
Комментарии