УМК Алгебра высказываний

Версия 08:04, 12 апреля 2008

Алгебра высказываний, основы логики.

Основные цели темы:

Самоопределение своих интересов в сферах науки, техники искусства, подготовка к осознанному выбору профиля посредствам изучения курса основ логики, заложить теоретическую базу логического программирования.

Цель преподавания темы – обучение научно-методическому аппарату математической логике, как основы систем с элементами искусственного интеллекта, которые, как предполагают, будут преобладать в новой информационной цивилизации.

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

Развитие у школьников целостного представление о информатике и математике в многообразии её межпредметных связей, позволяющее привести в систему ранее полученные знания о числовых системах, увидеть широкие возможности применения математики и информатике в различных отраслях знаний и наоборот, увидеть уникальность, высокую абстрактность, и, вместе с тем, широту применения данной темы.

Основные задачи темы:- Познакомить учащихся с основными понятиями курса алгебры логики: высказываниями, формулами и их видами, действия над высказываниями, формулами алгебры логики, их свойствами и методами доказательства (таблицы истинности и применение свойств). - Показать возможности применения алгебры логики для:

• анализа текстов литературных произведений, речи, условий задач различных отраслей науки, утверждений и теорем

• решения физических задач

• решения логических уравнений и задач, сформулированных в различных отраслях науки, практической направленности

- Способствовать формированию у школьников сферы научных, технических, профессиональных интересов, их самоопределение в выборе профиля;

- Способствовать формированию целостной системы знаний, получаемых в рамках различных научных областей школьного образования

- Развитие интеллектуальных умений учащихся, как средствами содержания темы, её положением в курсе информатики основной школы.

Здесь вы сможете просмотреть приблизительное календарно-тематическое планирование курса

КТП Алгебра высказываний [1]

Загляните на закладки. которые могут пигодиться при изучении данной темы [2]