À propos de ce cours

9,763 consultations récentes
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Niveau débutant
Approx. 24 heures pour terminer
Russe

Ce que vous allez apprendre

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

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

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

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

Compétences que vous acquerrez

проверка эквивалентности сложных высказыванийпроверка корректности схем умозаключений в логике высказыванийпроверка выполнимости двоичных функцийформализация инженерных и технических задач
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Niveau débutant
Approx. 24 heures pour terminer
Russe

Offert par

Placeholder

Université polytechnique d'État de Saint-Pétersbourg

Programme du cours : ce que vous apprendrez dans ce cours

Semaine
1

Semaine 1

3 heures pour terminer

Введение

3 heures pour terminer
6 vidéos (Total 38 min), 8 lectures, 1 quiz
6 vidéos
Основная идея математической логики9 min
Структура курса6 min
Проблема вычисления значения двоичной функции5 min
Логические эквивалентность, следствие, вывод5 min
Формулировки занимательных задач4 min
8 lectures
Открытый Политех10 min
Как работать с курсом?10 min
Наши рекомендации для эффективного обучения на курсе10 min
Введение10 min
Список литературы10 min
Что такое математическая логика?5 min
Мотивация изучения курса5 min
Формальные модели и реальные явления10 min
1 exercice pour s'entraîner
Что такое математическая логика30 min
3 heures pour terminer

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

3 heures pour terminer
12 vidéos (Total 92 min), 4 lectures, 1 quiz
12 vidéos
Построение схемы отображения электронных часов11 min
Двоичные функции и таблицы истинности5 min
Двоичные функции от 0, 1-ой, 2-х переменных9 min
Вычисление значения функции по синтаксическому дереву10 min
Семантическое дерево двоичной функции6 min
Необходимость перехода от таблицы истинности к формуле4 min
Формулировка основной теоремы теории двоичных функций7 min
Свойства двоичных функций6 min
Как проверить свойства двоичных функций5 min
Лемма Шеннона и доказательство основной теоремы8 min
Значение основной теоремы8 min
4 lectures
Двоичные функции как конечные функциональные преобразователи5 min
Двоичные функции и логические формулы5 min
Основная теорема теории двоичных функций5 min
Булевы функции10 min
1 exercice pour s'entraîner
Булевы функции1h 30min
Semaine
2

Semaine 2

3 heures pour terminer

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

3 heures pour terminer
13 vidéos (Total 98 min), 4 lectures, 1 quiz
13 vidéos
Построение СКНФ7 min
Суммируя знания: СДНФ, СКНФ, полином Жегалкина8 min
Переход между нормальными формами6 min
Актуальность задачи минимизации булевых функций4 min
Карты Карно8 min
Карты Карно от 4-х переменных7 min
Примеры минимизации электронных часов и варочной плиты7 min
Замечания о минимальной ДНФ и КНФ7 min
Код Грея. Карты Карно от 5-ти, 6-ти переменных8 min
Двоичные функции как механизм абстракции5 min
Релейно-контактные схемы и двоичные функции7 min
Построение цифровой аппаратуры11 min
4 lectures
ДНФ, КНФ и полином Жегалкина5 min
Минимизация булевых функций5 min
Применение булевых функций5 min
Нормальные формы представления булевых функций1 min
1 exercice pour s'entraîner
Нормальные формы представления булевых функций1h 30min
Semaine
3

Semaine 3

4 heures pour terminer

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

4 heures pour terminer
11 vidéos (Total 79 min), 4 lectures, 1 quiz
11 vidéos
Определение и характеристики BDD10 min
Булевы операции и BDD. Алгоритм APPLY6 min
Свойства BDD. Зависимость от переменной, минимизация функции7 min
Вычисление BDD двух функций и применение этой задачи к аппаратным схемам6 min
BDD: программа вычисления значения функции, кодирование множеств и задание ограничений6 min
Постановка проблемы достижимости множества3 min
Символьное представление множеств и символьные вычисления7 min
Символьное представление конечных функций6 min
Операции над характеристическими функциями отношений5 min
К символьному решению проблемы достижимости8 min
4 lectures
BDD - бинарные решающие диаграммы. Основные определения5 min
Применение BDD5 min
Символьные вычисления5 min
Бинарные решающие диаграммы10 min
1 exercice pour s'entraîner
Бинарные решающие диаграммы2h 15min
Semaine
4

Semaine 4

3 heures pour terminer

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

3 heures pour terminer
13 vidéos (Total 90 min), 4 lectures, 1 quiz
13 vidéos
Синтаксис и семантика логики высказываний9 min
Эквивалентные преобразования логических формул6 min
Преобразование высказываний на естественном языке10 min
Схема решения задач с помощью логики высказываний4 min
Проверка высказываний на общезначимость6 min
Эквивалентные преобразования высказываний10 min
Упрощение сложных высказываний6 min
Задача про стражников3 min
Что такое структура доказательства3 min
Использование эквивалентных формулировок теорем в доказательствах8 min
Теоремы о необходимости и достаточности6 min
Еще способы упростить структуру доказательств6 min
4 lectures
Синтаксис и семантика логики высказываний5 min
Анализ сложных высказываний5 min
Структуры доказательств математических теорем5 min
Основные понятия логики высказываний10 min
1 exercice pour s'entraîner
Основные понятия логики высказываний1h 35min

Foire Aux Questions

D'autres questions ? Visitez le Centre d'Aide pour les Etudiants.