Знакомы ли Вы с понятием "формальная логика"? Что такое конъюнкция и дизъюнкция? А импликация? В статье будут рассмотрены данные понятия. Надеюсь статья будет Вам полезна. Формальная логика (математическая логика) является важнейшей основой функционирования современных компьютеров. Мы используем законы формальной логики, когда делаем запрос на поиск информации в Интернете или базе данных или когда анализируем правильность математического вывода. Многие элементы компьютеров проектируются и работают на основе законов формальной логики...

Памятка «Основы формальной логики в информатике» содержит необходимый минимум информации для учеников 8 класса, которая понадобится им при изучении элементов алгебры логики. Она содержит основные определения и законы по теме. Тема «Элементы алгебры логики» является одной из наиболее сложных для учеников при изучении всего школьного курса информатики. Она тяжело воспринимается учениками отчасти потому, что содержит большое количество теоретического материала, который сложно воспринимается и запоминается...