About this Course

6,165 recent views
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Flexible deadlines
Reset deadlines in accordance to your schedule.
Beginner Level
Approx. 24 hours to complete
Russian

What you will learn

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

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

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

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

Skills you will gain

проверка эквивалентности сложных высказыванийпроверка корректности схем умозаключений в логике высказыванийпроверка выполнимости двоичных функцийформализация инженерных и технических задач
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Flexible deadlines
Reset deadlines in accordance to your schedule.
Beginner Level
Approx. 24 hours to complete
Russian

Offered by

Placeholder

Peter the Great St. Petersburg Polytechnic University

Syllabus - What you will learn from this course

Week
1

Week 1

3 hours to complete

Введение

3 hours to complete
6 videos (Total 38 min), 8 readings, 1 quiz
3 hours to complete

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

3 hours to complete
12 videos (Total 92 min), 4 readings, 1 quiz
Week
2

Week 2

3 hours to complete

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

3 hours to complete
13 videos (Total 98 min), 4 readings, 1 quiz
Week
3

Week 3

4 hours to complete

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

4 hours to complete
11 videos (Total 79 min), 4 readings, 1 quiz
Week
4

Week 4

3 hours to complete

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

3 hours to complete
13 videos (Total 90 min), 4 readings, 1 quiz

Frequently Asked Questions

More questions? Visit the Learner Help Center.