Acerca de este Curso

11,764 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)

Qué aprenderás

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

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

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

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

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

Logotipo de Universidad politécnica estatal de San Petersburgo

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

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

  • Puedes solicitar un reembolso completo hasta dos semanas después de tu fecha de pago o (para los cursos que se lanzaron recientemente) hasta dos semanas después del comienzo de la primera sesión del curso, lo que ocurra después. No puedes recibir un reembolso luego de obtener un Certificado de curso, aun cuando completes el curso dentro del período de reembolso de dos semanas. Consulta nuestra política de reembolsos completa.

  • Sí, Coursera ofrece ayuda económica a los estudiantes que no pueden pagar la tarifa. Solicítala haciendo clic en el vínculo de Ayuda económica que está debajo del botón 'Inscribirse' a la izquierda. Se te pedirá que completes una solicitud y recibirás una notificación cuando se apruebe. Obtén más información.

  • Este Curso no otorga crédito universitario, pero algunas universidades pueden aceptar los Certificados del curso para obtener crédito. Consulta con tu institución para obtener más información. Los Títulos en línea y los Certificados Mastertrack™ de Coursera brindan la oportunidad de obtener créditos universitarios.

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