About this Course
최근 조회 2,573

100% 온라인

지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.

유동적 마감일

일정에 따라 마감일을 재설정합니다.

초급 단계

완료하는 데 약 17시간 필요

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

러시아어

자막: 러시아어

배울 내용

  • Check

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

  • Check

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

  • Check

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

  • Check

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

귀하가 습득할 기술

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

100% 온라인

지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.

유동적 마감일

일정에 따라 마감일을 재설정합니다.

초급 단계

완료하는 데 약 17시간 필요

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

러시아어

자막: 러시아어

강의 계획 - 이 강좌에서 배울 내용

1
완료하는 데 3시간 필요

Введение

6개 동영상 (총 38분), 8 readings, 1 quiz
6개의 동영상
Основная идея математической логики9m
Структура курса6m
Проблема вычисления значения двоичной функции5m
Логические эквивалентность, следствие, вывод5m
Формулировки занимательных задач4m
8개의 읽기 자료
Открытый Политех10m
Как работать с курсом?10m
Наши рекомендации для эффективного обучения на курсе10m
Введение10m
Список литературы10m
Что такое математическая логика?5m
Мотивация изучения курса5m
Формальные модели и реальные явления10m
1개 연습문제
Что такое математическая логика30m
완료하는 데 3시간 필요

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

12개 동영상 (총 92분), 4 readings, 1 quiz
12개의 동영상
Построение схемы отображения электронных часов11m
Двоичные функции и таблицы истинности5m
Двоичные функции от 0, 1-ой, 2-х переменных9m
Вычисление значения функции по синтаксическому дереву10m
Семантическое дерево двоичной функции6m
Необходимость перехода от таблицы истинности к формуле4m
Формулировка основной теоремы теории двоичных функций7m
Свойства двоичных функций6m
Как проверить свойства двоичных функций5m
Лемма Шеннона и доказательство основной теоремы8m
Значение основной теоремы8m
4개의 읽기 자료
Двоичные функции как конечные функциональные преобразователи5m
Двоичные функции и логические формулы5m
Основная теорема теории двоичных функций5m
Булевы функции10m
1개 연습문제
Булевы функции1시 30분
2
완료하는 데 3시간 필요

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

13개 동영상 (총 98분), 4 readings, 1 quiz
13개의 동영상
Построение СКНФ7m
Суммируя знания: СДНФ, СКНФ, полином Жегалкина8m
Переход между нормальными формами6m
Актуальность задачи минимизации булевых функций4m
Карты Карно8m
Карты Карно от 4-х переменных7m
Примеры минимизации электронных часов и варочной плиты7m
Замечания о минимальной ДНФ и КНФ7m
Код Грея. Карты Карно от 5-ти, 6-ти переменных8m
Двоичные функции как механизм абстракции5m
Релейно-контактные схемы и двоичные функции7m
Построение цифровой аппаратуры11m
4개의 읽기 자료
ДНФ, КНФ и полином Жегалкина5m
Минимизация булевых функций5m
Применение булевых функций5m
Нормальные формы представления булевых функций1m
1개 연습문제
Нормальные формы представления булевых функций1시 30분
3
완료하는 데 4시간 필요

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

11개 동영상 (총 79분), 4 readings, 1 quiz
11개의 동영상
Определение и характеристики BDD10m
Булевы операции и BDD. Алгоритм APPLY6m
Свойства BDD. Зависимость от переменной, минимизация функции7m
Вычисление BDD двух функций и применение этой задачи к аппаратным схемам6m
BDD: программа вычисления значения функции, кодирование множеств и задание ограничений6m
Постановка проблемы достижимости множества3m
Символьное представление множеств и символьные вычисления7m
Символьное представление конечных функций6m
Операции над характеристическими функциями отношений5m
К символьному решению проблемы достижимости8m
4개의 읽기 자료
BDD - бинарные решающие диаграммы. Основные определения5m
Применение BDD5m
Символьные вычисления5m
Бинарные решающие диаграммы10m
1개 연습문제
Бинарные решающие диаграммы2시 15분
4
완료하는 데 3시간 필요

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

13개 동영상 (총 90분), 4 readings, 1 quiz
13개의 동영상
Синтаксис и семантика логики высказываний9m
Эквивалентные преобразования логических формул6m
Преобразование высказываний на естественном языке10m
Схема решения задач с помощью логики высказываний4m
Проверка высказываний на общезначимость6m
Эквивалентные преобразования высказываний10m
Упрощение сложных высказываний6m
Задача про стражников3m
Что такое структура доказательства3m
Использование эквивалентных формулировок теорем в доказательствах8m
Теоремы о необходимости и достаточности6m
Еще способы упростить структуру доказательств6m
4개의 읽기 자료
Синтаксис и семантика логики высказываний5m
Анализ сложных высказываний5m
Структуры доказательств математических теорем5m
Основные понятия логики высказываний10m
1개 연습문제
Основные понятия логики высказываний1시 35분

강사

Avatar

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

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

표트르 대제 상트페테르부르크 폴리텍 대학교 정보

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

자주 묻는 질문

  • 강좌에 등록하면 바로 모든 비디오, 테스트 및 프로그래밍 과제(해당하는 경우)에 접근할 수 있습니다. 상호 첨삭 과제는 이 세션이 시작된 경우에만 제출하고 검토할 수 있습니다. 강좌를 구매하지 않고 살펴보기만 하면 특정 과제에 접근하지 못할 수 있습니다.

  • 수료증을 구매하면 성적 평가 과제를 포함한 모든 강좌 자료에 접근할 수 있습니다. 강좌를 완료하면 전자 수료증이 성취도 페이지에 추가되며, 해당 페이지에서 수료증을 인쇄하거나 LinkedIn 프로필에 수료증을 추가할 수 있습니다. 강좌 콘텐츠만 읽고 살펴보려면 해당 강좌를 무료로 청강할 수 있습니다.

궁금한 점이 더 있으신가요? 학습자 도움말 센터를 방문해 보세요.