У дисертаційному дослідженні розроблені окремі компоненти методичної системи навчання логічних основ інформатики студентів фізико-математичних спеціальностей педагогічних університетів; проведено історико-філософський аналіз становлення логіки як науки; досліджено стан вивчення логічних основ інформатики в середніх загальноосвітніх та вищих педагогічних навчальних закладах; з'ясовано психолого-педагогічні особливості навчання студентів логічних основ інформатики. Визначено цілі навчання, зміст і структуру курсу "Логічні основи інформатики" в педагогічному університеті; розроблено методичні рекомендації до вивчення окремих тем курсу (багатозначні логіки, методи мінімізації булевих функцій, основи комп'ютерної схемотехніки), навчально-методичне забезпечення; створено дистанційний курс "Логічні основи інформатики". Наведено результати педагогічного експерименту, що вказують на ефективність використання компонент методичної системи навчання логічних основ інформатики майбутніх вчителів інформатики.