Сегодня в
20:00 будет стрим по
логике высказываний. Будут затронуты следующие темы:
Дедуктивные, индуктивные высказывания
Пропозициональные связки, таблицы истинности
Аксиоматика логики высказываний
Правила вывода (modus ponens, правило резолюций)
Применение логики в создании экспертной системы
Логика предикатов (введение)
https://www.twitch.tv/physicpubДонаты: https://www.donationalerts.com/r/physicpub