课程信息

7,685 次近期查看
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
可灵活调整截止日期
根据您的日程表重置截止日期。
初级
完成时间大约为24 小时
俄语(Russian)

您将获得的技能

проверка эквивалентности сложных высказыванийпроверка корректности схем умозаключений в логике высказыванийпроверка выполнимости двоичных функцийформализация инженерных и технических задач
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
可灵活调整截止日期
根据您的日程表重置截止日期。
初级
完成时间大约为24 小时
俄语(Russian)

提供方

Placeholder

圣彼得堡国立技术大学

教学大纲 - 您将从这门课程中学到什么

1

1

完成时间为 3 小时

Введение

完成时间为 3 小时
6 个视频 (总计 38 分钟), 8 个阅读材料, 1 个测验
6 个视频
Основная идея математической логики9分钟
Структура курса6分钟
Проблема вычисления значения двоичной функции5分钟
Логические эквивалентность, следствие, вывод5分钟
Формулировки занимательных задач4分钟
8 个阅读材料
Открытый Политех10分钟
Как работать с курсом?10分钟
Наши рекомендации для эффективного обучения на курсе10分钟
Введение10分钟
Список литературы10分钟
Что такое математическая логика?5分钟
Мотивация изучения курса5分钟
Формальные модели и реальные явления10分钟
1 个练习
Что такое математическая логика30分钟
完成时间为 3 小时

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

完成时间为 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

2

完成时间为 3 小时

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

完成时间为 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

3

完成时间为 4 小时

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

完成时间为 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

4

完成时间为 3 小时

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

完成时间为 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 分

常见问题

还有其他问题吗?请访问 学生帮助中心