Об этом курсе

Недавно просмотрено: 4,996
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
100% онлайн
Начните сейчас и учитесь по собственному графику.
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Начальный уровень
Прибл. 24 часа на выполнение
Русский
Субтитры: Русский

Чему вы научитесь

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

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

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

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

Приобретаемые навыки

проверка эквивалентности сложных высказыванийпроверка корректности схем умозаключений в логике высказыванийпроверка выполнимости двоичных функцийформализация инженерных и технических задач
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
100% онлайн
Начните сейчас и учитесь по собственному графику.
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Начальный уровень
Прибл. 24 часа на выполнение
Русский
Субтитры: Русский

от партнера

Логотип Санкт-Петербургский политехнический университет Петра Великого

Санкт-Петербургский политехнический университет Петра Великого

Программа курса: что вы изучите

Неделя
1

Неделя 1

3 ч. на завершение

Введение

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

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

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

Неделя 2

3 ч. на завершение

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

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

Неделя 3

4 ч. на завершение

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

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

Неделя 4

3 ч. на завершение

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

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мин

Часто задаваемые вопросы

  • Доступ к лекциям и заданиям предоставляется в зависимости от типа регистрации. Если вы проходите курс в режиме слушателя, то получите бесплатный доступ к большинству материалов курса. Чтобы открыть оцениваемые задания и возможность получить сертификат, необходимо будет приобрести прохождение с сертификатом. Это можно сделать во время прохождения в режиме слушателя или после него. Если вы не видите варианта 'Режим слушателя'.

    • Курс может не предлагаться в режиме слушателя. Попробуйте бесплатную пробную версию или подайте заявку на финансовую помощь.
    • Курс предлагаться в режиме 'Полный курс, без сертификата'. В нем можно просматривать все материалы, выполнять обязательные задания и получить итоговую оценку. Приобрести дополнительно прохождение с сертификатом в таком случае нельзя.
  • Оплатив сертификацию, вы получите доступ ко всем материалам курса, включая оцениваемые задания. После успешного прохождения курса на странице ваших достижений появится электронный сертификат. Оттуда его можно распечатать или прикрепить к профилю LinkedIn. Просто ознакомиться с содержанием курса можно бесплатно.

  • Средства можно вернуть в течение двух недель с момента оплаты или (для только что начавшихся курсов) в течение двух недель после первой сессии, в зависимости от того, какое событие наступит позже. Средства не возвращаются после получения сертификата о прохождении курса, даже если вы закончили курс в течение двухнедельного гарантийного срока. Ознакомьтесь с нашей политикой возврата средств.

  • Да, Coursera предоставляет финансовую помощь учащимся, которые не могут оплатить обучение. Чтобы подать заявление, перейдите по ссылке 'Финансовая помощь' слева под кнопкой 'Зарегистрироваться' и заполните форму. Если его примут, вы получите уведомление. Подробнее

  • Этот курс не приравнивается к зачету в университетах, однако некоторые вузы принимают сертификаты на свое усмотрение. Дополнительную информацию уточняйте в своем деканате. Онлайн-дипломы и сертификаты Mastertrack™ от Coursera позволяют получить зачеты.

Остались вопросы? Посетите Центр поддержки учащихся.