课程信息
2,051 次近期查看

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

常见问题

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

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

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