Informações sobre o curso

7,456 visualizações recentes
Certificados compartilháveis
Tenha o certificado após a conclusão
100% on-line
Comece imediatamente e aprenda em seu próprio cronograma.
Prazos flexíveis
Redefinir os prazos de acordo com sua programação.
Nível iniciante
Aprox. 24 horas para completar
Russo

O que você vai aprender

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

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

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

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

Habilidades que você terá

проверка эквивалентности сложных высказыванийпроверка корректности схем умозаключений в логике высказыванийпроверка выполнимости двоичных функцийформализация инженерных и технических задач
Certificados compartilháveis
Tenha o certificado após a conclusão
100% on-line
Comece imediatamente e aprenda em seu próprio cronograma.
Prazos flexíveis
Redefinir os prazos de acordo com sua programação.
Nível iniciante
Aprox. 24 horas para completar
Russo

oferecido por

Placeholder

St. Petersburg State Polytechnic University

Programa - O que você aprenderá com este curso

Semana
1

Semana 1

3 horas para concluir

Введение

3 horas para concluir
6 vídeos (Total 38 mín.), 8 leituras, 1 teste
6 videos
Основная идея математической логики9min
Структура курса6min
Проблема вычисления значения двоичной функции5min
Логические эквивалентность, следствие, вывод5min
Формулировки занимательных задач4min
8 leituras
Открытый Политех10min
Как работать с курсом?10min
Наши рекомендации для эффективного обучения на курсе10min
Введение10min
Список литературы10min
Что такое математическая логика?5min
Мотивация изучения курса5min
Формальные модели и реальные явления10min
1 exercício prático
Что такое математическая логика30min
3 horas para concluir

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

3 horas para concluir
12 vídeos (Total 92 mín.), 4 leituras, 1 teste
12 videos
Построение схемы отображения электронных часов11min
Двоичные функции и таблицы истинности5min
Двоичные функции от 0, 1-ой, 2-х переменных9min
Вычисление значения функции по синтаксическому дереву10min
Семантическое дерево двоичной функции6min
Необходимость перехода от таблицы истинности к формуле4min
Формулировка основной теоремы теории двоичных функций7min
Свойства двоичных функций6min
Как проверить свойства двоичных функций5min
Лемма Шеннона и доказательство основной теоремы8min
Значение основной теоремы8min
4 leituras
Двоичные функции как конечные функциональные преобразователи5min
Двоичные функции и логические формулы5min
Основная теорема теории двоичных функций5min
Булевы функции10min
1 exercício prático
Булевы функции1h 30min
Semana
2

Semana 2

3 horas para concluir

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

3 horas para concluir
13 vídeos (Total 98 mín.), 4 leituras, 1 teste
13 videos
Построение СКНФ7min
Суммируя знания: СДНФ, СКНФ, полином Жегалкина8min
Переход между нормальными формами6min
Актуальность задачи минимизации булевых функций4min
Карты Карно8min
Карты Карно от 4-х переменных7min
Примеры минимизации электронных часов и варочной плиты7min
Замечания о минимальной ДНФ и КНФ7min
Код Грея. Карты Карно от 5-ти, 6-ти переменных8min
Двоичные функции как механизм абстракции5min
Релейно-контактные схемы и двоичные функции7min
Построение цифровой аппаратуры11min
4 leituras
ДНФ, КНФ и полином Жегалкина5min
Минимизация булевых функций5min
Применение булевых функций5min
Нормальные формы представления булевых функций1min
1 exercício prático
Нормальные формы представления булевых функций1h 30min
Semana
3

Semana 3

4 horas para concluir

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

4 horas para concluir
11 vídeos (Total 79 mín.), 4 leituras, 1 teste
11 videos
Определение и характеристики BDD10min
Булевы операции и BDD. Алгоритм APPLY6min
Свойства BDD. Зависимость от переменной, минимизация функции7min
Вычисление BDD двух функций и применение этой задачи к аппаратным схемам6min
BDD: программа вычисления значения функции, кодирование множеств и задание ограничений6min
Постановка проблемы достижимости множества3min
Символьное представление множеств и символьные вычисления7min
Символьное представление конечных функций6min
Операции над характеристическими функциями отношений5min
К символьному решению проблемы достижимости8min
4 leituras
BDD - бинарные решающие диаграммы. Основные определения5min
Применение BDD5min
Символьные вычисления5min
Бинарные решающие диаграммы10min
1 exercício prático
Бинарные решающие диаграммы2h 15min
Semana
4

Semana 4

3 horas para concluir

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

3 horas para concluir
13 vídeos (Total 90 mín.), 4 leituras, 1 teste
13 videos
Синтаксис и семантика логики высказываний9min
Эквивалентные преобразования логических формул6min
Преобразование высказываний на естественном языке10min
Схема решения задач с помощью логики высказываний4min
Проверка высказываний на общезначимость6min
Эквивалентные преобразования высказываний10min
Упрощение сложных высказываний6min
Задача про стражников3min
Что такое структура доказательства3min
Использование эквивалентных формулировок теорем в доказательствах8min
Теоремы о необходимости и достаточности6min
Еще способы упростить структуру доказательств6min
4 leituras
Синтаксис и семантика логики высказываний5min
Анализ сложных высказываний5min
Структуры доказательств математических теорем5min
Основные понятия логики высказываний10min
1 exercício prático
Основные понятия логики высказываний1h 35min

Perguntas Frequentes – FAQ

Mais dúvidas? Visite o Central de Ajuda ao Aprendiz.