Informações sobre o curso

4,564 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
Legendas: 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
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

  • O acesso a palestras e tarefas depende do tipo de inscrição. Se você participar de um curso como ouvinte, você poderá ver quase todo o conteúdo do curso gratuitamente. Para acessar tarefas valendo nota e obter um Certificado, você precisará adquirir a experiência do Certificado, durante ou após a participação como ouvinte. Se você não vir a opção de participar como ouvinte:

    • o curso pode não oferecer essa opção. Você pode experimentar um teste gratuito ou solicitar o auxílio financeiro.
    • Em vez disso, o curso pode oferecer 'Curso completo, sem Certificado'. Com esta opção, é possível ver todo o conteúdo do curso, enviar as avaliações necessárias e obter uma nota final. Isso também significa que você não poderá comprar uma experiência de Certificado.
  • 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.

  • Você poderá pedir reembolso total até duas semanas após a data do pagamento, ou (para cursos recém-iniciados) até duas semanas após o início da primeira sessão do curso, o que ocorrer por último. Você não poderá receber reembolso após obter o Certificado de Curso, mesmo que tenha completado o curso dentro do período de duas semanas. Veja nossa política para o reembolso total.

  • Sim, a Coursera oferece auxílio financeiro aos alunos que não podem pagar a taxa. Faça a solicitação clicando no link Auxílio financeiro, abaixo do botão "Inscreva-se" à esquerda. Você será solicitado a preencher um formulário e será notificado se for aprovado. Saiba mais.

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