КОДИРОВАНИЕ. Код сообщений. Код сообщения на выходе. Источник сообщений. Канал связи. Сообщение на выходе. Источник помех. Лекция 10.

Save this PDF as:
 WORD  PNG  TXT  JPG

Размер: px
Начинать показ со страницы:

Download "КОДИРОВАНИЕ. Код сообщений. Код сообщения на выходе. Источник сообщений. Канал связи. Сообщение на выходе. Источник помех. Лекция 10."

Транскрипт

1 КОДИРОВАНИЕ Источник сообщений Код сообщений Канал связи Код сообщения на выходе Сообщение на выходе Источник помех Лекция 0. Кодирование

2 В этой схеме источник сообщений хочет передать по каналу связи некоторый набор слов конечных последовательностей символов из заданного конечного алфавита A ={a,, ar}. Для передачи ему нужно (или он хочет) закодировать это сообщение переписать его словами во вспомогательном алфавите B ={b,, b}. После получения сообщения (возможно искаженного помехами) его нужно снова записать словами в алфавите A (возможно исправив возникшие ошибки). Выбор кодов связан с различными обстоятельствами, а именно: с удобством передачи кодов, со стремлением увеличить пропускную способность канала, с удобством обработки кодов, с обеспечением помехоустойчивости, с удобством декодирования, с необходимостью однозначного декодирования, с другими возможными требованиями к кодам. Лекция 0. Кодирование

3 Ниже будут рассматриваться два вида кодирования: (а) Алфавитное кодирование. Каждой букве a из A ={a,, ar} ставится в соответствие некоторое слово B из алфавита B ={b,, b}. Схема кодирования, сопоставляющая эти слова, будет обозначаться буквой Σ. (б) Равномерное кодирование. Некоторое слово B из алфавита B ставится в соответствие не букве, а какому-то слову A фиксированной длины в алфавите A. Конечно, одно из первых требований к используемому коду требование однозначности восстановления сообщения по его коду. 3 Лекция 0. Кодирование

4 Проверка однозначности декодирования Рассмотрим алфавитные коды. Каждое из слов B, =,, r, называется элементарным кодом. Слово в алфавите B назовем кодовым, если его можно расшифровать, т.е. разбить на элементарные коды. Одна из трудностей проверки однозначности декодирования состоит в том, что формально надо проверять бесконечное число кодовых слов. Оказывается, этой бесконечности можно избежать. 4 Лекция 0. Кодирование

5 Пусть дана схема кодирования Σ и l длина слова B, L = l + + lr. Назовем нетривиальным разложением слова B его представление в виде B = β B j... B β, где B j B, β является началом какого-нибудь j w элементарного кода, а β является концом какого-нибудь элементарного кода. Слова β и β могут быть пустыми. Пример. Σ: A = ( 0 0 ) l = 4 A = (0) l = A 3 = (0 0) l 3 = 3 Рассмотрим слово B = = A A A = A 3 A 3 Нет однозначности декодирования! 5 Лекция 0. Кодирование

6 Очевидно, что для каждого число нетривиальных разложений слова B конечно. Обозначим через W максимум чисел w, взятый по всем нетривиальным разложениям всех слов B, =,, r. Теорема. Для любой схемы кодирования Σ найдется такое N = N(Σ ), что для проверки однозначности декодирования в Σ достаточно проверить коды слов из A длины не более N, и N (W + )(L r + )/. Доказательство. Выберем самое короткое слово B в алфавите B, допускающее две различные расшифровки A и A. С ними связаны два разбиения слова B на элементарные коды T и T : T A T A 6 Лекция 0. Кодирование

7 Обозначим через T разбиение, полученное после «разрезания» B там, где его «разрезало» хотя бы одно из разбиений T и T. Части разбиения T разделим на два класса: к первому отнесем части, являющиеся элементарными кодами, ко второму все остальные (огрызки). Каждая часть β, принадлежащая второму классу, является концом одного из элементарных кодов и началом другого. Причем если β оканчивает некоторое элементарное кодовое слово в T, то оно начинает какое-то элементарное кодовое слово в T и наоборот (см. рис.). Более точно, если B = B β B, то либо B β и B являются кодовыми словами в T, а B и β B являются кодовыми словами в T, либо наоборот. 7 Лекция 0. Кодирование

8 Покажем, что все части из второго класса различны. Допустим, что B = B β B β B. B β β B B Тогда слово B β B имеет две расшифровки в противоречие с выбором B. Чтобы убедиться в этом, заметим, что согласно вышесказанному, слова B β, B, β B и B являются кодовыми. B β β B B 8 Лекция 0. Кодирование

9 Число огрызков не превосходит числа непустых начал элементарных кодов, т.е. (l ) + + (lr ) = L r. Они дают не более L r + кусков. Каждый из кусков, на которые разбивается B после выбрасывания всех огрызков, является кодовым словом, входящим в одно из разбиений T, и частью некоторого элементарного кода, входящего в T 3. Соседние куски являются частями элементарных кодов, входящих в различные T. W слов слово Два соседних куска 9 Лекция 0. Кодирование

10 Имеем не более L r + кусков. Рассматриваем их парами. Всего пар (L r + )/. В каждой паре не более W + слов. Следовательно, длина каждого из A не превосходит W (L r + )/ + (L r + )/ (W + )(L r + )/. Пример. r = 6, W = 3, L = 0, (W + )(L r + )/ = 4 6/ = 3, то есть требуется проверить 6 3 слов. Из доказательства теоремы можно извлечь существенно более эффективный алгоритм. 0 Лекция 0. Кодирование

11 Пусть дана схема кодирования Σ. Для каждого элементарного кода B рассмотрим все его нетривиальные разложения B j... B β jw β B... B w Λ B = β B... B β B k... B kw j j w. () Обозначим через V = V(Σ ) множество, содержащее пустое слово Λ и слова β, встречающиеся в разложениях вида () как в виде начал, так и в виде окончаний. Построим далее помеченный ориентированный граф Γ =Γ (Σ ) по следующим правилам. Множеством вершин графа Γ является V = V(Σ). Проводим дугу из вершины β V в вершину β V, если и только если в некотором разложении вида () β является началом, а β концом. При этом дуга (β, β ) помечается словом B j... B jw. B = β B j... B jw β B = B... B w β B 3 = β B k... B kw Лекция 0. Кодирование

12 Теорема. Схема кодирования Σ не обладает свойством однозначности декодирования тогда и только тогда, когда граф Γ (Σ ) содержит контур, проходящий через вершину Λ. Доказательство. Допустим, что Σ не обладает свойством однозначности декодирования. Тогда, как следует из доказательства теоремы, кратчайшее слово, имеющее две расшифровки в схеме Σ, имеет вид B = B... B β B... B β... β B... B,,, k( ),, k( ) s s, s, k( s) где все β различны и слова B...,,..., β s B... B s, s, k( s) B,, k( ) β β B... β,... B,, k ( ) являются элементарными кодами. Это значит, что в Γ (Σ ) есть контур, проходящий через вершины Λ, β,, βs. Обратно, пусть в Γ (Σ ) существует контур, проходящий через вершины β 0, β,, βs, где β 0 = Λ и дуга (βj, βj+), j = 0,,, s, ((s ) + =0), помечена словом B... B. Тогда слово j+, j +, k( j+ ) B = B... B β B... B β... β... B,, k( ),, k( ) s s, s, k( s) имеет две различные расшифровки. B, Лекция 0. Кодирование

13 Пример. Σ: a b b a b b 3 b a 3 b b 3 a 4 b b b b 3 a 5 b b b b b 3 Находим все префиксы, которые одновременно являются суффиксами и не являются кодовыми словами: {Λ, b, b b 3 }, то есть три вершины в графе Λ a a 3 a a a a a 3 = = b b b b 3 b b b b b 3 = b Λ b b 3 = a 4 a 5 3 Лекция 0. Кодирование

14 Пример. Σ: a b a b b b b Λ a 3 b b b a a 4 b b b b a a 5 b b b b Находим все β: {Λ, b, b b, b b b } Λ a a Λ b b b Тогда получаем граф: a 3 Λ Нет цикла через вершину Λ. Код однозначно декодируется. b 4 Лекция 0. Кодирование

15 Префиксные коды Важным классом однозначно декодируемых кодов являются префиксные коды такие алфавитные коды, где ни один элементарный код не является префиксом (т.е. началом) другого элементарного кода. Упражнение. Доказать, что любой префиксный код является однозначно декодируемым. Обозначим через значность алфавита, например, =, и l = l(b), =,, r. Теорема 3. (Неравенство Макмиллана) Если схема кодирования Σ обладает свойством однозначности декодирования, то 5 r = l. () Лекция 0. Кодирование

16 Доказательство. Выберем произвольное n. Рассмотрим коды всех r n слов длины n в алфавите A, полученные с помощью Σ. Все они могут быть порождены выражением (a + + ar) n, если рассматривать произведение a a... a (a + + ar) n = a (... n n ) как запись слова. Имеем Соответствующие этим словам коды получаются заменой символов a,,ar на элементарные коды B,, Br. Получаем Этому тождеству соответствует (B + + Br) n = B (... ) l l r n = n a B... a... B n n l l (... ) n.. n. (3) 6 Лекция 0. Кодирование

17 Положим Пусть l = t = l l n r max l и ν (n, t) число кодовых слов B B... B n длины t.. Из взаимной однозначности алфавитного кодирования вытекает ν (n, t) t и длина каждого из наших кодовых слов не превосходит nl. Следовательно, ( Используя (3), получаем... n ) l l nl ν ( n, t) = nl l n t Это неравенство справедливо для любого n, а его правая часть стремится к при n. Поскольку его левая часть не зависит от n, необходимо, чтобы r l l t= l r n nl 7 Лекция 0. Кодирование

18 Следующий факт характеризует префиксные коды с положительной стороны. Теорема 4. Если схема кодирования Σ обладает свойством однозначности декодирования, то существует такая префиксная схема кодирования Σ, что для каждого, =,, s длина l элементарного кода B в Σ равна длине l элементарного кода B в Σ. Доказательство. Можно считать, что элементарные коды B занумерованы в порядке неубывания их длин. Пусть длинами элементарных кодов в Σ являются числа λ,, λs, λ < λ < <λs и число элементарных кодов длины λ, =,, s равно ν. Тогда неравенство Макмиллана можно переписать в виде s ν t t= λ t. (4) 8 Лекция 0. Кодирование

19 λ В частности, ν /, откуда ν. Выберем среди слов длины λ в алфавите B произвольные ν слов в качестве элементарных кодов B,..., B. Перейдем к словам длины λ. Из (4) получаем ν ν λ ν + λ νλ λ, ν. (5) λ λ Рассмотрим множество слов длины λ в алфавите B, не начинающихся c B,..., B. В силу (5) из этого множества можно выбрать ν каких-нибудь ν слов в качестве элементарных кодов Далее из (4) получаем ν 3 λ 3 ν λ λ 3 ν + B + B,...,. ν ν ν λ λ и строим ν 3 слов длины λ 3, не начинающихся c 3 λ B,..., B и т.д. ν + ν Через конечное число шагов построим нужное количество слов нужной длины. По построению новый код будет префиксным. 9 Лекция 0. Кодирование

Глава V. Теория кодирования.

Глава V. Теория кодирования. 5 г. Павлов И.С. Глава V. Теория кодирования. При передаче данных часто возникает необходимость кодирования пересылаемой информации. Процесс пересылки информации происходит по следующей схеме: Возникают

Подробнее

Дискретная математика

Дискретная математика Дискретная математика Часть 5 В.Е. Алексеев 2014 Глава 9. Кодирование Кодирование преобразование информации, выполняемое с разнообразными целями: экономное представление (сжатие данных), защита от помех

Подробнее

Кодирование. В.Е. Алексеев

Кодирование. В.Е. Алексеев http://vmcozet/ Кодирование ВЕ Алексеев Задача оптимального кодирования Побуквенное кодирование Пусть A a a a } и B b b b } два алфавита Побуквенное кодирование состоит в том что в кодируемом тексте слове

Подробнее

Коды с минимальной избыточностью

Коды с минимальной избыточностью Коды с минимальной избыточностью При выборе схемы кодирования естественно учитывать экономичность, т.е. средние затраты времени на передачу и прием сообщений. Предположим, что задан алфавит A {a,, ar},

Подробнее

ОБЪЕКТОВ. М.А.Иорданский, О.В.Смышляева

ОБЪЕКТОВ. М.А.Иорданский, О.В.Смышляева Министерство образования и науки Российской Федерации ФГБОУ ВПО «Нижегородский государственный педагогический университет имени Козьмы Минина» (Мининский университет) М.А.Иорданский, О.В.Смышляева КОДИРОВАНИЕ

Подробнее

Теория информации. . Обозначим c x кодовое слова соответствующее x, l x длина этого слова, l i. } на множество {0,1}

Теория информации. . Обозначим c x кодовое слова соответствующее x, l x длина этого слова, l i. } на множество {0,1} Теория информации Лекция 5 Символьные коды В данной лекции мы рассмотрим символьные коды переменной длины. Эти коды кодируют за раз один символ, в отличие от блочных кодов рассмотренных до этого, которые

Подробнее

Лекция 4. Характеристики дискретного источника и дискретного канала без шумов

Лекция 4. Характеристики дискретного источника и дискретного канала без шумов Лекция 4 Характеристики дискретного источника и дискретного канала без шумов Энтропия и производительность дискретного источника При построении каналов передачи сообщений основное значение имеет не количество

Подробнее

ЗАДАНИЕ 5. КОДИРОВАНИЕ И ДЕКОДИРОВАНИЕ ИНФОРМАЦИИ. Кодирование может быть

ЗАДАНИЕ 5. КОДИРОВАНИЕ И ДЕКОДИРОВАНИЕ ИНФОРМАЦИИ. Кодирование может быть ЗАДАНИЕ 5. КОДИРОВАНИЕ И ДЕКОДИРОВАНИЕ ИНФОРМАЦИИ Кодирование это перевод информации с одного языка на другой. Декодирование обратный переход. Один символ исходного сообщения может заменяться одним или

Подробнее

Современные проблемы теории кодирования

Современные проблемы теории кодирования Нижегородский государственный университет им НИ Лобачевского Федеральное агентство по образованию Национальный проект «Образование» Инновационная образовательная программа ННГУ Образовательно-научный центр

Подробнее

Лекции 3, 4. 9 сентября 2016 г.

Лекции 3, 4. 9 сентября 2016 г. Лекции 3, 4 9 сентября 2016 г. Алфавитный Статистический Опр. 8: Количество информации по Хартли (Хартлиевская мера информации), содержащееся в в последовательности из n символов из алфавита A мощности

Подробнее

2. Множества. смысле строится именно из него. 1 Хотя оно и пустое, но при формальном построении теории множеств все в некотором

2. Множества. смысле строится именно из него. 1 Хотя оно и пустое, но при формальном построении теории множеств все в некотором 2. Множества Эта и следующая лекция будут посвящены теоретико-множественному языку, которым пользуются все математики. Множество «начальное» математическое понятие, и потому этому понятию невозможно дать

Подробнее

ЛЕКЦИЯ 1 ВВЕДЕНИЕ. ФОРМАЛЬНЫЕ ЯЗЫКИ

ЛЕКЦИЯ 1 ВВЕДЕНИЕ. ФОРМАЛЬНЫЕ ЯЗЫКИ ЛЕКЦИЯ 1 ВВЕДЕНИЕ. ФОРМАЛЬНЫЕ ЯЗЫКИ 1. Введение в математическую логику Рекомендуемая литература по данному курсу трилогия Верещагина и Шеня: «Начала теории множеств», «Языки и исчисления», «Вычислимые

Подробнее

ВВЕДЕНИЕ СОДЕРЖАНИЕ. Лекция 5. Классификация функций 80 Лекция 6. Предел функции.. 98 Лекция 7. Бесконечно малые и бесконечно большие функции.

ВВЕДЕНИЕ СОДЕРЖАНИЕ. Лекция 5. Классификация функций 80 Лекция 6. Предел функции.. 98 Лекция 7. Бесконечно малые и бесконечно большие функции. СОДЕРЖАНИЕ ВВЕДЕНИЕ 4 Тема 1 ЭЛЕМЕНТЫ ТЕОРИИ МНОЖЕСТВ Лекция 1 Множества 6 Лекция Числовые множества 14 Лекция 3 Грани числовых множеств 1 Лекция 4 Множество комплексных чисел 7 Тема ТЕОРИЯ ПРЕДЕЛОВ Лекция

Подробнее

Потоки в сетях. Теорема о максимальном потоке.

Потоки в сетях. Теорема о максимальном потоке. Зенкевич НА Материалы к установочной лекции Вопрос 35 Потоки в сетях Теорема о максимальном потоке Основные понятия Определение сети N = - конечное (заданное) множество узлов ( N = n ) и пусть u : N N

Подробнее

Лекция 3: Маршруты и связность

Лекция 3: Маршруты и связность Уральский федеральный университет, Институт математики и компьютерных наук, кафедра алгебры и дискретной математики Определения маршрута, цепи, цикла Определение Маршрутом в графе называется последовательность

Подробнее

Кодирование без потерь.

Кодирование без потерь. Кодирование без потерь. Займёмся кодированием без потерь. Каждую букву запишем с помощью нулей и единиц. Разные символы могут быть записаны последовательностями разной длины. Хотим, чтобы система кодирования

Подробнее

,

, Занятие 5 Ориентированный граф (или, орграф) G = (V, A) состоит из некоторого непустого множества V вершин и множества A соединяющих эти вершины ориентированных ребер (или, дуг или, стрелок). Мы пишем

Подробнее

Фракталы Рози, конспект лекций. φ(1) = 12, φ(2) = 12, φ(3) = 1. u 0 = a u 1 = h(a) = au u 2 = h(au) = auh(u).

Фракталы Рози, конспект лекций. φ(1) = 12, φ(2) = 12, φ(3) = 1. u 0 = a u 1 = h(a) = au u 2 = h(au) = auh(u). Фракталы Рози, конспект лекций. Лекция 1. Подстановочные слова. Слово Фиббоначи получается как предел слов u n, где u 0 = 0 и u k+1 = ϕ(u k ). Здесь ϕ это подстановка Фиббоначи, определяемая по правилу

Подробнее

Часть III. Языки, грамматики, автоматы

Часть III. Языки, грамматики, автоматы Часть III Языки, грамматики, автоматы 137 Глава 10 Языки и конечные автоматы 10.1 Язык Дика Как мы знаем, правильные скобочные структуры перечисляются числами Каталана. Выпишем все правильные скобочные

Подробнее

Кодирование информации

Кодирование информации Оглавление Краткие теоретические сведения... 2 Кодовый алфавит и кодовое слово... 2 Префиксные коды... 3 Равномерные коды... 5 Примеры решения заданий... 5 Пример 1 задания с кратким ответом... 5 Пример

Подробнее

которые представимы как, где p целое, а q натуральное (Q = ; p Z, Операции сложения: Q Операция умножения: p m pm Q. Свойства сложения:

которые представимы как, где p целое, а q натуральное (Q = ; p Z, Операции сложения: Q Операция умножения: p m pm Q. Свойства сложения: МНОЖЕСТВА Множество В математике понятие множество используется для описания совокупности предметов или объектов При этом предполагается, что предметы (объекты) данной совокупности можно отличить друг

Подробнее

2 модуль Тема 13 Функциональные последовательности и ряды. Свойства равномерной сходимости последовательностей и рядов. Степенные ряды Лекция 11

2 модуль Тема 13 Функциональные последовательности и ряды. Свойства равномерной сходимости последовательностей и рядов. Степенные ряды Лекция 11 модуль Тема Функциональные последовательности и ряды Свойства равномерной сходимости последовательностей и рядов Степенные ряды Лекция Определения функциональных последовательностей и рядов Равномерно

Подробнее

Глава IV. КОНЕЧНЫЕ АБСТРАКТНЫЕ АВТОМАТЫ

Глава IV. КОНЕЧНЫЕ АБСТРАКТНЫЕ АВТОМАТЫ Глава IV. КОНЕЧНЫЕ АБСТРАКТНЫЕ АВТОМАТЫ Абстрактным конечным автоматом называется система α = {A, B, Q, F, G, q }, где А множество входных сигналов (входной алфавит), В множество выходных сигналов (выходной

Подробнее

1 Графы. Простейшие свойства графов.

1 Графы. Простейшие свойства графов. Магистратура факультета ВМК МГУ имени М.В. Ломоносова Лекции по курсу «Дискретные модели». Лектор доцент Селезнева Светлана Николаевна 1 Графы. Простейшие свойства графов. Графом G называется пара множеств

Подробнее

Дискретная математика. Конспект лекций. Оглавление. 2. Алгебра множеств.

Дискретная математика. Конспект лекций. Оглавление. 2. Алгебра множеств. Доля П.Г. Харьковский Национальный Университет механико математический факультет 014 г. Дискретная математика. Конспект лекций. Оглавление. Алгебра множеств..1 Понятие множества... 1. Операции над множествами...

Подробнее

Меры на сигма-алгебрах.

Меры на сигма-алгебрах. Тема 2 Меры на сигма-алгебрах. Идея меры является далеко идущим обобщением первоначального представления о площади и объеме подмножеств R n. Естественные требования, предъявляемые к объему, таковы: объем

Подробнее

Некоторые примеры эквивалентностей (, обозначают произвольные формулы; ради удобства, крайние скобки часто не пишутся):

Некоторые примеры эквивалентностей (, обозначают произвольные формулы; ради удобства, крайние скобки часто не пишутся): ЛЕКЦИЯ Предмет математической логики Высказывания. Логические связки: конъюнкция, дизъюнкция, импликация, эквиваленция, отрицание. Фиксируем бесконечный список пропозициональных букв (их также называют

Подробнее

Определение 1. Степенным рядом называется функциональный ряд вида

Определение 1. Степенным рядом называется функциональный ряд вида . Радиус сходимости Определение. Степенным рядом называется функциональный ряд вида c 0 + c (t a) + c 2 (t a) 2 + + c (t a) + = c (t a), () где c 0, c, c 2,..., c,... C называются коэффициентами степенного

Подробнее

Лекция 1: математическая индукция

Лекция 1: математическая индукция Лекция : математическая индукция Дискретная математика, ВШЭ, факультет компьютерных наук (Осень 04 весна 05) Математическая индукция очень популярный способ рассуждений. Он будет часто применяться дальше

Подробнее

Лекция 13. Стационарные в широком смысле последовательности

Лекция 13. Стационарные в широком смысле последовательности Лекция 13 Стационарные в широком смысле последовательности Рассмотрим класс случайных последовательностей {ξ n }, обобщающих стационарные последовательности, при этом предположим, что временная переменная

Подробнее

Лекция 5. Дискретный канал с шумами. Пропускная способность канала

Лекция 5. Дискретный канал с шумами. Пропускная способность канала Лекция 5 Дискретный канал с шумами. Пропускная способность канала Дискретный канал с шумами характеризуется: - алфавитом кодовых символов,2 ; - скоростью передачи кодовых символов в сек. υ; - вероятностью

Подробнее

Проблема полноты в исчислении высказываний

Проблема полноты в исчислении высказываний Проблема полноты в исчислении высказываний Г.В. Боков В работе проблема полноты систем аксиом в исчислении высказываний рассматривается с позиции оператора замыкания, порожденного правилами вывода. Описываются

Подробнее

Лекция 1 ИНТЕГРАЛ ЛЕБЕГА И ПРОСТРАНСТВА ЛЕБЕГА. 1. Измеримые по Лебегу функции.

Лекция 1 ИНТЕГРАЛ ЛЕБЕГА И ПРОСТРАНСТВА ЛЕБЕГА. 1. Измеримые по Лебегу функции. Лекция 1 ИНТЕГРАЛ ЛЕБЕГА И ПРОСТРАНСТВА ЛЕБЕГА. Интеграл Лебега, конечно, строиться не для всех функций, а только для так называемых измеримых. В дальнейшем для удобства вместо тройки (, µ,µ ) мы будем

Подробнее

Лекция 1. Выборочное пространство

Лекция 1. Выборочное пространство Лекция 1. Выборочное пространство Буре В.М., Грауэр Л.В. ШАД Санкт-Петербург, 2013 Буре В.М., Грауэр Л.В. (ШАД) Лекция 1. Выборочное пространство Санкт-Петербург, 2013 1 / 35 Cодержание Содержание 1 Выборка.

Подробнее

Лекция 12: Верхние оценки хроматического числа

Лекция 12: Верхние оценки хроматического числа Лекция 12: Верхние оценки хроматического числа Уральский федеральный университет, Институт математики и компьютерных наук, кафедра алгебры и дискретной математики Алгоритм последовательной раскраски В

Подробнее

Лекция 8. Помехоустойчивое кодирование. Технологии обработки информации, 2015

Лекция 8. Помехоустойчивое кодирование. Технологии обработки информации, 2015 Лекция 8. Помехоустойчивое кодирование Технологии обработки информации, 2015 ASCII таблица Использоваться таблица ASCII, где ставящей в соответствие каждой букве алфавита определенный шестнадцатеричный

Подробнее

1.Разложение аналитической функции в степенной ряд.

1.Разложение аналитической функции в степенной ряд. ЛЕКЦИЯ N37. Ряды аналитических функций. Разложение аналитической функции в степенной ряд. Ряд Тейлора. Ряд Лорана..Разложение аналитической функции в степенной ряд.....ряд Тейлора.... 3.Разложение аналитической

Подробнее

Лектор - доцент Селезнева Светлана Николаевна. Лекции по Дискретной математике 2. 1-й курс, группа 141, факультет ВМК МГУ имени М.В.

Лектор - доцент Селезнева Светлана Николаевна. Лекции по Дискретной математике 2. 1-й курс, группа 141, факультет ВМК МГУ имени М.В. Лекция: Конечные автоматы (КА) без выхода (конечные автоматы-распознаватели). Диаграммы переходов. Автоматные множества (языки). Лемма о свойствах автоматных множеств. Пример неавтоматного множества. Лектор

Подробнее

Дискретная математика. Домашнее задание 22 (повторение), решения

Дискретная математика. Домашнее задание 22 (повторение), решения Дискретная математика Домашнее задание 22 (повторение), решения 1 Найдите максимальное количество рёбер в таких ориентированных графах на n вершинах, которые не имеют ориентированных циклов Решение Между

Подробнее

Занятие 3. deg u = 2 E.

Занятие 3. deg u = 2 E. Занятие 3 Граф 1 G = (V, E) представляет собой конечную непустую совокупность вершин V, некоторые из которых соединенны ребрами. Совокупность ребер обозначается E. Мы пишем uv E, если вершины u и v соединены

Подробнее

Лектор - доцент Селезнева Светлана Николаевна

Лектор - доцент Селезнева Светлана Николаевна Лекция: Частично упорядоченные множества (ЧУМ). Диаграмма ЧУМ. Максимальные, минимальные, наибольший и наименьший элементы. Цепи и антицепи, длина и ширина конечных ЧУМ. Теорема о разбиении ЧУМ на антицепи.

Подробнее

Задания А9 по информатике

Задания А9 по информатике Задания А9 по информатике 1. Символом F обозначено одно из указанных ниже логическихвыражений от 1 0 0 0 0 1 1 1 1 0 1 1 1) X Z /\ Y 2) Z (X Y) 3) (X \/ Y)/\Z 4) X \/ (Y /\ Z) 2. Символом F обозначено

Подробнее

Занятие 8. Напомним, что для произвольных множеств A и B существуют множества

Занятие 8. Напомним, что для произвольных множеств A и B существуют множества Занятие 8 Напомним, что для произвольных множеств A и B существуют множества A B = {x x A и x B}; (пересечение A и B) A B = {x x A или x B}; (объединение A и B) A \ B = {x x A и x / B} (разность A и B).

Подробнее

Àáñîëþòíàÿ è óñëîâíàÿ ñõîäèìîñòè

Àáñîëþòíàÿ è óñëîâíàÿ ñõîäèìîñòè Àáñîëþòíàÿ è óñëîâíàÿ ñõîäèìîñòè Âîë åíêî Þ.Ì. Ñîäåðæàíèå ëåêöèè Знакочередующийся ряд. Признак сходимости Лейбница. Знакопеременный ряд. Абсолютная и условная сходимости. Общий комплексный ряд. Теорема

Подробнее

Лекция 1 (13 января 2017)

Лекция 1 (13 января 2017) КОНСПЕКТ ЛЕКТОРА математический анализ, курс, 2 семестр, 207, А.М. Красносельский Числовые ряды Лекция (3 января 207) Рассмотрим последовательность R и напишем «бесконечную сумму»: a k a + a 2 +... + a

Подробнее

Алгоритмы преобразования контекстно-свободных грамматик с помощью графов

Алгоритмы преобразования контекстно-свободных грамматик с помощью графов А. А. Вылиток Алгоритмы преобразования контекстно-свободных грамматик с помощью графов 1. Устранение бесполезных символов Рассмотрим пример контекстно-свободной грамматики c алфавитом терминальных символов

Подробнее

Лекции 5-6. Условия сходимости случайных процессов по распределению в функциональных пространствах

Лекции 5-6. Условия сходимости случайных процессов по распределению в функциональных пространствах Лекции 5-6 Условия сходимости случайных процессов по распределению в функциональных пространствах Применим изложенную теорию сходимости по распределению к случайным процессам. Как известно, случайный процесс

Подробнее

СБОРНИК ЗАДАЧ (Ч4. Кодирование вероятности) 4.1.

СБОРНИК ЗАДАЧ (Ч4. Кодирование вероятности) 4.1. СБОРНИК ЗАДАЧ (Ч4. Кодирование вероятности) 4.1. Расшифровать криптограмму, зашифрованную кодами Цезаря: ЕИФИРРЛМ ФЕИХОЮМ ЗИРЯ НОСРЛОФВ Н ЕИЫИУЦ РСКСЕЮИ ХЦЫНЛ ФХСВОЛ ЕЮФСНС Е ВФОСП РИДИ НГКГССЯ РИ ТОЮОЛ

Подробнее

НЕРАВЕНСТВА МЕЖДУ РАДИУСАМИ СФЕР, СВЯЗАННЫХ С ВЫПУКЛОЙ ПОВЕРХНОСТЬЮ ПРОСТРАНСТВА ПОСТОЯННОЙ КРИВИЗНЫ В. К. Ионин

НЕРАВЕНСТВА МЕЖДУ РАДИУСАМИ СФЕР, СВЯЗАННЫХ С ВЫПУКЛОЙ ПОВЕРХНОСТЬЮ ПРОСТРАНСТВА ПОСТОЯННОЙ КРИВИЗНЫ В. К. Ионин Сибирский математический журнал Май июнь, 2001. Том 42, 3 УДК 514.17 НЕРАВЕНСТВА МЕЖДУ РАДИУСАМИ СФЕР, СВЯЗАННЫХ С ВЫПУКЛОЙ ПОВЕРХНОСТЬЮ ПРОСТРАНСТВА ПОСТОЯННОЙ КРИВИЗНЫ В. К. Ионин Аннотация: Пусть выпуклой

Подробнее

Нильпотентные полугруппы, основа графа Кэли которых является деревом

Нильпотентные полугруппы, основа графа Кэли которых является деревом А.Л. Макарьев Омский государственный педагогический университет Электронный научный журнал «Вестник Омского государственного педагогического университета» Выпуск 006 www.os.edu Нильпотентные полугруппы,

Подробнее

Функции непрерывные на отрезке (теоремы Больцано-Коши, Вейерштрасса, Кантора). Функционалы

Функции непрерывные на отрезке (теоремы Больцано-Коши, Вейерштрасса, Кантора). Функционалы 1 Функции непрерывные на отрезке (теоремы Больцано-Коши, Вейерштрасса, Кантора). Функционалы непрерывные на компакте. 1.1 Теорема о промежуточных значениях Теорема 1. (Больцано-Коши) Пусть функция f непрерывна на отрезке [a, b], причем f(a) f(b). Тогда для любого числа C, заключенного между f(a) и f(b) найдется точка γ (a, b), что f(γ) = C. Доказательство. Пусть, например, f(a) = A < B = f(b) и A < C < B. Функция g(x) = f(x) C, очевидно, непрерывна на [a, b]. Кроме того, g(a) < 0, g(b) > 0. Для доказательства теоремы достаточно показать, что существует такая точка γ (a, b), что g(γ) = 0. Разделим отрезок [a, b] точкой x 0 на два равных по длине отрезка, тогда либо g(x 0 ) = 0 и, значит, искомая точка γ = x 0 найдена, либо g(x 0 ) 0 и тогда на концах одного из полученных промежутков функция g принимает значения разных знаков, точнее, на левом конце значение меньше нуля, на правом - больше. Обозначим этот отрезок [a 1, b 1 ] и разделим его снова на два равных по длине отрезка и т.д. В результате, либо через конечное число шагов придем к искомой точке γ, в которой g(γ) = 0, либо получим последовательность вложенных отрезков [a n, b n ] по длине стремящихся к нулю и таких, что g(a n ) < 0 < g(b n ) (1) Пусть γ - общая точка всех отрезков [a n, b n ], n = 1, 2,... Тогда γ = lim a n = lim b n. Поэтому, в силу непрерывности функции g Из (1) находим, что g(γ) = lim g(a n ) = lim g(b n ) (2) Из (2) и (3) следует, что g(γ) = 0. lim g(a n ) 0 lim g(b n ) (3) Следствие 1. Если функция непрерывна на отрезке и на его концах принимает значения разных знаков, то на этом отрезке есть хотя бы одна точка, в которой функция обращается в нуль. 1.2 Первая и вторая теоремы Вейерштрасса Будем говорить, что функция f, определенная на множестве E достигает на нем своей верхней (нижней) границы β = sup E f (α = inf E f), если существует такая точка x 0 E, что f(x 0 ) = β (f(x 0 ) = α). 1

Подробнее

Лекция 1. Функциональные ряды

Лекция 1. Функциональные ряды С А Лавренченко wwwlwrecekoru Лекция Функциональные ряды Понятие функционального ряда Ранее мы изучали числовые ряды, т е членами ряда были числа Сейчас мы переходим к изучению функциональных рядов, т

Подробнее

ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ КРИВЫХ

ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ КРИВЫХ Лекция 4 ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ КРИВЫХ Тема: Элементарная кривая Касательная Длина кривой План лекции Понятие и способы задания элементарной кривой Вектор-функция одного переменного Касательная к кривой

Подробнее

Приложения теоремы Жордана. Плоские графы

Приложения теоремы Жордана. Плоские графы Глава 4 Приложения теоремы Жордана. Плоские графы План. Лемма о четырех точках на замкнутой ломаной, геометрический граф в топологическом пространстве, геометрический граф без самопересечений, комбинаторный

Подробнее

Тема 1-3: Соответствия и отношения

Тема 1-3: Соответствия и отношения Тема 1-3: Соответствия и отношения А. Я. Овсянников Уральский федеральный университет Институт математики и компьютерных наук кафедра алгебры и дискретной математики алгебра и геометрия для механиков (1

Подробнее

Лекция 16. Универсальная машина Тьюринга

Лекция 16. Универсальная машина Тьюринга Лекция 16. Универсальная машина Тьюринга Дискретная математика, ВШЭ, факультет компьютерных наук (Осень 2014 весна 2015) Важнейшим свойством вычислимых функций является существование универсальной вычислимой

Подробнее

Рекомендуемая форма библиографической ссылки: Мошков М. Ю. Оценки сложности и алгоритмы

Рекомендуемая форма библиографической ссылки: Мошков М. Ю. Оценки сложности и алгоритмы ИПМ им. М.В. Келдыша РАН Электронная библиотека Математические вопросы кибернетики Выпуск 16 М. Ю. Мошков Оценки сложности и алгоритмы построения детерминированных условных тестов Рекомендуемая форма библиографической

Подробнее

Определение двойного интеграла и его свойства. Как задача вычисления площади криволинейной трапеции. так аналогичная задача вычисления объема тела

Определение двойного интеграла и его свойства. Как задача вычисления площади криволинейной трапеции. так аналогичная задача вычисления объема тела Двойной интеграл Определение двойного интеграла и его свойства Как задача вычисления площади криволинейной трапеции приводит к определенному интегралу от функции одной переменной, так аналогичная задача

Подробнее

Лекция 19. Теорема Радона-Никодима. Определение 1 (наивное). Заряд это мера, котрая может принимать отрицательные

Лекция 19. Теорема Радона-Никодима. Определение 1 (наивное). Заряд это мера, котрая может принимать отрицательные Лекция 19. Теорема Радона-Никодима. 1. Определение заряда. Определение 1 (наивное). Заряд это мера, котрая может принимать отрицательные значения. Примеры 1 1. δ(0) δ(1). 2. f(x)dµ x, f : E R. Определение

Подробнее

Лекция 5: упорядоченные множества

Лекция 5: упорядоченные множества Лекция 5: упорядоченные множества Дискретная математика, ВШЭ, факультет компьютерных наук (Осень 2014 весна 2015) 1 Отношения порядка Отношения порядка возникают, когда мы хотим сравнивать элементы множеств.

Подробнее

Математический Анализ 1 семестр. Часть 1

Математический Анализ 1 семестр. Часть 1 МГУ имени М.В. Ломоносова Экономический факультет Математический Анализ семестр. Часть Учебно-методическое пособие подготовлено Тесленко М.А. на основе лекций, прочитанных Черемных Ю.Н. г. Москва Математический

Подробнее

Математический анализ. Лекция II Счетные и несчетные множества

Математический анализ. Лекция II Счетные и несчетные множества Математический анализ Лекция II Счетные и несчетные множества Трушин Борис Викторович (Московский физико-технический институт) 4 сентября 2013 г TrushinBVru Счетные и несчетные множества 4 сентября 2013

Подробнее

Введение в математическую логику Мех-мат МГУ, 1-й курс, весна 2008 г. Конспект лекций 1 и 2

Введение в математическую логику Мех-мат МГУ, 1-й курс, весна 2008 г. Конспект лекций 1 и 2 Введение в математическую логику Мех-мат МГУ, 1-й курс, весна 2008 г. Конспект лекций 1 и 2 Л.Д. Беклемишев 1 Логика высказываний 1.1 Алфавит, буква, слово Определение 1.1. Алфавитом будем называть любое

Подробнее

системы линейных уравнений Б.М.Верников Лекция 3: Однородные и неоднородные системы

системы линейных уравнений Б.М.Верников Лекция 3: Однородные и неоднородные системы Лекция 3: Однородные и неоднородные системы линейных уравнений Система линейных уравнений Определение Линейным уравнением (или уравнением первого порядка) с n неизвестными x 1, x 2,..., x n называется

Подробнее

Лекция 1 ТЕОРИЯ МЕРЫ ЛЕБЕГА МНОЖЕСТВ ИЗ R Необходимость расширения понятия интеграла

Лекция 1 ТЕОРИЯ МЕРЫ ЛЕБЕГА МНОЖЕСТВ ИЗ R Необходимость расширения понятия интеграла Лекция 1 ТЕОРИЯ МЕРЫ ЛЕБЕГА МНОЖЕСТВ ИЗ R 2 1. Необходимость расширения понятия интеграла Сначала обсудим построение интеграла Римана. Пусть функция f(x) задана на собственном отрезке [a, b]. Определим

Подробнее

A, называется рангом матрицы и обозначается rg A.

A, называется рангом матрицы и обозначается rg A. Тема 7 Ранг матрицы Базисный минор Теорема о ранге матрицы и ее следствия Системы m линейных уравнений с неизвестными Теорема Кронекера- Капелли Фундаментальная система решений однородной системы линейных

Подробнее

Дополнительный материал. Степенные вычеты. Пусть дан модуль n и некоторое число a, взаимно простое с модулем n. Рассмотрим последовательность степеней

Дополнительный материал. Степенные вычеты. Пусть дан модуль n и некоторое число a, взаимно простое с модулем n. Рассмотрим последовательность степеней Дополнительный материал Степенные вычеты Пусть дан модуль n и некоторое число, взаимно простое с модулем n Рассмотрим последовательность степеней, 2,, t, Найдем наименьшее число k, при котором k mod n

Подробнее

Тема 2-1: Линейные пространства

Тема 2-1: Линейные пространства Тема 2-1: Линейные пространства А. Я. Овсянников Уральский федеральный университет Институт математики и компьютерных наук кафедра алгебры и дискретной математики алгебра и геометрия для механиков (2 семестр)

Подробнее

НАТУРАЛЬНЫЕ ЧИСЛА. МЕТОД МАТЕМАТИЧЕСКОЙ ИНДУКЦИИ Понятие натурального числа является исходным понятием арифметики. Аксиомы натуральных чисел были

НАТУРАЛЬНЫЕ ЧИСЛА. МЕТОД МАТЕМАТИЧЕСКОЙ ИНДУКЦИИ Понятие натурального числа является исходным понятием арифметики. Аксиомы натуральных чисел были НАТУРАЛЬНЫЕ ЧИСЛА. МЕТОД МАТЕМАТИЧЕСКОЙ ИНДУКЦИИ Понятие натурального числа является исходным понятием арифметики. Аксиомы натуральных чисел были сформулированы итальянским математиком Д. Пеано: 1. Для

Подробнее

ЛЕКЦИЯ N 27. Степенные ряды и ряды Тейлора.

ЛЕКЦИЯ N 27. Степенные ряды и ряды Тейлора. ЛЕКЦИЯ N 7. Степенные ряды и ряды Тейлора..Степенные ряды..... Ряд Тейлора.... 4.Разложение некоторых элементарных функций в ряды Тейлора и Маклорена.... 5 4.Применение степенных рядов.... 7.Степенные

Подробнее

Лекция 9: Подпространства

Лекция 9: Подпространства Уральский федеральный университет, Институт математики и компьютерных наук, кафедра алгебры и дискретной математики Определение подпространства. Примеры подпространств (1) Определение Непустое подмножество

Подробнее

8. Комплексные числовые ряды Рассмотрим числовой ряд с комплексными числами вида.. При этом предел S последовательности ( S n ) называется

8. Комплексные числовые ряды Рассмотрим числовой ряд с комплексными числами вида.. При этом предел S последовательности ( S n ) называется 8 Комплексные числовые ряды Рассмотрим числовой ряд с комплексными числами вида k a, (46) где ( a k ) - заданная числовая последовательность с комплексными членами k Ряд (46) называется сходящимся, если

Подробнее

О каноническом регулярном представлении s-тонких языков

О каноническом регулярном представлении s-тонких языков О каноническом регулярном представлении s-тонких языков П.С. Дергач В работе изучаются спектры класса тонких языков. Дается классификация языков по их спектральным свойствам. Для спектра тонкого языка

Подробнее

ПРИКЛАДНАЯ ТЕОРИЯ ГРАФОВ

ПРИКЛАДНАЯ ТЕОРИЯ ГРАФОВ ПРИКЛАДНАЯ ДИСКРЕТНАЯ МАТЕМАТИКА 2008 Прикладная теория графов 1(1) ПРИКЛАДНАЯ ТЕОРИЯ ГРАФОВ УДК 519.17 СЕМЕЙСТВА ТОЧНЫХ РАСШИРЕНИЙ ТУРНИРОВ М.Б. Абросимов, А.А. Долгов Саратовский государственный университет

Подробнее

Лекция 1. Последовательности

Лекция 1. Последовательности С А Лавренченко wwwlwrecekoru Лекция 1 Последовательности 1 Понятие последовательности Мы будем рассматривать только бесконечные числовые последовательности Начнем с формального определения этого объекта

Подробнее

{ } { } { } Глава 2. ПОСЛЕДОВАТЕЛЬНОСТИ 2.1. ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ

{ } { } { } Глава 2. ПОСЛЕДОВАТЕЛЬНОСТИ 2.1. ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ Глава ПОСЛЕДОВАТЕЛЬНОСТИ ОСНОВНЫЕ ОПРЕДЕЛЕНИЯ Функция, определенная на множестве натуральных чисел N и принимающая числовые значения, называется числовой последовательностью или просто последовательностью

Подробнее

Глава 1. Пределы и непрерывность 1. Числовые множества 1 0. Действительные числа Из школьной математики Вы знаете натуральные N целые Z рациональные

Глава 1. Пределы и непрерывность 1. Числовые множества 1 0. Действительные числа Из школьной математики Вы знаете натуральные N целые Z рациональные Глава 1. Пределы и непрерывность 1. Числовые множества 1 0. Действительные числа Из школьной математики Вы знаете натуральные N целые Z рациональные Q и действительные R числа Натуральные и целые числа

Подробнее

Математическая логика и теория алгоритмов

Математическая логика и теория алгоритмов Математическая логика и теория алгоритмов Лектор: А. Л. Семенов Лекция 2 Попытка расширить пределы вычислимого Наряду с теми операциями над вычислимыми функциями, которые мы рассматривали, возможны более

Подробнее

Лекция 7 СЛАБАЯ И СИЛЬНАЯ ПРОИЗВОДНЫЕ. 1. Слабая производная

Лекция 7 СЛАБАЯ И СИЛЬНАЯ ПРОИЗВОДНЫЕ. 1. Слабая производная Лекция 7 СЛАБАЯ И СИЛЬНАЯ ПРОИЗВОДНЫЕ 1. Слабая производная Определение 1. Функция v(x) L p loc () называется слабой производной x α функции u(x) L p loc () и пишем v(x) = α u(x), если для всякой функции

Подробнее

7{8. Построение действительных чисел (продолжение)

7{8. Построение действительных чисел (продолжение) 7{8. Построение действительных чисел (продолжение) Теперь мы в состоянии определить деление действительных чисел. Для этого достаточно определить обратное к ненулевому числу. Всякое ненулевое действительное

Подробнее

Тема: Предел функции

Тема: Предел функции Математический анализ Раздел: Введение в анализ Тема: Предел функции предел функции и его свойства, бесконечно большие функции и их свойства Лектор Янущик ОВ 215 г 3 Предел функции 1 Определение предела

Подробнее

Лекция 2. Абстрактная мера Лебега.

Лекция 2. Абстрактная мера Лебега. Лекция 2. Абстрактная мера Лебега. Корпусов Максим Олегович, Панин Александр Анатольевич Курс лекций по линейному функциональному анализу 29 сентября 2011 г. Введение На прошлой лекции мы рассмотрели построение

Подробнее

Проблема Алгоритм кодирования Хаффмена, в лучшем случае, не может передавать на каждый символ сообщения менее одного бита информации 2

Проблема Алгоритм кодирования Хаффмена, в лучшем случае, не может передавать на каждый символ сообщения менее одного бита информации 2 Лекция 5 Арифметическое кодирование Проблема Алгоритм кодирования Хаффмена, в лучшем случае, не может передавать на каждый символ сообщения менее одного бита информации 2 Пример. Пусть в сообщении, состоящем

Подробнее

Лекция 2.1.6. Определенный интеграл Римана

Лекция 2.1.6. Определенный интеграл Римана Лекция 6 Определенный интеграл Римана Аннотация: Отмечается что кроме интеграла Римана существуют и другие интегралы Рассматриваются свойства определенного интеграла Понятие определенного интеграла настолько

Подробнее

ЦИКЛИЧЕСКИЕ И СВОБОДНЫЕ МОДУ- ЛИ КОЛЬЦА ГЛАВНЫХ ИДЕАЛОВ ТЕОРЕМА О СОГЛАСОВАННЫХ БАЗИ- САХ

ЦИКЛИЧЕСКИЕ И СВОБОДНЫЕ МОДУ- ЛИ КОЛЬЦА ГЛАВНЫХ ИДЕАЛОВ ТЕОРЕМА О СОГЛАСОВАННЫХ БАЗИ- САХ ЛЕКЦИЯ 14 ЦИКЛИЧЕСКИЕ И СВОБОДНЫЕ МОДУ- ЛИ КОЛЬЦА ГЛАВНЫХ ИДЕАЛОВ ТЕОРЕМА О СОГЛАСОВАННЫХ БАЗИ- САХ ТЕОРЕМА О СТРОЕНИИ ЖОРДАНОВА ФОРМА 1 ЦИКЛИЧЕСКИЕ И СВОБОДНЫЕ МОДУЛИ Пусть M некоторый R-модуль. Для любого

Подробнее

Тест по алгебре Арифметический квадратный корень I вариант 8В класс, 24 октября 2007

Тест по алгебре Арифметический квадратный корень I вариант 8В класс, 24 октября 2007 I вариант 8В класс, 4 октября 007 1 Вставьте пропущенные слова: Определение 1 Арифметическим квадратным корнем из число, которого равен a из числа a (a 0) обозначается так: выражением Действие нахождения

Подробнее

9. Некоторые следствия из свойств полноты

9. Некоторые следствия из свойств полноты 9. Некоторые следствия из свойств полноты Начнем с понятия, которое нам уже знакомо (как минимум в примерах). Речь идет о понятии подпоследовтаельности. Именно, пусть у нас есть последовательность {x n

Подробнее

Лектор - доцент Селезнева Светлана Николаевна. Лекции по Дискретной математике 2. 1-й курс, группа 141, факультет ВМК МГУ имени М.В.

Лектор - доцент Селезнева Светлана Николаевна. Лекции по Дискретной математике 2. 1-й курс, группа 141, факультет ВМК МГУ имени М.В. Лекция: Недетерминированные конечные автоматы (НКА) без выхода. Теорема о совпадении классов множеств слов, допускаемых конечными детерминированными и конечными недетерминированными автоматами. Процедура

Подробнее

ГЛАВА 1. Проективная геометрия

ГЛАВА 1. Проективная геометрия ГЛАВА 1. Проективная геометрия 1.1. Проективное пространство Пусть дано (n + 1)-мерное векторное пространство V ( 6.1, часть I) и непустое множество P произвольной природы. Говорят, что множество P наделено

Подробнее

3. Бесконечно большие последовательности

3. Бесконечно большие последовательности 3. Бесконечно большие последовательности ОПРЕДЕЛЕНИЕ. Числовая последовательность { n } называется бесконечно большой, если M> NN такое, что n >M, n>n. ГЕОМЕТРИЧЕСКАЯ ИНТЕРПРЕТАЦИЯ БЕСКОНЕЧНО БОЛЬШОЙ ПОСЛЕДОВАТЕЛЬНОСТИ

Подробнее

Практическая работа 1 Изучение алгоритма сжатия Хаффмана

Практическая работа 1 Изучение алгоритма сжатия Хаффмана Практическая работа Изучение алгоритма сжатия Хаффмана.. Цель работы Изучить алгоритм оптимального префиксного кодирования Хаффмана и его использование для сжатия сообщений... Теоретические сведения Алгоритм

Подробнее

ЛЕКЦИЯ 2 БУЛЕВЫ ФУНКЦИИ. ТЕОРЕМА ОБ ОДНОЗНАЧНОСТИ РАЗБОРА

ЛЕКЦИЯ 2 БУЛЕВЫ ФУНКЦИИ. ТЕОРЕМА ОБ ОДНОЗНАЧНОСТИ РАЗБОРА ЛЕКЦИЯ 2 БУЛЕВЫ ФУНКЦИИ. ТЕОРЕМА ОБ ОДНОЗНАЧНОСТИ РАЗБОРА 1. Булевы функции. Таблицы истинности Определение 11: Булева функция это функция с булевыми аргументами и булевыми значениями, то есть: f {0, 1}

Подробнее

Лекция 13. Методы решения равновесных задач и вариационных неравенств

Лекция 13. Методы решения равновесных задач и вариационных неравенств Лекция 13. Методы решения равновесных задач и вариационных неравенств Вспомним основные определения равновесных задач и вариационных неравенств. Пусть D R n - непустое замкнутое выпуклое множество. Определение

Подробнее

Задание 10. LL-анализ

Задание 10. LL-анализ Задание 10 LL-анализ Ключевые слова 1 :язык, контекстно-свободный язык, магазинный автомат, грамматика, LL(k)-грамматика, LL(1)-анализатор, функции FIRST, FOLLOW. 1 Нисходящий и восходящий разбор Напомним

Подробнее

9. Связность. и непустое связное множество М, содержащееся в объединении множеств Φ. 1 тогда множество М содержится в каком-нибудь одном множестве Φ 1

9. Связность. и непустое связное множество М, содержащееся в объединении множеств Φ. 1 тогда множество М содержится в каком-нибудь одном множестве Φ 1 40 9. Связность Понятие связности есть математически строгое отражение интуитивного представления о целостности геометрической фигуры. Определение Топологическое пространство Х называется несвязным, если

Подробнее

Глава 4. Системы линейных уравнений

Глава 4. Системы линейных уравнений Глава 4 Системы линейных уравнений Лекция 7 Общие свойства Определение Нормальной системой (НС) линейных дифференциальных уравнений называется система вида x A () x + F () () где A( ) квадратная матрица

Подробнее

Лекция 2 АБСТРАКТНАЯ МЕРА ЛЕБЕГА. 1. Схема построения абстрактной меры Лебега.

Лекция 2 АБСТРАКТНАЯ МЕРА ЛЕБЕГА. 1. Схема построения абстрактной меры Лебега. Лекция 2 АБСТРАКТНАЯ МЕРА ЛЕБЕГА На прошлой лекции мы рассмотрели построение меры Лебега плоских множеств. Теперь наша задача обобщить эту процедуру на случай произвольных множеств. При этом существо схемы

Подробнее

y 2 = x 3 + ax + b (1)

y 2 = x 3 + ax + b (1) Кодирование алфавитов точками эллиптических кривых В. Ю. Лёвин В настоящее время информационые технологии бурно развиваются, вычислительная техника становится все мощнее и мощнее. Многие криптосистемы

Подробнее

Тема 1-2: Элементы комбинаторики

Тема 1-2: Элементы комбинаторики Тема 1-2: Элементы комбинаторики А. Я. Овсянников Уральский федеральный университет Институт математики и компьютерных наук кафедра алгебры и дискретной математики алгебра и геометрия для механиков (1

Подробнее

2 Лекция 2. n-> 2.1 Последовательности Числовая последовательность. Числа x n называются элементами или членами последователь-

2 Лекция 2. n-> 2.1 Последовательности Числовая последовательность. Числа x n называются элементами или членами последователь- Последовательности. Числовая последовательность. Виды последовательностей Предел числовой последовательности Предельный переход в неравенствах Предел монотонной ограниченной последовательности. Число e.

Подробнее