À propos de ce cours
2,165 consultations récentes

100 % en ligne

Commencez dès maintenant et apprenez aux horaires qui vous conviennent.

Dates limites flexibles

Réinitialisez les dates limites selon votre disponibilité.

Niveau débutant

Approx. 17 heures pour terminer

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

Russe

Sous-titres : Russe

Ce que vous allez apprendre

  • Check

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

  • Check

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

  • Check

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

  • Check

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

Compétences que vous acquerrez

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

100 % en ligne

Commencez dès maintenant et apprenez aux horaires qui vous conviennent.

Dates limites flexibles

Réinitialisez les dates limites selon votre disponibilité.

Niveau débutant

Approx. 17 heures pour terminer

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

Russe

Sous-titres : Russe

Programme du cours : ce que vous apprendrez dans ce cours

Semaine
1
3 heures pour terminer

Введение

6 vidéos (Total 38 min), 8 lectures, 1 quiz
6 vidéos
Основная идея математической логики9 min
Структура курса6 min
Проблема вычисления значения двоичной функции5 min
Логические эквивалентность, следствие, вывод5 min
Формулировки занимательных задач4 min
8 lectures
Открытый Политех10 min
Как работать с курсом?10 min
Наши рекомендации для эффективного обучения на курсе10 min
Введение10 min
Список литературы10 min
Что такое математическая логика?5 min
Мотивация изучения курса5 min
Формальные модели и реальные явления10 min
1 exercices pour s'entraîner
Что такое математическая логика30 min
3 heures pour terminer

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

12 vidéos (Total 92 min), 4 lectures, 1 quiz
12 vidéos
Построение схемы отображения электронных часов11 min
Двоичные функции и таблицы истинности5 min
Двоичные функции от 0, 1-ой, 2-х переменных9 min
Вычисление значения функции по синтаксическому дереву10 min
Семантическое дерево двоичной функции6 min
Необходимость перехода от таблицы истинности к формуле4 min
Формулировка основной теоремы теории двоичных функций7 min
Свойства двоичных функций6 min
Как проверить свойства двоичных функций5 min
Лемма Шеннона и доказательство основной теоремы8 min
Значение основной теоремы8 min
4 lectures
Двоичные функции как конечные функциональные преобразователи5 min
Двоичные функции и логические формулы5 min
Основная теорема теории двоичных функций5 min
Булевы функции10 min
1 exercices pour s'entraîner
Булевы функции1h 30min
Semaine
2
3 heures pour terminer

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

13 vidéos (Total 98 min), 4 lectures, 1 quiz
13 vidéos
Построение СКНФ7 min
Суммируя знания: СДНФ, СКНФ, полином Жегалкина8 min
Переход между нормальными формами6 min
Актуальность задачи минимизации булевых функций4 min
Карты Карно8 min
Карты Карно от 4-х переменных7 min
Примеры минимизации электронных часов и варочной плиты7 min
Замечания о минимальной ДНФ и КНФ7 min
Код Грея. Карты Карно от 5-ти, 6-ти переменных8 min
Двоичные функции как механизм абстракции5 min
Релейно-контактные схемы и двоичные функции7 min
Построение цифровой аппаратуры11 min
4 lectures
ДНФ, КНФ и полином Жегалкина5 min
Минимизация булевых функций5 min
Применение булевых функций5 min
Нормальные формы представления булевых функций1 min
1 exercices pour s'entraîner
Нормальные формы представления булевых функций1h 30min
Semaine
3
4 heures pour terminer

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

11 vidéos (Total 79 min), 4 lectures, 1 quiz
11 vidéos
Определение и характеристики BDD10 min
Булевы операции и BDD. Алгоритм APPLY6 min
Свойства BDD. Зависимость от переменной, минимизация функции7 min
Вычисление BDD двух функций и применение этой задачи к аппаратным схемам6 min
BDD: программа вычисления значения функции, кодирование множеств и задание ограничений6 min
Постановка проблемы достижимости множества3 min
Символьное представление множеств и символьные вычисления7 min
Символьное представление конечных функций6 min
Операции над характеристическими функциями отношений5 min
К символьному решению проблемы достижимости8 min
4 lectures
BDD - бинарные решающие диаграммы. Основные определения5 min
Применение BDD5 min
Символьные вычисления5 min
Бинарные решающие диаграммы10 min
1 exercices pour s'entraîner
Бинарные решающие диаграммы2h 15min
Semaine
4
3 heures pour terminer

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

13 vidéos (Total 90 min), 4 lectures, 1 quiz
13 vidéos
Синтаксис и семантика логики высказываний9 min
Эквивалентные преобразования логических формул6 min
Преобразование высказываний на естественном языке10 min
Схема решения задач с помощью логики высказываний4 min
Проверка высказываний на общезначимость6 min
Эквивалентные преобразования высказываний10 min
Упрощение сложных высказываний6 min
Задача про стражников3 min
Что такое структура доказательства3 min
Использование эквивалентных формулировок теорем в доказательствах8 min
Теоремы о необходимости и достаточности6 min
Еще способы упростить структуру доказательств6 min
4 lectures
Синтаксис и семантика логики высказываний5 min
Анализ сложных высказываний5 min
Структуры доказательств математических теорем5 min
Основные понятия логики высказываний10 min
1 exercices pour s'entraîner
Основные понятия логики высказываний1h 35min

Enseignants

Avatar

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

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

À propos de Université polytechnique d'État de Saint-Pétersbourg

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

Foire Aux Questions

  • Une fois que vous êtes inscrit(e) pour un Certificat, vous pouvez accéder à toutes les vidéos de cours, et à tous les quiz et exercices de programmation (le cas échéant). Vous pouvez soumettre des devoirs à examiner par vos pairs et en examiner vous-même uniquement après le début de votre session. Si vous préférez explorer le cours sans l'acheter, vous ne serez peut-être pas en mesure d'accéder à certains devoirs.

  • Lorsque vous achetez un Certificat, vous bénéficiez d'un accès à tout le contenu du cours, y compris les devoirs notés. Lorsque vous avez terminé et réussi le cours, votre Certificat électronique est ajouté à votre page Accomplissements. À partir de cette page, vous pouvez imprimer votre Certificat ou l'ajouter à votre profil LinkedIn. Si vous souhaitez seulement lire et visualiser le contenu du cours, vous pouvez accéder gratuitement au cours en tant qu'auditeur libre.

D'autres questions ? Visitez le Centre d'Aide pour les Etudiants.