Одобрена и рекомендована к утверждению на заседании Методической комиссии факультета математики и информатики


Скачать 100.41 Kb.
НазваниеОдобрена и рекомендована к утверждению на заседании Методической комиссии факультета математики и информатики
Дата публикации09.03.2013
Размер100.41 Kb.
ТипКурсовая
referatdb.ru > Математика > Курсовая


Ф 27-019

Учреждение образования

Гродненский государственный университет имени Янки Купалы”



УТВЕРЖДАЮ

Декан факультета математики и информатики

____________ Е.Н. Ливак

___ _________ 2011 г.
Регистрационный № УД- _____/р.


Логика
Учебная программа для специальности:

(рабочий вариант)
1-40 01 01 Программное обеспечение информационных технологий

1-26 03 01 Управление информационными ресурсами
Факультет математики и информатики

Кафедра алгебры, геометрии и методики преподавания математики

Курс (курсы) 1

Семестр (семестры) 1


Лекции 12

(количество часов)

Экзамен __________

(семестр)

Практические (семинарские)

занятия 8

(количество часов)


Зачёт 1

(семестр)

Лабораторные

занятия _____________


Курсовая работа (проект)________

Всего аудиторных часов

по дисциплине 20

(количество часов)




Всего часов

по дисциплине 30

(количество часов)

Форма получения

высшего образования ___________

Составила И.В.Трифонова, старший преподаватель кафедры



2011 г.

Учебная программа (рабочий вариант) составлена на основе учебной программы курса “Логика”, утв. 05.09.08 . рег. № УД-08/МИ-027/уч.

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

________2011 г., протокол №
Заведующий кафедрой

____________________ А.А. Гринь




Одобрена и рекомендована к утверждению на заседании Методической комиссии факультета математики и информатики

_________2011 г., протокол №
Председатель

___________________ Н.П. Макарова

^
Одобрена и рекомендована к утверждению на заседании Совета факультета
математики и информатики

__________2011 г., протокол №

Учёный секретарь

__________________

^ 1. ПОЯСНИТЕЛЬНАЯ ЗАПИСКА

Курс «Логика» предназначен для студентов, обучающихся по специальностям: «Программное обеспечение информационных технологий», «Управление информационными ресурсами»

Курс «Логика» является важным звеном математического образования. Вместе с курсами высшей математики, дискретной математики, теории вероятностей и математической статистики, числовых методов и математических методов составляет основу современного образования в области математики. Этот курс формирует у студентов представления о законах математической логики и логических рассуждениях, позволяет понять логику работы современной вычислительной техники.
^ 1.1. Цели и задачи учебной дисциплины:

изучение законов алгебры высказываний и алгебры предикатов и применение их к математической практике, формирование у студентов представлений о законах математической логики и логических рассуждениях, создание предпосылок для более глубокого усвоения последующих математических курсов.
^ 1.2. Формы и методы обучения и воспитания

Формы – лекции, практические занятия

Методы – объяснения, рассуждения, диалог, демонстрация примеров, индивидуальная консультация, технология мониторинга
^ 1.3. Рекомендации по организации самостоятельной работы студентов

Самостоятельное внеаудиторное освоение студентами части материала изучаемой дисциплины с использованием электронного учебника, образовательного сайта exponenta.ru
^ 1.4. Требования к компетентности (согласно образовательному стандарту специальности)

В результате изучения учебной дисциплины студент должен:

знать:

основные понятия и базовые результаты алгебры высказываний;

основные понятия и базовые результаты алгебры предикатов;

знание операций над высказываниями и предикатами, основных формул алгебры высказываний и алгебры предикатов, изложенных в курсе «Логика»;

уметь:

решать основные задачи алгебры высказываний и алгебры предикатов;

применять законы математической логики к математической практике;

уметь переводить текст на язык формальной логики и формулу на вербальный язык;

уметь строить таблицу истинности по заданной формуле;

уметь доказывать логические формулы;

уметь определять область истинности предиката;

работать с учебной и научной литературой;

владеть навыками:

проведения работы в команде при выполнении учебных и научных проектов;

проведения анализа прочитанного;

резюмировать полученную информацию.
1.5. Распределение общих и аудиторных часов по семестрам
Курс читается в первом семестре: 12 часов лекции, 8 часов практические занятия.

^ 2. СОДЕРЖАНИЕ УЧЕБНОГО МАТЕРИАЛА


Номер раздела

(темы, занятия)




Название раздела

(темы, занятия)



Содержание в соответствии с типовой учебной программой (учебной программой)

1

Введение

Предмет логики. Логические парадоксы

2

Логика высказываний

Операции над высказываниями. Формулы логики высказываний. Формулы логики высказываний. Тавтологии. Логические следствия.

3

Предикаты. Кванторы

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

4.

Описание математических понятий и теорем с помощью логики предикатов

Алгоритмы ирекурсивные функции.


^ 3. ТРЕБОВАНИЯ К КУРСОВОЙ РАБОТЕ (ПРОЕКТУ)1

Учебным планом учреждения высшего образования не предусмотрено выполнение курсовой работы (проекта) по данной дисциплине.
^ 3.1. Цель курсовой работы (проекта) по дисциплины

__________________________________________________________________________________________________________________________________________________

__________________________________________________________________________________________________________________________________________________

^ 3.2. Объем задания2

__________________________________________________________________________________________________________________________________________________

__________________________________________________________________________________________________________________________________________________
^ 3.3. Примерная тематика курсовых работ (проектов)

__________________________________________________________________________________________________________________________________________________

________________________________________________________________________________________________________________

^ 4. УЧЕБНО-МЕТОДИЧЕСКАЯ КАРТА УЧЕБНОЙ ДИСЦИПЛИНЫ


Номер раздела (темы, занятия)


Название разделы (темы, занятия);

перечень изучаемых вопросов3

Количество аудиторных часов


Методические пособия, средства обучения (оборудование, учебно-наглядные пособия и др.)


Литература


Формы контроля знаний

лекции

практические (семинарские) занятия

лабораторные занятия

управляемая (контролируемая) самостоятельная работа студента

1

2

3

4

5

6

7

8

9

1

Введение.

2



















2

Логика высказываний.

4

4













Самостоятельная работа

3

Предикаты. Кванторы.

4

4













тест

4

Описание математических понятий и теорем с помощью логики предикатов

2





















^ 5. ИНФОРМАЦИОННО-МЕТОДИЧЕСКИЕ МАТЕРИАЛЫ

ПО ДИСЦИПЛИНЕ
5.1. Перечень рекомендуемой литературы
Основная литература:

1. Мощенкский В.А. Лекции по математической логике. Мн.: изд-во БГУ. 1973. 160 с

2. Методические указания по курсу «Математическая логика». Сост. А.В. Корлюков, С.П. Мищенко. Гр.: ГрГУ, 1988.

3. Лекции по математической логике .Гончаров С.С. Новосибирский университет, г.Новосибирск.

4. Ершов Ю.Л., Палютин Е.А. Математическая логика. М.изд. «Наука», главная редакция физико-математической литературы, 1979 г.

5. Игошин В.И. Математическая логика и теория алгоритмов. –Изд-во СГУ, 1991.


Дополнительная литература:

1. С. Клини. Математическая логика. 1961

2. Вольвачев Р.Т. Элементы математической логики и теории множеств: Учебное пособие для мат. спец. вузов.-Мн.: Изд-во «Университетское», 1986.-112 с.

3. Мендельсон Э. Введение в математическую логику. 1976.
5.2. Перечень средств диагностики результатов учебной деятельности

Тестовые задания, индивидуальные задания.

^ 6. ПРОТОКОЛ СОГЛАСОВАНИЯ УЧЕБНОЙ ПРОГРАММЫ

ПО ИЗУЧАЕМОЙ УЧЕБНОЙ ДИСЦИПЛИНЕ

С ДРУГИМИ ДИСЦИПЛИНАМИ СПЕЦИАЛЬНОСТИ



Название дисциплины, с которой требуется согласование

Название кафедры

Предложения об изменениях в содержании учебной программы по изучаемой учебной дисциплине

Решение, принятое кафедрой, разработавшей учебную программу

(с указанием даты и номера протокола)4

1.

























  1. ^ ДОПОЛНЕНИЯ И ИЗМЕНЕНИЯ К УЧЕБНОЙ ПРОГРАММЕ

на ____ / _____ учебный год




п/п

Дополнения и изменения

Основание




































Учебная программа пересмотрена и одобрена на заседании кафедры

___________________________________ (протокол № __ от __________ 20___ г.)

(название кафедры)

Заведующий кафедрой

__________________________ ____________________ _________________________________
(ученая степень, ученое звание) (подпись) (И.О.Фамилия)


УТВЕРЖДАЮ

Декан факультета
__________________________ ____________________ _________________________________
(ученая степень, ученое звание) (подпись) (И.О.Фамилия)




1 Если учебным планом учреждения высшего образования по специальности (направлению специальности, специализации) предусмотрено выполнение курсовой работы (проекта) по данной дисциплине.

2 Включая количество часов на выполнение курсовой работы (проекта) в соответствии с учебным планом по специальности (направлению специальности, специализации).

3 Изучаемые вопросы могут не перечисляться, если раздел «Содержание учебного материалы» структурирован по учебным занятиям либо если на изучение каждой отдельной темы в разделе «Учебно-методическая карта учебной дисциплины» отводится не более двух часов.

4 При наличии предложений об изменениях в содержании учебной программы по изучаемой учебной дисциплине



Похожие рефераты:

Одобрена и рекомендована к утверждению на заседании Методической...
Рассмотрена и рекомендована к утверждению в качестве рабочего варианта на заседании кафедры алгебры, геометрии и методики преподавания...
Курс (курсы) 1
...
Курс (курсы) 1
...
Одобрена и рекомендована к утверждению на заседании Методической...
Учебная программа (рабочий вариант) составлена на основе учебной программы специального курса «Гргу им. Я. Купалы: миссия, история,...
Курсовой проект (работа)
...
Методической комиссии по специальности (ям) факультета математики и информатики
Рассмотрена и рекомендована к утверждению на заседании кафедры стохастического анализа и эконометрического моделирования
Методической комиссии по специальности (ям) факультета математики и информатики
Рассмотрена и рекомендована к утверждению на заседании кафедры стохастического анализа и эконометрического моделирования
Одобрена и рекомендована к утверждению на заседании Методической...
Учебная программа (рабочий вариант) составлена на основе Типовой учебной программы “Аналитическая геометрия и высшая алгебра” для...
Рассмотрена и рекомендована к утверждению на заседании Совета факультета...
Рабочая программа составлена на основе учебной программы для студентов специальности “Языки разметки документов”, составленной на...
Программа для специальности: 1-31 03 06
Одобрена и рекомендована к утверждению на заседании Методической комиссии по специальностям

Вы можете разместить ссылку на наш сайт:
Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
referatdb.ru
referatdb.ru
Рефераты ДатаБаза