Математическая логика и теория алгоритмов : учебное пособие / А. А. Набебин, Ю. П. Кораблин .- М. : Научный мир , 2008 .- 343 с. 9. Гончаров, Сергей Савостьянович Математическая логика .


Чтобы посмотреть этот PDF файл с форматированием и разметкой, скачайте его и откройте на своем компьютере.
Министерство образования и науки Российской Федерации


ФИЛИАЛ ФЕДЕРАЛЬНОГО ГОСУДАРСТВЕННОГО БЮДЖЕТНОГО

ОБРАЗОВАТЕЛЬНОГО УЧРЕЖДЕНИЯ ВЫСШЕГО

ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ

«БАЙКАЛЬСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

ЭКОНОМИКИ И ПРАВА» в г. УСТЬ
-
ИЛИМСКЕ


(Филиал
ФГБОУ ВПО «БГУЭП» в г. Усть
-
Илимске)













ПРОГРАММА УЧЕБНОЙ ДИ
СЦИПЛИНЫ



ЭЛЕМЕНТЫ МАТЕМАТИЧЕС
КОЙ ЛОГИКИ




230401 Информационные системы (по отраслям)




Техник по информационным системам














Усть
-
Илимск 201
3




2





Программа учебной дисциплины разработана на основе Федерального гос
у-
дарственного образовательного стандарта (далее

ФГОС) по специаль
ности
среднего профессионального образования (далее

СПО)
230401 Информацио
н-
ные системы (по отраслям) укрупненной группы 230000 Информатика и вычисл
и-
тельная техника
.


Организация разработчик: филиал ФГБОУ ВПО «Байкальский государстве
н
ный
университет эконо
мики и права»

Цикловая коми
с
сия Механизации, технологии и информатизации.



Разработчик:


Л.Н. Панковец, старший преподаватель математических и общих
естественнонаучных дисциплин



Рецензент:

Н.А.Студенникова

старший преподаватель математических и общих
естественнонаучных дисциплин




Программа учебной дисциплины рассмотрена на заседании цикловой коми
с
сии
Механизации, технологии и информатизации.

Протокол № ……… от «...» ……………………..201_____г.

Председатель цикловой коми
с
сии…………………………………….Н.Е.Мансурова


Прог
рамма учебной дисциплины рекомендована учебно
-
методическим советом
филиал ФГБОУ ВПО «Байкальский государственный университет эк
о
номики и
права».

Протокол № ……… от «...» ……………………..201_____г.

Председатель УМС……………………………………………………...Е.Е. С
а
вельева



3




СОДЕРЖАНИЕ

СОДЕРЖАНИЕ
................................
................................
................................
................................
......
3

1. ПАСПОРТ ПРОГРАММ
Ы УЧЕБНОЙ ДИСЦИПЛИНЫ
................................
.................
4

1.1.

Область
применения программы
................................
................................
................................
..
4

1.2. Место учебной дисциплины в структуре основной профессиональной образовательной
программы
................................
................................
................................
................................
.......
4

1.3. Цель
и задачи учебной дисциплины

требования к результатам освоения учебной
дисциплины
................................
................................
................................
................................
.....
4

1.4. Перечень формируемых компетенций
................................
................................
..........................
4

1.
5. Количество часов на освоение программы учебной дисциплины
................................
.............
5

2. СТРУКТУРА И СОДЕР
ЖАНИЕ УЧЕБНОЙ ДИСЦИ
ПЛИНЫ
................................
.....
6

2.1. Объем учебно
й дисциплины и виды учебной работы
................................
................................
.
6

2.2.

Тематический план и содержание учебной дисциплины Элементы математической
логики
................................
................................
................................
................................
..............
7

3.
УСЛОВИЯ РЕАЛИЗАЦИИ У
ЧЕБНОЙ ДИСЦИПЛИНЫ
................................
..............
11

3.1. Требования к минимальному материально
-
техническому обеспечению
................................
11

3.2. Информацион
ное обеспечение обучения
................................
................................
...................
11

4. КОНТРОЛЬ И ОЦЕНКА
РЕЗУЛЬТАТОВ ОСВОЕНИ
Я УЧЕБНОЙ
ДИСЦИПЛИНЫ
................................
................................
................................
................................
..
13




4




1.
ПАСПОРТ ПРОГРАММЫ У
ЧЕБНОЙ ДИСЦИПЛИНЫ

ЭЛЕМЕНТЫ МАТЕМАТИЧЕС
КОЙ Л
ОГИКИ


1.1.

Область применения программы



Программа учебной дисциплины является частью основной професси
о-
нальной образовательной программы в соответствии с ФГОС по специальн
о
сти
СПО
230401 Информационные системы (по отраслям) укрупненной группы
230000 Информат
ика и вычислительная техника
.



1.2. Место учебной дисциплины в структуре основной профессиональной образ
о-
вательной программы


Учебная дисциплина «Элементы математической логики» входит в баз
о-
вую (обязательную) часть математического и общего естественн
о
нау
чного цикла
ФГОС (ЕН.02).

1.3. Цель и задачи учебной дисциплины

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



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


-
формулировать задачи логического характера и применять средства м
а-
тематической логики для их решения.


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

-
основные принципы математической логики, теории множеств и те
о
рии
алгоритмов;

-

формулы алгебры выск
а
зываний;

-

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

-

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


1.4. Перечень формируемых компетенций



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

ОК

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

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

ОК 3. Принимать решения в стандартных и нестандартных ситуациях и
нести за них отве
т
ственность.

ОК 4. Осуществлять поиск и использование информации, необходимой


5




для эффективного выполнения профессиональных задач, профессионального и
ли
чнос
т
ного развития.

ОК 5. Использовать информационно
-
коммуникационные технологии в
профессиональной деятельности.

ОК 6. Работать в коллективе и команде, эффективно общаться с коллег
а-
ми, руководством, потребителями.

ОК 7. Брать на себя ответственность за ра
боту членов команды (подч
и-
ненных), результат выполнения заданий.

ОК 8. Самостоятельно определять задачи профессионального и личнос
т-
ного развития, заниматься самообразованием, осознанно планировать повышение
кв
а
лификации.

ОК 9. Ориентироваться в условиях ча
стой смены технологий в профе
с-
с
и
ональной деятел
ь
ности.

ОК 10. Исполнять воинскую обязанность, в том числе с применением п
о-
лученных профе
с
сиональных знаний (для юношей).

Профессиональные компетенции (ПК) студента, формируемые в р
е
зультате
освоения дисципл
и
н
ы:

ПК 1.1. Собирать данные для анализа использования и функционир
о
вания
информационной системы, участвовать в составлении отчетной док
у
ментации,
принимать участие в разработке проектной документации на модификацию и
н-
формационной системы.

ПК 1.2. Взаимодейс
твовать со специалистами смежного профиля при ра
з-
работке методов, средств и технологий применения объектов профессиональной
деятельности.

ПК 1.4. Принимать участие в приемо
-
сдаточных испытаниях.

ПК 2.3. Применять методики тестирования разрабатываемых прил
о
жений.

1.5. Количество часов на освоение программы учебной дисциплины


Максимальная учебная нагрузка обучающегося 128 часов, в том чи
с
ле:

-
обязательная аудиторная учебная нагрузка 80 часов,

-
самостоятельная работа обучающегося 48 часов.



6




2. СТРУКТУРА
И СОДЕРЖАНИЕ УЧЕБНОЙ
ДИСЦИПЛИНЫ

2.1. Объем учебной дисциплины и виды учебной работы


Вид учебной работы

Объем часов

Максимальная учебная нагрузка (всего)

128

Обязательная аудиторная учебная нагрузка (всего)

80

в том числе:


лекции

32

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

48

Самостоятельная работа обучающегося (всего)

48

в том числе:


систематическая проработка конспектов занятий, учебной
литературы

12




решение задач

18

выполнение контрольных работ

10

подготовка к промежуточной аттестации

8

Итоговая аттестация в форме экзамена в 3 семестре



7




2.2.

Тематический план и содержание учебной дисциплины
Элементы математ
и
ческой логики


Наименование

разделов и тем

Содержание учебного материала, практические раб
о
ты,

самостоятельная р
а
бота обучающихся

Объем

часов

Уровень

о
с
воения

Раздел 1. Основы теории множеств

6

Содержание учебного материала


Лекции

Понятие множества. Операции надо множествами

2

1,2

Практические занятия

Операции надо множествами. Диаграммы
Эйлера
-
Вьена.

2

Тема 1.1.

Множества и операции над
ними.

Самостоятельная работа обучающихся

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

2

Раздел 2.
Логика высказываний

26

Содержание учебного материала



Лекции

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

2


1,2

Практические занятия

Основные схемы логически правильных рассуждений. Таблицы истинн
о
сти.

4

Тема 2.1.

Высказывания
.
Интерпрет
а-
ции формул логики в
ысказ
ы-
ваний

Самостоятельная работа обучающихся

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

2

Содержание учебного материала



Лекции

Тождественно истинные и тождественно ложные формулы логики высказываний. Выпо
л-
нимые множества формул. Логическое следование. Логическ
ие следствия из посылок.
Правильные и неправильные аргументы.

2


1,2

Практические занятия

Тождественно истинные и тождественно ло
ж
ные формулы логики высказываний

4

Тем
а 2.2.

Тождественно истинные и
тождественно ложные фо
р-
мулы логики высказыв
а
ний

Самостоятельная работа обучающихся

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

4




Содержание учебного материала

2




8




Лекции

Эквивалентные формулы. Основные эквивалентности логики высказываний. Упр
о
щение
формул логики высказываний.

1,2

Пра
ктические занятия

У
п
рощение формул логики высказываний.

2

Самостоятельная работа обучающихся

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


4

Раздел 3. Булева алгебра

60

Содержание учебного материала



Лекции

Аксиомы булевой алгебры. Элементарные булевы функции. Законы логики. Равн
о
сильные
преобразования. Дизъюнктивные и конъюктивные формы. Способы задания булевых
функций. Эквивалентные пр
е
образо
вания. Метод Блейка
-
Порецкого.

6

1,2


Практические занятия

Свойства дизъюнкции и конъюнкции. Теоремы одной переменной. Упражнения на прим
е-
нение теорем склеивания, поглощения, теоремы де Моргана. Инвертирование сложных
выражений.

6

Тема 3.1.

Функ
ции алгебра лог
и
ки
.



Самостоятельная раб
ота обучающихся

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

6

Содержание учебного материала


Лекции

Минтермы. Совершенная дизъюнктивная нор
мальная форма. Теорема разложения для
ДНФ. Карта Вейча. Алгебраическое упрощение булевых функций. Понятие и
м
пликанты.
Метод Квайна. Метод Петрика.

4

1,2

Практические занятия

Нанесение функций на карту Вейча. Нахождение СДНФ при помощи карт Вейча. Нахо
ж-
д
ение пр
о
стых импликант по карте Вейча. Минимизация булевых функций при помощи
карт Вейча.

8

Тема 3.2.

Дизъюнктивные формы б
у-
левых функций.

Самостоятельная работа обучающихся


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

6



Содержание учебного материала

2




9




Лекции

Макстермы. Совершенная конъюнктивная нормальная форма. Теорема разложения для
КНФ. Пер
е
вод функций из КНФ в ДНФ.

1,2


Практические занятия

Нахождение сокращенных КНФ. Нахожд
ение тупиковых и минимальных КНФ.

4

Самостоятельная работа обучающихся

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


2

Содержание учебного материала


Л
екции

Понятие порядка булевой функции. Граф
-
схема булевой функции. Абсолютно минимал
ь-
ные формы. Повышение порядка булевых функций. Классификация форм высших поря
д-
ков.

2

1,2

Практические занятия

Построение граф
-
схема булевой функции

4

Тема 3.4.

Формы высших порядков

Самостоятельная р
абота обучающихся


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

2

Содержание учебного материала


Лекции

Операция двоичного слож
ения. Многочлен Жегалкина. Основные классы функций. Полн
о-
та множества функций. Важнейшие замкн
у
тые классы. Теорема Поста.


2

1,2


Практические занятия


Алгебра Жегалкина, линейные функции. Двойственность, самодвойственные фун
к-
ции.

2

Тема 3.5.

Операция двоичного слож
е-
ния. Полнота множес
т
ва.

Самостоятельная раб
ота обучающихся

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


4

Раздел 4. Логика предикатов.

18

Содержание учебного материала


Тема 4.1.

Понятие предиката


Лекции

Понятие предиката, опе
рации, константы. Логические операции над предикатами и их те
о-
ретико
-
множественный смысл. Сигнатура. Кванторы общности и существ
о
вания.

2

1,2




10




Практические занятия

Предикаты и операции над ними.

4

Самостоятельная работа обучающихся

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

4

Содержание учебного материала


Лекции

Выполнимость и истинность. Истинностное значение формул логики п
редикатов. Тожд
е-
ственно истинные и тождественно ложные формулы логики предикатов. Выполнимые
множества формул. Логическое следование. Эквивалентные соотношения. Префиксная
нормальная форма.

2

1,2

Практические занятия

Тожд
е
ственно истинные и тождественно
ложные формулы логики предикатов

2

Тема 4.2.

Истинностное значение фо
р-
мул логики предикатов

Самостоятельная работа обучающихся

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

4

Раздел 5. Элементы теории алгоритмов

18

Содержание учебного материала


Лекции

Вычислимые функции и алг
о
ритмы. Основы теории вычислимых функций

2

1,2


Практические занятия

Основы теории вычислимых функций

4

Тема 5.1.

Вычислимые функции
и а
л-
горитмы

Самостоятельная работа обучающихся

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


4

Содержание учебного материала


Лекции

Основные требования к алгоритмам. Машина Тьюринга: основные понятия, спос
о-
бы
зад
а
ния. Операции над машинами Тьюринга.

2

1,2

Практические занятия

Построение машины Тьюринга числовой функции, фун
к
ции разветвления.

2

Тема 5.2.

Нормальный алгоритм Ма
р-
кова. Машина Ть
ю
ринга.

Самостоятельная работа обучающихся

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

4

Всего:

128




11




3. УСЛОВИЯ РЕАЛИЗАЦИ
И УЧЕБНОЙ ДИСЦИПЛИНЫ

3.1. Требования к минимальному материально
-
техническому обеспечению



Реализация учебной дисциплины требует наличия учебного кабинета. Об
о-
рудование учебного кабинета вкл
ючает:

-
посадочные места (по количеству обучающихся);

-
рабочее место преподавателя;

-
раздаточный материал по изучаемым темам.


Технические средства обучения:

-
мультимедиапроектор,


-
ноутбук.


3.2. Информационное обеспечение обучения


Перечень
рекомендуемых учебных изданий, Интернет
-
ресурсов, дополн
и-
тельной литературы

Основные источники:


3.

Успенский, В. А., Верещагин, Н. К. и др.
Вводный курс математической л
о-
гики : учеб. пособие для вузов / В. А. Успенский, Н. К. Верещагин, В. Е.
Плиско .
-
2
-
е
изд.
-
М. : ФИ
З
МАТЛИТ , 2002 .
-
125 с.

4.

Ершов, Ю. Л., Палютин, Е. А.
Математическая логика : учеб. пособие / Ю. Л.
Ершов, Е. А. Палютин.
-
4
-
е изд., стер.
-
СПб. : Лань, 2005 .
-
336 с.

5.

Игошин В. И. Математическая логика: учебное пособие

М.: ИНФРА
-
М,
2012




Дополнительные источники:

1. Анапольский Л.Ю., Никулина С.И. Сборник задач по математике в эк
о-
номике. Ч.2: Линейная алгебра. Функции нескольких переменных.

И
р
кутск: Изд
-
во ИГЭА, 2001.

2. Колесников А.Н. Краткий курс математики для экономистов: Учебное
по
собие.

М.: ИНФРА
-
М, 2001.

2.

Шипачев В.С. Задачи по высшей математике: Учебное пособие для вузов.


М.: Высшая школа, 2011.

3.

Игошин В. И.
Математическая логика и теория алгоритмов : учебное пос
о
бие
/ В. И. Игошин .
-
М. : Ак
а
демия , 2004 .
-
447 с.

1.

Атрос, С.
М.
Элементы теории множеств и математической логики :
метод. рекомендации / С. М. Атрос .
-
Кемерово : КРИПКиПРО , 2004
.
-
38 с. : рис. .
-
Педагогические таланты Ку
з
басса.

2.

Ершов, Юрий Леонидович, Палютин, Евгений Андреевич
Мат
е-


12




матическая логика : учеб. пос
о
бие / Ю. Л. Ершов, Е. А. Палютин .
-
3
-
е
изд. .
-
СПб. : Лань , 2004 .
-
336 с.

3.

Романович, Владимир Александрович
Лекции по математической
логике . Ч. 1 : учеб. пособие для студентов математических специал
ь-
ностей / В. А. Романович ; Томский гос. ун
-
т .
-
Томс
к : Изд
-
во ТГУ ,
2005

4.

Игошин, Владимир Иванович
Задачи и упражнения по математич
е-
ской логике и теории алгоритмов : учеб. пособие для вузов / В. И.
Игошин .
-
2
-
е изд., стер. .
-
М. : Academia , 2006 .
-
303 с.

5.

Клини, Стивен Коул
Математическая логика : пер. с
англ. / С. К.
Клини .
-
3
-
е изд., стер. .
-
М. : URSS , 2007 .
-
480 с.

6.

Игошин, Владимир Иванович
Математическая логика и теория а
л-
горитмов : учеб. пособие / В. И. Игошин .
-
3
-
е изд., стер. .
-
М. : Ак
а-
демия , 2008 .
-
447 с.

7.

Лихтарников, Леонид Моисеевич, Сук
ачева, Тамара Геннадьевна
Математическая логика : курс лекций, задачник
-
практикум и реш
е-
ния, учеб. пособие / Л. М. Лихтарников, Т. Г. Сукачева .
-
3
-
е изд.,
испр. .
-
СПб. : Лань , 2008 .
-
276 с.

8.

Набебин, Алексей Александрович, Кораблин, Юрий Прокофьевич
Мат
ематическая лог
и
ка и теория алгоритмов : учебное пособие / А. А.
Набебин, Ю. П. К
о
раблин .
-
М. : Научный мир , 2008 .
-
343 с.

9.

Гончаров, Сергей Савостьянович
Математическая логика . Ч. 1 :
учеб. пособие / С. С. Гончаров ; Федеральное агентство по образов
а-
ни
ю .
-
Новосибирск : Изд
-
во Новосибирского гос. ун
-
та , 2007 .
-
165 с

10.
Задачи и упражнения по математической логике, дискретным
функциям и теории алгоритмов :
учеб. пособие / М. М. Глухов [и
др.] .
-
СПб. : Лань , 2008 .
-
111 с.

11.
Гринченков, Дмитрий Валерьевич,
Потоцкий, Сергей Иванович
Математическая логика и теория алгоритмов для программистов :
учеб. пособие / Д. В. Гринченков, С. И. Потоцкий .
-
М. : Кн
о
Рус , 2010
.
-
206 с.

12.
Математическая логика и теория алгоритмов:
РАН, СО, Ин
-
т м
а-
тематики; ред.: А. А. Боров
ков, С. С. Гончаров, Ю. Л. Ершов.
-
Нов
о-
сибирск : Ин
-
т математики СО РАН , 1993.
-
204 c. Би
б
лиогр.: с. 198
-
199.

13.
Попов, Александр Иванович.
Введение в математическую логику /
А. И. Попов; Ленингра
д
ский гос. ун
-
т им. А.А. Жданова.
-
Л.: Изд
-
во
ЛГУ, 1959.
-

108 с. Библиогр.: с. 106
-
107.

14.
Математическая логика в программировании:
Сб.ст.: Пер. с англ.
-

М.: Мир, 1991.
-
408 c.
-
Математическое обеспечение ЭВМ.
-
ISBN 5
-
03
-
001635
-
Х: 105 р.

15.
Лавров, Игорь Андреевич, Максимова, Лариса Львовна.
Задачи
по теории множест
в, мат
е
матической логике и теории алгоритмов / И.
А. Лавров, Л. Л. Максимова.
-
3
-
е изд.
-
М.: Наука. Физ.
-
мат.лит.,


13




1995.
-
256 c. Библиогр.: с. 248
-
249.

16.
Мендельсон, Эллиот.
Введение в математическую логику: моногр
а-
фия / Э. Мендельсон; Пер. Ф. А. Кабаков.

-
М.: Наука. Физ.
-
мат.лит.,
1971.
-
320 c.
-
11000 р.

17.
Александрова, Регина Александровна, Потапова, Алефтина М
и-
хайлов
. Элементы теории множеств и математической логики: Пра
к-
тикум / Р.А. Алекса
н
дрова, А.М. Потапова; Калининградский гос. ун
-
т.
-
Калининград
: Изд
-
во Кал
и
нинградского ун
-
та, 1997.
-
66 c ил.



Основная литература:

1.

Кузнецов О.П., Адельсон
-
Бельский Г.М. Дискретная математика для инжен
е-
ра.

М.: Наука 1988.

2.

Ерусалимский, Яков Михайлович
. Дискретная математика: теория, задачи,
приложения/Я. М. Ерус
алимский.

3
-
е изд.

М.: Вузовская книга, 2000.


3.

Зыков А.А. Основы теории графов.

М.: Наука 1987.

4.

Мендельсон Э. Введение в математическую логику

М.: Наука 1974.

5.

Гаврилов Гарий Петрович
. Задачи и упражнения по курсу дискретной матем
а-
тики: учебное пос
обие для вузов / Г. П. Гаврилов, А. А. Сапоженко.

2
-
е изд.,
перераб. и доп.

М. : Наука, 1992.

6.

Лавров Игорь Андреевич
. Задачи по теории множеств, математической логике
и теории алгоритмов / И. А. Лавров, Л. Л. Максимова.

5
-
е изд.

М.: Фи
з-
матлит, 2006
.

7.

Лихтарников, Л. М.
Математическая логика: Курс лекций. Задачник
-
практикум
и решения / Л. М. Лихтарников, Т. Г. Сукачева.

СПб.: Лань, 1999.



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

8.

Свами М., Тхуласираман К. Графы, сети и алгоритмы

М., Мир, 1984.

9.

Яблонский С.В. Вве
дение в дискретную математику

М.: Наука 1979.

10.
Харари Ф. Теория графов. М.: Мир, 1973.

11.
Уилсон Р. Введение в теорию графов. М.: Мир, 1977
-
207с.

12.
Корниенко А.В. Дискретная математика: Учебное пособие.

2
-
е изд.

Томск:
Изд. ТПУ, 2000.


Интернет
-
ресурсы:

1.

www
.
biblioclub
.
ru



4. КОНТРОЛЬ И ОЦЕНКА
РЕЗУЛЬТАТОВ ОСВОЕНИ
Я

УЧЕБНОЙ ДИСЦИ
П
ЛИНЫ


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

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

Текущий контроль проводится в форме устного опроса и выполнения тест
о-


14




вых заданий. Промежуточная аттестация по дисциплине проводится в форме э
к-
зам
е
на.


Результаты обучения

(освоенные умения, усвоенные знания)

Формы и методы контроля и
оценки р
е
зультатов о
бучения

Уметь:


-
формулировать задачи логического
характера и применять средства мат
е-
матической логики для их решения.


Анализ решения и оценка резул
ь-
татов выполнения практических
самосто
я
тельных работ.

Анализ выполнения тестовых з
а-
даний.

Анализ и оценк
а результатов ус
т-
ного о
п
роса.

Анализ и оценка индивидуальных
зад
а
ний.

Знать:

-
основные принципы матем
а
тической
логики, теории множеств и теории а
л-
гори
т
мов;

-
формулы алгебры высказ
ы
ваний;

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

-
основы языка и ал
гебры предик
а
тов.


Текущий контроль:

Анализ и оценка результатов ус
т-
ного о
п
роса.

Анализ решения и оценка резул
ь-
татов выполнения практических
заданий и решения задач по видам
професси
о
нальной деятельности.

Промежуточный контроль:

тестовый контроль.

Итоговый
контроль:

экзамен.











ДОПОЛНЕНИЯ И ИЗМЕНЕН
ИЯ В РАБОЧЕЙ ПРОГРАМ
МЕ

НА 20__/20__ УЧЕ
Б
НЫЙ ГОД


В программу вносятся следующие изменения:

___________________________________________________________________
_______________________________________________
_______________________
______________________________________________________________________
______________________________________________________________________
__________________________________________________________________





15




Разработал преподаватель

_______________________

«_____»___________20__ г.



Программа рассмотрена и одобрена на заседании кафедры (цикловой
комиссии)


________________________________
_______________________________

(наименование кафедры (цикловой комиссии)


Протокол №____ от «____»________ 20__ г.


Заведующий кафедрой (ПЦК)_______________
___

«______»_______________20_ г.



Согласовано

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

____________________________

«______»______________ 20__ г.


«Утверждаю»

Директор __________________________

«_____»________________ 20__
г.





Приложенные файлы

  • pdf 87643364
    Размер файла: 243 kB Загрузок: 1

Добавить комментарий