Acerca de este Curso

6,740 vistas recientes
Certificado para compartir
Obtén un certificado al finalizar
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. 24 horas para completar
Ruso (Russian)
Subtítulos: Ruso (Russian)

Habilidades que obtendrás

проверка эквивалентности сложных высказыванийпроверка корректности схем умозаключений в логике высказыванийпроверка выполнимости двоичных функцийформализация инженерных и технических задач
Certificado para compartir
Obtén un certificado al finalizar
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. 24 horas para completar
Ruso (Russian)
Subtítulos: Ruso (Russian)

ofrecido por

Placeholder

Universidad politécnica estatal de San Petersburgo

Programa - Qué aprenderás en este curso

Semana
1

Semana 1

3 horas para completar

Введение

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

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

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

Semana 2

3 horas para completar

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

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

Semana 3

4 horas para completar

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

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

Semana 4

3 horas para completar

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

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

Preguntas Frecuentes

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