Informações sobre o curso

8,183 visualizações recentes

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. 17 horas para completar

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

Russo

Legendas: Russo

O que você vai aprender

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

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

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

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

Habilidades que você terá

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

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. 17 horas para completar

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

Russo

Legendas: Russo

oferecido por

Logotipo de St. Petersburg State Polytechnic University

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

  • Ao se inscrever para um Certificado, você terá acesso a todos os vídeos, testes e tarefas de programação (se aplicável). Tarefas avaliadas pelos colegas apenas podem ser enviadas e avaliadas após o início da sessão. Caso escolha explorar o curso sem adquiri-lo, talvez você não consiga acessar certas tarefas.

  • Quando você adquire o Certificado, ganha acesso a todo o material do curso, incluindo avaliações com nota atribuída. Após concluir o curso, seu Certificado eletrônico será adicionado à sua página de Participações e você poderá imprimi-lo ou adicioná-lo ao seu perfil no LinkedIn. Se quiser apenas ler e assistir o conteúdo do curso, você poderá frequentá-lo como ouvinte sem custo.

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