À propos de ce cours

3 222 consultations récentes
Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Niveau débutant
Approx. 24 heures pour terminer
Russe

Ce que vous allez apprendre

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

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

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

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

Compétences que vous acquerrez

  • проверка эквивалентности сложных высказываний
  • проверка корректности схем умозаключений в логике высказываний
  • проверка выполнимости двоичных функций
  • формализация инженерных и технических задач
Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Niveau débutant
Approx. 24 heures pour terminer
Russe

Offert par

Placeholder

Université polytechnique d'État de Saint-Pétersbourg

Programme de cours : ce que vous apprendrez dans ce cours

Semaine
1

Semaine 1

3 heures pour terminer

Введение

3 heures pour terminer
6 vidéos (Total 38 min), 8 lectures, 1 quiz
3 heures pour terminer

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

3 heures pour terminer
12 vidéos (Total 92 min), 4 lectures, 1 quiz
Semaine
2

Semaine 2

3 heures pour terminer

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

3 heures pour terminer
13 vidéos (Total 98 min), 4 lectures, 1 quiz
Semaine
3

Semaine 3

4 heures pour terminer

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

4 heures pour terminer
11 vidéos (Total 79 min), 4 lectures, 1 quiz
Semaine
4

Semaine 4

3 heures pour terminer

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

3 heures pour terminer
13 vidéos (Total 90 min), 4 lectures, 1 quiz

Foire Aux Questions

D'autres questions ? Visitez le Centre d'Aide pour les Étudiants.