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 course, this revision continues the book's well-know, approachable style with timely revisions, additional practice, and more memorable examples in key areas. A new first-of-its-kind theoretical treatment of deterministic context-free languages is ideal for a better understanding of parsing and LR(k) grammars. You gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with a blend of practical and philosophical coverage and mathematical treatments, including advanced theorems and proofs. INTRODUCTION TO THE THEORY OF COMPUTATION, 3E's comprehensive coverage makes this a valuable reference for your continued studies in theoretical computing.

lgli/Rubcov A. Diskretnaya matematika.. konspekty lekcij (MFTI, 2022)(ru)(O)(104s)_CsDi_.pdf

lgrsnf/Rubcov A. Diskretnaya matematika.. konspekty lekcij (MFTI, 2022)(ru)(O)(104s)_CsDi_.pdf

zlib/no-category/Александр Рубцов/Дискретная математика_25795118.pdf

Введение в математическую логику: Introduction to mathematical logic: [исчисление высказываний, теории первого порядка, формальная арифметика, аксиоматическая теория множеств, эффективная вычислимость]

Introduction to the Theory of Computation

Э. Мендельсон; под ред. С. И. Адяна; пер. с англ. Ф. А. Кабакова

Мендельсон, Эллиот

Эллиот Мендельсон

Sipser, Michael

Michael Sipser

Course Technology Cengage Learning

CENGAGE Learning Custom Publishing

Knizhny`j dom "LIBROKOM"

URSS

Физико-математическое наследие: математика (основания математики и логика), Изд. 4-е, Москва, Russia, 2010

3. ed., internat. ed, Erscheinungsort nicht ermittelbar, 2013

Cengage Learning EMEA (UK & Europe), [N.p.], 2012

3rd ed., Boston, MA, Massachusetts, 2013

United States, United States of America

Third edition, Boston, MA, 2013

Russia, Russian Federation

3rd ed, Australia, 2013

3, 2012

{"isbns":["113318779X","5397013870","9781133187790","9785397013871"],"publisher":"МФТИ"}

Includes bibliographical references (p. 443-447) and index.

MiU

Указ.
Библиогр.: с. 296-309

РГБ

Russian State Library [rgb] MARC:
=001 004721952
=005 20100915134954.0
=008 100816s2010\\\\ru\\\\\\\\\\\\000\|\rus|d
=017 \\ $a 10-64071
=020 \\ $a 978-5-397-01387-1
=040 \\ $a RuMoRKP $b rus $e rcr $d RuMoRGB
=041 1\ $a rus $h eng
=080 \\ $a 510.6(075.8)
=084 \\ $a В12я73-1 $2 rubbk
=100 1\ $a Мендельсон, Эллиот $d 1931-
=245 00 $a Введение в математическую логику $h [Текст] = $b Introduction to mathematical logic : [исчисление высказываний, теории первого порядка, формальная арифметика, аксиоматическая теория множеств, эффективная вычислимость] $c Э. Мендельсон ; под ред. С. И. Адяна ; пер. с англ. Ф. А. Кабакова
=246 21 $a Introduction to mathematical logic
=250 \\ $a Изд. 4-е
=260 \\ $a Москва $b URSS $c 2010
=300 \\ $a 319 с. $b ил. $c 22 см
=490 0\ $a Физико-математическое наследие: математика (основания математики и логика)
=500 \\ $a Указ.
=504 \\ $a Библиогр.: с. 296-309
=650 \7 $a Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Учебник для высшей школы $2 rubbk
=650 \7 $2 nlr_sh $0 RU\NLR\AUTH\6620994 $a Математическая логика $v Учебные издания для высших учебных заведений
=852 \\ $a РГБ $b FB $j 1 10-36/98 $x 90
=852 \\ $a РГБ $b FB $j 1 10-36/99 $x 90

Содержание
Алгебра логики: введение.
Задание булевых функций с помощью логических связок (формулами)
Равенство булевых функций и формул. Фиктивные переменные
Логические тождества
Множества и логика
Множества и операции над ними
Связь с логикой
Математические определения, утверждения и доказательства
Определения
Математические утверждения
Доказательства
Границы применимости
Графы I. Простые неориентированные графы
Вершины, рёбра, степени вершин
Базовые графы
Теоретико-множественные операции с графами. Подграфы
Связность
Графы II. Деревья и раскраски
Деревья
Расстояние между вершинами. Диаметр графа
Правильные раскраски
Сюжет про трёх попарно знакомых или попарно незнакомых
Эйлеровы маршруты
Двудольные графы, паросочетания и функции
Функции
Отображения
Функции и задача о назначениях
Комбинаторика I. Правила суммы и произведения
Отображения и подсчёты
Правило суммы
Правило произведения
Комбинаторика II. Биномиальные коэффициенты
Комбинаторика III. Формула включений-исключений
Правило суммы и формула включений-исключений
Задача о счастливых билетах
Подсчёт функций
О комбинаторных объектах
Принцип Дирихле
Бинарные отношения и их графы. Отношения эквивалентности
Описания и определение бинарных отношений
Примеры и свойства
Отношения эквивалентности
Операции с бинарными отношениями
Ориентированные графы и отношения порядка
Базовые понятия для ориентированных графов
Ациклические графы
Ориентированные графы и бинарные отношения
Отношения порядка
Связь между теоремой об ациклических графах и порядках
Булевы функции
Построение ДНФ
Булевы схемы
Монотонные функции
Многочлены Жегалкина
Производящие функции I
Список литературы

The number one choice for today's computational theory course, this highly anticipated revision retains the unmatched clarity and thorough coverage that make it a leading text for upper-level undergraduate and introductory graduate students. This edition continues author Michael Sipser's well-known, approachable style with timely revisions, additional exercises, and more memorable examples in key areas. A new first-of-its-kind theoretical treatment of deterministic context-free languages is ideal for a better understanding of parsing and LR(k) grammars. This edition's refined presentation ensures a trusted accuracy and clarity that make the challenging study of computational theory accessible and intuitive to students while maintaining the subject's rigor and formalism. Readers gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with a blend of practical and philosophical coverage and mathematical treatments, including advanced theorems and proofs

Part 1: Automata And Languages. 1. Regular Languages ; 2. Context-free Languages -- Part 2: Computability Theory. 3. The Church-turing Thesis ; 4. Decidability ; 5. Reducibility ; 6. Advanced Topics In Computability Theory -- Part 3: Complexity Theory. 7. Time Complexity ; 8. Space Complexity ; 9. Interactibility ; 10. Advanced Topics In Complexity Theory. Michael Sipser. Includes Bibliographical References (pages 443-447) And Index.

"Gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with a blend of practical and philosophical coverage and mathematical treatments, including advanced theorems and proofs. This books comprehensive coverage makes it a valuable reference for studies in theoretical computing."-- Provided by publisher

2023-08-17