このコースについて
5,957 最近の表示

100%オンライン

自分のスケジュールですぐに学習を始めてください。

柔軟性のある期限

スケジュールに従って期限をリセットします。

初級レベル

約17時間で修了

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

ロシア語

字幕:ロシア語

学習内容

  • Check

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

  • Check

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

  • Check

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

  • Check

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

習得するスキル

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

100%オンライン

自分のスケジュールですぐに学習を始めてください。

柔軟性のある期限

スケジュールに従って期限をリセットします。

初級レベル

約17時間で修了

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

ロシア語

字幕:ロシア語

シラバス - 本コースの学習内容

1
3時間で修了

Введение

6件のビデオ (合計38分), 8 readings, 1 quiz
6件のビデオ
Основная идея математической логики9 分
Структура курса6 分
Проблема вычисления значения двоичной функции5 分
Логические эквивалентность, следствие, вывод5 分
Формулировки занимательных задач4 分
8件の学習用教材
Открытый Политех10 分
Как работать с курсом?10 分
Наши рекомендации для эффективного обучения на курсе10 分
Введение10 分
Список литературы10 分
Что такое математическая логика?5 分
Мотивация изучения курса5 分
Формальные модели и реальные явления10 分
1の練習問題
Что такое математическая логика30 分
3時間で修了

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

12件のビデオ (合計92分), 4 readings, 1 quiz
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 readings, 1 quiz
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 readings, 1 quiz
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 readings, 1 quiz
13件のビデオ
Синтаксис и семантика логики высказываний9 分
Эквивалентные преобразования логических формул6 分
Преобразование высказываний на естественном языке10 分
Схема решения задач с помощью логики высказываний4 分
Проверка высказываний на общезначимость6 分
Эквивалентные преобразования высказываний10 分
Упрощение сложных высказываний6 分
Задача про стражников3 分
Что такое структура доказательства3 分
Использование эквивалентных формулировок теорем в доказательствах8 分
Теоремы о необходимости и достаточности6 分
Еще способы упростить структуру доказательств6 分
4件の学習用教材
Синтаксис и семантика логики высказываний5 分
Анализ сложных высказываний5 分
Структуры доказательств математических теорем5 分
Основные понятия логики высказываний10 分
1の練習問題
Основные понятия логики высказываний1 時間 35 分

講師

インストラクターの画像、Шошмина Ирина Владимировна

Шошмина Ирина Владимировна

Кандидат технических наук
Институт компьютерных наук и технологий, Высшая школа программной инженерии

サンクトペテルブルク工科大学(Peter the Great St. Petersburg Polytechnic University)について

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

よくある質問

  • 修了証に登録すると、すべてのビデオ、テスト、およびプログラミング課題(該当する場合)にアクセスできます。ピアレビュー課題は、セッションが開始してからのみ、提出およびレビューできます。購入せずにコースを検討することを選択する場合、特定の課題にアクセスすることはできません。

  • 修了証を購入する際、コースのすべての教材(採点課題を含む)にアクセスできます。コースを完了すると、電子修了証が成果のページに追加されます。そこから修了証を印刷したり、LinkedInのプロフィールに追加したりできます。コースの内容の閲覧のみを希望する場合は、無料でコースを聴講できます。

さらに質問がある場合は、受講者向けヘルプセンターにアクセスしてください。