Филиал ГБОУ СПО СО «Уральский политехнический колледж»
Г.Нягань
УТВЕРЖДАЮ
Зав. филиалом
_________Ларионова Г.И.
«___»____________2012г.
Программа промежуточной аттестации
по дисциплине
Элементы математической логики
курс 2
семестр 3
специальность: 230115 Программирование в компьютерных системах.
Составлена в соответствии с программой, утвержденной зам. директора по
учебной работе ГБОУ СПО СО «УПК» С.А. Тарабориным, 2012г.
Рассмотрена на заседании предметно-цикловой комиссии «Общих гуманитарных, социально-экономических, математических и естественнонаучных дисциплин»
Протокол
№ __________________от____________________20__г.
Председатель предметной комиссии ______________Г.И. Ларионова
1.Вид итоговой аттестации (экзамен, зачет, контрольная работа)
_ экзамен _____ __________________________________________
2.Форма проведения аттестации (устно, письменно)
__ устно ___________________ ___________________________
3. Разделы и темы, включенные в вопросы аттестации:
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
4. Материалы, разрешенные для использования во время аттестации:
_таблицы истинности; тетради для практических работ._
5. Критерии оценок:
- отлично – правильный полный ответ на все вопросы;
- хорошо - ответы на вопросы с дополнительными наводящими вопросами
экзаменатора;
- удовлетворительно – неполные ответы на вопросы;
- неудовлетворительно – ответы на вопросы неграмотные, нечёткие или отсутствуют.
6. Порядок выдачи второго билета (задания)
- по желанию студента при условии снижения оценки за ответ на один балл.
Филиал ГБОУ СПО СО «Уральский политехнический колледж»
Г.Нягань
| Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г. | Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики | Утверждаю: Зав. филиалом ___ Г.И. Ларионова «____» ____20__г. |
Вопросы для подготовки к экзамену.
1.Множество. Конечное и бесконечное множество. Подмножество.
2.Операции над множествами. Свойства операций над множествами.
3.Диаграммы Эйлера-Венна.
4.Понятие высказывания. Виды высказываний (частные, общие, простые и сложные).
5.Перечислите виды логических операций над высказыванием и сформулируйте их определение.
6.Какие основные символы используются в теории высказываний?
7.Что такое таблица истинности и как она строится. Как ещё называется эта таблица?
8.Какие существуют логические отношения между высказываниями?
9.Равносильные формулы. методика проверки двух формул на равносильность.
10.Сформулируйте основные законы алгебры высказываний.
11.Что такое булева функция?
12.Как строится таблица истинности для булевых функций?
13.Что такое ДНФ и КНФ?
14.Приведите правило преобразования формул в СДНФ и СКНФ.
15 Как булевы функции связаны с формулами алгебры высказываний?
16.Дайте определение многочлена Жегалкина.
17.Сформулируйте алгоритм построения многочлена Жегалкина булевой функции.
18.Каков алгоритм определения линейности (нелинейности) булевой функции?
Преподаватель Казимирова Н.Е.
Филиал ГБОУ СПО СО «Уральский политехнический колледж»
Г.Нягань
| Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г. | Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №1 | Утверждаю: Зав. филиалом ___ Г.И. Ларионова «____» ____20__г. |
1.Множество. Конечное и бесконечное множество. Подмножество
2.Сформулируйте основные законы алгебры высказываний.
3Решите задачу.
Докажите, как с помощью таблиц истинности, так и с помощью диаграммы Эйлера-Венна, что высказывание X ∧(Y V Z) эквивалентно высказыванию (X ∧ Y) V (X ∧ Z)
Преподаватель Казимирова Н.Е.
Филиал ГБОУ СПО СО «Уральский политехнический колледж»
Г.Нягань
| Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г. | Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №2 | Утверждаю: Зав. филиалом ___ Г.И. Ларионова «____» ____20__г. |
1.Операции над множествами. Свойства операций над множествами.
2.Что такое булева функция?
3.Решите задачу.Изобразите с помощью диаграмм Эйлера-Венна множества:
1) A ⊂ B и B ⊂ C; 4) A ⊂ B; B ⊂ C и A ∩ B≠Ø
2) A ⊂ B: B ⊂ C и A \ B = Ø; 5) (A \ B) ∪ (B \ A).
3) A ⊂ B; B ⊂ C и C = A ∪ B;
Преподаватель Казимирова Н.Е.
Филиал ГБОУ СПО СО «Уральский политехнический колледж»
Г.Нягань
| Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г. | Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №3 | Утверждаю: Зав. филиалом ___ Г.И. Ларионова «____» ____20__г. |
1.Операции над множествами
2.Сформулируйте основные законы алгебры высказываний.
3.Решите задачу. соотношений: A ⊂ B; B ⊂ A; A = B:
1) A= {a, b, c, d}; B = {a, c, d},
2) A= Ø; B= Ø,
3) A= Ø; B= {a, c, d}; B1= {d, c, a}?
Преподаватель Казимирова Н.Е
Филиал ГБОУ СПО СО «Уральский политехнический колледж»
Г.Нягань
| Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г. | Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №4 | Утверждаю: Зав. филиалом ___ Г.И. Ларионова «____» ____20__г. |
1.Диаграммы Эйлера – Венна.
2.Как строится таблица истинности для булевых функций?
3.Решите задачу.
Даны множества A={0, 1, 2, 3, 4, 5, 6, 7}; B = {3, 4, 5, 6, 7, 8, 9,};
C = {-3, -2, -1, 0, 1, 2, 3, 4}: D= {2, 3, 4, 5, 6}.
Задайте списками множества:1) A ∪ B ∪ D; 4) (A ∪ B) ∩ (C ∪ D) 2) A ∩ B ∩ C ∩ D; 5) (A \ B) ∪ (B \ A).
3) (A ∩ B) ∪ (C ∩ D)
Преподаватель Казимирова Н.Е
Филиал ГБОУ СПО СО «Уральский политехнический колледж»
Г.Нягань
| Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г. | Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №5 | Утверждаю: Зав. филиалом ___ Г.И. Ларионова «____» ____20__г. |
1Понятие высказывания. Виды высказываний.
2.Сформулируйте основные законы алгебры высказываний.
3 Решите задачу. Изобразите с помощью диаграмм Эйлера-Венна множества:
1) A ⊂ B и B ⊂ C; 4) A ⊂ B; B ⊂ C и A ∩ B≠Ø
2) A ⊂ B: B ⊂ C и A \ B = Ø; 5) (A \ B) ∪ (B \ A).
3) A ⊂ B; B ⊂ C и C = A ∪ B;
Преподаватель Казимирова Н.Е.