Основу ЭВМ и других цифровых устройств составляют элементарные логические схемы, которые работают в строгом соответствии с законами и правилами алгебры логики. Знание и понимание этих законов и правил помогает лучше разобраться с принципами работы ЭВМ. Алгебра логики (булева алгебра – по фамилии ученого Д. Буля1) является частью раздела математики под названием математическая логика, посвященного изучению математических доказательств и вопросов оснований математики. Построенная Д. Булем алгебра служила для описания логических действий над высказываниями...

Целями освоения дисциплины «Теоретические основы информатики» являются: −         получение базовых знаний и формирование основных навыков по комбинаторике и математической логике, необходимых для понимания основ теории вероятностей, а также, формирующих общую культуру логических рассуждений; −         развитие комбинаторного и логического мышления, необходимой для успешного освоения теоретической информатики и программирования; −         изучение понятий...