УМК Алгебра высказываний
Алгебра высказываний, основы логики.
Основные цели темы:
Самоопределение своих интересов в сферах науки, техники искусства, подготовка к осознанному выбору профиля посредствам изучения курса основ логики, заложить теоретическую базу логического программирования.
Цель преподавания темы – обучение научно-методическому аппарату математической логике, как основы систем с элементами искусственного интеллекта, которые, как предполагают, будут преобладать в новой информационной цивилизации.
Воспитательной целью дисциплины является формирование научного мировоззрения, дающего теоретические ориентиры при решении практических задач в области систем с элементами искусственного интеллекта.
Развитие у школьников целостного представление о информатике и математике в многообразии её межпредметных связей, позволяющее привести в систему ранее полученные знания о числовых системах, увидеть широкие возможности применения математики и информатике в различных отраслях знаний и наоборот, увидеть уникальность, высокую абстрактность, и, вместе с тем, широту применения данной темы.
Основные задачи темы:- Познакомить учащихся с основными понятиями курса алгебры логики: высказываниями, формулами и их видами, действия над высказываниями, формулами алгебры логики, их свойствами и методами доказательства (таблицы истинности и применение свойств). - Показать возможности применения алгебры логики для:
• анализа текстов литературных произведений, речи, условий задач различных отраслей науки, утверждений и теорем
• решения физических задач
• решения логических уравнений и задач, сформулированных в различных отраслях науки, практической направленности
- Способствовать формированию у школьников сферы научных, технических, профессиональных интересов, их самоопределение в выборе профиля;
- Способствовать формированию целостной системы знаний, получаемых в рамках различных научных областей школьного образования
- Развитие интеллектуальных умений учащихся, как средствами содержания темы, её положением в курсе информатики основной школы.
Здесь вы сможете просмотреть приблизительное календарно-тематическое планирование курса
КТП Алгебра высказываний [1]
Загляните на закладки. которые могут пигодиться при изучении данной темы [2]