Використання знань з логічних основ інформатики при вивченні інформатичних дисциплін