このコースについて

5,403 最近の表示
共有できる証明書
修了時に証明書を取得
100%オンライン
自分のスケジュールですぐに学習を始めてください。
柔軟性のある期限
スケジュールに従って期限をリセットします。
初級レベル
約24時間で修了
ロシア語
字幕:ロシア語

学習内容

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

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

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

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

習得するスキル

проверка эквивалентности сложных высказыванийпроверка корректности схем умозаключений в логике высказыванийпроверка выполнимости двоичных функцийформализация инженерных и технических задач
共有できる証明書
修了時に証明書を取得
100%オンライン
自分のスケジュールですぐに学習を始めてください。
柔軟性のある期限
スケジュールに従って期限をリセットします。
初級レベル
約24時間で修了
ロシア語
字幕:ロシア語

提供:

サンクトペテルブルク工科大学(Peter the Great St. Petersburg Polytechnic University) ロゴ

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

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

1

1

3時間で修了

Введение

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時間で修了

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

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

2

3時間で修了

Нормальные формы представления булевых функций

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

3

4時間で修了

Бинарные решающие диаграммы

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

4

3時間で修了

Основные понятия логики высказываний

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 分

よくある質問

  • Access to lectures and assignments depends on your type of enrollment. If you take a course in audit mode, you will be able to see most course materials for free. To access graded assignments and to earn a Certificate, you will need to purchase the Certificate experience, during or after your audit. If you don't see the audit option:

    • The course may not offer an audit option. You can try a Free Trial instead, or apply for Financial Aid.
    • The course may offer 'Full Course, No Certificate' instead. This option lets you see all course materials, submit required assessments, and get a final grade. This also means that you will not be able to purchase a Certificate experience.
  • 修了証を購入する際、コースのすべての教材(採点課題を含む)にアクセスできます。コースを完了すると、電子修了証が成果のページに追加されます。そこから修了証を印刷したり、LinkedInのプロフィールに追加したりできます。コースの内容の閲覧のみを希望する場合は、無料でコースを聴講できます。

  • 支払日から2週間後、または(開始直後のコースの場合は)コースの最初のセッションが開始されてから2週間後の、いずれかの遅い日付の期間までが全額の返金の対象となります。コースの修了証を取得した後は、2週間以内にコースを完了した場合でも返金することはできません。返金ポリシーをすべて表示します

  • はい。受講料の支払いが難しい受講生に、Coursera(コーセラ)は学資援助を提供しています。左側の[登録]ボタンの下にある[学資援助]のリンクをクリックして申請してください。申請書の入力を促すメッセージが表示され、承認されると通知が届きます。詳細

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