課程信息
2,956 次近期查看

100% 在線

立即開始,按照自己的計劃學習。

可靈活調整截止日期

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

初級

完成時間大約為17 小時

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

俄語(Russian)

字幕:俄語(Russian)

您將學到的內容有

  • Check

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

  • Check

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

  • Check

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

  • Check

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

您將獲得的技能

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

100% 在線

立即開始,按照自己的計劃學習。

可靈活調整截止日期

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

初級

完成時間大約為17 小時

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

俄語(Russian)

字幕:俄語(Russian)

教學大綱 - 您將從這門課程中學到什麼

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. ...

常見問題

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

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

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