Основы дискретной математики
Привет, хабр. В преддверии старта базового курса «Математика для Data Science» делимся с вами переводом еще одного полезного материала.
Об этой статье
Эта статья содержит лишь малую часть информации по заявленной теме. Рассматривайте ее как вводный курс перед началом всестороннего изучения предмета. Надеюсь, вы найдете в ней полезную информацию. Знание дискретной математики помогает описывать объекты и задачи в информатике, особенно когда дело касается алгоритмов, языков программирования, баз данных и криптографии. В дальнейшем я планирую подробнее раскрыть темы, затронутые в этой статье. Приятного чтения!
ЧТО ТАКОЕ ДИСКРЕТНАЯ МАТЕМАТИКА?
Это область математики, изучающая объекты, которые могут принимать только уникальные отдельные значения.
Мы рассмотрим пять основных разделов в следующем порядке.
ЛОГИКА
Что такое логика?
Это наука о корректных рассуждениях. Мы будем использовать приемы идеализации и формализации. Неформальная логика изучает использование аргументов в естественном языке.
Формальная логика анализирует выводы с чисто формальным содержанием. Примерами формальной логики являются символическая логика и силлогистическая логика (о которой писал Аристотель).
Начнем с азов. Рассмотрим следующее высказывание на естественном языке:
«Если я голоден, я ем».
Пусть «голоден» будет посылкой A, а «ем» — следствием B. Попробуем формализовать:
A => B (то есть из A следует B)
NB. Посылка и следствие являются суждениями.
Логические выражения
Для нас важна форма, а НЕ содержание. Значение будет истинным, если оно соответствует форме.
Например, 10 4 — ИСТИНА.
Логические операции
Суждение P — это утверждение, которое может быть как истинным, так и ложным.
Обозначим истинное значение P единицей (1), а ложное значение P нулем (0).
Существует другое суждение; обозначим истинное значение Q единицей (1), а ложное значение Q нулем (0).
Рассмотрим логические операции с суждениями, значение которых истинно. Они могут сами образовывать истинные значения путем выполнения соответствующих операций над истинными значениями.
Дискретная математика для первокурсников: опыт преподавателя
Сегодня у меня необычный текст, совершенно не связанный с машинным обучением (для новых читателей: этот текст – часть блога компании Surfingbird, в котором я в течение последнего года рассказывал о разных аппаратах машинного обучения в приложении к рекомендательным системам). В этом посте математической части практически не будет, а будет описание очень простой программки, которую я написал для своих студентов. Вряд ли кто-то узнает для себя из этого поста много содержательно нового, но мне кажется, что некоторую ценность представляет сама идея – многие люди просто не задумываются о том, что «и так можно». Итак…
Постановка задачи
В этом семестре у меня началась несколько непривычная деятельность: я преподаю дискретную математику для первокурсников в петербургском филиале Высшей Школы Экономики; преподаю я давно, но, кажется, раньше никогда у меня не было студентов младше четвёртого-пятого курса. По ссылке можно найти краткое содержание курса, да и то неполное (курс ещё идёт), но речь не совсем об этом.
Думаю, большинство обитателей хабра хотя бы приблизительно помнят, что такое «дискретная математика для первокурсников»: пропозициональная логика, конъюнктивные и дизъюнктивные нормальные формы, базисы булевских функций, бинарные отношения, частичные порядки… В общем, ничего концептуально сложного, но это всё вещи, которыми надо овладеть очень прочно, на них держится любое математическое образование, и необходимость осознанно задумываться о них быстро станет непозволительной роскошью. Поэтому нужно много практических примеров и заданий, чтобы «набить руку».
В качестве одной из форм отчётности я выбрал «большое домашнее задание»: несколько как раз таких практических примеров, которые надо решать. У такой формы много плюсов: студенты работают в удобном им темпе, я тоже проверять могу сколько нужно, всё в письменном виде происходит, что всегда удобно. Но есть и минусы; главный минус прост – трудно сделать и проверить пятьдесят вариантов на пятьдесят студентов (на потоке их примерно столько и есть). А если дать один вариант на большую группу, понятно, что на выходе получишь красиво переписанные правильные ответы, особенно учитывая, что в такой базовой дискретной математике «ход решения» нередко просто отсутствует (как построить СДНФ – ну как, посмотреть на таблицу истинности да записать. ).
Чтобы обойти эту проблему, я решил написать простую программку, которая будет генерировать индивидуальное домашнее задание для каждого студента случайным образом. Идея чрезвычайно простая, но почему-то ни в свою бытность студентом, ни в более позднем преподавательском опыте я её ни разу не встречал – собственно, поэтому и пишу этот пост. Я приведу минимальный работающий пример, а потом покажу, что у меня в результате получилось.
Базовая технология понятна – нужно сделать LaTeX-заготовку, в которую вставлять конкретные задания для каждого студента. Совершенно всё равно, на каком языке это делать, мне исторически привычнее писать небольшие программки на C++, поэтому я и тут буду его использовать. Самый простой способ сделать это в C++, который я знаю, – это boost::format: достаточно сделать заготовки с плейсхолдерами вроде %1%, %2%, и потом можно вставлять туда что угодно (у boost::format есть и другие возможности, но нам они сейчас не понадобятся).
Итак, делаем шаблоны. Сначала общий шаблон «абстрактного LaTeX-документа»:
Потом конкретный шаблон собственно задания – его мы будем подставлять вместо %1%. Я здесь, как и обещал, привожу минимальный пример. Мы будем генерировать только одну задачку: по заданной булевской формуле перевести её в несколько других форм.
И теперь нам просто нужно сгенерировать, чем заполнить %3% (вместо %1% и %2% будут подставляться имя студента и номер группы). Для этого нужно научиться генерировать формулы. Сразу предупреждаю, что я плохой программист, и код ниже наверняка напоминает спагетти – в принципе, он работает, если кто-нибудь посоветует изящный рефакторинг, скажу спасибо.
Сначала надо завести структуру, которая будет хранить разные связки и типы узлов в формуле; для нашего минимального примера это лишнее, но мне надо было сделать ещё задачку про формулы алгебры множеств (объединения, пересечения да симметрические разности), и код про деревья формул хотелось переиспользовать. Поэтому вот глобальный объект, хранящий основную информацию:
Здесь мы создали «язык булевских формул», у которого пять бинарных связок (конъюнкция, дизъюнкция, импликация, XOR и эквивалентность) и одна унарная (отрицание). Седьмой тип узла – это переменная, у неё арность 0. В домашнем задании я ограничился формулами из четырёх переменных: меньше маловато, а больше становится слишком громоздко. Сюда же удобно записать генераторы случайного типа узла, случайной переменной, случайной бинарной связки (я пользовался распределениями из boost::random – опять же, очень удобно; хоть там и не так уж много чего реализовано, но нам сейчас много и не надо).
Такую структуру легко будет переиспользовать для формул алгебры множеств (это просто для сравнения, дальше GSet использоваться не будет):
Теперь создаём класс формулы. Булевская формула – это дерево, листьями которого служат переменные, а внутренними вершинами – логические связки. Мы хотим уметь генерировать формулы заданной глубины, поэтому в конструктор будем передавать, не пора ли сделать этот узел листом или, наоборот, обязательно бинарной связкой. Если нужно создать случайный узел, будем передавать тип g->TypesNo. Если узел оказался листом, ему нужно сгенерировать переменную (чтобы с большой вероятностью переменные попали все, мы просто берём их по кругу – формулы, конечно, не совсем случайные получаются, но это не страшно).
Теперь начинаем заполнять класс BNode. Главное для нас – чтобы формула успешно печаталась в LaTeX:
Кроме того, нужно будет уметь подсчитывать значение формулы на заданном наборе переменных:
Оставим пока класс BNode (мы к нему ещё вернёмся); теперь мы можем написать генератор случайной формулы. Будем генерировать формулу с заданной минимальной и максимальной глубиной (для поддержки минимальной глубины мы добавляли раньше в конструктор поле must_not_be_leaf):
Тут всё самоочевидно; единственное решение, которое я здесь принял – сделал унарные функции (т.е. отрицания) «бесплатными», не считающимися для глубины, иначе формулы получались бы слишком простыми. Кроме того, в булевской формуле логично запретить ставить два отрицания подряд, это бессмысленно; для этого нам и нужен был флаг must_be_binary в конструкторе.
И можно писать обработчик файла со списком студентов:
а затем и main, который читает файлы с форматами и процессит файлы со списками студентов:
Но постойте, слышу я голос внимательного читателя. Будет же ерунда получаться – небось, добрая половина так сгенерированных случайных формул окажутся тривиальными! Что верно, то верно – про половину не знаю, но даже одна случайно сгенерированная формула вида \varphi = x изрядно подмочит репутацию нашего метода. Давайте мы научимся это проверять. Для этого мы просто подсчитаем, сколько в формуле встречается связок и разных переменных, и потребуем, чтобы переменные встречались все, а связки – хотя бы две разные. Добавляем в BNode обход формулы:
и вписываем проверку формулы на разумность:
Можно ещё захотеть проверить, не является ли формула, скажем, всегда истинной, но я этого сознательно решил не делать – если сложная на вид формула вдруг окажется тождественно истинной, тем интереснее будет это задание для студента. А очевидные подформулы типа «x или не x» в нашем генераторе не будут получаться, потому что переменные перебираются по очереди, а не случайно.
Решения
Скептически настроенный читатель на этом месте разумно возразит: ну конечно, ты можешь сгенерировать over 9000 разных заданий, но ведь ты замучаешься их потом проверять! И действительно, проверять у каждого студента таблицу истинности – занятие для очень сильных духом людей, к которым я себя не отношу. Поэтому нашу программку надо будет модифицировать так, чтобы она могла облегчить и процесс проверки. Совсем автоматизировать его не получится (студенты всё равно будут сдавать работы, написанные в свободном формате от руки), поэтому достаточно будет просто сделать заранее самую противную часть этой работы.
Заводим другой LaTeX-шаблон для документа с ответами:
Я, опять же, ограничусь минимальным примером – давайте просто выведем таблицу истинности. Для этого нужно пройтись по всем возможным значениям переменных, посчитать истинностное значение формулы и красиво оформить результат в TeX’е. Добавляем два метода в класс BNode:
а затем добавляем это в process_one_student_file_boolean:
В результате в пару к файлу заданий (пример) получается соответствующий ему файл решений (тот же пример, решения), по которому проверять становится гораздо проще.
Заключение
И вот результат – полдня работы, а на выходе сколько угодно заданий с готовыми ответами, всё красиво оформлено и готово к выдаче студентам. Если интересно, каким получилось реальное задание, вот пример окончательного результата. Файл с ответами выкладывать не буду, чтобы лишний раз не подсказывать студентам – они сейчас как раз решают это домашнее задание. Думаю, если моё преподавание в ГУ-ВШЭ будет продолжаться, эта программка мне ещё не раз послужит; ближайший шанс её применить – билеты для письменного экзамена в тех же группах.
Основы дискретной математики: теория и практика
1 Министерство образования и науки Российской Федерации Московский государственный институт электронной техники (технический университет) Т.А. Олейник Основы дискретной математики: теория и практика Учебное пособие Утверждено редакционно-издательским советом института Москва 200
4 Оглавление Предисловие Глава. Множества, бинарные отношения, комбинаторика.. Множества и бинарные отношения. Базовые понятия и утверждения. Множества и операции над ними 2. Бинарные отношения на множестве Теоретические обоснования Задачи повышенной сложности.2. Элементы комбинаторики Базовые понятия и утверждения. Правило произведения и правило суммы 2. Сочетания и размещения 3. Некоторые комбинаторные соотношения Теоретические обоснования Задачи повышенной сложности Глава 2. Функции алгебры логики 2.. Булевы функции и способы их задания Базовые понятия и утверждения. Булевы векторы и булевы функции от переменных 2. Элементарные булевы функции 3. Задание булевых функций формулами Теоретические обоснования Задачи повышенной сложности 2.2. Совершенные дизъюнктивные и конъюнктивные нормальные формы Базовые понятия и утверждения. Принцип двойственности. 2. Задание функции совершенной дизъюнктивной нормальной формой 3. Задание функции совершенной конъюнктивной нормальной формой Теоретические обоснования Задачи повышенной сложности 2.3. Минимизация дизъюнктивных нормальных форм Базовые понятия и утверждения. Постановка задачи минимизации ДНФ 2. Понятие о сокращенной и тупиковой ДНФ 3. Построение минимальных ДНФ Теоретические обоснования Задачи повышенной сложности 2.4. Классы Поста и замыкание Базовые понятия и утверждения. Функции, сохраняющие 0; функции, сохраняющие 2. Самодвойственные функции 3. Монотонные функции 4. Линейные функции 5. Замыкание системы булевых функций Теоретические обоснования Задачи повышенной сложности 2.5. Полнота системы булевых функций Базовые понятия и утверждения
6 2. Изоморфные орграфы 3. Матрица смежности и матрица инцидентности орграфа 4. Ориентированные пути, цепи, циклы на орграфе 5. Ориентированные деревья Задачи повышенной сложности 3.9. Отыскание кратчайших путей. Алгоритм Дейкстры Базовые понятия и утверждения Теоретические обоснования 3.0. Задача о максимальном потоке в сети Базовые понятия и утверждения Теоретические обоснования 3.. Реализация булевых функций с помощью схем из функциональных элементов 3.2. Реализация булевых функций с помощью упорядоченных бинарных диаграмм решений Базовые понятия и утверждения. Основные понятия 2. Построение минимальных УБДР функции относительно заданного порядка переменных 3. Построение сокращенных УБДР по формулам Задачи повышенной сложности Глава 4. Элементы теории автоматов 4.. Ограниченно-детерминированные функции Базовые понятия и утверждения. Детерминированные функции 2. Ограниченно-детерминированные функции 4.2. Реализация ограниченно-детерминированных функций конечными автоматами Базовые понятия и утверждения. Конечный автомат Мили, способы его задания 2. Продолжение функций переходов и выходов на слова 3. Приведенный автомат Задачи повышенной сложности Ответы и указания к упражнениям Литература
7 Предисловие Данная книга представляет собой начальное пособие по дискретной математике и содержит материал, предусмотренный стандартной программой технических высших учебных заведений. Предварительные знания, необходимые для изучения этого пособия, исчерпываются школьным курсом математики и начальными сведениями по теории матриц. Пособие состоит из четырех глав. В первой главе приведены сведения из элементарной теории множеств и бинарных отношений, начальные сведения из комбинаторики. Вторая глава посвящена теории булевых функций и знакомит с различными способами их задания, со специальными классами формул для представления булевых функций, такими как совершенные дизъюнктивные, конъюнктивные нормальные формы и полином Жегалкина. Достаточно подробно обсуждается понятие полноты системы булевых функций. В третьей главе излагаются основы теории графов, в том числе рассматриваются несколько оптимизационных задач. Последние два параграфа третьей главы знакомят с двумя представлениями булевых функций: схемами из функциональных элементов и упорядоченными бинарными диаграммами решений. Четвертая глава может рассматриваться как введение в теорию автоматов. Материал первой главы используется при изложении последующих глав, вторая и третья главы практически независимы и могут изучаться в любом порядке относительно друг друга. Знакомство с четвертой главой предполагает знакомство со всеми предшествующими главами. Построение книги имеет ряд особенностей. Главы делятся на параграфы, ориентированные на изучение отдельной темы. Параграфы разбиты на части: «Базовые понятия и утверждения», «Теоретические обоснования» и «Задачи повышенной сложности». В первой части каждого параграфа приводятся основные понятия, излагаются без обоснования важные утверждения. Понятия и утверждения иллюстрируются многочисленными примерами. Приводятся решения типовых задач, а также даются простые упражнения для самостоятельного решения. В конце пособия приводятся ответы к упражнениям, ко многим из них даны указания и решения. Во второй части каждого параграфа тема излагается на более глубоком уровне, в частности, разбираются доказательства значительной части утверждений и нетривиальных алгоритмов из первой части.
8 Третья часть каждого параграфа содержит набор нетиповых задач по теме, предназначенных для студентов, проявляющих повышенный интерес к предмету. Если студент не видит необходимости в глубокой проработке материала, то он может ограничиться изучением лишь первых частей параграфов. Это позволит ему познакомиться с достаточно широким кругом понятий дискретной математики, набором алгоритмов решения стандартных задач и поможет в дальнейшем самостоятельно изучать прикладную литературу. Студенту, заинтересованному в усвоении курса, советуем изучить пособие в полном объеме: познакомиться с обоснованиями утверждений и алгоритмов, а также не пожалеть времени на поиск решений задач повышенной сложности.
31 б) Сколькими способами на одной полке можно разместить 6 книг по физике и 6 книг по математике так, чтобы книги по физике чередовались с книгами по математике? Упражнение.2. а) Сколькими способами Маша может выбрать 2 предмета из 8 для сдачи экзамена по выбору? б) Маша должна сдать 2 экзамена за 8 дней. Сколькими способами она может составить расписание экзаменов, если нельзя сдавать больше одного экзамена в день? Упражнение.3. В киоске продаются 0 видов рождественских поздравительных открыток. Тане нужно купить 8 открыток. Сколькими способами Таня сможет это сделать, если: а) она решила купить открытки только разных видов; б) она решила купить по две открытки четырех видов; в) Тане все равно, какие открытки покупать; г) одна из открыток понравилась Тане больше других, и она решила купить хотя бы одну такую открытку? Упражнение.4. Собрание из 50 человек выбирает председателя, секретаря и трех членов счетной комиссии. Сколькими способами это можно сделать? k 3. Некоторые комбинаторные соотношения. Числа C называются также биномиальными коэффициентами, поскольку они фигурируют в функциональном тождестве, называемом формулой бинома Ньютона: 0 k k ( + x) = C + C x C x C x. Доказательство формулы приведено во второй части параграфа. Для чисел k C выполняется тождество C k k C k k k C = C + C. Действительно, ( )! ( )! + = + = k!( k )! ( k )!( k)! ( )! ( )! = + = ( k )! k ( k )! ( k )!( k )!( k) ( )! = + = ( k )!( k )! k k ( )!! = = = C ( k )!( k )! k ( k) k!( k)! Из этого тождества вытекает эффективный способ рекуррентного вычисления биномиальных коэффициентов, который можно представить в виде так называемого треугольника Паскаля: k.
33 2) индуктивный переход, состоящий в том, что, полагая справедливым утверждение P ( 0 ) ( 0 N 0 ), доказывают справедливость утверждения P ( 0 + ). Пример 0. Доказать методом математической индукции формулу бинома Ньютона 0 ( + x) = C + C x C x.. Базис индукции. При = имеем формула верна. 0 0 ( + x) = C + Cx. Поскольку C = C =, 2. Индуктивный переход. Докажем, что из предположения о том, что верно равенство следует, что верно равенство ( + x) = C + C x C x + C x, ( + x) = C + C x C x + C x, полученное из формулы бинома Ньютона заменой на 0 +. В самом деле, имеем ( x) ( x) ( x) + = + + = ( 0 C C x C x. C x C x 0 )( x ) = = = C + C x+ C x + + C x + C x C x+ C x + C x + + C x + C x = ( ). ( ) = C + C + C x+ + C + C x + C x = = C + C x+ C x + + C x + C x (при переходе, помеченном ( ), были использованы тождество k k k C = C + C и равенства 0 C =, C + =, C =, C + + = ) Таким образом, формула бинома Ньютона справедлива для любого. Приведенная формулировка принципа математической индукции допускает равносильные варианты. В некоторых случаях мы будем использовать вариант, в котором индуктивный переход состоит в предположении справедливости утверждения P ( ) для 0 и доказательстве его справедливости для = 0 +. Для доказательства комбинаторных соотношений также пользуются аппаратом математического анализа. Проиллюстрируем это на примере. Пример. Доказать, что при любом натуральном выполняется равенство
Дискретные структуры: матан для айтишников
Посмотришь на любую программу обучения по IT-специальности, и тут же увидишь дисциплину «Дискретная математика» (возможно, под другим названием), обычно для перво- или второкурсников. И её наличие вполне разумно, поскольку дискретная математика и непрерывная математика (представленная на первом курсе институтов с незапамятных времён математическим анализом) — две грани единой Математики, — красивой, могучей науки.
Хотя раньше такого понятия, как «дискретная математика» вовсе не было, это не значит, что не возникало дискретных задач: Абель, Дирихле, Фибоначчи, Эйлер, чьи имена возникают по ходу изучения дискретной математики, — отнюдь не наши современники! Но просто в те времена для выделения самостоятельной ветви математики ещё не сложилось критической массы задач и приёмов, не было видно взаимосвязей между ними. А большое количество плодотворных взаимосвязей между, на первый взгляд, различными понятиями, — то, что математики в своей науке очень ценят.
Ну хорошо, математикам всё математическое интересно. А зачем дискретная математика программисту?
Зачем это айтишнику
Во-первых, многие идеи, которые особенно ярко иллюстрируются на дискретных задачах, неотъемлемы и для информатики. Взять, хотя бы, фундаментальные понятия рекурсии и индукции.
Рекурсия — это, дословно, возврат, обращение к самому себе. Хорошо известные вездесущие числа Фибоначчи проще всего определяются рекурсивно: первые два числа Фибоначчи равны единице, а каждое следующее число равно сумме двух своих предшественников: 1,1,2,3,5,8,… Таким образом, для вычисления очередного числа мы обращаемся к уже рассчитанным числам такого же вида. Трудно представить, как можно изучить функциональное программирование, да и многое из других областей информатики, не освоившись хорошо с рекурсией. Очень близкий процесс к рекурсии — это индукция, способ доказательства математических утверждений, при котором в доказательстве сложных случаев мы опираемся на более простые. Параллели с рекурсией очевидны, и действительно, обычное дело, когда индуктивное доказательство существования какого-то объекта можно переформулировать в описание рекурсивного способа построения этого объекта.
Раз речь зашла о таких фундаментальных вещах, как индукция и рекурсия, не могу не сказать, что многие приёмы, которые очень хорошо видны на примерах из дискретной математики, эффективны в математике в целом. Это не только индукция, но и принцип Дирихле, принцип выбора по среднему значению и другие.
Следующий элемент, без которого информатику нельзя представить — это графы. Простейшие алгоритмы на графах обязательно входят в любой, даже самый вводный, курс по алгоритмам. Скажем, с понятием гамильтонова цикла связана одна из классических задач информатики, задача коммивояжёра.
Ещё одно архиважное умение — считать точно и оценивать приблизительно количества. Например, как вычислить количество раз, которые выполняется операция сравнения в цикле:
Или вот ещё пример. Нужно из списка из 100 товаров выбрать 20, так, чтобы их суммарная стоимость была ровно 2000 рублей («без сдачи»). Это вариант классической задачи о рюкзаке. Допустим, ваш коллега, подумав ночь, предложил решать задачу перебором: перебрать всевозможные наборы из двадцати товаров, и, как только в ходе перебора возникнет нужный набор, выдать его в качестве ответа. Между прочим, характеристика «переборный» далеко не всегда ставит клеймо на алгоритме. Всё зависит от размера входных данных. Так вот, как прикинуть, удастся ли за разумное время решить перебором эту задачу выбора 20 объектов из 100?
Наконец, для современного «дизайнера алгоритмов» обязателен к пониманию и вероятностный метод. Это общий метод, позволяющей решать многие задачи в современной комбинаторике. Очень часто наилучшие решения задач, известные на сегодняшний день, получены именно этим методом. Для практика же овладение этим методом полезно постольку, поскольку вероятностные алгоритмы прочно заняли место в современной информатике. И при анализе работы таких алгоритмов очень помогает интуиция, развитая в ходе изучения вероятностного метода.
Онлайн-курс «Дискретные структуры»
С верой в то, что перечисленные понятия из дискретной математики действительно не помешают любому программисту, а, скорее, помешает их незнание, я читаю соответствующий курс на факультете ФИВТ МФТИ. А недавно у меня появилась возможность сделать онлайн-курс, чем я с радостью воспользовался. Записаться на него можно по ссылке. Главное, чего я пожелаю всем записавшимся: не побоявшись трудностей, пройти курс до самого конца, и получить заслуженное звание Дипломированного Дискретчика. В общем, чтобы MOOC прошёл без мук и обогатил знаниями! Да и собственная корысть у меня тут тоже есть: чем больше онлайн-учеников у меня будет, тем большему я смогу научиться, читая обсуждения и наблюдая статистику решения задач. Ведь учиться учить тоже никогда не поздно!
Какие знания потребуются
Для прохождения первых двух модулей потребуются только школьные знания. Третий модуль потребует знание основ математического анализа на уровне «что такое предел» и «какая из функций x 20 или 2 x растёт быстрее (чему равны производные функций)». Для последних трёх модулей понадобится представление о том, что такое вероятность, условная вероятность, математическое ожидание, дисперсия. Также хорошо бы знать, что такое базис и размерность линейного пространства. Если с вероятностью и линейной алгеброй вы не знакомы, можно записаться заодно на эти вводные курсы. Тогда как раз, к моменту, когда нам потребуются эти знания, они у вас будут.
Post scriptum
Меня можно было бы упрекнуть в конфликте интересов, всё-таки я математик, и, естественно, хочу приобщить к своей секте как можно больше завсегдатаев Хабра. В своё оправдание могу сослаться на этот ответ на Quora. Под большей частью тем, перечисленных в этом ответе, я готов лично подписаться, в онлайн-курс многие из них вошли. Ещё сошлюсь на подборку мнений яндексоидов.