Документы
Зайцева А. В. «ТИ: календарный план» (2011)
Детальный план дисциплины «Теоретическая информатика». Темы лекций, семинаров, лабораторных работ; описание модульно-рейтинговой системы; образцы контрольных работ и типового д/з; список рекомендуемой литературы.
Зайцева А. В. «ТИ: рейтинговая система» (2011)
Образцы контрольных работ и д/з в более наглядном формате по сравнению с календарным планом.
Зайцева А. В. «ТИ: план занятий» (2011)
План лекций и семинаров. В отличие от календарного плана, оформлен в виде таблицы и занимает всего одну страницу мелким шрифтом.
Зайцева А. В., Жуков А. Е. «ТИ: вопросы к зачёту» (2010)
Вопросы для самоконтроля и проверки остаточных знаний по теоретической информатике. Примерно с таких вопросов начинается зачёт. Первые два раздела также пригодятся при защите типового домашнего задания.
Зайцева А. В., Зуев Ю. А. «ТИ: вопросы к экзамену» (2017)
Темы, которые необходимо знать к экзамену, а также вопросы для самоконтроля и полуустные задачи.
Зайцева А. В., Зуев Ю. А. «ТИ: вопросы к экзамену» (2020)
Темы, которые необходимо знать к экзамену, а также вопросы для самоконтроля и полуустные задачи. По сравнению с 2017 годом добавились графы.
Зайцева А. В., Зуев Ю. А. «ТИ: вопросы к экзамену» (2021)
Темы, которые необходимо знать к экзамену, а также вопросы для самоконтроля и полуустные задачи. По сравнению с 2020 годом добавилась теорема Лагранжа.
Зайцева А. В. «ТИ: образцы билетов» (2017)
Парочка старых билетов. Так сказать, «нулевой вариант».
Книги
Методические пособия
Зайцева А. В. «Информатика» (2010), 98 стр.
Основы теоретической информатики: элементы теории множеств; базовые комбинаторные понятия и схемы; основы теории чисел; системы счисления.
Материал изложен доступным языком и сопровождается наглядными примерами. В конце каждой главы приведены задачи для самостоятельного решения.
Пособие предназначено для студентов первого курса, обучающихся по специальностям «Комплексное обеспечение информационной безопасности автоматизированных систем» и «Компьютерная безопасность».
Зайцева А. В. «Сборник математических неясностей» (2017), 15 стр.
Казалось бы, математика — самая точная и формализованная из всех наук. Однако даже здесь разные учёные не могут договориться о единой системе терминов и обозначений. Считать ли ноль натуральным числом? Как выделить целую часть из отрицательной дроби? Каким символом обозначается биномиальный коэффициент?
Некоторые неопределённости формулировок и двусмысленности терминов разъясняются в этом сборнике.
Зайцева А. В. «Преобразование суммы с (k+2) в знаменателе» (2016), 5 стр.
Три способа преобразования суммы биномиальных коэффициентов, в знаменателе которой присутствует счётчик (k+2).
Зайцева А. В. «Сопряжённые биномы» (2016), 2 стр.
Преобразование суммы биномиальных коэффициентов, счётчик в которой идёт с шагом 2.
Зайцева А. В. «Формула включений-исключений» (2019), 4 стр.
Принцип включения-исключения (он же — формула перекрытий): формулировка, примеры, комбинаторное доказательство.
Зайцева А. В. «Системы сравнений первой степени» (2016), 9 стр.
Небольшое пособие по модульной арифметике. Посвящено решению систем линейных сравнений методом последовательной подстановки и методом, основанным на китайской теореме об остатках.
Зайцева А. В. «Введение в системы счисления (рукописный конспект)» (2018), 1 стр.
Немного о позиционных и непозиционных системах счисления.
Зайцева А. В. «Группы-кольца-поля (рукописный конспект)» (2018), 3 стр.
Пара слов об основных алгебраических системах: группах, кольцах и полях.
Зайцева А. В. «Конспект семинаров по ТИ» (2020), 50 стр.
Материал для дистанционного проведения семинаров по Теоретической информатике в период карантина. Сюда не попала первая половина семестра, которая проходила IRL.
Следует понимать, что это не полноценный курс ТИ: так, например, определения зачастую формулируются «на пальцах», нестрого.
Конкретно данная копия документа — read-only. Разным учебным группам были предоставлены ссылки на разные форки для коллективного обсуждения задач и заполнения оранжевых «песочниц».