элективный

Программа предпрофильного элективного курса "Логика от Аристотеля до Буля" 9 класс

Опубликовано: 21 ноября 2011.

Автор: Николай.




Рубрика: Элективные курсы.

Метки: информатика, курс, логика, образование, элективный.

Пояснительная записка

Классическая логика не входит в программу средней школы, однако по мере изменения школьных программ и введения новых предметов (в частности информатики), всё больше чувствуется её отсутствие. В курс информатики входит математическая логика, но у неё нет естественного введения. Не показано её "вытекание" из классической логики. Некоторые разделы математики оперируют понятиями "необходимость" и "достаточность", некоторые утверждения доказываются методом математической индукции. При формулировке понятий многих теорий приходиться оперировать понятиями "индукция" и "дедукция". Эти понятия так же обосновываются и объясняются в классической логике. >>>

Обсудить (0)