Полезные материалы по ТИ на ИУ8 от ZAV

Документы

Зайцева А. В. «ТИ: календарный план» (2011)

Детальный план дисциплины «Теоретическая информатика». Темы лекций, семинаров, лабораторных работ; описание модульно-рейтинговой системы; образцы контрольных работ и типового д/з; список рекомендуемой литературы.

Зайцева А. В. «ТИ: рейтинговая система» (2011)

Образцы контрольных работ и д/з в более наглядном формате по сравнению с календарным планом.

Зайцева А. В. «ТИ: план занятий» (2011)

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

Зайцева А. В., Жуков А. Е. «ТИ: вопросы к зачёту» (2010)

Вопросы для самоконтроля и проверки остаточных знаний по теоретической информатике. Примерно с таких вопросов начинается зачёт. Первые два раздела также пригодятся при защите типового домашнего задания.

Зайцева А. В., Зуев Ю. А. «ТИ: вопросы к экзамену» (2017)

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

Зайцева А. В., Зуев Ю. А. «ТИ: вопросы к экзамену» (2020)

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

Книги

Методические пособия

Зайцева А. В. «Информатика» (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. Разным учебным группам были предоставлены ссылки на разные форки для коллективного обсуждения задач и заполнения оранжевых «песочниц».