Merge branch 'master' of github.com:vasthecat/university-lectures

30 files changed, 390 insertions, 251 deletions

diff --git a/.gitignore b/.gitignore
index ec40c8f..9a5da8d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,4 +9,5 @@
 *.toc
 *.bbl
 *.blg
-*.md
\ No newline at end of file
+*.md
+.DS_Store
diff --git a/sem5/Lecture.cls b/Lecture.cls
index 32b3de1..32b3de1 100644
--- a/sem5/Lecture.cls
+++ b/Lecture.cls
diff --git a/sem5/Makefile b/Makefile
index 0fdb95a..7a6d3bb 100644
--- a/sem5/Makefile
+++ b/Makefile
@@ -3,5 +3,5 @@
 clean:
 	find . | grep -P "(.aux|.fdb_latexmk|.fls|.log|.synctex.gz|.out)" | xargs rm -f
 
-mrproper: clean
+fullclean: clean
 	find . | grep -P "(.pdf|.md)" | xargs rm -f
diff --git a/sem5/computer-networks/computer-networks.tex b/computer-networks/computer-networks.tex
index b1ef05b..b1ef05b 100644
--- a/sem5/computer-networks/computer-networks.tex
+++ b/computer-networks/computer-networks.tex
diff --git a/sem5/computer-networks/lectures/lecture1.tex b/computer-networks/lectures/lecture1.tex
index f992c47..f992c47 100644
--- a/sem5/computer-networks/lectures/lecture1.tex
+++ b/computer-networks/lectures/lecture1.tex
diff --git a/sem5/computer-networks/lectures/lecture5.tex b/computer-networks/lectures/lecture5.tex
index 13cf56b..13cf56b 100644
--- a/sem5/computer-networks/lectures/lecture5.tex
+++ b/computer-networks/lectures/lecture5.tex
diff --git a/sem5/databases/databases.tex b/databases/databases.tex
index b9beb1a..b9beb1a 100644
--- a/sem5/databases/databases.tex
+++ b/databases/databases.tex
diff --git a/sem5/databases/lectures/lecture1.tex b/databases/lectures/lecture1.tex
index d1859d4..d1859d4 100644
--- a/sem5/databases/lectures/lecture1.tex
+++ b/databases/lectures/lecture1.tex
diff --git a/sem5/databases/lectures/lecture2.tex b/databases/lectures/lecture2.tex
index e7052ab..e7052ab 100644
--- a/sem5/databases/lectures/lecture2.tex
+++ b/databases/lectures/lecture2.tex
diff --git a/electronics/electronics.org b/electronics/electronics.org
new file mode 100644
index 0000000..4c23efe
--- /dev/null
+++ b/electronics/electronics.org
@@ -0,0 +1,165 @@
+#+TITLE: Электроника и схемотехника
+#+AUTHOR: Андрей Гущин
+#+LATEX_CLASS: Lecture
+#+LATEX_HEADER: \usepackage{../preamble}
+
+# Лекция 1 (12.02.22)
+* Электроника
+
+  Электроника - это область науки, охватывающая исследование,
+  разработку и применение различных электронных приборов и устройств.
+  Электронику принято разделять в соответствии с физическими основами
+  работы электронных приборов на вакуумную, твердотельную и
+  квантовую. Электроника проектирует приборы для передачи и генерации
+  электромагнитного излучения для передачи информации.
+
+* Классификация материалов по типу проводимости
+
+  Закон ома $U = RI$, Сопротивление $R = \rho \frac{L}{S}$,
+  проводимость $G = \frac{1}{R}$, удельная проводимость $\gamma = \frac{1}{\rho}$,
+  третий закон Ома в дифференциальной форме $j = \gamma E$.
+
+  | Материал       | проводимость | Влияние температуры T на проводимость (T растёт) |
+  |----------------+--------------+--------------------------------------------------|
+  | Диэлектрики    | < 10^-8      | Постоянная                                       |
+  | Полупроводники | 10^-8 - 10^5 | Растёт                                           |
+  | Металлы        | >10^5        | Уменьшается                                      |
+
+* Теория проводимости Друде-Лоренца
+
+  Предполагается, что независимо от вещества проводниками
+  электричества являются заряженные частицы.
+
+  Движение --- Хаотическое + Направленное
+
+  \begin{align*}
+    V &= V_T + V_E \\
+    <V> &= <V_T> + <V_E> \\
+    <V_T> &= 0, <V_E> \ne 0
+  \end{align*}
+
+** Свойства уровней энергии
+
+   1. Уровни энергии дискретны
+   2. Число уровней бесконечно
+   3. На каждом уровне не более двух электронов
+
+   # Модель атома Бора
+   # Потенциальная яма, разрешённые и запрещённые зоны
+
+** Энергитические диаграммы
+
+   $\varepslion_V$ --- валентная зона, $\varepsilon_c$ --- зона
+   проводимости, $\Delta \varepsilon$ --- запрещённая зона.
+
+   | Тип проводника | \Delta \varepsilon |
+   |----------------+--------------------|
+   | Диэлектрики    | > 3 эВ             |
+   | Полупроводники | 0.6 - 3 эВ         |
+   | Металлы        | < 0.6 эВ           |
+
+   | Материал       | \Delta \varepsilon, эВ |
+   |----------------+------------------------|
+   | Ge (IV группа) |                    0.6 |
+   | Si (IV группа) |                    1.1 |
+   | GaAs           |                        |
+
+   Уровень Ферми --- это такой уровень энергии, который означает, что
+   при температуре абсолютного нуля все электроны будут обладать
+   энергией меньшей или равной данной энергии и при этом все электроны
+   будут находиться в валентной зоне.
+
+   Статистика Ферми-Дирака:
+   \begin{equation*}
+     f(\varepsilon, T) = \frac{1}{1 + e^{\frac{\varepsilon - \varepsilon_F}{kT}}}
+   \end{equation*}
+
+   # k --- постоянная Больцмана
+
+** Полупроводники с собственным типом проводимости
+
+   Уровень Ферми у полупроводников находится в середине валентной
+   зоны.  При температуре, близкой к абсолютному нулю, полупроводники
+   становятся близки к диэлектрикам.
+
+   # Генерация электронно-дырочной пары
+   # Рекомбинация электронно-дырочной пары
+   # Собственный тип проводимости i
+
+** Концентрация носителей заряда
+
+   Концентрация --- число носителей зарядов на единицу объёма.
+
+   При условии $(\varepsilon - \varepsilon_F) >> kT$ имеет место
+   /распределение Максвелла-Больцмана по энергиям/:
+   \begin{align*}
+     f_n &= e^{\frac{-(\varepsilon - \varepsilon_F)}{kT}}, \text{электроны} \\
+     f_p &= e^{\frac{-(\varepsilon_F - \varepsilon)}{kT}}, \text{дырки}
+   \end{align*}
+
+   Получаем, что концентрация носителей в единице объёма полупроводника
+   \begin{equation*}
+     n = p = n_i \approx e^\frac{-\Delta \varepsilon}{2kT}
+   \end{equation*}
+
+   *Зависит только от температуры и ширины запрещённой зоны.*
+
+# Лекция 2 (19.02.22)
+* Примесные полупроводники
+
+# Легирование
+
+  1. Добавление атомов примесей и химически чистому п/п меняет тип
+     проводимости (тип основных ночителей заряда). Донорные примеси
+     обеспечивают проводимость n-типа (основные носители
+     электроны). акцепторные проводимосит p-типа (основные носители
+     дырки).
+  2. В рабочей области температур (200-400К) концентрация носителей
+     заряда в примесях п/п определяется концентрацией атомов примесей.
+  3. Для п/п n-типов проводимости уровень Ферми смещается к зоне
+     проводимости, для п/п с p-типом проводимости уровень Ферми
+     смещается к валентной зоне.
+
+* Электрические токи в полупроводниках
+
+** Дрейфовый ток
+
+   Ток зарядов под действием приложенного электрического поля.
+   По II закону Ньютона: $ma = qE$ ($q = +e, -1$ для дырок и электронов).
+   \begin{equation*}
+     \nu = \frac{q \tau}{m} E, \quad <\nu> = \mu E
+   \end{equation*}
+
+   Подвижнось носителей зарядов (электронов или дырок, [м^2 / (В * c)])
+   \begin{equation*}
+     \mu = \frac{q \tau_0}{m}
+   \end{equation*}
+
+   *Плотность дрейфового тока (по определению)*
+   \[ f_E = qn <\nu> = q n \mu E = \gamma E \]
+
+   *Плотность полного (электронного и дырочного) дрейфового тока в п/п*
+   \[ f_E = |q| (n \mu_n + p \mu_p) E \]
+
+   *Плотность дрейфового тока в п/п i-типа*
+   \[ f_E = |q| n_i (\mu_n + \mu_p) E \approx e^\frac{\Delta}{2kT} E \]
+
+   *Плотность дрейфового тока в п/п n-типа (d - донор)*
+   \[ f_{En} =  |q| n_n \mu_n E \approx N_d E \]
+
+   *Плотность дрейфового тока в п/п p-типа (a - акцептор)*
+   \[ f_{En} =  |q| n_p \mu_p E \approx N_a E \]
+
+  
+** Диффузионный ток
+   Неравномерной распределение носителей заряда (диффузионный ток)
+
+* Виды контактов. Металл-металл и металл-полупроводник.
+
+
+# Лекция 3 (05.03.22)
+* Полупроводниковый диод
+  Полупроводниковый диод - это прибор, который содержит один или
+  несколько переходов и два вывода для подключения к цепи.
+
+  
diff --git a/sem5/universal-algebra/universal-algebra.tex b/information-theory/information-theory.tex
index 12f87bc..707c765 100644
--- a/sem5/universal-algebra/universal-algebra.tex
+++ b/information-theory/information-theory.tex
@@ -4,11 +4,15 @@
 \begin{document}
 
 \author{Андрей гущин}
-\title{Универсальная прикладная алгебра}
+\title{Теория информации}
 \maketitle
 
 \include{lectures/lecture1.tex}
+\include{lectures/lecture2.tex}
 \include{lectures/lecture3.tex}
 \include{lectures/lecture4.tex}
+\include{lectures/lecture5.tex}
+\include{lectures/lecture6.tex}
+\include{lectures/lecture7.tex}
 
 \end{document}
diff --git a/sem5/information-theory/lectures/lecture1.tex b/information-theory/lectures/lecture1.tex
index 5cf5dc7..5cf5dc7 100644
--- a/sem5/information-theory/lectures/lecture1.tex
+++ b/information-theory/lectures/lecture1.tex
diff --git a/sem5/information-theory/lectures/lecture2.tex b/information-theory/lectures/lecture2.tex
index 5c4e598..5c4e598 100644
--- a/sem5/information-theory/lectures/lecture2.tex
+++ b/information-theory/lectures/lecture2.tex
diff --git a/sem5/information-theory/lectures/lecture3.tex b/information-theory/lectures/lecture3.tex
index 2103c8d..2103c8d 100644
--- a/sem5/information-theory/lectures/lecture3.tex
+++ b/information-theory/lectures/lecture3.tex
diff --git a/sem5/information-theory/lectures/lecture4.tex b/information-theory/lectures/lecture4.tex
index 0c2d14f..0c2d14f 100644
--- a/sem5/information-theory/lectures/lecture4.tex
+++ b/information-theory/lectures/lecture4.tex
diff --git a/sem5/information-theory/lectures/lecture5.tex b/information-theory/lectures/lecture5.tex
index a202dd5..a202dd5 100644
--- a/sem5/information-theory/lectures/lecture5.tex
+++ b/information-theory/lectures/lecture5.tex
diff --git a/sem5/information-theory/lectures/lecture6.tex b/information-theory/lectures/lecture6.tex
index 1907f9d..1907f9d 100644
--- a/sem5/information-theory/lectures/lecture6.tex
+++ b/information-theory/lectures/lecture6.tex
diff --git a/sem5/information-theory/lectures/lecture7.tex b/information-theory/lectures/lecture7.tex
index 21c1f00..21c1f00 100644
--- a/sem5/information-theory/lectures/lecture7.tex
+++ b/information-theory/lectures/lecture7.tex
diff --git a/sem5/languages/languages.tex b/languages/languages.tex
index 6e10590..6e10590 100644
--- a/sem5/languages/languages.tex
+++ b/languages/languages.tex
diff --git a/sem5/languages/lectures/lecture1.tex b/languages/lectures/lecture1.tex
index 0c48aa2..0c48aa2 100644
--- a/sem5/languages/lectures/lecture1.tex
+++ b/languages/lectures/lecture1.tex
diff --git a/sem5/languages/lectures/lecture2.tex b/languages/lectures/lecture2.tex
index b669a62..b669a62 100644
--- a/sem5/languages/lectures/lecture2.tex
+++ b/languages/lectures/lecture2.tex
diff --git a/sem5/languages/lectures/lecture5.tex b/languages/lectures/lecture5.tex
index 34bd3cb..34bd3cb 100644
--- a/sem5/languages/lectures/lecture5.tex
+++ b/languages/lectures/lecture5.tex
diff --git a/legal/legal.org b/legal/legal.org
new file mode 100644
index 0000000..8a67aaf
--- /dev/null
+++ b/legal/legal.org
@@ -0,0 +1,208 @@
+#+TITLE: Основы правовых знаний
+#+AUTHOR: Андрей Гущин
+#+LATEX_CLASS: Lecture
+#+LATEX_HEADER: \usepackage{../preamble}
+
+* Сущность государства и права
+
+  - Происхождение государства и права
+  - Сущность государства и права
+  - Источники права
+
+** Краткая характеристика первобытного общества
+   
+   Была первобытная демократия.
+   - Политическое равенство;
+   - Власть принадлежала высшему органу (общему собранию общины);
+   - Представители власти:
+     - Совет старейшин решал конфликты;
+     - Военные
+     - Религия
+   - Существовали некоторые социальные нормы;
+
+** Причины возникновения государства
+   
+   - Экономичасекая причина. Появление излишков в результате
+     улучшения орудий труда. Вместе с излишками появляется частная
+     собственность. Отделение ремесла от земледелия;
+   - Социальные причины;
+     - После расселения люди стали вести оседлый образ жизни;
+     - Переход от полигамии к моногамии;
+     - Переход от языческих религий к основным монотеистическим;
+   - Демографические причины;
+   - Политические причины
+     - Расселение на социальные слои по уровню материальных благ;
+     - Более богатый слой стремится получить власть;
+     - Необходимо умение урегулировать внутренние конфликты и решение
+       проблем с сосдями;
+     - Появляется объективная необходимость создания специального
+       аппарата по управлению таким обществом;
+
+** Происхождение права
+
+   - Санкционирование обычаев и традиций;
+   - Создание судебного прецедента;
+   - Создание новым государством своих нормативных актов и
+     законодательства;
+
+** Сущность государства и права
+
+   С 70х годов сущность государства становится капитализмом с
+   социальными гарантиями.
+
+   Сущность государства может быть
+   - Национальной
+   - Расовой
+   - Религиозной
+
+** Источники права
+
+   *Право* --- это система общеобязательных формально определённых
+   санкционированных государством правил поведения, регулирующих
+   наиболее важные стороны общественной жизни.
+
+   *Государство* --- это оргинизация политической власти в пределах
+   данной территории.
+
+   Существует понятие источника права в широком и узком смысле.
+
+   В широком смысле слова в
+   - экономической сфере --- принимаемые законы зависят от уровня
+     развития государства
+   - социальной
+   - идеологической
+
+   Формально юридические источники права
+   - Нормативные акты (Романо-герматнская правовая семья)
+     - Законы --- это нормативный акт принятый представительным
+       органом власти (Федеральное Собрание) в особом порядке
+       - Конституция (1993 год)
+       - Федеральные Конституционные Законы
+       - Федеральные законы
+       - Законы Субъектов Федерации
+     - Подзаконные нормативные акты
+       - Указ Предизента
+       - Постановление правительства
+       - Постановление/распоряжение министерств
+       - Постановления субъектов федерации и муниципальных органов
+       - Локальный нормативный акт
+   - Судебный прецедент (Англо-саксонская правовая семья)
+     - *Судебный прецедент* --- решение суда по конкретному делу,
+       которое было обобщено в вышестоящей инстанции и стало
+       обязательным для всех.
+   - Правовой обычай --- это правила поведения, вошедшие в привычку и
+     сознание людей и поэтому ставшее обязательным в результате
+     многократного повторения (обычай), которое влечёт правовые
+     последствия (правовой обычай);
+   - *Нормативный договор* заключается уполномоченными на то сторонами
+     и порождает новые нормы права;
+     - Пример: коллективный договор.
+   - Священные книги
+
+# Лекция 2 ()
+
+# Лекция 3 (11.02.22)
+* Правонарушения
+  1. Правонарушения, признаки, виды
+  2. Обсоятельства исключающие противопрравность деяния и юридичекую ответственность
+
+  Правонарушение --- противоправное, виновное, наказуемое общественно
+  опасное деяние вменяемого лица причиняющее вред интересам государства,
+  общества и граждан.
+
+** Признаки правонарушения
+   У вины есть два показателя
+   - психическое состояние
+   - возрастное состояние
+
+** Юридические состав правонарушения - преступления
+   Для того, чтобы
+   - Объект правонарушения
+     - Объекты бывают общими и специальными.
+     - Общий объект - правопорядок, социально-экономический строй,
+       интересы государства и общества;
+   - Субъект правонарушения
+     - Субъект --- праводееспособное лицо
+   - Объективная сторона правонарушения
+     - Причинно-следственная связь
+     - Время
+     - Место
+     - Способы совершения преступления
+       - Группой или одиночной
+       - С применением оружия или технических средств
+       - Повторность
+       - С особой жестокостью
+   - Субъективная сторона правонарушения
+     - Психическое отношение субъекта к своему деянию и его последствиям
+       - Цели, мотивы, установки
+     - Выражается понятием вина (виновность)
+       - Умышленная
+	 - Прямой умысел --- субъект сознавал общественную опасность
+           своих действий, /предвидел/ возможность или неизбежность
+	   их наступления и /желал их/ наступления.
+	 - Косвенный умысел --- субъект осознавал общественную
+           опасность своих действий, предвидел, не желал, но допусал
+           эти последствия, либо безразлично к ним относился.
+       - Неосторожная
+	 - Преступная самонадеятенность (легкомыслие) --- лицо
+           /предвидело/ возможность наступления опасных последствий,
+           но без достаточных к тому оснований самонадеянно
+           рассчитывало на их предотвращение.
+	 - Преступная небрежность (халатность) --- лицо /не
+           предвидело/ возможность наступления опасных последствий, но
+           в силу своих должностных обязанностей должно было
+           предвидеть.
+
+** Виды правонарушений
+   - Проступки
+     - Административные
+       - Виды административного наказания
+	 - Только для физических лиц - лишение
+	 - Дисквалификация
+	 - Обязательные работы (общественно полезные неоплачиваемые
+           работы в свободное от основной работы время) от 20 до 200
+           часов.
+	 - Административный арест
+	 - Штраф (юридические и физические лица)
+	 - Предупреждения
+	 - Административное приостановление деятельности
+     - Гражданиские
+       - В сфере имущественных и неимущественных (честь и достоиство) отношений
+	 - Регулируются гражданским кодексом
+       - Наказание - Возмещение ущерба
+     - Дисциплинарные
+       - Нарушение производственной, воинской, учебной или финансовой дисциплины
+	 - Наказание - Замечание, выговор, увольнение
+     - Материальные
+       - Причинение ущерба работниками своей организации
+       - Наказание - удержание зарплаты, либо возмещение стоимости вещи
+     - Процессуальные
+       - Неявка свидетелей
+       - Наказание - штраф
+
+** Обстоятельства, исключающие противоправность деяния и юридическую ответственность
+   - Необходимая оборона
+     - Означает, что не является преступлением причинение вреда при
+       защите личности и прав обороняющегося от других лиц, защите
+       интересов государства и общества, если не было допущено
+       превышение пределов необходимой обороны.
+     - Сопротивление должно быть равноправно нападению.
+   - Задержание преступников
+   - Крайняя необходимость
+     - Для устранения опасности личности лица или других лиц
+       - Если эта опасность не могла быть устранена другими
+         средствами.
+       - причинение вреда было меньше предотвращённого и причинение
+         вреда соответствовало степени опасности.
+   - Физическое и психическое принуждение
+     - Необходимо доказать, что лицо не могло руководить своими действиями
+   - Обоснованный риск
+     - Цель не могла быть достигнута иным путём и эта цель носит
+       общественно полезный характер.
+     - Не должен быть связан с угрозой для жизни многих людей, угрозой
+       экологической катастрофы или общественного бедствия.
+   - Исполнение приказа или распоряжения
+   - Невменяемый
+     - Хроническое психическое заболевание или временной расстройство
+   - Малозначительность деяния
+   - Амнистия, помилование
diff --git a/sem5/preamble.sty b/preamble.sty
index e3939ec..f35f534 100644
--- a/sem5/preamble.sty
+++ b/preamble.sty
@@ -67,8 +67,12 @@
 \newtheorem*{remark}{Замечание}
 % ----------------- %
 
-
 % --- Лемма --- %
 \theoremstyle{definition}
 \newtheorem*{lemma}{Лемма}
-% ----------------- %
\ No newline at end of file
+% ----------------- %
+
+% --- Лемма --- %
+\theoremstyle{definition}
+\newtheorem*{axiom}{Аксиома}
+% ----------------- %
diff --git a/run.sh b/run.sh
new file mode 100755
index 0000000..5b2f015
--- /dev/null
+++ b/run.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+[ -z "$@" ] && echo "Usage: $0 <base filename>" && exit 1
+cd $1 && find . -name "*.tex" | entr pandoc -s $1.tex -o $1.md
\ No newline at end of file
diff --git a/sem5/information-theory/information-theory.tex b/sem5/information-theory/information-theory.tex
deleted file mode 100644
index a38a193..0000000
--- a/sem5/information-theory/information-theory.tex
+++ /dev/null
@@ -1,18 +0,0 @@
-\documentclass{../Lecture}
-\usepackage{../preamble}
-
-\begin{document}
-
-\author{Андрей гущин}
-\title{Теория информации}
-\maketitle
-
-% \include{lectures/lecture1.tex}
-% \include{lectures/lecture2.tex}
-% \include{lectures/lecture3.tex}
-% \include{lectures/lecture4.tex}
-% \include{lectures/lecture5.tex}
-% \include{lectures/lecture6.tex}
-\include{lectures/lecture7.tex}
-
-\end{document}
diff --git a/sem5/run.sh b/sem5/run.sh
deleted file mode 100755
index 23e6b81..0000000
--- a/sem5/run.sh
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/sh
-cd $1 && find -name "*.tex" | entr pandoc -s $1.tex -o $1.md
\ No newline at end of file
diff --git a/sem5/universal-algebra/lectures/lecture1.tex b/sem5/universal-algebra/lectures/lecture1.tex
deleted file mode 100644
index 98db9dc..0000000
--- a/sem5/universal-algebra/lectures/lecture1.tex
+++ /dev/null
@@ -1,50 +0,0 @@
-% Лекция 1 (03.09.21)
-\section{Алгебра отношений}
-Обозначение множеств:
-\begin{itemize}
-  \item $A = \{ a : P(A) \}$
-  \item $[0, 1] = \{ x : x \in R \land 0 \leq x \leq 1 \}$
-  \item $A = \{ 0, 1, \dots, 10 \}$
-\end{itemize}
-
-Основные действия над множествами:
-\begin{itemize}
-  \item Сравнение множеств: $A = B$ означает, что $|A|=|B| \land \forall x \in A \iff x \in B$
-  \item Объединение: $A \cup B$ --- множество, состоящее из элементов $A$ или $B$. $A \cup B = \{ x : x \in A \lor x \in B \}$
-  \item Разность множеств: $A - B = \{ x : x \in A \land x \not\in B \}$
-\end{itemize}
-
-\begin{definition}
-  $\{ x, y \}$ называется неупорядоченной парой элементов $x$, $y$.
-\end{definition}
-
-\begin{definition}
-  Множество $(a, b) = \{ a, \{a, b\} \}$ называют упорядоченной парой.
-\end{definition}
-
-$A_1 \cdot \ldots \cdot A_n = \{ (a_1, a_2, \dots, a_n) : \dots \}$
-
-\dots
-
-\begin{definition}
-  Всюду определённое и однозначеное бинарное отношение $\phi \subset A \times B$ обозначается $\phi: A \to B$ и
-  называется отображением $A$ в $B$, или \textit{функцией} на множестве $A$ со значениями в множестве $B$.
-\end{definition}
-
-Для отображения $\phi: A \to B$:
-\begin{itemize}
-  \item Область определения $D_p = A$ 
-  \item Область значений $E_p = B$
-\end{itemize}
-
-\begin{definition}
-  Отображение $\phi: A \to B$ называется:
-  \begin{itemize}
-    \item \textit{Преобразованием} множества $A$, если $A = B$;
-    \item \textit{Отображением} множества $A$ на множество $B$, если $E_\phi = B$;
-    \item \textit{Взаимно однозначным отображением} множества $A$ в множество $B$, если оно является взаимно однозначным бинарным отношением;
-    \item \textit{Взаимно однозначным отображением} $A$ на $B$ если оно взаимно однозначно и $E_\phi = B$;
-    \item \textit{Перестановкой} множества $A$, если оно является взаимно однозначным отображением множества $A$ на себя.
-  \end{itemize}
-\end{definition}
-
diff --git a/sem5/universal-algebra/lectures/lecture3.tex b/sem5/universal-algebra/lectures/lecture3.tex
deleted file mode 100644
index 4707dd5..0000000
--- a/sem5/universal-algebra/lectures/lecture3.tex
+++ /dev/null
@@ -1,92 +0,0 @@
-% Лекция 3 (17.09.21)
-\begin{example}
-  На $Z$ рассматривается бинарное отношение $(x, y) \in \varepsilon \iff |x| = |y|$. 
-  Очевидно, что $\varepsilon$ рефлексивно, симметрично и транзитивно. 
-  $\varepsilon$ является эквивалентным на $Z$ с классами $\varepsilon(x) \{ x, -x \}$  
-\end{example}
-
-\begin{example}
-  На $Z$ для фиксированного $m \in N$ $(x, y) \in \varepsilon \iff$ $x - y$ делится
-  на $m$ то есть $x - y = k \cdot m$ для некоторого $k \in Z$.
-  \begin{itemize}
-    \item 
-      \textit{Рефлексивность}. $(x, x) \in \varepsilon$ равносильна 
-      $x - x = m \cdot k$, ($\exists k \in R$) --- выполняется 
-      $x - x = m \cdot O$ для $O \in Z$
-    \item 
-      \textit{Симметричность}. 
-      $(x, y) \in \varepsilon \implies (y, x) \in \varepsilon$, 
-      то есть $x \cdot y = m \cdot k, \, \exists k \in Z \implies 
-      y \cdot x = m \cdot l, \, (\exists l \in Z)$ --- верно, 
-      то есть $l = -k \in Z$
-    \item
-      \textit{Транзитивность}. 
-      $(x, y) \in \varepsilon \land (y, z) \in \varepsilon \implies 
-      (x, z) \in epsilon$, то есть 
-      $x - y = m \cdot k, \, (\exists k \in Z) \lor 
-      y - z = m \cdot l, \, (\exists l \in Z) \implies 
-      x -z = m \cdot p, \, (\exists p \in Z)$.
-  \end{itemize}
-
-  $x - z = (x - y) + (y - z) = m \cdot k + m \cdot l = m \cdot (k + l)$ для $k + l \in Z$
-  
-  Получаем, что $\varepsilon$ --- отношение эквивалентности, которое 
-  обозначается $\text{mod}\, m$ и называется отношением сравнения по модулю $m$.
-
-  Классы отношения эквивалентности $\varepsilon$ : 
-  \begin{eqnarray}
-    \varepsilon(0) &= \{ 0, m, 2m, \dots, -m, -2m \} = m \cdot \Z \\
-    \varepsilon(1) &= \{ 1, m + 1, 2m + 1, \dots, -m + 1, -2m + 1 \} = m \cdot \Z + 1 \\
-    &\dots \\
-    \varepsilon(m - 1) &= \{ m - 1, 2m - 1, \dots \} = m \cdot \Z + (m - 1) \\
-    \varepsilon(m) &= m \cdot \Z + m = m \cdot (Z + 1) = m \cdot Z = m(0)
-  \end{eqnarray}
-
-  Фактор-множество $\Z/\text{mod}\, m = \{ \varepsilon(0), \dots, \varepsilon(m - 1) \}$
-\end{example}
-
-\begin{example}
-  На множестве $V$ всех векторов на плоскости рассмотрим бинарное отношение $\varepsilon$:
-  $(a, b) \in \varepsilon \iff (a \upuparrows b \land |a| = |b|)$. 
-  $\varepsilon$ является отношением эквивалентности с классами эквивалентности 
-  $\varepsilon(a) = \{ x \in V : a \upuparrows x \land |a| = |x| \}$.
-  Фактор-множество: $V/\varepsilon = \{ \varepsilon(a) : a \in V \}$
-\end{example}
-
-\begin{definition}
-  Бинарное отношение $\varepsilon$ на множестве $A$ называется \textit{отношением
-  эквивалентности} (или просто \textit{эквивалентностью}), если оно рефлексивно,
-  симметрично и транзитивно.
-\end{definition}
-
-\begin{definition}
-  \textit{Ядром отображения} $\phi: A \to b$ называется бинарное отношение 
-  $ker \phi$ на множестве $A$, которое определяется по формуле 
-  \begin{equation*}
-    ker \phi \{ (a, b) \in A^2 : \phi(a) = \phi(b) \}
-  \end{equation*}
-\end{definition}
-
-\begin{definition}
-  \textit{Каноническим отображением} эквивалентности $\varepsilon$ называется
-  отображение $nat \varepsilon$ множества $A$ на фактор-множество $A/\varepsilon$,
-  которое каждому элементу $a \in A$ ставит в соответствие содержащий его класс
-  эквивалентности $[a]$. Легко видель, что $ker nat \varepsilon = \varepsilon$
-\end{definition}
-
-\begin{definition}
-  Подмножество $T \subset A$ называется полной системой представителей классов
-  эквивалентности $\varepsilon$ на множестве $A$, если:
-  \begin{enumerate}
-    \item $\varepsilon(T) = A$
-    \item из условия $t_1 \equiv t_2(\varepsilon)$ следует $t_1 = t_2$
-  \end{enumerate}
-\end{definition}
-
-Классы эквивалентности $[t] \in A/\varepsilon$ могут быть отождествленны со 
-своими представителями $t$ и фактор-множество $A/\varepsilon$ может быть 
-отождествленно с множеством $T$.
-
-...
-
-Извествен алгоритм построения СДНФ для любой формулы $\Phi (\neq 0)$
diff --git a/sem5/universal-algebra/lectures/lecture4.tex b/sem5/universal-algebra/lectures/lecture4.tex
deleted file mode 100644
index eb76b95..0000000
--- a/sem5/universal-algebra/lectures/lecture4.tex
+++ /dev/null
@@ -1,84 +0,0 @@
-% Лекция 4 01.10.21
-\begin{definition}[Принцип двойственности]
-  Если утверждение $\Phi$ верно для всех упорядоченных множеств, то
-  двойственное ему утверждение также верно для всех упорядоченных множеств.
-\end{definition}
-
-\begin{example}
-  \begin{enumerate}
-    \item
-      Для утверждения ``если в упорядоченном множестве существует $\sup X$,
-      то он единственнен'' двойственным будет ``если в упорядоченном
-      множестве существует $\inf X$, то он единственен''.
-    \item
-      Для утверждения ``упорядоченное множество $(A, \leq)$ имеет
-      наибольший элемент'' двойственным будет ``упорядоченное множество
-      $(A, \leq)$ имеет наименьший элемент''.
-  \end{enumerate}
-\end{example}
-
-\subsection{Упорядочивание множества слов}
-
-\subsection{Подмножества и морфизмы упорядоченных множеств}
-\begin{lemma}[Цорна]
-  Если в упорядоченном множестве любая цепь имеет верхнюю
-  грань, то каждый элемент этого множества содержится в
-  некотором максимальном элементе.
-\end{lemma}
-
-\begin{lemma}[Аксиома выбора]
-  Для любого множества $A$ существует такая функция
-  $f : P(A) \to A$, что $f(X) \in X$ для любого $X \in P(A)$.
-\end{lemma}
-
-\begin{definition}
-  Упорядоченное множество удовлетворяет \textit{условию минимальности},
-  если каждое его непустое подмножество имеет минимальный элемент.
-\end{definition}
-
-\begin{lemma}[Обобщённый принцип индукции]
-  Если упорядоченное множество удовлетворяет \textit{условию минимальности}
-  и подмножество $B \subset A$ содержит все такие элементы $a \in A$, для
-  которых при всех $x < a$ выполняется $x \in B$, то $B = A$.
-\end{lemma}
-
-\begin{definition}
-  \textbf{Морфизмы} --- это отображения $\varphi : A \to B$, которые сохряняют
-  дополнительную алгебраическую структуру на множества $(A, B)$.
-
-  Если $a_1 \leq_A a_2 \implies \varphi(a_1) \leq_B \varphi(a_2) \quad (\forall a_1, a_2 \in A)$
-\end{definition}
-
-\begin{example}
-  $\varphi : (\N, \leq_\N) \to (\Z, \leq_\Z)$
-\end{example}
-
-\subsection{Отношение квазипорядка}
-
-\begin{definition}
-  Бинарное отношение $\omega$ на множестве $A$ называется \textit{отношением
-  квазипорядка} (или просто \textit{квазипорядком}), если оно рефлексивно
-  и транзитивно.
-
-  Отношение $\delta = \omega \cap \omega^{-1}$ называется \textit{ядром}
-  квазипорядка $\omega$.
-\end{definition}
-
-\begin{example}
-  \begin{enumerate}
-    \item
-      Любая эквивалентность $\equiv$ и любой порядок $\leq$ на множестве
-      $A$ являются квазипорядками с ядрами $\delta = \equiv$ и
-      $\delta = \Delta_A$ соответственно.
-    \item
-      Отношение делимости $|$ на множество целых чисел $\Z$ является
-      квазипорядком с ядром $\delta = \{ (n, \mp n) | n \in \Z\}$.
-    \item
-      Отношение логического следлвания на множестве $F_{AB}$ формул
-      логики высказываний является квазипорядком, ядром которого
-      является отношение логической равносильности формул.
-    \item
-      Отношение достижимости вершин в ориентированном графе является
-      квазипорядком, ...
-  \end{enumerate}
-\end{example}
\ No newline at end of file