Дискретная математика для IT
Логика, множества, комбинаторика, графы и доказательства для разработчика.
Логика, множества, комбинаторика, графы и доказательства для разработчика.
Учитесь по порядку: прочитайте объяснение, решите задачу до раскрытия ответа и проверьте ход рассуждений. Затем выполните лабораторную работу курса. В справочнике собраны все разделы и пример с пояснениями; переходить на другие сайты для чтения материала не требуется. Для выполнения кода или работы с оборудованием нужна указанная учебная среда. Оценка часов включает самостоятельную практику и итоговый проект, а не только чтение.
Что вы разберёте
1Логика высказываний и таблицы истинностиОбъяснение и задача с ответом2Множества, отношения и функцииОбъяснение и задача с ответом3Комбинаторика и принцип ДирихлеОбъяснение и задача с ответом4Индукция, инварианты и доказательстваОбъяснение и задача с ответом5Графы, деревья и маршрутыОбъяснение и задача с ответом6Вероятность и статистическое мышлениеОбъяснение и задача с ответомУчитесь с проверкой результата
Сначала решайте задачи самостоятельно, затем сравнивайте рассуждение с разбором. Итоговая работа проверяет применение знаний; отметка урока не является автоматической аттестацией.
Подготовка, пример и итоговая работа →