Немного todo-шек.

Author: gsvgit

tex/part_01_Prep/chapter_02_SetTheory/02_Relations.tex

@@ -44,3 +44,4 @@ \section{Отношения}
 \end{theorem}
 
 Доказательство данной теоремы выполняется на основе определения умножения матриц\sidenote{Оставим его как упражнение для читателя.}.
+\mytodo{Но приведём пример. Три множества: X размера 2, Y размера 3, Z размера два. Отношения нерефлексивны. Первое отношение --- подмножество $X \times Y$, второе --- подмножество $Y \times Z$. Строим композцию и олучаем отношение $X \times Z$. Построить матрицы, перемножить, показать результат. Сказать, что всё соответствует определениям и теореме.}

tex/part_01_Prep/chapter_03_GraphTheoryIntro/04_BFS.tex

@@ -64,6 +64,7 @@ \section{Обход графа в ширину}
     \end{itemize}
 \end{minipage}
 
+\mytodo{Вынести обозначения операций в алгебраических струткруах (типа $\mmult{\BbbB}$)  в соответствующие разделы линейной алгебры. Перенести теховские определения в правильный файл из style}
 
 \begin{algorithm}
     %\SetAlgoLined
@@ -445,4 +446,3 @@ \section{Обход графа в ширину}
 \end{example}
 
 Идеи, заложенные в описанных выше алгоритмах, будут использоваться нами далее, при решении других задач.
-

tex/part_02_Foundations/chapter_04_FormalLanguageTheoryIntro/04_Generators.tex

@@ -12,6 +12,8 @@ \section{Генераторы}
     \end{itemize}
 \end{definition}
 
+\mytodo{Дать определение грамматики в общем виде. Сказать, что обычно указывают только правила. Стартовый нетерминал --- левая часть самого превого правили. Часто S, но не обязательно. Дальше при  создании грамматик задавать только правила, если только иное не критически важно.}
+
 Один шаг работы системы состоит из замены любого вхождения любой из левых частей правил на соответствующую правую часть правила.
 Иными словами, пусть есть слово $w = w_0 w_1 w_2$ и имеется правило $w_1 \to w_3 \in P$.
 Тогда после переписывания по этому правилу будет получено слово $w' = w_0 w_3 w_2$.