РК1 МЛиТА. Поход в Мордор за тайными знаниями.

Аватар автора
Onanists_club
Поговорили о логике высказываний. Разобрали метод резолюций. Познакомились с формальной теорией L и произвели несколько выводов, на основе аксиом, правил вывода, подстановки (+ теорема дедукции, транзитивности, метод сечения). Не забывайте ставить лайки, комментируйте и следуйте главному принципу Данилюка "Научился - помоги другому" P.S. Для идиотов: помоги другу - скинь это видео :-)

0/0


0/0

0/0

0/0