課程信息

4,485 次近期查看
可分享的證書
完成後獲得證書
100% 在線
立即開始,按照自己的計劃學習。
可靈活調整截止日期
根據您的日程表重置截止日期。
初級
完成時間大約為24 小時
俄語(Russian)
字幕:俄語(Russian)

您將學到的內容有

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

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

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

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

您將獲得的技能

проверка эквивалентности сложных высказыванийпроверка корректности схем умозаключений в логике высказыванийпроверка выполнимости двоичных функцийформализация инженерных и технических задач
可分享的證書
完成後獲得證書
100% 在線
立即開始,按照自己的計劃學習。
可靈活調整截止日期
根據您的日程表重置截止日期。
初級
完成時間大約為24 小時
俄語(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 分

常見問題

  • 讲座和作业的访问权限取决于您的注册类型。如果您以旁听模式参加课程,则可以免费查看大多数课程资料。要访问评分作业并获得证书,您需要在旁听期间或之后购买证书体验。如果看不到旁听选项:

    • 课程可能不提供旁听选项。您可以尝试免费试用,也可以申请助学金。
    • 课程可能会改为提供'完整课程,没有证书'。通过此选项,您可以查看所有课程材料、提交所要求的作业,以及获得最终成绩。这也意味着您将无法购买证书体验。
  • 您购买证书后,将有权访问所有课程材料,包括评分作业。完成课程后,您的电子课程证书将添加到您的成就页中,您可以通过该页打印您的课程证书或将其添加到您的领英档案中。如果您只想阅读和查看课程内容,可以免费旁听课程。

  • 您可在付款后两周内,或者在课程第一个班次开课后(对于已启动的课程)两周内,获得全额退款,以其中较晚者为准。获得课程证书后,您便无法再退款;即使您在两周的退款期内完成了课程,也是如此。请阅读我们完整的退款政策

  • 是的,Coursera 可以向无法承担学费的学生提供助学金。点击左侧‘注册’按钮下的‘助学金’链接即可申请助学金。您可以根据屏幕提示完成申请,申请获批后会收到通知。了解详情

還有其他問題嗎?請訪問 學生幫助中心