Вестник высшей школы
ВойтиРегистрацияСоздать
Подать статьюПодать
2014, №10
ПРАКТИКА ВЫСШЕЙ ШКОЛЫ

Постановка целей и разработка курсов по ФГОС (на примере курса «Математическая логика»)

М.Е. Сангалова

С. 75–8080 ₽

PDF

В закладки

Аннотация

Обсуждена проблема постановки целей при разработке учебных курсов. Представлена трехуровневая схема взаимодействия целей и содержания обучения — методология проекта Tuning Educational Structures in Europe, адаптированная к задачам разработки курсов. Представлен пошаговый алгоритм разработки курсов на теоретическом уровне и показана его реализация для курса «Математическая логика».

Ключевые слова

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

Литература

  1. Саранцев Г.И. Методика обучения математике в средней школе. — М.: Просвещение, 2002.
  2. [URL]: http://slavcenteur.ru/Proba/Kovtun/kovtun_ obrprogrammy.pdf
    slavcenteur.ru
  3. [Электронный ресурс].
    edu.ru
  4. Сангалова М.Е. Курс лекций по математической логике. — Арзамас: Арзамас. гос. пед. ин-т, 2006.
  5. Игошин В.И. Математическая логика и теория алгоритмов. — М.: Академия, 2008.
  6. Грудзинская Е.Ю., Петьков В.И. Активные методы в преподавании дисциплины «Изоморфизм. Твердые растворы» // Alma mater (Вестник высшей школы). — 2012. — No 12. — С. 47—54.
  7. Грудзинская Е.Ю., Марико В.В. Активные методы обучения в высшей школе. — Н. Новгород: Нижегород. гос. ун-т, 2007.
  8. Сангалова М.Е. Активные методы обучения математической логике // Вестник Нижегородского университета. — 2013. — No 5 (2). — С. 194—198. Тематическое No п/п Тема I Алгебра высказываний 1 Предмет математической логики. Логические операции над Таблицы истинности. 2 Формулы. Равносильные преобразования формул. Тавтологии 3 Дизъюнктивная и конъюнктивная нормальные формы. Закон 4 Совершенные нормальные формы. 5 Булевы функции. Полные системы булевых функций. 6 Приложение алгебры высказываний к логико-математической II Исчисление высказываний 7 Понятие формальной теории. Аксиомы, правила вывода, теоремы 8 Теорема дедукции в исчислении высказываний. 9 Полнота исчисления высказываний в широком смысле. 10 Непротиворечивость и полнота в узком смысле. 11 Независимость аксиом исчисления высказываний III Логика предикатов 12 Предикаты. Кванторы. Область истинности и ложности предиката. 13 Равносильные формулы. Предваренная нормальная форма. 14 Проблема разрешимости логики предикатов. 15 Применение языка логики предикатов для записи математических IV Исчисление предикатов 16 Теории первого порядка. Теоремы и формулы. Логические Теорема дедукции в исчислении предикатов. 17 Непротиворечивость и полнота исчисления предикатов. 18 Теоремы Гёделя о неполноте. Метаматематика. Логические
Рубрики
ПРАКТИКА ВЫСШЕЙ ШКОЛЫ