À propos de ce cours

4,322 consultations récentes
Certificat partageable
Obtenez un Certificat lorsque vous terminez
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. 24 heures pour terminer
Russe
Sous-titres : Russe

Ce que vous allez apprendre

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

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

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

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

Compétences que vous acquerrez

проверка эквивалентности сложных высказыванийпроверка корректности схем умозаключений в логике высказыванийпроверка выполнимости двоичных функцийформализация инженерных и технических задач
Certificat partageable
Obtenez un Certificat lorsque vous terminez
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. 24 heures pour terminer
Russe
Sous-titres : Russe

Offert par

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

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

Programme du cours : ce que vous apprendrez dans ce cours

Semaine
1

Semaine 1

3 heures pour terminer

Введение

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 exercice pour s'entraîner
Что такое математическая логика30 min
3 heures pour terminer

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

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 exercice pour s'entraîner
Булевы функции1h 30min
Semaine
2

Semaine 2

3 heures pour terminer

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

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 exercice pour s'entraîner
Нормальные формы представления булевых функций1h 30min
Semaine
3

Semaine 3

4 heures pour terminer

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

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 exercice pour s'entraîner
Бинарные решающие диаграммы2h 15min
Semaine
4

Semaine 4

3 heures pour terminer

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

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 exercice pour s'entraîner
Основные понятия логики высказываний1h 35min

Foire Aux Questions

  • L’accès à des vidéos de cours et des devoirs dépend de votre type d’inscription. Si vous suivez un cours en mode auditeur libre, vous pourrez voir la plupart des contenus de cours gratuitement. Pour accéder aux devoirs notés et obtenir un certificat, vous devrez acheter une expérience de certificat, pendant ou après avoir assister au cours en tant qu’auditeur libre. Si vous ne visualisez pas l’option auditeur libre :

    • Il est possible que le cours ne propose pas d’option auditeur libre. Vous pouvez en revanche accéder à un essai gratuit ou faire une demande d'aide financière.
    • Le cours propose peut-être « Cours complet, aucun certificat » à la place. Cette option vous permet de voir tous les contenus de cours, de soumettre les évaluations requises et d'obtenir une note finale. Cependant, vous ne pourrez pas acheter une expérience de certificat.
  • 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.

  • Vous avez droit à un remboursement intégral jusqu'à deux semaines après la date de paiement ou (pour les cours qui viennent d'être lancés) jusqu'à deux semaines après le début de la première session du cours, selon la dernière de ces éventualités. Vous ne pouvez pas bénéficier d'un remboursement une fois votre Certificat de Cours obtenu, même si vous terminez le cours pendant la période de remboursement de deux semaines. Consultez notre Politique de remboursement complète.

  • Oui, Coursera fournit une Aide Financière aux étudiants n'ayant pas les moyens d'acquitter les frais. Pour en faire la demande, cliquez sur le lien Aide Financière situé sous le bouton S'inscrire ci-contre à gauche. Vous serez invité(e) à déposer une demande et vous serez averti(e) si elle est acceptée. En savoir plus.

  • Ce Cours n'est pas associé à des crédits universitaires, mais certaines universités peuvent décider d'accepter des Certificats de Cours pour des crédits. Vérifiez-le auprès de votre établissement pour en savoir plus. Les Diplômes en ligne et les Certificats Mastertrack™ sur Coursera apportent la possibilité d'obtenir des crédits universitaires.

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