Об этом курсе

Недавно просмотрено: 5,541
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
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мин

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

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

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

  • You will be eligible for a full refund until two weeks after your payment date, or (for courses that have just launched) until two weeks after the first session of the course begins, whichever is later. You cannot receive a refund once you’ve earned a Course Certificate, even if you complete the course within the two-week refund period. See our full refund policy.

  • Yes, Coursera provides financial aid to learners who cannot afford the fee. Apply for it by clicking on the Financial Aid link beneath the "Enroll" button on the left. You’ll be prompted to complete an application and will be notified if you are approved. Learn more.

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