Ведутся технические работы. Это может временно повлиять на скорость работы сайта. Приносим извинения за неудобства и благодарим за ваше понимание!

Р.В.Шамин. Лекции по информатике. Лекция №4. Тема №2 «Исчисление предикатов»