About this Course

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

What you will learn

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

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

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

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

Skills you will gain

  • проверка эквивалентности сложных высказываний
  • проверка корректности схем умозаключений в логике высказываний
  • проверка выполнимости двоичных функций
  • формализация инженерных и технических задач
Flexible deadlines
Reset deadlines in accordance to your schedule.
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own 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.