Acerca de este Curso
2,051 vistas recientes

100 % en línea

Comienza de inmediato y aprende a tu propio ritmo.

Fechas límite flexibles

Restablece las fechas límite en función de tus horarios.

Nivel principiante

Aprox. 17 horas para completar

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

Ruso (Russian)

Subtítulos: Ruso (Russian)

Qué aprenderás

  • Check

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

  • Check

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

  • Check

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

  • Check

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

Habilidades que obtendrás

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

100 % en línea

Comienza de inmediato y aprende a tu propio ritmo.

Fechas límite flexibles

Restablece las fechas límite en función de tus horarios.

Nivel principiante

Aprox. 17 horas para completar

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

Ruso (Russian)

Subtítulos: Ruso (Russian)

Programa - Qué aprenderás en este curso

Semana
1
3 horas para completar

Введение

6 videos (Total 38 minutos), 8 lecturas, 1 cuestionario
6 videos
Основная идея математической логики9m
Структура курса6m
Проблема вычисления значения двоичной функции5m
Логические эквивалентность, следствие, вывод5m
Формулировки занимательных задач4m
8 lecturas
Открытый Политех10m
Как работать с курсом?10m
Наши рекомендации для эффективного обучения на курсе10m
Введение10m
Список литературы10m
Что такое математическая логика?5m
Мотивация изучения курса5m
Формальные модели и реальные явления10m
1 ejercicio de práctica
Что такое математическая логика30m
3 horas para completar

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

12 videos (Total 92 minutos), 4 lecturas, 1 cuestionario
12 videos
Построение схемы отображения электронных часов11m
Двоичные функции и таблицы истинности5m
Двоичные функции от 0, 1-ой, 2-х переменных9m
Вычисление значения функции по синтаксическому дереву10m
Семантическое дерево двоичной функции6m
Необходимость перехода от таблицы истинности к формуле4m
Формулировка основной теоремы теории двоичных функций7m
Свойства двоичных функций6m
Как проверить свойства двоичных функций5m
Лемма Шеннона и доказательство основной теоремы8m
Значение основной теоремы8m
4 lecturas
Двоичные функции как конечные функциональные преобразователи5m
Двоичные функции и логические формулы5m
Основная теорема теории двоичных функций5m
Булевы функции10m
1 ejercicio de práctica
Булевы функции1h 30m
Semana
2
3 horas para completar

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

13 videos (Total 98 minutos), 4 lecturas, 1 cuestionario
13 videos
Построение СКНФ7m
Суммируя знания: СДНФ, СКНФ, полином Жегалкина8m
Переход между нормальными формами6m
Актуальность задачи минимизации булевых функций4m
Карты Карно8m
Карты Карно от 4-х переменных7m
Примеры минимизации электронных часов и варочной плиты7m
Замечания о минимальной ДНФ и КНФ7m
Код Грея. Карты Карно от 5-ти, 6-ти переменных8m
Двоичные функции как механизм абстракции5m
Релейно-контактные схемы и двоичные функции7m
Построение цифровой аппаратуры11m
4 lecturas
ДНФ, КНФ и полином Жегалкина5m
Минимизация булевых функций5m
Применение булевых функций5m
Нормальные формы представления булевых функций1m
1 ejercicio de práctica
Нормальные формы представления булевых функций1h 30m
Semana
3
4 horas para completar

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

11 videos (Total 79 minutos), 4 lecturas, 1 cuestionario
11 videos
Определение и характеристики BDD10m
Булевы операции и BDD. Алгоритм APPLY6m
Свойства BDD. Зависимость от переменной, минимизация функции7m
Вычисление BDD двух функций и применение этой задачи к аппаратным схемам6m
BDD: программа вычисления значения функции, кодирование множеств и задание ограничений6m
Постановка проблемы достижимости множества3m
Символьное представление множеств и символьные вычисления7m
Символьное представление конечных функций6m
Операции над характеристическими функциями отношений5m
К символьному решению проблемы достижимости8m
4 lecturas
BDD - бинарные решающие диаграммы. Основные определения5m
Применение BDD5m
Символьные вычисления5m
Бинарные решающие диаграммы10m
1 ejercicio de práctica
Бинарные решающие диаграммы2h 15m
Semana
4
3 horas para completar

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

13 videos (Total 90 minutos), 4 lecturas, 1 cuestionario
13 videos
Синтаксис и семантика логики высказываний9m
Эквивалентные преобразования логических формул6m
Преобразование высказываний на естественном языке10m
Схема решения задач с помощью логики высказываний4m
Проверка высказываний на общезначимость6m
Эквивалентные преобразования высказываний10m
Упрощение сложных высказываний6m
Задача про стражников3m
Что такое структура доказательства3m
Использование эквивалентных формулировок теорем в доказательствах8m
Теоремы о необходимости и достаточности6m
Еще способы упростить структуру доказательств6m
4 lecturas
Синтаксис и семантика логики высказываний5m
Анализ сложных высказываний5m
Структуры доказательств математических теорем5m
Основные понятия логики высказываний10m
1 ejercicio de práctica
Основные понятия логики высказываний1h 35m

Instructor

Avatar

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

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

Acerca de Universidad politécnica estatal de San Petersburgo

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

Preguntas Frecuentes

  • Una vez que te inscribes para obtener un Certificado, tendrás acceso a todos los videos, cuestionarios y tareas de programación (si corresponde). Las tareas calificadas por compañeros solo pueden enviarse y revisarse una vez que haya comenzado tu sesión. Si eliges explorar el curso sin comprarlo, es posible que no puedas acceder a determinadas tareas.

  • Cuando compras un Certificado, obtienes acceso a todos los materiales del curso, incluidas las tareas calificadas. Una vez que completes el curso, se añadirá tu Certificado electrónico a la página Logros. Desde allí, puedes imprimir tu Certificado o añadirlo a tu perfil de LinkedIn. Si solo quieres leer y visualizar el contenido del curso, puedes participar del curso como oyente sin costo.

¿Tienes más preguntas? Visita el Centro de Ayuda al Alumno.