Об этом курсе
Недавно просмотрено: 2,464

100% онлайн

Начните сейчас и учитесь по собственному графику.

Гибкие сроки

Назначьте сроки сдачи в соответствии со своим графиком.

Начальный уровень

Прибл. 17 часа на выполнение

Предполагаемая нагрузка: 6 недель обучения, 4-6 часов в неделю...

Русский

Субтитры: Русский

Чему вы научитесь

  • Check

    формализовывать инженерные проблемы

  • Check

    получать корректные следствия из установленных фактов

  • Check

    формально представлять и преобразовывать информацию об окружающем мире

  • Check

    проверять эквивалентность высказываний

Приобретаемые навыки

проверка эквивалентности сложных высказыванийпроверка корректности схем умозаключений в логике высказыванийпроверка выполнимости двоичных функцийформализация инженерных и технических задач

100% онлайн

Начните сейчас и учитесь по собственному графику.

Гибкие сроки

Назначьте сроки сдачи в соответствии со своим графиком.

Начальный уровень

Прибл. 17 часа на выполнение

Предполагаемая нагрузка: 6 недель обучения, 4-6 часов в неделю...

Русский

Субтитры: Русский

Программа курса: что вы изучите

Неделя
1
3 ч. на завершение

Введение

6 видео ((всего 38 мин.)), 8 материалов для самостоятельного изучения, 1 тест
6 видео
Основная идея математической логики9мин
Структура курса6мин
Проблема вычисления значения двоичной функции5мин
Логические эквивалентность, следствие, вывод5мин
Формулировки занимательных задач4мин
8 материала для самостоятельного изучения
Открытый Политех10мин
Как работать с курсом?10мин
Наши рекомендации для эффективного обучения на курсе10мин
Введение10мин
Список литературы10мин
Что такое математическая логика?5мин
Мотивация изучения курса5мин
Формальные модели и реальные явления10мин
1 практическое упражнение
Что такое математическая логика30мин
3 ч. на завершение

Булевы функции

12 видео ((всего 92 мин.)), 4 материалов для самостоятельного изучения, 1 тест
12 видео
Построение схемы отображения электронных часов11мин
Двоичные функции и таблицы истинности5мин
Двоичные функции от 0, 1-ой, 2-х переменных9мин
Вычисление значения функции по синтаксическому дереву10мин
Семантическое дерево двоичной функции6мин
Необходимость перехода от таблицы истинности к формуле4мин
Формулировка основной теоремы теории двоичных функций7мин
Свойства двоичных функций6мин
Как проверить свойства двоичных функций5мин
Лемма Шеннона и доказательство основной теоремы8мин
Значение основной теоремы8мин
4 материала для самостоятельного изучения
Двоичные функции как конечные функциональные преобразователи5мин
Двоичные функции и логические формулы5мин
Основная теорема теории двоичных функций5мин
Булевы функции10мин
1 практическое упражнение
Булевы функции1ч 30мин
Неделя
2
3 ч. на завершение

Нормальные формы представления булевых функций

13 видео ((всего 98 мин.)), 4 материалов для самостоятельного изучения, 1 тест
13 видео
Построение СКНФ7мин
Суммируя знания: СДНФ, СКНФ, полином Жегалкина8мин
Переход между нормальными формами6мин
Актуальность задачи минимизации булевых функций4мин
Карты Карно8мин
Карты Карно от 4-х переменных7мин
Примеры минимизации электронных часов и варочной плиты7мин
Замечания о минимальной ДНФ и КНФ7мин
Код Грея. Карты Карно от 5-ти, 6-ти переменных8мин
Двоичные функции как механизм абстракции5мин
Релейно-контактные схемы и двоичные функции7мин
Построение цифровой аппаратуры11мин
4 материала для самостоятельного изучения
ДНФ, КНФ и полином Жегалкина5мин
Минимизация булевых функций5мин
Применение булевых функций5мин
Нормальные формы представления булевых функций1мин
1 практическое упражнение
Нормальные формы представления булевых функций1ч 30мин
Неделя
3
4 ч. на завершение

Бинарные решающие диаграммы

11 видео ((всего 79 мин.)), 4 материалов для самостоятельного изучения, 1 тест
11 видео
Определение и характеристики BDD10мин
Булевы операции и BDD. Алгоритм APPLY6мин
Свойства BDD. Зависимость от переменной, минимизация функции7мин
Вычисление BDD двух функций и применение этой задачи к аппаратным схемам6мин
BDD: программа вычисления значения функции, кодирование множеств и задание ограничений6мин
Постановка проблемы достижимости множества3мин
Символьное представление множеств и символьные вычисления7мин
Символьное представление конечных функций6мин
Операции над характеристическими функциями отношений5мин
К символьному решению проблемы достижимости8мин
4 материала для самостоятельного изучения
BDD - бинарные решающие диаграммы. Основные определения5мин
Применение BDD5мин
Символьные вычисления5мин
Бинарные решающие диаграммы10мин
1 практическое упражнение
Бинарные решающие диаграммы2ч 15мин
Неделя
4
3 ч. на завершение

Основные понятия логики высказываний

13 видео ((всего 90 мин.)), 4 материалов для самостоятельного изучения, 1 тест
13 видео
Синтаксис и семантика логики высказываний9мин
Эквивалентные преобразования логических формул6мин
Преобразование высказываний на естественном языке10мин
Схема решения задач с помощью логики высказываний4мин
Проверка высказываний на общезначимость6мин
Эквивалентные преобразования высказываний10мин
Упрощение сложных высказываний6мин
Задача про стражников3мин
Что такое структура доказательства3мин
Использование эквивалентных формулировок теорем в доказательствах8мин
Теоремы о необходимости и достаточности6мин
Еще способы упростить структуру доказательств6мин
4 материала для самостоятельного изучения
Синтаксис и семантика логики высказываний5мин
Анализ сложных высказываний5мин
Структуры доказательств математических теорем5мин
Основные понятия логики высказываний10мин
1 практическое упражнение
Основные понятия логики высказываний1ч 35мин

Преподаватели

Avatar

Шошмина Ирина Владимировна

Кандидат технических наук
Институт компьютерных наук и технологий, Высшая школа программной инженерии

О Санкт-Петербургский политехнический университет Петра Великого

Peter the Great St. Petersburg Polytechnic University has a long-standing and successful history over 100 years where a great deal of important discoveries and inventions have been made. It was founded in 1899. SPbPU has recently become the "National Research University" – a recognized Russian and international leader in the field of engineering and economic education with a rich educational, scientific and innovation infrastructure. The University is a member of Academic Excellence program among Russian Universities “5-100-2020”. SPbPU is listed in the QS World University Rankings (471-480) and Times Higher Education (113th position among European universities). SPbPU is a leading university of Russia with over than 26 000 students and postgraduates, 4500 of them are foreign citizens from 115 countries. The University is carrying out education and research activities in the following areas: natural science, engineering, economics and humanities. SPbPU trains specialists in 49 Bachelor Degree programs and 200 Master Degree programs, including 20 international Master Degree programs taught in English, 90 PhD programs and Doctorate programs. The University is proud of its longstanding traditions of international cooperation with many foreign educational institutions, research organizations and industrial companies. Among the partners of the University are 293 universities and 90 partner companies from 68 countries. ...

Часто задаваемые вопросы

  • Зарегистрировавшись на сертификацию, вы получите доступ ко всем видео, тестам и заданиям по программированию (если они предусмотрены). Задания по взаимной оценке сокурсниками можно сдавать и проверять только после начала сессии. Если вы проходите курс без оплаты, некоторые задания могут быть недоступны.

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

Остались вопросы? Посетите Центр поддержки учащихся.