Informações sobre o curso
2,321 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

  • Check

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

  • Check

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

  • Check

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

  • Check

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

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

Programa - O que você aprenderá com este curso

Semana
1
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

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

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

Instrutores

Avatar

Шошмина Ирина Владимировна

Кандидат технических наук
Институт компьютерных наук и технологий, Высшая школа программной инженерии

Sobre St. Petersburg State Polytechnic University

Peter the Great St. Petersburg Polytechnic University has a long-standing and successful history over 100 years where a great deal of important discoveries and inventions have been made. It was founded in 1899. SPbPU has recently become the "National Research University" – a recognized Russian and international leader in the field of engineering and economic education with a rich educational, scientific and innovation infrastructure. The University is a member of Academic Excellence program among Russian Universities “5-100-2020”. SPbPU is listed in the QS World University Rankings (471-480) and Times Higher Education (113th position among European universities). SPbPU is a leading university of Russia with over than 26 000 students and postgraduates, 4500 of them are foreign citizens from 115 countries. The University is carrying out education and research activities in the following areas: natural science, engineering, economics and humanities. SPbPU trains specialists in 49 Bachelor Degree programs and 200 Master Degree programs, including 20 international Master Degree programs taught in English, 90 PhD programs and Doctorate programs. The University is proud of its longstanding traditions of international cooperation with many foreign educational institutions, research organizations and industrial companies. Among the partners of the University are 293 universities and 90 partner companies from 68 countries. ...

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.