УМК Алгебра высказываний
(не показаны 14 промежуточных версий 2 участников) | |||
Строка 1: | Строка 1: | ||
− | + | ||
+ | {{Править название}} | ||
+ | |||
+ | |||
+ | |||
+ | |||
== '''Алгебра высказываний, основы логики.''' == | == '''Алгебра высказываний, основы логики.''' == | ||
+ | <graphviz> | ||
+ | digraph G{ | ||
+ | rankdir=LR ; | ||
+ | node[color="pink",fontsize=10, fontcolor="navy",style=filled, shape="ellipse"] ; | ||
+ | "Основные цели" -> "Самоопределение своих интересов в сферах науки" | ||
+ | "Основные цели" -> "Подготовка к осознанному выбору профиля посредствам изучения курса основ логики" | ||
+ | "Основные цели" -> "Предоставить теоретическую базу логического программирования" | ||
+ | {rank=same; "Самоопределение своих интересов в сферах науки" "Подготовка к осознанному выбору профиля посредствам изучения курса основ логики" "Предоставить теоретическую базу логического программирования" ;} ; | ||
+ | } | ||
+ | </graphviz> | ||
Строка 13: | Строка 28: | ||
''Развитие'' у школьников целостного представление о информатике и математике в многообразии её межпредметных связей, позволяющее привести в систему ранее полученные знания о числовых системах, увидеть широкие возможности применения математики и информатике в различных отраслях знаний и наоборот, увидеть уникальность, высокую абстрактность, и, вместе с тем, широту применения данной темы. | ''Развитие'' у школьников целостного представление о информатике и математике в многообразии её межпредметных связей, позволяющее привести в систему ранее полученные знания о числовых системах, увидеть широкие возможности применения математики и информатике в различных отраслях знаний и наоборот, увидеть уникальность, высокую абстрактность, и, вместе с тем, широту применения данной темы. | ||
+ | |||
+ | |||
+ | [[Изображение:OSN PON.JPG]] | ||
+ | |||
'''''Основные задачи темы:'''''- Познакомить учащихся с основными понятиями курса алгебры логики: высказываниями, формулами и их видами, действия над высказываниями, формулами алгебры логики, их свойствами и методами доказательства (таблицы истинности и применение свойств). | '''''Основные задачи темы:'''''- Познакомить учащихся с основными понятиями курса алгебры логики: высказываниями, формулами и их видами, действия над высказываниями, формулами алгебры логики, их свойствами и методами доказательства (таблицы истинности и применение свойств). | ||
- Показать возможности применения алгебры логики для: | - Показать возможности применения алгебры логики для: | ||
− | + | =Тематическое планирование= | |
+ | {| class="standard" border=1 | ||
+ | |-- | ||
+ | |анализа текстов литературных произведений, речи, условий задач различных отраслей науки, утверждений и теорем | ||
+ | |-- | ||
+ | |решения физических задач | ||
+ | |-- | ||
+ | |решения логических уравнений и задач, сформулированных в различных отраслях науки, практической направленноститермины | ||
+ | |-- | ||
+ | |} | ||
− | |||
− | |||
− | |||
- Способствовать формированию у школьников сферы научных, технических, профессиональных интересов, их самоопределение в выборе профиля; | - Способствовать формированию у школьников сферы научных, технических, профессиональных интересов, их самоопределение в выборе профиля; | ||
Строка 31: | Строка 56: | ||
'''Здесь вы сможете просмотреть приблизительное календарно-тематическое планирование курса | '''Здесь вы сможете просмотреть приблизительное календарно-тематическое планирование курса | ||
− | ''КТП Алгебра высказываний'' [http://www.google.com/calendar/embed?src=marishka_ko%40inbox.ru&ctz=Asia/Yekaterinburg ] ''' | + | ''КТП Алгебра высказываний''(просмотр с СЕНТЯБРЯ) [http://www.google.com/calendar/embed?src=marishka_ko%40inbox.ru&ctz=Asia/Yekaterinburg ] ''' |
+ | RSS потоки обновления сайтов по теме "Алгебра высказываний" | ||
+ | '''Закладки на БобрДобр''' | ||
+ | |||
+ | <xfeeds contentcolour="#EFF5FF" feedlimit="10" totallimit="10"> | ||
+ | |||
+ | http://bobrdobr.ru/links/user/kovalenko_mary/rss.xml | ||
+ | |||
+ | </xfeeds> | ||
Строка 38: | Строка 71: | ||
[http://bobrdobr.ru/bookmarks/kovalenko_mary/index.html] | [http://bobrdobr.ru/bookmarks/kovalenko_mary/index.html] | ||
− | Просмотрите фотографии по данной теме [http://flamber.ru/photos/1207978236/][http://flamber.ru/photos/1207978445/] | + | Просмотрите фотографии по данной теме: "буклет учащихся" [http://flamber.ru/photos/1207978236/] |
+ | "буклет преподавателя"[http://flamber.ru/photos/1207978445/] | ||
+ | |||
+ | просмотрите дидактические материалы: | ||
+ | [http://www.scribd.com/doc/2540229/konspect?ga_uploads=1] | ||
+ | |||
+ | [http://www.scribd.com/doc/2540296/crossword] | ||
пройдите по этой ссылке и посмотрите презентацию учащихся по данной теме: | пройдите по этой ссылке и посмотрите презентацию учащихся по данной теме: | ||
[http://www.slideshare.net/mary_ko/presentationst] | [http://www.slideshare.net/mary_ko/presentationst] | ||
+ | |||
+ | |||
+ | общение по теме: ЛОГИКА [http://marykoval.livejournal.com/607.html] | ||
+ | |||
+ | галерея по теме: | ||
+ | <gallery> | ||
+ | Изображение:логика.jpg|'''Книга по логике''' | ||
+ | Изображение:логика1.jpg|'''Женская и мужская логика''' | ||
+ | |||
+ | </gallery> | ||
+ | |||
+ | поиск по УМК: | ||
+ | [http://logic.flexum.ru/] |
Текущая версия на 08:31, 28 апреля 2008
Статью необходимо переименовать- см. Имя статьи |
[править] Алгебра высказываний, основы логики.
Основные цели темы:
Самоопределение своих интересов в сферах науки, техники искусства, подготовка к осознанному выбору профиля посредствам изучения курса основ логики, заложить теоретическую базу логического программирования.
Цель преподавания темы – обучение научно-методическому аппарату математической логике, как основы систем с элементами искусственного интеллекта, которые, как предполагают, будут преобладать в новой информационной цивилизации.
Воспитательной целью дисциплины является формирование научного мировоззрения, дающего теоретические ориентиры при решении практических задач в области систем с элементами искусственного интеллекта.
Развитие у школьников целостного представление о информатике и математике в многообразии её межпредметных связей, позволяющее привести в систему ранее полученные знания о числовых системах, увидеть широкие возможности применения математики и информатике в различных отраслях знаний и наоборот, увидеть уникальность, высокую абстрактность, и, вместе с тем, широту применения данной темы.
Основные задачи темы:- Познакомить учащихся с основными понятиями курса алгебры логики: высказываниями, формулами и их видами, действия над высказываниями, формулами алгебры логики, их свойствами и методами доказательства (таблицы истинности и применение свойств).
- Показать возможности применения алгебры логики для:
[править] Тематическое планирование
анализа текстов литературных произведений, речи, условий задач различных отраслей науки, утверждений и теорем |
решения физических задач |
решения логических уравнений и задач, сформулированных в различных отраслях науки, практической направленноститермины |
- Способствовать формированию у школьников сферы научных, технических, профессиональных интересов, их самоопределение в выборе профиля;
- Способствовать формированию целостной системы знаний, получаемых в рамках различных научных областей школьного образования
- Развитие интеллектуальных умений учащихся, как средствами содержания темы, её положением в курсе информатики основной школы.
Здесь вы сможете просмотреть приблизительное календарно-тематическое планирование курса
КТП Алгебра высказываний(просмотр с СЕНТЯБРЯ) [1]
RSS потоки обновления сайтов по теме "Алгебра высказываний" Закладки на БобрДобр
<xfeeds contentcolour="#EFF5FF" feedlimit="10" totallimit="10">
http://bobrdobr.ru/links/user/kovalenko_mary/rss.xml
</xfeeds>
Загляните на закладки. которые могут пигодиться при изучении данной темы
[2]
Просмотрите фотографии по данной теме: "буклет учащихся" [3] "буклет преподавателя"[4]
просмотрите дидактические материалы: [5]
[6] пройдите по этой ссылке и посмотрите презентацию учащихся по данной теме: [7]
общение по теме: ЛОГИКА [8]
галерея по теме:
- Логика.jpg
Книга по логике
- Логика1.jpg
Женская и мужская логика
поиск по УМК: [9]