课程信息

8,280 次近期查看

100% 在线

立即开始,按照自己的计划学习。

可灵活调整截止日期

根据您的日程表重置截止日期。

初级

完成时间大约为17 小时

建议:6 недель обучения, 4-6 часов в неделю...

俄语(Russian)

字幕:俄语(Russian)

您将学到的内容有

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

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

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

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

您将获得的技能

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

100% 在线

立即开始,按照自己的计划学习。

可灵活调整截止日期

根据您的日程表重置截止日期。

初级

完成时间大约为17 小时

建议:6 недель обучения, 4-6 часов в неделю...

俄语(Russian)

字幕:俄语(Russian)

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

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 分

提供方

圣彼得堡国立技术大学 徽标

圣彼得堡国立技术大学

常见问题

  • 注册以便获得证书后,您将有权访问所有视频、测验和编程作业(如果适用)。只有在您的班次开课之后,才可以提交和审阅同学互评作业。如果您选择在不购买的情况下浏览课程,可能无法访问某些作业。

  • 您购买证书后,将有权访问所有课程材料,包括评分作业。完成课程后,您的电子课程证书将添加到您的成就页中,您可以通过该页打印您的课程证书或将其添加到您的领英档案中。如果您只想阅读和查看课程内容,可以免费旁听课程。

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