Минимальные формы булевых многочленов

Булевы алгебры тАУ это решетки особого типа, которые применяются при исследовании логики (причем как логики человеческого мышления, так и цифровой компьютерной логики), а также переключательных схем. Это последнее приложение было инициировано К. Шенноном, показавшим, что фундаментальные свойства электрических сетей, состоящих из бистабильных элементов, могут быть выражены с помощью булевых алгебр. Наряду с шенноном пионерами в применении теории булевых алгебр для решения задач релейной техники в 1936-1938 гг. были русский математик В.И. Шестаков и японцы А.Накасима и М. Ханзава. Отметим также, что ещё в 1910 г. известный физик П. Эренфест в рецензии на русский перевод книги Л. Кутюра ВлАлгебра логикиВ» указал на потенциальную применимость булевой логики к проектированию автоматических телефонных станций, сформулировав вопросы о реализуемости булевых функций и минимизации схем.

Целью данной курсовой работы является изучение булевой алгебры и применение минимальных форм булевых многочленов к решению задач.

Курсовая работа состоит из введения, трех глав, заключения и списка используемых источников.

Во введении описана актуальность темы, сформулирована цель, дана структура курсовой работы.

В первой главе даны основные определения и основные понятия булевой алгебры.

Во второй главе дается определение минимальных форм булевых многочленов и намечен курс дальнейшего исследования.

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

В заключении сформулированы основные выводы к работе.

I. ОСНОВНЫЕ ПОНЯТИЯ БУЛЕВОЙ АЛГЕБРЫ

1.1Основные этапы развития булевой алгебры.

В 1847 году Дж. Буль написал маленькую, но эпохальную книгу Влматематический анализ логикиВ», в которой логика трактовалась как чисто формальная система; интерпретация в обычном языке пришла позже. Буль писал, что математика характеризуется своей формой, но не содержанием. В своей последующей книге ВлИсследование законов мышленияВ» (1854) он ввел понятие булевой алгебры.

Булевское исчисление логики сосредоточено на формальной трактовке логики посредством математических (особенно алгебраических) методов и на описании логических тождеств. Следуя Булю, школа английских математиков, а также Шрёдер, Уайтхед разработали аксиоматику операций конъюнкции, дизъюнкции, отрицания; с другой стороны, Пирс и Шрёдер создали аксиоматику порядка, используя отношение включения в качестве фундаментального понятия. В 1904 году Хантингтон исследовал две системы аксиом и начал трактовать булевы алгебры как самостоятельные математические структуры, не обязательно связанные с логикой.

Буль использовал дистрибутивность пересечения относительно объединения, которую еще до него отметил Ламберт. Буль работал с множествами. Обозначая пересечение х и у через ху, а объединение тАУ через х + у, если х и у дизъюнкты. Подобно Лейбницу, он интерпретировал отношение включения х Í у как ху = х, что легко давало возможность получить классические правила силлогизма. Затем Джевонс распространил операцию объединения на произвольные х и у; Де Морган и, позже, Пирс доказали соотношение двойственности, называемые законами де Моргана.

Большинство логиков девятнадцатого века не высказывало большого интереса к применению в математике своих находок. Одной из причин этого было отсутствие кванторов, введенных позже Фреге и Пирсом. Пеана, среди прочих, ввел символы È, Ç, - для объединения, пересечения и вычитания множеств. После книги ван дер Вардена по современной алгебре понятие универсальной алгебры было уже не за горами. Биркгоф развил концепцию ВлалгебрыВ», отправляясь от подходов ван дер Вардена, и взял название Влуниверсальная алгебраВ» из книги Уайтхеда. в 1934 году, будучи в Геттингене, Маклейн также высказывал некоторые мысли об универсальной алгебре, но не опубликовал их. Одна из фундаментальнейший статей по теории решеток была напечатана Оре в 1935 году. Последующие годы ознаменовались целым рядом исследований в области, как теории, так и приложений решеток, например, в теории групп, проектированной геометрии, квантовой механике, функциональном анализе, теории меры и интегрирования.

В 1933 тАУ 1937 гг. М. Стоун получил важные результаты о булевых алгебрах, которые он интерпретировал как специальные кольца, а именно как булевы кольца, где была применима теория идеалов. Другие фундаментальные вопросы, рассматривавшиеся Стоуном, - это вопросы о представлении булевых алгебр и приложения булевых алгебр в топологии. С тех пор теория решеток превратилась во вполне жизнеспособную, сильную и самостоятельную дисциплину.

1.2 Основные определения и понятия булевой алгебры

Определение: Булевой алгеброй (обозначим В) называется непустое множество элементов с двумя бинарными операциями Вл+В», Вл*В» и одной унарной операцией Вл`В»,а так же специальными элементами 0 и 1, если выполняются следующие свойства:

1. a + b = b + a ," a ,b B

2. a * b = b * a ," a, b B

3. a + (b*c) = (a + b)*(a + c)

4. a*(b + c) = (a*b) + (a*c)

5. a + 0 = a, a* 1 = a. (Тождественность)

6. a + a` = 1, a* a`= 0. (Дополнительность)

Эта система аксиом является полной и независимой.

Пример 1: Пусть множество В тАУ это множество В= {1,0} на котором заданы две бинарные операции:

+	1	0	*	1
1	1	1	1	1
0	1	0	0	0

И унарная операция: 0`= 1, 1`=0.

Пример 2: Множество делителей числа 70:<1,2,5,7,10,14,35,70>

1. a + b = НОД (a,b)

2. a*b =НОК (a,b)

3. a`=70/a

Определение: Пусть С - непустое подмножество множества В. Говорят, что С - подалгебра алгебры В, если она сама является алгеброй с теми же операциями.

Подмножество С - есть подалгебра алгебры В Û С замкнуто относительно трех операций.

Пример 3: Если С=<1,2,35,70> замкнуто относительно операций Вл+В», Вл*В», Вл`В», тогда С является подалгеброй алгебры В.

Определение: Две булевы алгебры В и В`изоморфны: В ~ В`, если существует взаимно-однозначная функция f: BВоB`, такая, что:

1. f (a+b) = f (a) + f (b)

2. f (a*b) = f (a)*f (b)

3. f (a`) = (f (a))`

Для булевой алгебры справедливы принципы дуальности.

Основные теоремы абстрактной булевой алгебры.

1. Идемпотентный закон: a + a = a, a * a = a.

2. Граничный закон: a+ 1 = 1, a+ 0 = a.

3. Абсорбционный закон: a + (a * b) = a, a * (a + b) = a.

4. Ассоциативный закон: a + (b + c) = (a + b) + c, a * (b * c) = (a * b) * c.

5. Единственность дополнения: если $x: a+ x= 1 , a* x= 0, то x= a`.

6. Инволютивный закон: ((a`))` =a Þ 0`=1 , 1`=0.

7. Закон де Моргана: (a + b)`=a` * b`, (a * b)` = a` + b`.

Булева алгебра как решетка.

Поскольку для булевой алгебры справедливы ассоциативный, коммутативный и абсорбционный законы, то согласно определению булева алгебра есть решетка. В этой решетке

"а, а + 1 = 1 Þ а £ 1 , а * 0 = 0 Þ 0 £ а.

Таким образом В есть ограниченная решетка, кроме того аксиомы (2) и (4) указывают на то, что решетка дистрибутивна и дополнена. И наоборот, любая ограниченная, дистрибутивная и дополненная решетка есть булева алгебра.

Определение: Булева алгебра тАУ это ограниченная, дистрибутивная и дополненная решетка.

Мы можем ввести на булевой алгебре отношение частичного порядка. Полагаем, что a£ Û

aÚ= , aÙ= a.

Теорема. В булевой алгебре следующие выражения эквивалентны:

1) a+ =

2) a* = a

3) a` + = 1

4) a* ` = 0.

Доказательство.

1. Докажем эквивалентность (1) и (3)

а) Пусть (1) верно, тогда

a`+=a`+(a+b)=(a`+a)+=1+=1

b) Пусть (3) верно, тогда

a + b = (a` + b) * (a + b) = b * (a + a`) = b * 1 = b;

2. Докажем эквивалентность (3) и (4)

a) Пусть (3) верно, тогда

0=1`=(a`+b)`=(a`)`*b`=a*b`

b) Пусть (1) верно, тогда

1=0`=(a+b`)`=a`+ (b`)`=a`+

3. Докажем эквивалентность (2) и (4)

a) Пусть (2) верно, тогда

a*b`=(a*b)*b`=a*(b*b`)=a*0=0

b) Пусть (4) верно, тогда

a * b = a * b + 0 = a * b + a * b` = a * (b + b`) = a * 1 = a;

Тогда выражения (1), (2), (3), (4) эквивалентны.

Пример 1. Рассмотрим алгебру множеств тАУ модель булевой алгебры.

А £ В если А Ì В.

1. АÚВ=В

2. АÙВ=А

3. АÚВ=U

4. АÙВ`=Æ

Любая конечная булева алгебра может содержать лишь 2 в степени элементов, где тАУ натуральное число.

Пример 2. 1)Множество делителей 70-ти D=<1,2,5,7,10,14,35,70>. Множество A=<2,5,7> -множество атомов решетки D.

10=2Ú5

14=2Ú7

35=5Ú7

70=(2Ú 5) Ú 7

10 14 35

2 5 7

2) Множество А={2,5,7}

Отношение вложенности.

{2,5,7}

{2,5} {2,7} {5,7}

{2} {5} {7}

Эта решетка изоморфна предыдущей.

Алгебра множеств и алгебра высказываний являются моделями абстрактной булевой алгебры. Все абстрактные булевы алгебры (которые состоят из одинакового числа элементов) изоморфны.

1.3Минимальные формы булевых многочленов

Определение. Понятие булева многочлена определяется рекурсивно. Пусть Х_n= {x₁,тАж, x_n} тАУ множество из символов (называемых неизвестными или переменными), которое не содержит символов 0 и 1. Булевы многочлены над Х_n суть объекты, которые могут быть получены последовательным применением следующих правил:

(I) х₁, х₂, тАж, х_n, 0,1 тАУ булевы многочлены;

(II) если и q тАУ булевы многочлены, то таковыми являются и

() Ù (q), () Ú (q), ()¢.

Обозначим множество всех булевых многочленов над Х_nчерез Р_n.

Пример. Вот несколько примеров булевых многочленов над {х₁, х₂}:0,1, х₁, х_2, х₁Ù х₂, х₁Ú х₂, х₁¢,х₁¢Ù х₂.

Так как любой булев многочлен над x₁,тАж, x_nмодно рассматривать как булев многочлен над x₁,тАж, x_n, x_n₊₁, мы имеем

Р₁Ì Р₂ÌтАж Ì Р_nÌ Р_n₊₁ÌтАж

Булев многочлен можно упростить с помощью аксиом булевой алгебры. В процессе упрощения часто трудно решить, какие аксиомы и в каком порядке должны быть использованы. Но существуют некоторые систематические методы упрощения булевых многочленов. Недостатком большинства этих методов является возможность их практического внедрения, когда число переменных слишком велико. Соответствующая проблематика в теории булевых алгебр носит общее название проблема оптимизации или минимизации булевых многочленов; она важна для таких приложений, как упрощение переключательных схем.

Определение. Назовем литералом любую переменную х_i и ее дополнение х_i¢, а также 0 и 1. Под произведением понимается произведение нескольких литералов, т.е. булев многочлен, в котором нет знака +. Дизъюнктивным выражением или просто выражением назовем буле многочлен, являющийся суммой произведений. Слагаемые в таком выражении назовем дизъюнктами.

Обсуждая упрощение булевых многочленов, мы ограничимся важным случаем сведения дизъюнктивных выражений к Влминимальным выражениямВ» относительно специального условия минимальности. Обозначим через d_f общее число литералов в выражении f, а через e_f тАУ число дизъюнктов. Мы говорим, что выражение f проще выражения j, если d_f£d_g, e_f£e_g и хотя бы одно из этих неравенств строгое. Выражение f называется минимальным, если не существует выражения, которое было бы эквивалентно f и проще f. Таким образом, мы будем искать ВлкратчайшееВ» выражение с наименьшим возможным числом литералов, которое было бы эквивалентно f. Такое минимальное выражение не всегда определено однозначно. Я опишу один из нескольких существующих методов упрощения. Он основан на работе Куайна и был улучшен Мак-Класки, поэтому называется методом Куайна - Мак-Класки.

Определение. многочлен p влечет многочлен q, если для любых ₁,тАж., b_nÎ В

р_в (₁, тАж, b_n) = 1 влечет q_в (₁, тАж, b_n) = 1;

в этом случае р называется импликантом для q. Простым импликантом многочлена р называется произведение , которое влечет р, но если в вычеркнуть хотя бы один сомножитель, то результат уже не влечет р. Произведение, сомножители-литералы которого образуют подмножество сомножителей-литералов другого произведения, называется подпроизведением последнего.

Пример. Произведение х₁х₃ является подпроизведением как х₁х₂х₃_, так и х₁х₂¢х₃, и влечет выражение

р = х₁х₂х₃+ х₁х₂¢х₃ + х₁¢х₂¢х₃¢,

поскольку (х₁х₃)(1, i₂, 1) = 1 и р(1, i₂, 1) = 1, а для других значений аргументов х₁х₃ дает 0. Ни х₁_,ни х₃ не влекут р; например, х₁(1, 1, 0) = 1, но р(1, 1, 0) = 0, поэтому х₁х₃тАУ простой импликант для р.

Теорема. Любой многочлен р ÎP_nэквивалентен сумме всех своих простых импликантов.

Выражение, являющееся суммой простых импликантов для р, называется неприводимым, если оно эквивалентно р, но пересекает быть таковым, если удалить хотя бы одно слагаемое. Минимальное выражение должно быть неприводимым. Поэтому, чтобы определить минимальное выражение, мы находим все неприводимые выражения, а среди них ищем выражение с наименьшим числом литералов. Изложим теперь принадлежащий Куайну метод определения простых импликантов.

Простые импликанты получаются из дизъюнктивной нормальной формы d булева многочлена р применением (слева направо) правила

yz + yz¢~y,

когда это возможно. Более общо, мы используем правило

(*)

где и - произведения. следующий пример поможет понять смысл описываемой процедуры.

Пример. Пусть р тАУ булев многочлен, имеющий следующую дизъюнктивную нормальную форму:

d = wxyzтАЩ + wxyтАЩzтАЩ + wxтАЩyz + wxтАЩyzтАЩ + wтАЩxтАЩyz + wтАЩxтАЩyzтАЩ + wтАЩxтАЩyтАЩz

Мы используем правило и законы идемпотентности для тех (из общего числа () = 21) пар дизъюнктов в d, для которых это возможно, тем самым ВлукорачиваяВ» произведения. например, превый и второй дизъюнкты при использовании (*) дают wxzтАЩ. Если в процессе упрощения слагаемые используются хотя бы один раз, то оно помечается. Так как знак + стоит вместо Ú, выражение может быть использовано любое число раз, но помечается не более одного раза. Таким образом, все помеченные произведения содержат более короткие произведения и поэтому не могут быть простыми импликантами. В целом в первом раунде этого процесса мы переходим

от wxyzтАЩ и wxyтАЩzтАЩ к wxzтАЩ

от wxтАЩyz и wxтАЩyzтАЩ к wxтАЩy

от wxyzтАЩ и wxтАЩyzтАЩ к wyzтАЩ

от wтАЩxтАЩyz и wтАЩxтАЩyzтАЩ к wтАЩxтАЩy

от wтАЩxтАЩyz и wтАЩxтАЩyтАЩz к wтАЩxтАЩz

от wxтАЩyz и wтАЩxтАЩyz к xтАЩyz

от wxтАЩyzтАЩ и wтАЩxтАЩyzтАЩ к xтАЩyzтАЩ

Здесь использованы, и потому должны быть помечены, все семь слагаемых.

В общем, эта процедура повторяется снова и снова с использованием только помеченных выражений (которые становятся короче). Прочие произведения суть простые импликанты и остаются неизменными.

В нашем примере второй раунд упрощения осуществляет переход

от wxтАЩy и wтАЩxтАЩy к xтАЩy

от xтАЩyz и xтАЩyzтАЩ к xтАЩy

Четыре выражения - wxтАЩy, wтАЩxтАЩy, xтАЩyz, xтАЩyzтАЩ тАУ помечены. Остальные произведения, а именно wxzтАЩ, wyzтАЩ, wтАЩxтАЩz не могут быть упрощен. следовательно, р эквивалентно такой сумме простых импликантов:

р ~wxzтАЩ + wyzтАЩ + wтАЩxтАЩz + xтАЩy.

Как уже было сказано, Мак-Класки улучшил это метод. Чтобы описать улучшенный алгоритм, используем многочлен

d = wxyzтАЩ + wxyтАЩzтАЩ + wxтАЩyz + wxтАЩyzтАЩ + wтАЩxтАЩyz + wтАЩxтАЩyzтАЩ + wтАЩxтАЩyтАЩz

Шаг 1. Считая переменные упорядоченными по алфавиту (или по номерам), поставим в соответствие каждому произведению последовательность символов из {0, 1, -}: вместо x_iтАЩ и x_iзапишем 0 и 1 соответственно, а вместо опущенных переменных запишем черточку. Например, вместо wтАЩxтАЩyтАЩz запишем 0001, а вместо wтАЩxтАЩz тАУ 00-1.

Шаг 2. Произведения, рассматриваемые как троичные -ки, разбиваются на классы эквивалентности в соответствии с числом единиц. Упорядочим классы по возрастанию этого числа. В нашем примере:

wтАЩxтАЩyтАЩz0 0 0 1

wтАЩxтАЩyzтАЩ0 0 1 0

wтАЩxтАЩyz0 0 1 1

wxтАЩyzтАЩ1 0 1 0

wxтАЩyz1 0 1 1

wxyzтАЩ1 1 1 0

wxyтАЩzтАЩ1 1 0 0

Шаг 3.Используя правило (*), нужно складывать только произведения из соседних классов, т.е. когда числа единиц в соответствующих последовательностях отличаются лишь на 1. При этом мы должны сравнивать выражения из соседних классов, имеющих черточки в одних и тех же позициях. Если два таких выражения отличаются точно в одной позиции, то они имеют вид р = i₁i₂тАжi_rтАжi_n и q = i₁i₂тАжi_rтАЩтАжi_n, где все i_k лежат в {0, 1, -}, а i_r лежит в {0, 1}. Тогда (*) сводит , q к i₁i₂тАжi_r_-1- i_r₊₁тАжi_n, причем и q должны быть помечены. В рассматриваемом примере это дает такие четверки (метки относятся к следующему раунду, тогда как в предыдущем списке все произведения следовало пометить):

0 0 - 1

0 0 1 -ü

- 0 1 0ü

- 0 1 1ü

1 0 1 -ü

1 - 1 0

1 1 - 0

Помеченные выражения не являются простыми импликантами и во втором раунде этого шага дают единственное выражение

- 0 1 -

Итак, мы нашли все простые импликанты, а именно

0 0 1 - wтАЩxтАЩz

- 0 1 0 wyzтАЩ

- 0 1 1 wxzтАЩ

1 0 1 - xтАЩy

Так как сумма всех простых импликантов необязательно является минимальным выражением, алгоритм требует выполнения ещё одного шага.

Шаг 4. В силу теоремы сумма всех простых импликантов для р эквивалентна р. поэтому для каждого слагаемого дизъюнктивной нормальной формы d многочлена р должен существовать простой импликант, являющийся произведением этого слагаемого. для выявления возникшего соответствия удобно использовать таблицу простых импликантов. столбцы этой таблицы индексируются дизъюнктами из d, а строки тАУ простыми импликантами, вычисленными в шаге 3. на пересечении i-й строки и j-го столбца ставится крестик û, если простой импликант из i-й строки является подпроизведением произведения из j-го столбца. Говорят, что одно произведение покрывает, если первое является подпроизведением второго. Для того, чтобы найти сумму простых импликантов, которая будет эквивалентна d , мы из множества всех простых импликантов выбираем подмножество таким образом, чтобы каждое слагаемое в d покрывалось по крайней мере одним импликантом из подмножества. Тогда минимальной формой будет сумма простых импликантов с наименьшим числом членов и наименьшим числом букв. Простой импликант называется главным членом, если он покрывает произведение, не покрываемое никаким другим простым импликантом; сумма всех главных членов называется ядром. сначала мы находим ядро, затем обозначаем через q₁,тАж,q_k произведения, не покрываемые простыми импликантами из ядра; простые импликанты, не входящие в ядро, обозначим через р₁,тАж,р_m. Далее формируем таблицу, столбцы которой индексируются элементами q_i, а строки тАУ элементами р_i. Крестик û на месте (i, j) указывает, что р_i покрывает q_j.

Теперь образуем произведение сумм. Каждый сомножитель соответствует одному из q_j и является суммой тех р_i, который покрывают этот q_j. Используя законы булевой алгебры, мы преобразуем это выражение в простейшую возможную сумму произведений. Каждое из этих произведений представляет подмножество элементов р_i, которые покрывают все q_j. Далее рассматриваем произведения с наименьшим числом сомножителей. Из этих кратчайших произведений выбираем те, что содержат наименьшее общее число литералов. Теперь каждое из полученных произведений переписываем в виде суммы составляющих его простых импликантов, складываем с ядром, получая минимальную сумму произведений, эквивалентную р.

II.РЕШЕНИЕ МИНИМАЛЬНЫХ ФОРМ БУЛЕВЫХ МНОГОЧЛЕНОВ С ПОМОЩЬЮ МЕТОДА КУАЙНА тАУ МАК-КЛАСКИ

Задача.Определим форму булева многочлена р, заданного в дизъюнктивной нормальной форме

d = vтАЩwтАЩxтАЩyтАЩzтАЩ + vтАЩwтАЩxтАЩyzтАЩ + vтАЩwтАЩxyтАЩzтАЩ + vтАЩwтАЩxyzтАЩ + vтАЩwxтАЩyтАЩz + vтАЩwxтАЩyzтАЩ + vтАЩwxyтАЩz + vтАЩwxyzтАЩ + vтАЩwxyz + vwтАЩxтАЩyтАЩzтАЩ + vwтАЩxтАЩyтАЩz + vwтАЩxyтАЩz + vwxтАЩyzтАЩ + vwxyтАЩzтАЩ + vwxyzтАЩ + vwxyz

Решение:

Шаги 1 и 2

0 единиц	0 0 0 0 0	ü	(1)
1 единица	0 0 0 1 0 0 0 1 0 0 1 0 0 0 0	ü ü ü	(2) (3) (4)
2 единицы	0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1	ü ü ü ü	(5) (6) (7) (8)
3 единицы	0 1 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 1 1 0 0	ü ü ü ü ü	(9) (10) (11) (12) (13)
4 единицы	0 1 1 1 1 1 1 1 1 0	ü ü	(14) (15)
5 единиц	1 1 1 1 1	ü	(16)

Шаг 3. Комбинация строк (i) и (j) дает сокращение, указанное в строке (i)(j):

(1)(2)

(1)(3)

(1)(4)

0 0 0 - 0

0 0 - 0 0

- 0 0 0 0

(2)(5)

(2)(7)

(3)(5)

(4)(8)

0 0 - 1 0

0 - 0 1 0

0 0 1 - 0

1 0 0 0 -

(5)(10)

(6)(9)

(7)(10)

(7)(12)

(8)(11)

0 - 1 1 0

0 1 - 0 1

0 1 - 1 0

- 1 0 1 0

1 0 - 0 1

(9)(14)

(10)(14)

(10)(15)

(12)(15)

(13)(15)

0 1 1 - 1

0 1 1 1 -

- 1 1 1 0

1 1 -1 0

1 1 1 - 0

(14)(16)

(15)(16)

- 1 1 1 1

1 1 1 1 -

Повторение этого шага с новыми строками дает нам

(1)(2)(3)(5)	0 0 - -	D
(2)(5)(7)(10)	0 - - 1 0	C
(7)(10)(12)(15)	- 1 - 1 0	B
(10)(15)(14)(16)	- 1 1 1 -	A

Пометки ВлптичкойВ»ü и буквами сделаны после процесса упрощения. найденные простые импликанты обозначены буквами А, В, тАжJ.

Шаг 4. Формируем таблицу простых импликантов, где индексы столбцов тАУ слагаемые из d тАУ представлены в виде двоичных столбцов.

(1)

(2)

(3)

(4)

(5)

(6)

(7)

(8)

(9)

(10)

(11)

(12)

(13)

(14)

(15)

(16)

-111- А

-1-10 В

0--10 С

00--0 D

111-0 E

011-1 F

10-01 G

01-01 H

1000- I

-0000 J

Вместе с этим смотрят:

10 способов решения квадратных уравнений

РЖнварiантнi пiдпростори. Власнi вектори i власнi значення лiнiйного оператора

РЖнтегральнi характеристики векторних полiв

РЖнтерполювання функцiй

Автокорреляционная функция. Примеры расчётов