Программа разработана на основе авторской программы по профориентации Е.А.Семенко, О.Н.Романенко,И.А.Мочаловой «Элементы математической логики», ККИДППО, 2004 г.

     Содержание данного элективного курса предполагает решение большого количества логических задач, поскольку решение задач – это практическое искусство, научиться ему можно, только подражая хорошим образцам и постоянно практикуясь.

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

     Главной задачей курса является формирование умения выбирать самостоятельный способ решения и оценивать его в сравнении с другими способами.

      Программа содержит два блока, связанные единой идеей.

     Первый блок: “Законы алгебры логики (булевой алгебры)”. Цель: введение элементов математической логики, вывод и доказательство законов и правил булевой алгебры, научить учащихся строить таблицы истинности, составлять и упрощать логические выражения, решать текстовые логические задачи, используя законы алгебры логики, приобщать школьников к науке.

     Второй блок: “Математическая логика в решении задач”. Цель: научить решать логические задачи различными методами, показать их практическую значимость в решении различных, в том числе, и жизненный задач и выявить учащихся с конструктивным мышлением, приобщение учащихся к решению олимпиадных задач.

     На изучение курса отводится 17 часов  (0,5 часа в неделю).