About this Course

7,970 recent views

Shareable Certificate

Earn a Certificate upon completion

100% online

Start instantly and learn at your own schedule.

Flexible deadlines

Reset deadlines in accordance to your schedule.

Beginner Level

Approx. 17 hours to complete

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

Russian

Subtitles: Russian

What you will learn

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

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

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

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

Skills you will gain

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

Shareable Certificate

Earn a Certificate upon completion

100% online

Start instantly and learn at your own schedule.

Flexible deadlines

Reset deadlines in accordance to your schedule.

Beginner Level

Approx. 17 hours to complete

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

Russian

Subtitles: Russian

Offered by

Peter the Great St. Petersburg Polytechnic University logo

Peter the Great St. Petersburg Polytechnic University

Syllabus - What you will learn from this course

Week
1

Week 1

3 hours to complete

Введение

3 hours to complete
6 videos (Total 38 min), 8 readings, 1 quiz
6 videos
Основная идея математической логики9m
Структура курса6m
Проблема вычисления значения двоичной функции5m
Логические эквивалентность, следствие, вывод5m
Формулировки занимательных задач4m
8 readings
Открытый Политех10m
Как работать с курсом?10m
Наши рекомендации для эффективного обучения на курсе10m
Введение10m
Список литературы10m
Что такое математическая логика?5m
Мотивация изучения курса5m
Формальные модели и реальные явления10m
1 practice exercise
Что такое математическая логика30m
3 hours to complete

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

3 hours to complete
12 videos (Total 92 min), 4 readings, 1 quiz
12 videos
Построение схемы отображения электронных часов11m
Двоичные функции и таблицы истинности5m
Двоичные функции от 0, 1-ой, 2-х переменных9m
Вычисление значения функции по синтаксическому дереву10m
Семантическое дерево двоичной функции6m
Необходимость перехода от таблицы истинности к формуле4m
Формулировка основной теоремы теории двоичных функций7m
Свойства двоичных функций6m
Как проверить свойства двоичных функций5m
Лемма Шеннона и доказательство основной теоремы8m
Значение основной теоремы8m
4 readings
Двоичные функции как конечные функциональные преобразователи5m
Двоичные функции и логические формулы5m
Основная теорема теории двоичных функций5m
Булевы функции10m
1 practice exercise
Булевы функции1h 30m
Week
2

Week 2

3 hours to complete

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

3 hours to complete
13 videos (Total 98 min), 4 readings, 1 quiz
13 videos
Построение СКНФ7m
Суммируя знания: СДНФ, СКНФ, полином Жегалкина8m
Переход между нормальными формами6m
Актуальность задачи минимизации булевых функций4m
Карты Карно8m
Карты Карно от 4-х переменных7m
Примеры минимизации электронных часов и варочной плиты7m
Замечания о минимальной ДНФ и КНФ7m
Код Грея. Карты Карно от 5-ти, 6-ти переменных8m
Двоичные функции как механизм абстракции5m
Релейно-контактные схемы и двоичные функции7m
Построение цифровой аппаратуры11m
4 readings
ДНФ, КНФ и полином Жегалкина5m
Минимизация булевых функций5m
Применение булевых функций5m
Нормальные формы представления булевых функций1m
1 practice exercise
Нормальные формы представления булевых функций1h 30m
Week
3

Week 3

4 hours to complete

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

4 hours to complete
11 videos (Total 79 min), 4 readings, 1 quiz
11 videos
Определение и характеристики BDD10m
Булевы операции и BDD. Алгоритм APPLY6m
Свойства BDD. Зависимость от переменной, минимизация функции7m
Вычисление BDD двух функций и применение этой задачи к аппаратным схемам6m
BDD: программа вычисления значения функции, кодирование множеств и задание ограничений6m
Постановка проблемы достижимости множества3m
Символьное представление множеств и символьные вычисления7m
Символьное представление конечных функций6m
Операции над характеристическими функциями отношений5m
К символьному решению проблемы достижимости8m
4 readings
BDD - бинарные решающие диаграммы. Основные определения5m
Применение BDD5m
Символьные вычисления5m
Бинарные решающие диаграммы10m
1 practice exercise
Бинарные решающие диаграммы2h 15m
Week
4

Week 4

3 hours to complete

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

3 hours to complete
13 videos (Total 90 min), 4 readings, 1 quiz
13 videos
Синтаксис и семантика логики высказываний9m
Эквивалентные преобразования логических формул6m
Преобразование высказываний на естественном языке10m
Схема решения задач с помощью логики высказываний4m
Проверка высказываний на общезначимость6m
Эквивалентные преобразования высказываний10m
Упрощение сложных высказываний6m
Задача про стражников3m
Что такое структура доказательства3m
Использование эквивалентных формулировок теорем в доказательствах8m
Теоремы о необходимости и достаточности6m
Еще способы упростить структуру доказательств6m
4 readings
Синтаксис и семантика логики высказываний5m
Анализ сложных высказываний5m
Структуры доказательств математических теорем5m
Основные понятия логики высказываний10m
1 practice exercise
Основные понятия логики высказываний1h 35m

Frequently Asked Questions

  • Once you enroll for a Certificate, you’ll have access to all videos, quizzes, and programming assignments (if applicable). Peer review assignments can only be submitted and reviewed once your session has begun. If you choose to explore the course without purchasing, you may not be able to access certain assignments.

  • When you purchase a Certificate you get access to all course materials, including graded assignments. Upon completing the course, your electronic Certificate will be added to your Accomplishments page - from there, you can print your Certificate or add it to your LinkedIn profile. If you only want to read and view the course content, you can audit the course for free.

More questions? Visit the Learner Help Center.