Розкрито зміст основних понять теорій множин, відношень, комбінаторики і графів. Розглянуто відображення і функції, розміщення, комбінації, рекурентні співвідношення, принцип включення та виключення. Викладено теоеретичні матеріали про бульові функції, контактні та логічні схеми, логіку висловлень і предикатів, суміжність та індицентність, ізоморфізм, маршрути, частини графа, зв'язність, подільність, планарність, асоціативне числення, еквівалентність слів, машину Тьюрінга, алгоритмічну розв'язність. Описано основні логічні операції, формули та підстановки, тавтології, висловлення, предикати та квантори, з'язані та вільні змінні, безпосередні висновки. Визначено властивості алгоритмів, обгрунтовано правила виведення та запропновано способи символізації мови.

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