Кос для промежуточной аттестации по дискретной математике

Раздел Математика
Класс -
Тип Другие методич. материалы
Автор
Дата
Формат docx
Изображения Есть
For-Teacher.ru - все для учителя
Поделитесь с коллегами:

Кос для промежуточной аттестации по дискретной математикеДепартамент образования города Москвы

Государственное бюджетное образовательное учреждение

ПОЛИТЕХНИЧЕСКИЙ КОЛЛЕДЖ № 42






Образовательная программа

среднего профессионального образования







Комплект

контрольно-оценочных средств

по учебным дисциплинам

Основы алгоритмизации и программирования

и

Дискретная математика




программы подготовки специалистов среднего звена


230113 «Компьютерные системы и комплексы»







для промежуточной аттестации







Москва, 2014


Одобрена

цикловой комиссией

Компьютерных систем, сетей и телекоммуникаций

Протокол № ____

от «__» _________ 20___ г.


Разработана на основе Федерального государственного образовательного стандарта специальности среднего профессионального образования 230113 Компьютерные системы и комплексы _________________________________

Председатель цикловой комиссии

__________/Журкин М.С./

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

___________/Н.А. Бокатюк/

Составители (авторы): ____Арманова М.В._, Кирсанова Н.Ю.__преподаватели первой квалификационной категории ГБОУ СПО Политехнический колледж № 42_________________

Рецензент:__д. ф-м.н. зав. Кафедрой математики АТиСО Геворкян П.С.________

1. Общие положения

Контрольно-оценочные средства (КОС) являются составной частью образовательной программы среднего профессионального образования по подготовке специалистов среднего звена 230113 Компьютерные системы и комплексы и предназначены для контроля и оценки образовательных достижений обучающихся, освоивших программу учебной дисциплины «Основы алгоритмизации и программирования» и «Дискретная математика»

КОС включают контрольные материалы для проведения промежуточной аттестации в форме экзамена.

КОС разработаны на основании:

Положения о Фонде оценочных средств (ФОС);

Рекомендаций по разработке контрольно-оценочных средств (КОС);

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

2. Результаты освоения дисциплины, подлежащие проверке

КОС для промежуточной аттестации направлены на проверку и оценивание результатов обучения, знаний и умений:



Результаты освоения дисциплины «Дискретная математика»


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

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

Коды формируемых профессиональных и общих

компетенций

Основные показатели оценки

№ заданий, включенных в КОС

У1

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

ОК 1 - ОК 10

ПК1.1,ПК 1.3,

ПК 2.1

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

3,11,13,2,4,8

У2

Применять законы алгебры логики

ОК 1 - ОК 10

ПК 1.1, ПК 1.3,

ПК 2.1

Правильно применять законы алгебры логики для решения задач

6,10,12,14

У3

Определять типы графов и давать их характеристики

ОК 1 - ОК 10

ПК 1.1, ПК 1.3,

ПК 2.1

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

16,18,20

З1

Знание основных понятий и приемов дискретной математики

ОК 1 - ОК 10

ПК 1.1, ПК 1.3,

ПК 2.1

Хорошее знание основных понятий и приемов дискретной математики

22,24

З2

Знание логических операций, формул логики, законы алгебры логики

ОК 1 - ОК 10

ПК 1.1, ПК 1.3,

ПК 2.1

Хорошее знание логических операций, формул логики, законы алгебры логики

21,23,27

З3

Основные понятия теории множеств, теоретико-множественные операции и их связь с логическими операциями

ОК 1 - ОК 10

ПК 1.1, ПК 1.3,

ПК 2.1

Хорошее знание основных понятий теории множеств, теоретико-множественные операции и их связь с логическими операциями

26,28

З4

Знание основных понятий теории графов, характеристик и видов графов

ОК 1 - ОК 10

ПК 1.1, ПК 1.3,

ПК 2.1ОК7

ОК 1 - ОК 10

ПК 1.1, ПК 1.3,

ПК 2.1

Хорошее знание основных понятий теории графов, характеристик и видов графов

30,32



Результаты освоения дисциплины «Основы алгоритмизации»

У1

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

ОК 1 - ОК 10

ПК 1.1, ПК 1.3,

ПК 2.1

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

1,5,7,9

У2

Применять законы алгебры логики

ОК 1 - ОК 10

ПК 1.1, ПК 1.3,

ПК 2.1

Правильно применять законы алгебры логики для решения задач

6,10,12,14

У3

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

ОК 1 - ОК 10

ПК 1.1, ПК 1.3,

ПК 2.1

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

15,17,19

З1

Знание логических операций, формул логики, законы алгебры логики

ОК 1 - ОК 10

ПК 1.1, ПК 1.3,

ПК 2.1

Хорошее знание логических операций, формул логики, законы алгебры логики

21,23,27

З2

Знание средств и методов автоматизированного проектирования при разработке цифровых устройств

ОК 1 - ОК 10

ПК 1.1, ПК 1.3,

ПК 2.1

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

25,29

З3

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

ОК 1 - ОК 10

ПК 1.1, ПК 1.3,

ПК 2.1

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

31,33

3. Распределение КОС по темам учебной дисциплины

Контрольно-оценочные средства представляют собой перечень заданий различного уровня трудности (от 1 до 3).

паспорт оценочного средства


«Основы алгоритмизации и программирования»

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

Кол-во часов

Порядковый номер задания

Уровень трудности

Тема 1.1

Общая концепция языков программирования.

4

1

1

Тема 1.2

Эволюция языков программирования.

6

10

1

Тема 2.1

Этапы решения задач на ЭВМ

10

9

2

11

2

16

2

Тема 2.2

Основы алгоритмизации.

8

2

2

3

2

4

2

5

2

6

3

7

2

8

2

Тема 3.1 Работа со средой разработки. Создание программ в VisualBasic.

8

20

2

21

2

22

2

23

2

Тема 3.2. Основы VisualBasic

12

15

2

17

2

18

2

26

2

27

2

28

2

Тема 3.3. Работа с кодом и формами

14

12

2

14

2

29

2

30

2

31

2

32

3

33

3

Тема 3.4 Переменные и процедуры

20

13

2

19

3

25

3

«Дискретная математика»

Тема 1.1. Понятие как форма мышления. Операции над понятиями.

8

1

1

2

2

3

2

4

2

5

2

Тема 1.2. Булевы функции

8

6

1

7

2

8

2

9

2

10

2

Тема 2.1. Алгебра множеств

12

11

2

12

2

Тема 2.2. Бинарные отношения

12

13

1

14

2

15

2

16

2

17

3

18

2

19

2

Тема 2.3. Композиция отображений

6

20

2

21

2

22

2

23

2

Тема 3.1. Операции над вычетами

4

24

3

26

3

Тема 4.1. Метод математической индукции.

2

25

3

26

3

Тема 5.1. Генерирование К-элементных подмножеств данного множества

4

27

2

Тема 6.1. Неориентированные графы

8

28

2

29

2

Тема 6.2. Ориентированные графы

4

30

2

31

2

Тема 6.1. Логические элементы и логические схемы

4

32

3

33

3

Низкий -1

Средний -2

Высокий-3

4. Содержание КОС

Содержание банка КОС в полной мере отражает требования ФГОС по специальности и содержания рабочей программы учебной дисциплины. В состав банка включены теоретические вопросы и практические задания.

Теоретические задания: по дисциплине «Основы алгоритмизации и программирования»

  1. Основные понятия алгоритмизации. Понятия «алгоритм», «исполнитель алгоритма».

  2. Свойства и формы записи алгоритмов.

  3. Основные алгоритмические конструкции: линейные, разветвляющиеся и циклические.

  4. Логические основы алгоритмизации. Основы алгебры логики.

  5. Логические операции: конъюнкция, дизъюнкция, инверсия, импликация, эквиваленция.

  6. Законы алгебры логики.

  7. Таблицы истинности.

  8. Составление таблиц истинности для сложных логических функций.

  9. Составление блок-схем алгоритмов.

  10. Языки и системы программирования. Языки высокого и низкого уровня.

  11. Правила записи выражений и операций. Типы данных. Синтаксис.

  12. Понятие модуля и формы.

  13. Пользовательские типы данных.

  14. Использование форм, событий и методов.

  15. Использование управляющих элементов.

  16. Составление программ циклической структуры.

  17. Логические операторы и операторы сравнения If...Then, SelectCase.

  18. Обзор структуры цикла. Использование Do...Loop, Использование For...Next.

  19. Работа с логическими операторами и операторами сравнения.

  20. Написание кода с использование операторов и циклов.

  21. Отслеживание и анализ ошибок.

  22. Обзор стандартных элементов.

  23. Дополнительные возможности стандартных элементов.

  24. Использование ComboBox и ListBox.

  25. Написание функций.

  26. Использование в форме графики. PictureBox, ImageList.

  27. Создание программы с использованием полос прокрутки, таймера и заданием даты.

  28. Создание вкладок, индикатора прогресса, ползунка.

  29. Гиперссылки. Список.

  30. Чтение и запись файла. Класс FileStream.

  31. Считывание данных из текстового файла.

  32. Запись данных в текстовый файл.

  33. Открытие и создание файла для чтения и записи.



Практические задания: по дисциплине «Основы алгоритмизации и программирования»

Задачи с решениями.

Задача № 1

  1. Постановка задачи: Составить программу нахождения площади прямоугольника со сторонами Х и У.

  2. Интерфейс задачи:

Кос для промежуточной аттестации по дискретной математике



  1. Листинг программы:

Dim x As Integer, y As Integer, z As Integer

Private Sub Command1_Click()

Text3.Text = Text1.Text + Text2.Text

x = Text1.Text

y = Text2.Text

z = x * y: Text3.Text = z

End Sub

Private Sub Command2_Click()

Form1.Hide: Form2.Show

End Sub

Задача № 2

  1. Постановка задачи: Составить программу перевода строки в нижний регистр.

  2. Интерфейс задачи:

Кос для промежуточной аттестации по дискретной математике

  1. Листинг программы:

Dim x As String, y As String

Private Sub Command1_Click()

x = Text1.Text

y = LCase(x): Text2.Text = y

End Sub

Private Sub Command2_Click()

Form2.Hide: Form3.Show

End Sub

Private Sub Command3_Click()

Form2.Hide: Form1.Show

End Sub

Задача № 3

  1. Постановка задачи: Составить программу перевода температуры из шкалы Фаренгейта в шкалу Цельсия (0 F соответствует -17,8, а 0 C соответствует+32 F ).

  2. Интерфейс задачи:

Кос для промежуточной аттестации по дискретной математике

  1. Листинг программы:

Dim x As Variant, y As Variant

Private Sub Command1_Click()

x = Text1.Text

y = (5 * (32 - x) / 9): Text2.Text = y

End Sub

Private Sub Command2_Click()

Form3.Hide: Form4.Show

End Sub

Private Sub Command3_Click()

Form3.Hide: Form2.Show

End Sub

Задача № 4

  1. Постановка задачи: Составить программу определения, в норме ли вес обследуемого пациента (нормой считается вес, равный (рост(см)-100)5кг).

  2. Интерфейс задачи:

Кос для промежуточной аттестации по дискретной математикеКос для промежуточной аттестации по дискретной математике

  1. Листинг программы:

Dim x As Integer, y As Integer

Private Sub Command1_Click()

x = Text1.Text

y = Text2.Text

If (y< (x - 100) - 5) Or (y> (x - 100) + 5) ThenMsgBox "Весневнорме" ElseMsgBox "Весвнорме"

End Sub

Private Sub Command2_Click()

Form4.Hide: Form5.Show

End Sub

Private Sub Command3_Click()

Form4.Hide: Form3.Show

End Sub

Задача № 5

  1. Постановка задачи: Составить программу, определяющую сколько раз встречается заданное число (вводится с клавиатуры) в диапазоне от 10 до 352.

  2. Интерфейс задачи:

Кос для промежуточной аттестации по дискретной математике

  1. Листинг программы:

Dim x As String, s As Integer

Private Sub Command1_Click()

x = Text1.Text

k = Len(x)

Select Case k

Case 1

s = 0

For i = 10 To 352

n = Len(i)

For j = 1 To n

For y = 1 To k

If Mid(x, y, 1) = Mid(i, j, k) Then s = s + 1

Next y

Next j

Next i

Case 2

s = 0

For i = 10 To 352

For j = 1 To k

If x = Mid(i, j, 2) Then s = s + 1

Next j

Next i

Case 3

s = 0

For i = 10 To 352

For j = 1 To k

If x = Mid(i, j, 3) Then s = s + 1

Next j

Next i

End Select

Text2.Text = s

End Sub

Private Sub Command2_Click()

Form5.Hide: Form6.Show

End Sub

Private Sub Command3_Click()

Form5.Hide: Form4.Show

End Sub

Задача № 6

1) Постановка задачи: Программа пересчитывает из кубического метра в галлон.

2)Интерфейс задачи:

Кос для промежуточной аттестации по дискретной математике

3) Листинг программы:

Dim S As Integer

Dim T As Integer

If Not IsNumeric(Vvod.Text) Then

MsgBox("Неверныйформатзаписи!", MsgBoxStyle.OkOnly, Title:="Ошибка")

Else

S = Vvod.Text

T = S * 264

Vvod.Text = T

End If

Задача № 7

1) Постановка задачи: Программа пересчитывает из литра в галлон.

2)Интерфейс задачи:

Кос для промежуточной аттестации по дискретной математике

3)Листинг программы:

Dim L, G As Double, dial As DialogResult

If Not IsNumeric(TextBox1.Text) Then

MessageBox.Show("неправильныйформат")

TextBox1.Focus()

Else

L = TextBox1.Text

G = L / 3.78541178

Label4.Text = G

End If

dial = MessageBox.Show("хотитепосчитатьещераз?", "Выйти", MessageBoxButtons.YesNo, MessageBoxIcon.Asterisk)

If dial = DialogResult.Yes Then

TextBox1.Text = ""

Label4.Text = ""

Else

Application.Exit()

EndIf

Задача № 8

1) Постановка задачи: Программа пересчитывает из метров в футы.

2)Интерфейс задачи:

Кос для промежуточной аттестации по дискретной математике

3)Листинг программы:

Dim S As Double

Dim T As Double

If Not IsNumeric(Vvod.Text) Then

MsgBox("Неверныйформатзаписи!", MsgBoxStyle.OkOnly, Title:="Ошибка")

Else

S = Vvod.Text

T = S * 0,305

Vvod.Text = T

End If

Задача № 9

1) Постановка задачи: Программа пересчитывает из аршина в метр.

2)Интерфейс задачи:

Кос для промежуточной аттестации по дискретной математике

3)Листинг программы:

Dim S As Double

Dim T As Double

If Not IsNumeric(Vvod.Text) Then

MsgBox("Неверныйформатзаписи!", MsgBoxStyle.OkOnly, Title:="Ошибка")

Else

S = Vvod.Text

T = S * 1.28

Vvod.Text = T

End If

Задача № 10

1) Постановка задачи: Программа пересчитывает рубли в евро.

2)Интерфейс задачи:

Кос для промежуточной аттестации по дискретной математике

3)Листинг программы:

Dim S As Double

Dim T As Double

If Not IsNumeric(Vvod.Text) Then

MsgBox("Неверныйформатзаписи!", MsgBoxStyle.OkOnly, Title:="Ошибка")

Else

S = Vvod.Text

T = S * 50

Vvod.Text = T

End If

Задача № 11

1) Постановка задачи: Программа пересчитывает из ярда в метр.

2)Интерфейс задачи:

Кос для промежуточной аттестации по дискретной математике

3)Листинг программы:

Dim S As Double

Dim T As Double

If Not IsNumeric(Vvod.Text) Then

MsgBox("Неверныйформатзаписи!", MsgBoxStyle.OkOnly, Title:="Ошибка")

Else

S = Vvod.Text

T = S * 1.905

Vvod.Text = T

End If

Задача № 12

1) Постановка задачи: Программа пересчитывает скорость ветра из м/с в км/ч.

2)Интерфейс задачи:

Кос для промежуточной аттестации по дискретной математике

3)Листинг программы:

Dim SkorostAs Integer

Dim rezult As Integer

If Not IsNumeric(txtVvod.Text) Then

MessageBox.Show("Ошибка!", "ПРоверкаошибки", MessageBoxButtons.OK, MessageBoxIcon.Stop)

Else

Skorost = txtVvod.Text

rezult = Skorost * 360

lblResult.Text = rezult

EndIf

Задача № 13

1) Постановка задачи: Программа рассчитывает площадь квадрата.

2)Интерфейс задачи:

Кос для промежуточной аттестации по дискретной математике

3)Листинг программы:

Private Sub Button1_Click(ByVal sender As System.Object, ByVal e As System.EventArgs) Handles Button1.Click

Dim Side As Integer

Side = TextBox1.Text

Label1.Text = Square(Side)

'By value, ByVal, by reference ByRef

End Sub

Function Square(ByVal a As Integer) As Integer

Square = a ^ 2

End Function

Задача № 14

1) Постановка задачи: Программа рассчитывает значение по заданной формуле.Кос для промежуточной аттестации по дискретной математике

2)Интерфейс задачи:

Кос для промежуточной аттестации по дискретной математике

3)Листинг программы:

Dim N As Long, x, S1, S As Single

Dim k As Integer

Dim i As Integer

Dim dial As DialogResult

Public Sub Button1_Click(ByVal sender As System.Object, ByVal e As System.EventArgs) Handles Button1.Click

If Not IsNumeric(TextBox1.Text) Or Not IsNumeric(TextBox2.Text) Then

MessageBox.Show("неправильныйформат")

TextBox1.Focus()

TextBox2.Focus()

Else

S1 = 1

N = TextBox1.Text

x = TextBox2.Text

For i = 0 To N

S1 = S1 * MATH.SIN(x)

Next i

Label4.Text = S

End If

EndSub

Задача № 15

1) Постановка задачи: Программа рассчитывает значение по заданной формуле. Кос для промежуточной аттестации по дискретной математике

2)Интерфейс задачи:

Кос для промежуточной аттестации по дискретной математике

3)Листинг программы:

Private Sub Button1_Click(ByVal sender As System.Object, ByVal e As System.EventArgs) Handles ButtonRasschitat.Click

Dim i As Integer

Dim k As Integer

Dim N As Integer

Dim S As Double = 1

Dim S1 As Double

Dim x As Integer

If Not IsNumeric(TextBoxChisloN.Text) Or Not IsNumeric(TextBoxChisloX.Text) Then

MsgBox("Неверныйформатзаписи!")

Else

N = TextBoxChisloN.Text

x = TextBoxChisloX.Text

For i = 0 To N

For k = 1 To N

S = S * ((i + x) / k)

Next k

S1 = S1 + S

Next i

TextBoxOtvet.Text = S1

TextBoxOtvet.Text = (Format(S1, "#.##"))

EndIf

EndSub

Задача № 16

1) Постановка задачи: Программа рассчитывает значение по заданной формуле. Кос для промежуточной аттестации по дискретной математике

2)Интерфейс задачи:

Кос для промежуточной аттестации по дискретной математике

3)Листинг программы:

Dim N As Long, x, S1, S As Single

Dim k As Integer

Dim i As Integer

Dim dial As DialogResult

Public Sub Button1_Click(ByVal sender As System.Object, ByVal e As System.EventArgs) Handles Button1.Click

If Not IsNumeric(TextBox1.Text) Or Not IsNumeric(TextBox2.Text) Then

MessageBox.Show("неправильныйформат")

TextBox1.Focus()

TextBox2.Focus()

Else

S1 = 1

N = TextBox1.Text

x = TextBox2.Text

For i = 0 To N

S1 = S1 + (1/x^i)

Next i

Label4.Text = S1

EndIf

EndSub

Задача № 17

1) Постановка задачи: Программа рассчитывает значение по заданной формуле. Кос для промежуточной аттестации по дискретной математике

2)Интерфейс задачи:

Кос для промежуточной аттестации по дискретной математике

3)Листинг программы:

Dim N As Long, x, S1, S As Single

Dim k As Integer

Dim i As Integer

Dim dial As DialogResult

Public Sub Button1_Click(ByVal sender As System.Object, ByVal e As System.EventArgs) Handles Button1.Click

If Not IsNumeric(TextBox1.Text) Or Not IsNumeric(TextBox2.Text) Then

MessageBox.Show("неправильныйформат")

TextBox1.Focus()

TextBox2.Focus()

Else

S1 = 1

N = TextBox1.Text

x = TextBox2.Text

For i = 1 To N

S1 = S1 *(x-i)

Next i

Label4.Text = S1

EndIf

EndSub

Теоретические задания: по дисциплине «Дискретная математика»

  1. Составные высказывания

  1. Основные логические операции. Формулы логики. Дизъюнктивная

конъюнктивная нормальные формы

  1. Построение таблицы истинности для формулы логики

  1. Изучение законов логики. Равносильные преобразования.

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

  1. Булевы функции.

  1. Совершенная дизъюнктивная и конъюнктивная нормальные формы (СДНФ и

СКНФ)

  1. Представление булевой функции в виде совершенной ДНФ и КНФ,

минимальной КНФ, полинома Жегалкина

  1. Понятие полноты множества функций. Замкнутые классы

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

полноту.

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

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

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

  1. Логические операции над предикатами.

  1. Определение логического значения для высказываний

  1. Построение отрицаний к предикатам.

  1. Понятие бинарного отношения и его свойства.

  1. Отношение эквивалентности.

  1. Исследование бинарных отношений на рефлексивность, симметричность и

транзитивность; выделение классов эквивалентности

  1. Композиция отображений

  1. Операции над подстановками

  1. Решение задач на запись циклического разложения подстановки

  1. Выполнение операций и решение простейших уравнений в алгебре подстановок.

  1. Понятие вычета по модулю N. Операции над вычетами. Шифрование

  1. Метод математической индукции

  1. Решение задач на выполнение операций в алгебре вычетов


  1. Генерирование К-элементных подмножеств данного множества


  1. Понятие графа. Способы задания графа. Методика выделения компонента

связности в графе

  1. Распознавание мостов и разделяющих вершин в графе

  1. Нахождение расстояния между вершинами в графе.


  1. Изоморфные графы. Эйлеровы графы


  1. Плоские графы. Деревья и их свойства

  1. Проверка графа на плоскость.

Практические задания: по дисциплине «Дискретная математика»

Задачи с решениями.

Задача №18

Между планетами введено космическое сообщение по следующим маршрутам: З-К, П-В, З-П, П-К, К-В, У-М, М-С, С-Ю, Ю-М, М-У. Можно ли добраться с З до М?

Решение:

Составим схему-граф маршрутов:

Кос для промежуточной аттестации по дискретной математике

Мы видим, что от З до М добраться нельзя.

Задача №19

25 борцов играют по олимпийской системе (проигравший выбывает). За какое наименьшее количество встреч можно определить победителя?

Решение:

После каждой встречи 1 боец выбывает, в конце останется только один боец, значит наименьшее количество встреч 24.

Задача № 20

Аркадий, Борис. Владимир, Григорий и Дмитрий при встрече обменялись рукопожатиями (каждый пожал руку каждому по одному разу). Сколько всего рукопожатий было сделано?

Решение:

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

Если подсчитать число ребер графа, изображенного на рисунке справа, то это число и будет равно количеству совершенных рукопожатий между пятью молодыми людьми. Их 10.

Задача № 21

Кенигсбергские мосты.

К XVIII веку через реку, на которой стоял город Кенигсберг (ныне Калининград), было построено 7 мостов, которые связывали с берегами и друг с другом два острова, расположенные в пределах города (см.рисунок)Кос для промежуточной аттестации по дискретной математике


Задача заключается в следующем: нужно пройти (если это возможно) по всем семи мостам так, чтобы на каждом из них побывать лишь по одному разу и вернуться к тому месту, откуда начал маршрут.

Решение:

Решить эту задачу удалось в 1736 г. Леонарду Эйлеру . В ходе решения задачи (после интерпретации условия задачи в виде графа, где вершины - острова и берега, а ребра - мосты, представленного на рисунке.)

Кос для промежуточной аттестации по дискретной математике


Прохождение по всем мостам при условии, что нужно на каждом побывать один раз и вернуться в точку начала путешествия, на языке теории графов выглядит как задача изображения «одним росчерком» графа, представленного на рисунке. Но, поскольку граф на этом рисунке имеет четыре нечетные вершины, то, согласно закономерности 7 такой граф начертить «одним росчерком» невозможно. Значит, и пройти по кенигсбергским мостам, соблюдая заданные условия,нельзя.

Задача № 22

В трех различных домах живут три поссорившиеся между собой соседа. Недалеко от их домов имеются три колодца. Можно ли от каждого дома проложить к каждому из колодцев тропинку так, чтобы никакие две из них не пересекались?

Кос для промежуточной аттестации по дискретной математике

Решение:

Построим граф, вершины которого
А, Б, В, 1, 2, 3
соответствуют домам и колодцам условия задачи, и попробуем доказать, что девятую тропинку - ребро графа, не пересекающее остальные ребра, провести нельзя.

Кос для промежуточной аттестации по дискретной математике

Проведенные в графе на рисунке ребра А1, А2, A3 и В1,В2, ВЗ (соответствующие тропинкам от домов А и В ко всем колодцам). Построенный граф разбил плоскость на три области: X, У, Z. Вершина Б, в зависимости от ее расположения на плоскости, попадает в одну из этих трех областей. Если вы рассмотрите каждый из трех случаев «попадания» вершины Б в одну из областей X, Y или Z, то убедитесь, что всякий раз одна из вершин графа 1, 2 или 3 (один из колодцев) будет «недоступной» для вершины Б (т. е. нельзя будет провести одно из ребер Б1, Б2 или Б3. которое не пересекло бы уже имеющихся в графе ребер).
Таким образом, ответ на вопрос задачи будет таким: «Нельзя!»

Задача № 23

В городе Н от каждой площади отходит ровно 5 улиц, соединяющих площади. Докажите, что число площадей чётно, а число улиц кратно 5.

Решение:

По теореме, что число нечётных вершин любого графа чётно, следует, что число площадей (вершин графа) 2n, а число улиц (рёбер графа) будет (2n·5):2, а значит, число площадей чётно, а число улиц кратно 5.

Задача № 24

Футбольный мяч сшит из 32 лоскутов: белых шестиугольников и чёрных пятиугольников. Каждый чёрный лоскут граничит только с белыми, а каждый белый - с тремя чёрными и тремя белыми. Сколько лоскутов белого цвета?

Решение:

Пусть на мяче число белых лоскутов х шт., а чёрных будет (32 - х) шт. Тогда границ белых лоскутов с чёрными 5(32-х)=3х, значит, х=20 и белых лоскутов 20 шт.

Задача № 25

В государстве система авиалиний устроена таких образом, что любой город соединён авиалиниями не более чем с тремя другими и из любого города в любой другой можно проехать, сделав не более одной пересадки. Какое максимальное число городов может быть в этом государстве?

Решение:

Пусть существует некоторый город А. Из него можно добраться не более, чем до трёх городов, а из каждого из них ещё не более чем до двух (не считая А). Тогда всего городов не более 1+3+6=10. Значит всего городов не более 10. Пример на рисунке (его ещё называют графом Петерсона) показывает существование авиалиний.

Кос для промежуточной аттестации по дискретной математике

Задача № 26

Можно ли нарисовать графы изображенные на рисунках, не отрывая карандаш от бумаги и проводя каждое ребро ровно один раз?

Кос для промежуточной аттестации по дискретной математике

Решение:

  1. Можно, т. к. только 2 нечетные вершины.

  2. Нельзя, т. к. 4 нечетные вершины.

Задача № 27

Доказать: (A®B, A®Кос для промежуточной аттестации по дискретной математикеКос для промежуточной аттестации по дискретной математике.

Доказательство:

A

B

A®B

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

И

И

И

Л

Л

Л

И

Л

Л

И

И

Л

Л

И

И

Л

И

И

Л

Л

И

И

И

И

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

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

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

Задача № 28

Доказать закон отрицания конъюнкции (Кос для промежуточной аттестации по дискретной математике)

Доказательство:

Найдем значения для Кос для промежуточной аттестации по дискретной математике и Кос для промежуточной аттестации по дискретной математикеи сравним их.

A

B

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

И

И

И

Л

Л

Л

Л

И

Л

Л

И

Л

И

И

Л

И

Л

И

И

Л

И

Л

Л

Л

И

И

И

И

Задача № 29

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

Решение:

A

B

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

И

И

И

Л

Л

Л

Л

И

И

Л

Л

И

Л

И

И

И

Л

И

Л

И

И

Л

И

И

Л

Л

Л

И

И

И

И

И

Задача № 30

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

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

Кос для промежуточной аттестации по дискретной математике.

Задача № 31

Записать предложение: прямая а параллельна прямой b с помощью предиката.

Решение:

Предметная область - множество прямых.

Введем предикат Р (х), х - прямая. Предикат параллельности х||у

Тогда предложение можно записать в виде: Р (а) Кос для промежуточной аттестации по дискретной математикеР(b) Кос для промежуточной аттестации по дискретной математике(а||b) .

Задача № 32

Записать с помощью предиката:

Аксиома: через две различные точки проходит единственная прямая. (Ели две точки принадлежат двум прямым, то эти прямые совпадают).

Решение:

Введем предикаты

Т (х), х - точка; Р (х), х - прямая; J(x,y) - xКос для промежуточной аттестации по дискретной математике у. Тогда можно записать:

Т (А)Кос для промежуточной аттестации по дискретной математикеТ (В)Кос для промежуточной аттестации по дискретной математике(А ≠ В)Кос для промежуточной аттестации по дискретной математикеР (а)Кос для промежуточной аттестации по дискретной математикеР(b)Кос для промежуточной аттестации по дискретной математикеJ(A,a)Кос для промежуточной аттестации по дискретной математикеJ(B,а)Кос для промежуточной аттестации по дискретной математикеJ(A,b)Кос для промежуточной аттестации по дискретной математикеJ(B,b) Кос для промежуточной аттестации по дискретной математике(a=b).

Задача № 33

Установить последнюю цифру степени y=2 2007

Решение.

Имеем 2007=501·4+3, значит f (2007)=f (3)=23=8. Ответ: 8

5. Описание процедуры экзамена

Комплексный экзамен по дисциплинам «Основы алгоритмизации и программирования»

и «Дискретная математика» проводится в соответствии с расписанием по экзаменационным билетам, согласованным с ПЦК и утвержденным заместителем директора по КОД.

Количество экзаменационных билетов превышает количество обучающихся.

В билете - 2 теоретических вопроса и 1 практическое задание На подготовку к ответу обучающемуся отводится до 30 минут.

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

Требования охраны труда: инструктаж по технике безопасности, правилам поведения на занятии, по соблюдению дисциплины, наличие инструктора (преподаватель).

6. Критерии оценки:

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

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

Оценка "удовлетворительно" ставиться обучающему, показавшему знания основного учебно-программного материала в объеме, необходимом для дальнейшей учебы и предстоящей работы по специальности, справляющемуся с выполнением заданий, предусмотренных программой, знакомому с основной литературой, рекомендованной программой. Оценка "удовлетворительно" выставляется обучающемся, допустившим погрешности в ответе на экзамене и при выполнении экзаменационных заданий, но обладающим необходимыми знаниями для их устранения под руководством преподавателя.

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

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

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

8. Эталоны ответов на теоретические вопросы:

Эталоны ответов на теоретические задания: по дисциплине «Основы алгоритмизации и программирования»

  1. Основные понятия алгоритмизации. Понятия «алгоритм», «исполнитель алгоритма».

Алгори́тм - набор инструкций, описывающих порядок действий исполнителя для достижения результата решения задачи за конечное число действий. В старой трактовке вместо слова «порядок» использовалось слово «последовательность», но по мере развития параллельности в работе компьютеров слово «последовательность» стали заменять более общим словом «порядок». Это связано с тем, что работа каких-то инструкций алгоритма может быть зависима от других инструкций или результатов их работы. Таким образом, некоторые инструкции должны выполняться строго после завершения работы инструкций, от которых они зависят. Независимые инструкции или инструкции, ставшие независимыми из-за завершения работы инструкций, от которых они зависят, могут выполняться в произвольном порядке, параллельно или одновременно, если это позволяют используемые процессор и операционная система.

Исполнитель алгоритма - это некоторая абстрактная или реальная (техническая, биологическая или биотехническая) система, способная выполнить действия, предписываемые алгоритмом.


  1. Свойства и формы записи алгоритмов.

Основные свойства алгоритмов следующие:

1. Понятность для исполнителя - исполнитель алгоритма должен понимать, как его выполнять. Иными словами, имея алгоритм и произвольный вариант исходных данных, исполнитель должен знать, как надо действовать для выполнения этого алгоритма.

2. Дискpетность (прерывность, раздельность) - алгоpитм должен пpедставлять пpоцесс pешения задачи как последовательное выполнение пpостых (или pанее опpеделенных) шагов (этапов).

3. Опpеделенность - каждое пpавило алгоpитма должно быть четким, однозначным и не оставлять места для пpоизвола. Благодаpя этому свойству выполнение алгоpитма носит механический хаpактеp и не тpебует никаких дополнительных указаний или сведений о pешаемой задаче.

4. Pезультативность (или конечность) состоит в том, что за конечное число шагов алгоpитм либо должен пpиводить к pешению задачи, либо после конечного числа шагов останавливаться из-за невозможности получить решение с выдачей соответствующего сообщения, либо неограниченно продолжаться в течение времени, отведенного для исполнения алгоритма, с выдачей промежуточных результатов.

Массовость означает, что алгоpитм pешения задачи pазpабатывается в общем виде, т.е. он должен быть пpименим для некотоpого класса задач, pазличающихся лишь исходными данными. Пpи этом исходные данные могут выбиpаться из некотоpой области, котоpая называется областью пpименимости алгоpитма.

На практике наиболее распространены следующие формы представления алгоритмов:

- словесная (запись на естественном языке);

- графическая (изображения из графических символов);

- псевдокоды (полуформализованные описания алгоритмов на условном алгоритмическом языке, включающие в себя как элементы языка программирования, так и фразы -естественного языка, общепринятые математические обозначения и др.);

- программная (тексты на языках программирования).

Основные алгоритмические конструкции: линейные, разветвляющиеся и циклические.

1.Базовая структура "следование". Образуется последовательностью действий, следующих одно за другим.

2.Базовая структура "ветвление". Обеспечивает в зависимости от результата проверки условия (да или нет) выбор одного из альтернативных путей работы алгоритма. Каждый из путей ведет к общему выходу, так что работа алгоритма будет продолжаться независимо от того, какой путь будет выбран. Структура ветвление существует в четырех основных вариантах:

если-то;

если-то-иначе;

выбор;

выбор-иначе.

3.Базовая структура "цикл". Обеспечивает многократное выполнение некоторой совокупности действий, которая называется телом цикла.


  1. Логические основы алгоритмизации. Основы алгебры логики.

Алгеброй логики называется аппарат, который позволяет выполнять действия над высказываниями.

Алгебру логику называют также алгеброй Буля, или булевой алгеброй, по имени английского математика Джорджа Буля, разработавшего в XIX веке ее основные положения. В булевой алгебре высказывания принято обозначать прописными латинскими буквами: A, B, X, Y. В алгебре Буля введены три основные логические операции с высказываниями? Сложение, умножение, отрицание. Определены аксиомы (законы) алгебры логики для выполнения этих операций. Действия, которые производятся над высказываниями, записываются в виде логических выражений.



  1. Логические операции: конъюнкция, дизъюнкция, инверсия, импликация, эквиваленция.

Операция И - логическое умножение (конъюнкция)

Логическая операция И выполняет функцию пересечения двух высказываний (аргументов), в качестве которых может быть и простое, и сложное логическое выражение. Результатом операции И является выражение, которое будет истинным тогда и только тогда, когда истинны оба исходных выражения.

Операция ИЛИ - логическое сложение (дизъюнкция, объединение)

Логическая операция ИЛИ выполняет функцию объединения двух высказываний, в качестве которых может быть и простое, и сложное логическое выражение. Высказывания, являющиеся исходными для логической операции, называют аргументами. Результатом операции ИЛИ является выражение, которое бу¬дет истинным тогда и только тогда, когда истинно будет хотя бы одно из исходных выражений.

Операция НЕ - логическое отрицание (инверсия)

Логическая операция НЕ применяется к одному аргументу, в качестве которого может быть и простое, и сложное логическое выражение.

Операция «ЕСЛИ-ТО» - логическое следование (импликация)

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

Операция «А тогда и только тогда, когда В» (эквивалентность, равнозначность)

Результат операции эквивалентность истинен только тогда, когда А и В одновременно истинны или одновременно ложны.


  1. Законы алгебры логики.

1. Закон одинарных элементов

2. Законы отрицания

a. Закон дополнительных элементов

b. Двойное отрицание

c. Закон отрицательной логики

3. Комбинационные законы

a. закон тавтологии (многократное повторение)

b. закон переместительности

c. закон сочетательности

d. закон распределительности

4. Правило поглощения (одна переменная поглощает другие)

5. Правило склеивания (выполняется только по одной переменной)



  1. Таблицы истинности.

Таблица истинности - это таблица, описывающая логическую функцию.

Под «логической функцией» в данном случае понимается функция, у которой значения переменных (параметров функции) и значение самой функции выражают логическую истинность. Например, в двузначной логике они могут принимать значения «истина» либо «ложь».

Конъюнкция

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Дизъюнкция

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Сложение по модулю 2

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Импликация

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Эквиваленция

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Штрих Шеффера

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Стрелка Пирса

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Отрицание

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике



  1. Составление таблиц истинности для сложных логических функций.

Алгоритм построения таблиц истинности для сложных выражений:

  1. Определить количество строк:

количество строк = 2n + строка для заголовка,

n - количество простых высказываний.

  1. Определить количество столбцов:

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

определить количество переменных (простых выражений);

определить количество логических операций и последовательность их выполнения.

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



  1. Составление блок-схем алгоритмов.

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

В блок-схеме каждому типу действий (вводу исходных данных, вычислению значений выражений, проверке условий, управлению повторением действий, окончанию обработки и т.п.) соответствует геометрическая фигура, представленная в виде блочного символа. Блочные символы соединяются линиями переходов, определяющими очередность выполнения действий.

Приведем наиболее часто употребляемые символы.

Название

Элемент

Комментарий

Процесс

Кос для промежуточной аттестации по дискретной математике

Вычислительное действие или последовательность вычислительных действий

Решение

Кос для промежуточной аттестации по дискретной математике

Проверка условия

Модификация

Кос для промежуточной аттестации по дискретной математике

Заголовок цикла

Предопределенный процесс

Кос для промежуточной аттестации по дискретной математике

Обращение к процедуре

Документ

Кос для промежуточной аттестации по дискретной математике

Вывод данных, печать данных

Перфокарта

Кос для промежуточной аттестации по дискретной математике

Ввод данных

Ввод/Вывод

Кос для промежуточной аттестации по дискретной математике

Ввод/Вывод данных

Соединитель

Кос для промежуточной аттестации по дискретной математике

Разрыв линии потока

Начало, Конец

Кос для промежуточной аттестации по дискретной математике

Начало, конец, пуск, останов, вход и выход во вспомогательных алгоритмах

Комментарий

Кос для промежуточной аттестации по дискретной математике

Используется для размещения надписей

Горизонтальные и вертикальные потоки

Кос для промежуточной аттестации по дискретной математике

Линии связей между блоками, направление потоков

Слияние

Кос для промежуточной аттестации по дискретной математике

Слияние линий потоков

Межстраничный соединитель

Кос для промежуточной аттестации по дискретной математике

Нет



  1. Языки и системы программирования. Языки высокого и низкого уровня.

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

Языки программирования низкого уровня.

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

Языки программирования высокого уровня.

Особенности конкретных компьютерных архитектур в них не учитываются, поэтому созданные приложения легко переносятся с компьютера на компьютер. В большинстве случаев достаточно просто перекомпилировать программу под определенную компьютерную архитектурную и операционную систему. Разрабатывать программы на таких языках значительно проще и ошибок допускается меньше. Значительно сокращается время разработки программы, что особенно важно при работе над большими программными проектами.



  1. Правила записи выражений и операций. Типы данных. Синтаксис.

Типы данных Visual Basic.

Тип данных

Объем занимаемой памяти

Краткая запись

Целые типы

Integer (целое)

2 байта

%

Long (целое двойной длины)

4 байта

&

Byte (Байт)

1 байт

Boolean (булево)

2 байта

Плавающие типы

Single

Десятичные числа

4 байта

!

Double

Десятичные числа

8 байт

#

Строковые типы

String
Текстовая информация

1 байт на каждый символ

$

Объектные типы

Object

Рисунки или ссылки на любой другой объект

4 байта

Variant-типы

Variant

(числовые типы)

16 байт

Variant
(строковые типы)

22 байта +длина строки

Прочие типы

Currency

Число в денежном формате

8 байт

@

Date

Дата

8 байт

Синтаксис.

Dim a as Integer



  1. Понятие модуля и формы.

В Visual Basic весь программный код находится внутри процедур (подпрограмм). Общая структура описания подпрограммы Visual Basic:

Sub <имя_подпрограммы> [(<параметры>)]
<операторы>
End Sub

Такие процедуры могут вызываться или самим Visual Basic, или другими процедурами. Вызов подпрограммы выполняется с помощью следующих операторов:

Call <имя_подпрограммы> [(<параметры>)];

<имя_подпрограммы> [<параметры>]. Функция построена точно так же, как и процедура, однако результатом работы функции является возвращаемое значение (только одно).

Общая структура описания функции следующая:

Function <имя_функции> [(<аргументы>)] [As <Тип>] <операторы>
<имя_функции> = <выражение> End Function

Вызов функции выполняется с помощью оператора; присваивания:

<переменная> = <имя_функции> {(<аргументы>)].



  1. Пользовательские типы данных.

Содержит данные в определенном пользователем формате. Оператор Structure определяет формат.

Формат объявления

Объявление структуры начинается с оператора Оператор Structure и завершается оператором EndStructure.Оператор Structure содержит имя структуры, которая является также идентификатором типа данных, определяемых структурой. Другие части кода могут использовать этот идентификатор для объявления переменных, параметров и возвращаемых значений функций в качестве типа данных структуры.

Объявления между операторами Structure и EndStructure определяют члены структуры.

Уровни доступа к членам

Каждый член необходимо объявить с помощью оператора Оператор Dim (Visual Basic) или оператора, определяющего уровень доступа, например, Public (Visual Basic) или Friend (Visual Basic) или Private (Visual Basic). Если используется оператор Dim, то уровень доступа по умолчанию является открытым (Public).



  1. Использование форм, событий и методов.

Как объекты, так и формы могут выполнять методы и реагировать (откликаться) на события.

При каждом изменении размера формы в результате действий пользователя или программным способом инициируется событие Resize (Изменить размер) формы. Это позволяет изменять размеры элементов управления на форме или перемещать их, когда изменены размеры самой формы.

Событие Activate (Активизировать) происходит всегда, когда форма становится активной, а событие Deactivate (Деактивировать) - когда активной становится другая форма приложения. Эти события удобны для организации поведения формы при ее инициировании и завершении работы с ней. Например, можно написать код, который в случае события Activate выделит текст в каком-нибудь тeкcтoвoм окне, а в случае события Deactivate внесенные изменения будут сохранены в файле или базе данных.

Чтобы сделать форму видимой, следует вызвать метод show (Показать):

Form2.Show

Вызов метода show имеет тот же эффект, что и установка значения свойства visible (Видимый) формы в True (Истина).

Многие из методов формы работают с текстом или графикой. Методы Print (Печатать), Line (Линия), Сircle (Окружность) и Refresh (Обновить) полезны для печати или рисования непосредственно на поверхности формы.

Свойство Container

Свойство container (Набор) используется для изменения набора объектов внутри формы. Следующие элементы управления могут содержать другие элементы управления:

Кос для промежуточной аттестации по дискретной математике Рамка

Кос для промежуточной аттестации по дискретной математике Графическое окно



  1. Использование управляющих элементов.

Элемент управления ADO Data

Элемент управления ADO Data (рис. 1) обеспечивает связь между поставщиком данных OLE DB (OLE DB Provider) и элементами управления, обладающими свойством DataSource (CheckBox, ComboBox, Image, Label, ListBox, PictureBox и TextBox).

Кос для промежуточной аттестации по дискретной математике

Рис. 1

ADO Data может применяться в следующих случаях:

  • для связи с локальной или удаленной базой данных;

  • для открытия (просмотра) заданной таблицы в базе данных или определения группы записей, основанных либо на SQL-запросе, либо на хранящейся процедуре;

  • для передачи значений полей данных в связанные с данными элементы управления;

  • для обновления базы данных.

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



  1. Составление программ циклической структуры.

Операторы циклов

В языке VB существует 3 вида циклов: 1) цикл с параметром или цикл типа for; 2) цикл с предусловием или цикл типа while, 3) цикл с постусловием или цикл типа do ... while . Во всех этих циклах условие продолжения цикла заключается в круглые скобки. В циклах типов for и while повторяющаяся часть состоит из одного оператора, если требуется выполнить в цикле несколько операторов, они заключаются в фигурные скобки, образуя составной оператор. В цикле с постусловием тело цикла помещается между словами do и while. В отличие от цикла с предусловием, цикл с постусловием выполнится хотя бы один раз. Циклы с пред- и постусловием продолжаются, если условие продолжения истинно.



  1. Логические операторы и операторы сравнения If...Then, SelectCase.

Конструкция If...Then...Else аналогична конструкции If...Then, но позво-ляет задать действия, исполняемые как при выполнении условий, так и в слу-чае их невыполнения.

Конструкция имеет следующий синтаксис:

If условиеThen

конструкции для обработки истинного условия

Else

конструкции для обработки ложного условия

End If

Ключевые слова If и End If имеют тот же смысл, что и в конструкции

If...Then. Если заданное в конструкции условие не выполняется (результат

проверки равен False) и конструкция содержит ключевое слово Else, Visual

Basic выполнит последовательность конструкций, расположенных следом за

Else. После чего управление перейдет к конструкции, следующей за End If.

Например:

If x >= 0 Then

Label1.Text = "Значение больше или равно 0"

Else

Label1.Text = "Значение меньше 0"

End If

Конструкция Select Case позволяет обрабатывать в программе несколько условий. Она аналогична блоку конструкций If...Then...Else. Эта конструкция состоит из анализируемого выражения и набора операторов Caseна каждое возможное значение выражения. Работает данная конструкция следую-

Основы программирования в Visual Basic 2010 65

щим образом. Сначала Visual Basic вычисляет значение заданного в конструкции выражения. Затем полученное значение сравнивается со значениями,

задаваемыми в операторах Case конструкции. Если найдено искомое значение, выполняются команды, приписанные данному оператору Case. После

завершения выполнения конструкций управление будет передано конструкции, следующей за ключевым словом End Select.

Синтаксис конструкции Select Case следующий:

Select Case сравниваемоеЗначение

Case значение1

операторы1

Case значение2

операторы2

...

Case Else

операторыN

End Select

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

проверяться на несколько значений. Затем в конструкции размещены группы

команд, начинающиеся с ключевого слова Case. Если параметр сравниваемое-Значениеравно значению, указанному в текущем операторе Case, то будут

выполняться команды, расположенные между этим и следующим ключевым

словом Case. Конструкция может содержать любое количество ключевых

слов Caseс соответствующими им блоками операторов. Если ни одно значе-ние не подошло, будут выполнены операторы, следующие за ключевыми

словами Case Else. Ключевые слова Case Elseмогут быть опущены.


  1. Обзор структуры цикла. Использование Do...Loop, Использование For...Next.

Цикл, задаваемый конструкцией Do...Loop, выполняется до тех пор, пока ис-тинно задаваемое в цикле условие.

Синтаксис конструкции Do...Loop имеет следующий вид:

Do While условие

операторы

Loop

Аргумент конструкции условиеявляется логическим выражением, значение

которого проверяется перед каждым проходом цикла. Если это значение рав-но True, выполняется последовательность команд, которые расположены ме-жду Do Whileи ключевым словом Loop. Эти конструкции образуют тело цик-ла. Если при очередном проходе цикла условиеравно False, происходит вы-ход из цикла и управление передается конструкции, следующей за Loop.

Возможна ситуация, при которой операторы цикла не выполняются ни разу.

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

ложным.

Конструкция For...Next выполняет последовательность команд определенное

число раз. Такую конструкцию называют циклом, а выполняемые ею про-граммные коды - телом цикла.

Синтаксис конструкции For...Nextследующий:

For счетчик[As типДанных] = начЗначениеTo конЗначение[Step шаг]

операторы

Next [счетчик]

Первый аргумент конструкции счетчикопределяет имя переменной, которая

будет "считать" количество выполненных циклов. Эту переменную можно

объявить прямо в конструкции. Параметр начЗначение указывает числовое

значение, которое присваивается переменной-счетчику перед первым прохо-дом цикла. Цикл выполняется до тех пор, пока значение счетчика не превы-сит конечное значение, указанное после ключевого слова To. После каждого

прохода значение счетчика изменяется на величину шаг, указанную после

ключевого слова Step. Ключевое слово Next обозначает конец тела цикла и

является обязательным.

Перед каждым проходом цикла Visual Basic сравнивает значения счетчика и

аргумента конЗначение. Если значение счетчика не превышает установленно-го значения конЗначение, выполняются конструкции тела цикла. В противном

случае управление переходит к следующей за Next конструкции.


  1. Работа с логическими операторами и операторами сравнения.

Над условными выражениями можно выполнять действия логической мате-матики (логические операции), а именно:

AND(И) - возвращает значение True, если все участвующие в операции

выражения имеют значение True. В остальных случаях возвращается зна-чение False;

OR(ИЛИ) - возвращает значение True, если хотя бы одно из участвующих

в операции выражений имеет значение True. В случае, когда все выраже-ния имеют значение False, возвращается значение False;

XOR(исключающее ИЛИ) - возвращает значение True, если только одно

из участвующих в операции выражений имеет значение True. В остальных

случаях возвращается значение False;

NOT(НЕ) - операция отрицания. Возвращает обратное значение для зна-чения выражения, т. е. если выражение равно True, то возвращается False,

и наоборот, если значение выражения равно False, то возвращается значе-ние True.


  1. Написание кода с использование операторов и циклов.

  1. Разложить по этапам написание программ с использованием циклов.

  2. Какие циклические конструкции бывают.

  3. Операторы, какие они бывают.



  1. Отслеживание и анализ ошибок.

Ошибки в программе могут быть синтаксическимиили смысловыми. Синтак-сические ошибки наиболее очевидны. Они возникают, если код написан без

соблюдения правил языка программирования. Эти ошибки обнаруживают-

ся компилятором, который выдает соответствующее сообщение. В Visual

Basic 2010 такие сообщения отображаются в окне Error List(Список оши-бок). В них указаны номер строки, файл, в котором обнаружена ошибка, и

краткое ее описание. Обнаружение и исправление данных ошибок является

достаточно легким и быстрым.

В набор инструментария отладки Visual Basic 2010 входят такие основные

инструменты, как:

панель инструментов Standard(Стандартная), а также Debug(Отладка)

с кнопками выполнения команд для отладки приложения;

окно Immediate Window(Окно непосредственного выполнения), предна-значенное для непосредственного ввода команд, требующих немедленного

выполнения;

окно Watch (Наблюдение), служащее для просмотра значений выражений,

включенных в список просмотра;

окно Locals(Локальные переменные), предназначенное для просмотра

значений переменных;

редактор кода со встроенными возможностями просмотра переменных,

констант, свойств, выражений при отладке приложения в точках останова

и пошаговом выполнении приложения;

окно Call Stack(Стек вызовов) для просмотра вызванных, но незавершен-ных процедур.



  1. Обзор стандартных элементов.

Помимо индивидуальных свойств, каждый элемент управления содержит

общие для большинства свойства. В табл. 4.1 перечислены наиболее часто

используемые свойства элементов управления.

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике



  1. Дополнительные возможности стандартных элементов.

А. Использование в форме графики.

Б. Полосы прокрутки.

В. Таймер.

Г. Задание даты.

Д. Вкладки.

Е. Элемент управления SplitContainer.

Ж. Элемент управления TabelLayoutPanel.

З. Индикатор прогресса.

И. Ползунок.

К. Гиперссылка.

Л. Элемент управления NotifyIcon.

М. Элемент управления TreeView и ListView.



  1. Использование ComboBox и ListBox.

Списки типа ComboBox называют раскрывающимися или полями со спи-ском. Оба названия верны. Раскрывающимися их называют потому, что для

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

список типа ComboBox совмещает функции списка ListBox и поля ввода

TextBox.Иными словами, из списка ComboBox данные можно не только выби-рать, но и вводить новое значение в находящееся в верхней части поле ввода.

Использование списков ComboBox позволяет представлять большой объем

информации, экономя при этом место в форме.

Элемент управления ListBox, размещенный в форме, представляет собой

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

зависимости от значения свойства MultiColumn. Если элементы списка распо-ложены в нескольких колонках, с помощью свойства ColumnWidth можно из-менить заданную по умолчанию ширину колонок.

В том случае, если элементы списка не помещаются в выделенную для них

в форме область, появляются полосы прокрутки, позволяющие просмот-

реть весь список. Чтобы полоса прокрутки элемента управления ListBox

всегда отображалась, необходимо присвоить значение Trueсвойству

ScrollAlwaysVisible.

Возможность частичного отображения элемента списка задается с помощью

свойства IntegralHeight. Если указано значение True, то в списке может ото-бражаться только строка целиком.



  1. Написание функций.

Процедуры Functionв отличие от процедур Subмогут возвращать значение в

вызывающую процедуру. Синтаксис процедуры Functionимеет следующий

вид:

уровеньДоступностиFunction имяПроцедуры(аргументы) [As тип]

операторы

End Function

В качестве уровня доступности может быть указано Public, Protected, Friend,

Protected Friendили Private.

Процедуры Function, как и переменные, имеют тип, задаваемый с помощью

ключевого слова As. Если тип процедуры не задан, по умолчанию ей при-сваивается тип Object.

Тип процедуры определяет в свою очередь тип возвращаемого ею значения.

Возвращаемым значениемназывается значение, которое функция передает

обратно в вызвавшую ее программу.

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

по ходу выполнения процедуры. Управление (и, соответственно, возвра-щаемое значение) не будет передано в программу, вызвавшую функцию,

до тех пор, пока не выполнится Exit Functionили End Function;

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

Function Square(ByVal a As Integer) As Integer

Square = a ^ 2

End Function



  1. Использование в форме графики. PictureBox, ImageList.

В Visual Basic для отображения в форме графики используются элементы

управления PictureBoxи ImageList. Объект PictureBoxпозволяет разместить

на форме графические изображения, а объект ImageListслужит для хранения

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

формы.

Для размещения изображения в форме выполните следующие действия:

1. Перетащите на форму элемент управления PictureBox . С помощью

мыши или свойства Sizeзадайте необходимый размер изображения.

2. Для задания имени графического файла предназначено свойство Image.

Выберите это свойство в окне Properties(Свойства) и нажмите кнопку

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

окно, позволяющее выбрать графический файл.

Элемент управления ImageList является хранилищем графических изо-бражений, для отображения которых в форме необходимо использовать дру-гие элементы управления.

Для создания списка графических изображений следует перетащить элемент

управления ImageList на форму. Он не будет виден на форме, а разместится в

нижней части конструктора формы.

Для добавления изображений в список применяется свойство Images элемента

управления ImageList. При нажатии кнопки с тремя точками, расположенной

справа от названия свойства, открывается диалоговое окно Images Collection

Editor(Редактор изображений) - рис. 5.3. В этом окне находятся кнопки

Add(Добавить) и Remove(Удалить), позволяющие добавлять графические

изображения в список или удалять их из него. При нажатии кнопки Add(Добавить) открывается диалоговое окно открытия файла для выбора соответст-вующего рисунка. После добавления элемента в список он располагается в

поле Members(Элементы) окна Images Collection Editor(Редактор изобра-жений). Слева от названия элемента указан его индекс, а в правой части окна

выводятся свойства изображения, такие как разрешение, размер и формат.

Для изменения индекса того или иного рисунка необходимо выбрать его

в поле Members(Элементы) и с помощью кнопок и переместить

в нужное место.



  1. Создание программы с использованием полос прокрутки, таймера и заданием даты.

На форме можно размещать горизонтальные и вертикальные полосы

прокрутки с помощью элементов управления HScrollBarи VScrollBar. Полосы прокрутки встречаются при работе с документами программы Microsoft Word и другими программными продуктами, работающими

в среде Windows. Они также используются в многострочных текстовых полях

и списках, в которых информация целиком не помещается. Элементы управ-ления VScrollBar и HScrollBar отличаются от полос прокрутки, встроенных

в перечисленные элементы, т. к. они существуют самостоятельно и применя-ются для элементов, не имеющих собственных полос прокрутки, или группы

элементов.

В Visual Basic существует элемент управления, который обрабатывает дан-ные системных часов. Этот объект называется таймером. Его можно приме-нять для выполнения определенных действий через заданный интервал вре-мени.

Для размещения в форме таймера используется элемент управления Timer.

Событие Tick таймера наступает через каждый установленный в свойстве

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

Для запуска и останова таймера помимо свойства Enabledможно использо-вать методы Startи Stop.

В Visual Basic существуют элементы управления MonthCalendarи

DateTimePicker, позволяющие работать с датами. Объект MonthCalendarпред-ставляет собой календарь, с помощью которого можно выбрать некоторый

диапазон дат. Элемент управления DateTimePickerимеет вид текстового поля

с расположенной справа кнопкой, при нажатии которой открывается кален-дарь. Этот элемент управления, как правило, используют для экономии места

на форме и при выборе одной даты.



  1. Создание вкладок, индикатора прогресса, ползунка.

Visual Basic позволяет создавать формы, содержащие несколько вкладок.

Объекты данного типа удобно использовать в том случае, когда необходимо

разместить большой объем информации или когда для удобства работы тре-

буется основную, наиболее часто используемую информацию, сгруппировать

в одном месте, отделив ее от менее важной информации.

Для создания вкладок в форме предназначен элемент управления TabControl

.Рассмотрим размещение данного элемента в форме и настройку его

свойств:

1. Откройте форму, в которой хотите создать вкладки.

2. Нажмите кнопку TabControlна панели элементов управления.

3. Установите указатель в форму и, удерживая кнопку мыши в нажатом со-стоянии, переместите курсор по диагонали так, чтобы получилась рамка

размером с форму.

4. Откройте окно свойств созданного объекта. Для добавления вкладок вы-берите свойство TabPagesи нажмите кнопку с тремя точками, расположен-ную справа.

5. В открывшемся диалоговом окне TabPage Collection Editor(Редактор

вкладок) с помощью кнопки Add(Добавить) добавьте необходимое коли-чество вкладок.

6. В этом же окне можно настроить свойства вкладок. Для этого выберите в

поле Members(Элементы) нужную вкладку, а с помощью расположенной

справа области задайте требуемые значения для свойств. Например, ис-пользуя свойство Text, задайте заголовки вкладок.

7. Нажмите кнопку OKдля закрытия диалогового окна.

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

зависла ли программа. Работу продолжительных задач можно сопровождать

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

этого стандартный элемент управления ProgressBar.

Элемент управления TrackBar представляет собой ползунок, позволяю-щий вводить в программу числовые значения.

Свойство TickStyle задает расположение делений на линейке ползунка и может принимать следующие значения:

Both- деления расположены по обеим сторонам ползунка;

BottomRight- у горизонтального ползунка деления расположены снизу,

у вертикального - справа;

None- деления у ползунка отсутствуют;

TopLeft- у горизонтального ползунка деления расположены сверху,

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



  1. Гиперссылки. Список.

Для создания гиперссылок используется элемент управления LinkLabel ,

представляющий собой усовершенствованный элемент Label, т. е. обладаю-щий всеми свойствами элемента Labelи имеющий специфичные, предназна-ченные для создания гиперссылок, свойства. Каждая гиперссылка может вы-полнять различные функции в приложении. Например, она может использо-ваться в качестве ссылки на сайт в Интернете или для открытия новой

формы.

Элемент управления LinkLabelможет содержать одну или более ссылок и в

зависимости от этого различают способы настройки данного элемента. Рас-смотрим каждый случай отдельно.

Элемент управления ListView представляет собой список элементов с ис-пользованием пиктограмм, аналогичный используемому в правой части окна

Проводника.

В зависимости от свойства Viewсписок может принимать следующий вид:

Details(Таблица), LargeIcon(Крупные значки), List(Список), SmallIcon

(Мелкие значки), Tile(Плитка).



  1. Чтение и запись файла. Класс FileStream.

Для выполнения основных операций с файлами, такими как получение ин-формации о файле, создание нового файла, удаление, копирование и переме-щение, предназначены классы Fileи FileInfo.

Класс Fileсодержит статические методы, при вызове которых требуется ука-зание в качестве параметра имени файла. При работе с классом FileInfo

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

экземпляр класса.

При работе с текстовыми файлами, например, при записи в них информации

и считывании данных, используются классы FileStream, StreamReader,

StreamWriter. Для выполнения бинарных операций с файлами применяются

классы BinaryReaderи BinaryWriter.

Класс FileStream, который является производным от абстрактного класса

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

конструктор:

Sub New(ByVal pathAs String, ByVal modeAs FileMode,

ByVal accessAs FileAccess, ByVal shareAs FileShare,

ByVal bufferSizeAs Integer, ByVal useAsyncAsBoolean) _

As FileStream

где:

path- полное имя файла, включающее само имя файла и путь к нему;

mode- режим доступа к файлу. Может принимать значения, указанные

в табл. 7.4;

access- тип доступа к файлу. Определяет характер действий с файлом

(чтение или запись данных). Может принимать значения: Read(Чтение),

Write(Запись) или ReadWrite(Чтение и запись). Этот параметр можно

238 Глава 7

опустить, тогда по умолчанию тип доступа будет принимать значение

ReadWrite;



  1. Считывание данных из текстового файла.

Для считывания данных из текстового файла используется класс

StreamReader, наследуемый от абстрактного класса TextReader. Он имеет сле-дующие основные конструкторы:

Sub New(ByVal pathAs String, ByVal encoding As Encoding)

Sub New(ByVal streamAs Stream, ByVal encoding As Encoding)

где:

path- полное имя файла, включающее само имя файла и путь к нему;

stream- поток для чтения;

encoding- кодировка знаков. Может принимать одно из значений пере-числения Encoding: ASCIIEncoding (Кодировка 7-разрядными ASCII-зна-ками), UnicodeEncoding (Кодировка в виде двух последовательных симво-лов), UTF7Encoding (Кодировка UTF-7) и UTF8Encoding(Кодировка UTF-8).

Параметр можно опустить.

Продемонстрируем примеры создания объекта класса:

Dim streamReader1 As New StreamReader ("C:\MyFile.txt")

Dim fileStream As New FileStream("C:\MyFile.txt", FileMode.Open)

Dim streamReader2 As New StreamReader(fileStream)



  1. Запись данных в текстовый файл.

Класс StreamWriter, производный от абстрактного класса TextWriter, предна-значен для записи текстовых данных и имеет следующие основные конструк-торы:

Sub New(ByVal pathAs String, ByVal appendAs Boolean,

ByVal encodingAs Encoding)

Sub New(ByVal streamAs Stream, ByVal encoding As Encoding)

где:

path- полное имя файла, включающее само имя файла и путь к нему;

stream- поток для записи;

append- определяет, будет ли файл перезаписываться в случае указания

существующего файла. Если указано значение True, файл создается или

дописывается. Параметр можно опустить;

encoding- кодировка знаков. Может принимать одно из значений пере-числения Encoding: ASCIIEncoding(Кодировка 7-разрядными ASCII-зна-ками), UnicodeEncoding(Кодировка в виде двух последовательных симво-лов), UTF7Encoding(Кодировка UTF-7) и UTF8Encoding(Кодировка UTF-8).

Параметр можно опустить.

Продемонстрируем примеры создания объекта класса StreamWriter:

Dim streamWriter1 As New StreamWriter("C:\MyFile.txt", true)

Dim fileStream As New FileStream("C:\MyFile.txt", FileMode.Append)

Dim streamWriter2 As New StreamWriter(fileStream)



  1. Открытие и создание файла для чтения и записи.

Для получения объектов классов FileStream, StreamReaderи StreamWriter

можно воспользоваться перечисленными в табл. 7.8 методами класса File.

Класс FileInfo имеет аналогичные методы за тем исключением, что имя фай-ла задается при создании экземпляра класса, и поэтому в методах параметр

Path отсутствует.

Эталоны ответов на теоретические задания: по дисциплине «Дискретная математика»

  1. Составные высказывания

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

Определение: повествовательное предложение, о котором можно однозначно сказать, истинно оно или ложно, называется высказыванием.

Примеры высказываний: "кит - животное", "все углы - прямые" и т. п. Первое из этих высказываний является, очевидно, истинным, а второе - ложным. Предложение "реши задачу", также как и "2+2", не является высказыванием.

Определения математических понятий не являются высказываниями, т.к. это принятые соглашения.

Будем обозначать высказывания большими латинскими буквами: A, B, C,….

Элементарные, нерасчленяемые высказывания будем называть атомами.Употребляемые в обычной речи логические связки "и", "или", "если..., то...", "эквивалентно", частица "не" и т. д. позволяют из уже заданных высказываний строить новые, более "сложные" высказывания.

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

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

  1. Основные логические операции. Формулы логики. Дизъюнктивная

конъюнктивная нормальные формы

Отрицанием высказывания A называется высказывание Кос для промежуточной аттестации по дискретной математике (A), которое истинно, если A - ложно, и ложно, если A - истинно.

Таблица истинности отрицания:

A

Кос для промежуточной аттестации по дискретной математике

И

Л

Л

И

Конъюнкцией высказываний A и B называется высказывание AКос для промежуточной аттестации по дискретной математикеB (читается "A и B"), которое истинно тогда и только тогда, когда A, B - истинно.

Таблица истинности конъюнкции:

A

B

AКос для промежуточной аттестации по дискретной математикеB

И

И

И

И

Л

Л

Л

И

Л

Л

Л

Л

Дизъюнкцией высказываний A и B называется высказывание AКос для промежуточной аттестации по дискретной математикеB (читается "A или B"), которое ложно тогда и только тогда, когда A, B - ложны.

Таблица истинности дизъюнкции:

A

B

AКос для промежуточной аттестации по дискретной математикеB

И

И

И

И

Л

И

Л

И

И

Л

Л

Л

Импликацией высказываний A и B называется высказывание A→B (читается "если A, то B"), которое ложно тогда и только тогда, когда A - истинно, а B - ложно.

Таблица истинности импликации:

A

B

A→B

И

И

И

И

Л

Л

Л

И

И

Л

Л

И

Эквиваленцией высказываний A и В навивается высказывание, обозначаемое AB (читается :"A тогда и только тогда, когда В" или короче: "A эквивалентно В"), которое считается истинным только тогда, когда оба высказывания A и В имеют одинаковое истинностное значение.

Эквивалентность АВ читается также следующим образом: "Для того, чтобы A, необходимо и достаточно, чтобы В".

Таблица истинности эквиваленции:

A

B

AB

И

И

И

И

Л

Л

Л

И

Л

Л

Л

И


  1. Построение таблицы истинности для формулы логики

7 - число простое; и.в. В: в равнобедренном треугольнике при основании углы равны, и.в. AВ - и.в.Логическая операция задается таблицей:

р

q

р ↓ q

1

1

0

1

0

0

0

1

0

0

0

1


  1. Изучение законов логики. Равносильные преобразования.

Законы логики (свойства логических операций)

Следующие формулы являются законами логики.

  1. Кос для промежуточной аттестации по дискретной математике- закон двойного отрицания.

  2. Кос для промежуточной аттестации по дискретной математике- закон коммутативности конъюнкции.

  3. Кос для промежуточной аттестации по дискретной математике- закон коммутативности дизъюнкции.

  4. Кос для промежуточной аттестации по дискретной математике- закон ассоциативности конъюнкции.

  5. Кос для промежуточной аттестации по дискретной математике- закон ассоциативности дизъюнкции.

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

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

  8. Кос для промежуточной аттестации по дискретной математике- закон отрицания дизъюнкции.

  9. Кос для промежуточной аттестации по дискретной математике- закон отрицания конъюнкции.

  10. Кос для промежуточной аттестации по дискретной математике- закон отрицания импликации.

  11. Кос для промежуточной аттестации по дискретной математике- закон выражения эквивалентности через конъюнкцию и импликацию.

  12. Кос для промежуточной аттестации по дискретной математике- закон контрапозиции.

  13. Кос для промежуточной аттестации по дискретной математике- закон силлогизма.


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

Определение. Формула B есть логическое следствие формул A1, A2, .., An, если формула B принимает истинное значение при тех же значениях, при которых истинна каждая из формул A1, A2, .., An.

Запись (A1, A2, .., An)B означает, что B - логическое следствие формул A1, A2, .., An.

Пример. (AB, AКос для промежуточной аттестации по дискретной математике)Кос для промежуточной аттестации по дискретной математике.

Докажем данное следствие.

A

B

AB

Кос для промежуточной аттестации по дискретной математике

AКос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

И

И

И

Л

Л

Л

И

Л

Л

И

И

Л

Л

И

И

Л

И

И

Л

Л

И

И

И

И


  1. Булевы функции.

Переменная х, принимающая значения 0 или 1, называется булевой (или логической, двоичной). Функция F, зависящая от булевых переменных Кос для промежуточной аттестации по дискретной математике и принимающая также значения 0 или 1, называется булевой (или логической, двоичной) и обозначается Кос для промежуточной аттестации по дискретной математике.

Булевы функции F от n переменных Кос для промежуточной аттестации по дискретной математике могут быть заданы посредством таблицы истинности, содержащей Кос для промежуточной аттестации по дискретной математике строк и Кос для промежуточной аттестации по дискретной математике столбцов. В левой части таблицы содержатся наборы значений n переменных, расположенные в порядке возрастания их десятичного эквивалента, а в правой ее части значения функции F на соответствующих наборах значений переменных.

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

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

F

0

0

0

0

0

0

1

0

0

1

0

1

0

1

1

0

1

0

0

0

1

0

1

1

1

1

0

1

1

1

1

1


  1. Совершенная дизъюнктивная и конъюнктивная нормальные формы (СДНФ и

СКНФ)

Определение. Элементарной конъюнкцией называется конъюнкция литералов (переменных или их отрицаний), взятых не более чем по одному разу.

Например, конъюнкции Кос для промежуточной аттестации по дискретной математике, Кос для промежуточной аттестации по дискретной математике, 1 являются элементарными. Причем первая элементарная конъюнкция имеет ранг (число литералов) 2, вторая 3, а третья 0.

Следующие конъюнкции: Кос для промежуточной аттестации по дискретной математике, Кос для промежуточной аттестации по дискретной математике, Кос для промежуточной аттестации по дискретной математике, Кос для промежуточной аттестации по дискретной математике, 0 не являются элементарными.

Определение. Элементарная конъюнкция булевой функции Кос для промежуточной аттестации по дискретной математике, содержащая n литералов, называется полной (или минтермом).

Определение. Дизъюнкция любого конечного множества элементарных конъюнкций булевой функции F называется дизъюнктивной нормальной формой (ДНФ) функции F. Число элементарных конъюнкций (слагаемых, термов), составляющих ДНФ, называется длиной ДНФ.

Например, ДНФ Кос для промежуточной аттестации по дискретной математике имеет длину, равную 3.

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

Определение. Две (или несколько) ДНФ, реализующих одну и ту же булеву функцию F , называются эквивалентными (или равносильными).

Например, для функции Кос для промежуточной аттестации по дискретной математике, заданной булевым вектором w(F)=(00100111), существуют следующие эквивалентные ДНФ:

Кос для промежуточной аттестации по дискретной математике, (1)

Кос для промежуточной аттестации по дискретной математике, (2)

Кос для промежуточной аттестации по дискретной математике, (3)

Кос для промежуточной аттестации по дискретной математике, (4)

Кос для промежуточной аттестации по дискретной математике. (5)

Определение. ДНФ булевой функции F, состоящая только из полных элементарных конъюнкций, называется совершеннойДНФ(СДНФ).

Например, (1) СДНФ функции F.

Отметим, что СДНФ является единственной (с точностью перестановки слагаемых) для конкретной булевой функции F .

Любую булеву функцию F, заданную формулой, можно с помощью основныхравносильностей преобразовать к ДНФ, а затем к СДНФ.

  1. Представление булевой функции в виде совершенной ДНФ и КНФ,

минимальной КНФ, полинома Жегалкина

Для булевой функции, заданной в виде ДНФ Кос для промежуточной аттестации по дискретной математике, составить СДНФ и выполнить проверку по таблице истинности.

Решение: Применяя закон склеивания (в обратном порядке: Кос для промежуточной аттестации по дискретной математике), дополняем конъюнкции, до полных элементарных конъюнкций. Конъюнкцию Кос для промежуточной аттестации по дискретной математике дополняем в два этапа, так как Кос для промежуточной аттестации по дискретной математикене является элементарной конъюнкцией:

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике.

Так как Кос для промежуточной аттестации по дискретной математике, после сокращения одинаковых конъюнкций получаем СДНФ:

Кос для промежуточной аттестации по дискретной математике.

Таблица истинности СДНФ

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике

Элементарные конъюнкции СДНФ

0

0

0

1

0

0


0

0

1

0

0

0


0

1

0

1

1

1

Кос для промежуточной аттестации по дискретной математике

0

1

1

0

0

0


1

0

0

1

1

1

Кос для промежуточной аттестации по дискретной математике

1

0

1

0

0

1

Кос для промежуточной аттестации по дискретной математике

1

1

0

1

1

1

Кос для промежуточной аттестации по дискретной математике

1

1

1

0

0

1

Кос для промежуточной аттестации по дискретной математике

Определение.Полином булевой функции F, в слагаемые которого все переменные F входят только без отрицания или только с отрицанием, называется монотонно-поляризованным. Причем в первом случае полином функции F называется положительно-поляризованный и обозначается через P(F), а во втором случае - отрицательно-поляризованным и обозначается через Q(F). Полином P(F) иначе называется каноническим полиномом Жегалкина (или в зарубежной научно-технической литературе - формой Рида-Мюллера).

Например, для булевой функции, заданной вектором значений таблицы истинности w(F)=(00100111) полиномы P(F) и Q(F) имеют вид:

Кос для промежуточной аттестации по дискретной математике,

Кос для промежуточной аттестации по дискретной математике.

Отметим некоторые свойства монотонно-поляризованных полиномов P(F) и Q(F) булевой функции Кос для промежуточной аттестации по дискретной математике:

1. Полиномы P(F) и Q(F) являются для булевой функции F единственными.

2. Полиномы P(F) и Q(F) имеют степень n тогда и только тогда, когда

таблица истинности функции F содержит нечетное число единиц.

3. Число слагаемых полинома P(F) (Q(F)) четно тогда и только тогда, когда

Кос для промежуточной аттестации по дискретной математике(соответственно Кос для промежуточной аттестации по дискретной математике).


  1. Понятие полноты множества функций. Замкнутые классы

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

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

Теорема. Всякая булева формула, не содержащая отрицаний, представляет собой монотонную функцию отличную от константы; наоборот, для любой монотонной функции, отличной от 0 и 1, найдётся представляющая её булева формула без отрицаний.

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

Теорема. Множество всех монотонных функций является замкнутым классом.

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

Следствие. Класс монотонных функций является замыканием системы функций


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

полноту.

Теорема. Если все функции функционально полной системы Кос для промежуточной аттестации по дискретной математике представимы формулами над системой Кос для промежуточной аттестации по дискретной математике, то система Кос для промежуточной аттестации по дискретной математике также функционально полна.

Пример. а) Системы Кос для промежуточной аттестации по дискретной математике и Кос для промежуточной аттестации по дискретной математике функционально полны. Действительно, с помощью законов Де Моргана и двойного отрицания можно выразить в каждой из этих систем функцию, недостающую доКос для промежуточной аттестации по дискретной математике через остальные две:

Кос для промежуточной аттестации по дискретной математике.

С точки зрения функциональной полноты систему Кос для промежуточной аттестации по дискретной математике следует считать избыточной: она сохраняет свойство полноты и при удалении из неё конъюнкции или дизъюнкции. Однако легко видеть из приведённого примера, что, хотя системы Кос для промежуточной аттестации по дискретной математике и Кос для промежуточной аттестации по дискретной математике не являются избыточными, зато формулы в них получаются гораздо длиннее: замена одной операции на другую вносит в формулу сразу три лишних отрицания.

б) Системы Кос для промежуточной аттестации по дискретной математике (штрих Шеффера) и Кос для промежуточной аттестации по дискретной математике (стрелка Пирса) являются функционально полными.

Кос для промежуточной аттестации по дискретной математике.

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

в) Система Кос для промежуточной аттестации по дискретной математике (Кос для промежуточной аттестации по дискретной математикеумножение по модулю 2, Кос для промежуточной аттестации по дискретной математикесложение по модулю 2 - см. пункт 1 лекции № 8)) является функционально полной. Поскольку Кос для промежуточной аттестации по дискретной математике, данная система сводится к Кос для промежуточной аттестации по дискретной математике.

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

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

Множество можно представить себе как совокупность объектов, обладающих общим свойством. Объекты, из которых составлено множество, называются его элементами.

Множества обычно обозначают большими латинскими буквами (например, A, S, D), а их элементы - строчными (например, a, s, d).

Если элемент х принадлежит множеству А, то это обозначается: хКос для промежуточной аттестации по дискретной математикеА; в противном случае говорят, что элемент не принадлежит множеству, это обозначается: хКос для промежуточной аттестации по дискретной математикеА.

Примеры множеств.

  1. Множество N - множество натуральных чисел. 1Кос для промежуточной аттестации по дискретной математикеN. -1Кос для промежуточной аттестации по дискретной математикеN.

  2. Множество L - множество букв русского алфавита.фКос для промежуточной аттестации по дискретной математикеL. vКос для промежуточной аттестации по дискретной математикеL.

Множество не содержащие элементов называется пустым. Это множество обозначается Кос для промежуточной аттестации по дискретной математике.

Множества можно задавать следующими способами.

  1. Перечисление элементов: P={точка, прямая, плоскость, тело}, S={0,1,2}.

  2. Задание характеристического свойства: L={n|nКос для промежуточной аттестации по дискретной математикеN и n<7}.


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

Объединение двух множеств А и В - это новое множество, элементами которого являются элементы, принадлежащие множеству А или множеству В. Обозначение: АКос для промежуточной аттестации по дискретной математикеВ.

АКос для промежуточной аттестации по дискретной математикеВ={x| хКос для промежуточной аттестации по дискретной математикеА или хКос для промежуточной аттестации по дискретной математикеВ}.

Пересечение двух множеств А и В - это новое множество, элементами которого являются элементы, принадлежащие множеству А и множеству В. Обозначение: АКос для промежуточной аттестации по дискретной математикеВ.

АКос для промежуточной аттестации по дискретной математикеВ={x| хКос для промежуточной аттестации по дискретной математикеА и хКос для промежуточной аттестации по дискретной математикеВ}.

Разность двух множеств А и В - это новое множество, элементами которого являются элементы, принадлежащие множеству А и не принадлежащие множеству В. Обозначение: А \ В.

А \ В={x| хКос для промежуточной аттестации по дискретной математикеА и хКос для промежуточной аттестации по дискретной математикеВ}.

Обычно элементы множеств выбираются из некоторого достаточно широкого множества U, которое называется универсум. В связи с этим понятием можно ввести операцию дополнение.

Дополнением множества А называется множества, которое состоит из элементов универсума, не принадлежащих множеству А. Обозначение: Кос для промежуточной аттестации по дискретной математике.

Кос для промежуточной аттестации по дискретной математике=U \ A или Кос для промежуточной аттестации по дискретной математике={x| хКос для промежуточной аттестации по дискретной математикеА и хКос для промежуточной аттестации по дискретной математикеU}.


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

Под предикатом предметной переменной х Кос для промежуточной аттестации по дискретной математикеА будем понимать функцию Р(х) на {0,1}. Предикат р (х) называется одноместным предикатом

Например:

Предикат х > 5, xКос для промежуточной аттестации по дискретной математикеR: при х = 4 предикат обращается в ложное высказывание. При х = 7 предикат обращается в истинное высказывание.

Функция Р (х, у), где х, уКос для промежуточной аттестации по дискретной математикеА, принимающая значения во множестве {0,1} называется двухместным предикатом.

Например: х<у


  1. Логические операции над предикатами.

1) Отрицание.Кос для промежуточной аттестации по дискретной математике - предикат, множеством истинности которого является множество, для которого предикат Р - ложный.

Mp (x)



Рис. 1. Область истинности отрицания предиката

2) Конъюнкция Р (х) Кос для промежуточной аттестации по дискретной математикеQ(х) - это предикат, область истинности которого равна МКос для промежуточной аттестации по дискретной математике∩ МКос для промежуточной аттестации по дискретной математике.

Кос для промежуточной аттестации по дискретной математике



Рис. 2. Область истинности конъюнкция предикатов

  1. Дизъюнкция Р (х) Кос для промежуточной аттестации по дискретной математикеQ(х) - предикат, область истинности которого равна МКос для промежуточной аттестации по дискретной математикеКос для промежуточной аттестации по дискретной математикеМКос для промежуточной аттестации по дискретной математике.

Mp

Mq

U



Рис. 3. Область истинности дизъюнкции предикатов

  1. ИмпликацияР (х)Кос для промежуточной аттестации по дискретной математикеQ(х) - предикат, у которого область истинности совпадает с дополнением разности МКос для промежуточной аттестации по дискретной математике и МКос для промежуточной аттестации по дискретной математике, т.е. равна (Кос для промежуточной аттестации по дискретной математике).

Mp

U



Рис. 3. Область истинности импликаци предикатов

  1. Эквиваленция Р (х) Кос для промежуточной аттестации по дискретной математикеQ(х) - предикат, область истинности которого совпадает с объединением пересечения МКос для промежуточной аттестации по дискретной математике с МКос для промежуточной аттестации по дискретной математикеи дополнения к их объединению, т.е. равна - МКос для промежуточной аттестации по дискретной математике∩МКос для промежуточной аттестации по дискретной математикеКос для промежуточной аттестации по дискретной математикеКос для промежуточной аттестации по дискретной математике.

Кос для промежуточной аттестации по дискретной математике



  1. Определение логического значения для высказываний

Рассмотрим предложения:

В любой треугольник можно вписать окружность.

Всякое число, оканчивающееся на четную цифру, делится на 2.

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

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

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

Например. Пусть Р (х) предикат, выражающий для х Кос для промежуточной аттестации по дискретной математикеN свойство быть простым числом. Тогда (Кос для промежуточной аттестации по дискретной математикех) (х Кос для промежуточной аттестации по дискретной математикеN) Р (х) - ложное высказывание «любое натуральное число является простым».

Наряду с квантором всеобщности в логике предикатов рассматривается квантор существования: Его значок Кос для промежуточной аттестации по дискретной математике.

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

Например. Пусть Р (х) предикат, выражающий для х Кос для промежуточной аттестации по дискретной математикеN свойство быть простым числом. Тогда, (Кос для промежуточной аттестации по дискретной математикех) (х Кос для промежуточной аттестации по дискретной математикеN) Р (х) - истинное высказывание «существует натуральное число, которое является простым».

Операция введения квантора называется операцией навешивания квантора. Навешивание квантора по какой-нибудь переменной понижает местность предиката.

Переменная, по которой навешен квантор, называется связанной.

Например.х<у - двухместный предикат. Навесим квантор:

(Кос для промежуточной аттестации по дискретной математикех) (х Кос для промежуточной аттестации по дискретной математикеN) (х<у) предикат одноместный по переменной у.

Таким образом, понизить местность предиката можно двумя способами.

  1. задать предметной переменной конкретное значение.

  2. навесить кванторы по одной или нескольким переменным.

Квантор всеобщности можно рассматривать как обобщение конъюнкции для конечных и бесконечных множеств.

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

  1. Построение отрицаний к предикатам.

Отрицание.Кос для промежуточной аттестации по дискретной математике - предикат, множеством истинности которого является множество, для которого предикат Р - ложный.

Mp (x)

Область истинности отрицания предиката

  1. Понятие бинарного отношения и его свойства.

Отношения на множестве.

Если в декартовом произведении в качестве множества В выбрать множество А ( то есть А Х А= АКос для промежуточной аттестации по дискретной математике), то отношение k из АКос для промежуточной аттестации по дискретной математике называется отношением на множестве.

Для отношений на множестве вводятся понятия:

  • Обратное отношение-это множество пар (а,b) таких, что (b,a) Кос для промежуточной аттестации по дискретной математике АКос для промежуточной аттестации по дискретной математике.

Кос для промежуточной аттестации по дискретной математике

  • Дополнение-это множество пар (а,b) Кос для промежуточной аттестации по дискретной математикеk.

Кос для промежуточной аттестации по дискретной математике

  • Тождественное отношение-множество пар (а, а) таких, что, аКос для промежуточной аттестации по дискретной математикеА,

I= {(a, a), aКос для промежуточной аттестации по дискретной математикеA}

  • Универсальное отношение U={(a,b),aКос для промежуточной аттестации по дискретной математикеA, bКос для промежуточной аттестации по дискретной математикеА}

Виды отношений:

  1. Инъекция.

Если каждый элемент множества А соответствует элементу из множества В, то отношение f называется инъективным.Кос для промежуточной аттестации по дискретной математике



Рис.2. Инъекция.

  1. Сюръекция.

Если для каждого элемента y множества В существует элемент х Кос для промежуточной аттестации по дискретной математикеА, соответствующий элементу y, то такое отношение f называется сюръекцией.

Кос для промежуточной аттестации по дискретной математике

Рис.3.Сюръекция.



  1. Биекция.

Если для каждого элемента yКос для промежуточной аттестации по дискретной математикеB существует ровно один элемент хКос для промежуточной аттестации по дискретной математикеА, которому соответствует y , то такое отношение называется биективным.

Биективное отношение инъективно и сюръективно.

Биективное отношение имеет обратное отношение.

Кос для промежуточной аттестации по дискретной математике

Рис.4. Биекция.


  1. Отношение эквивалентности.

Определение.Отношение называется отношением эквивалентности (или просто эквивалентностью), если оно рефлексивно, симметрично и транзитивно.

Эта система обладает следующими свойствами:

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

  2. любые два элемента из одного класса эквивалентны;

  3. любые два элемента из разных классов не эквивалентны.

Все эти свойства прямо следуют из определения отношения эквивалентности.

  1. Исследование бинарных отношений на рефлексивность, симметричность и

транзитивность; выделение классов эквивалентности

Определение 1. Отношение Кос для промежуточной аттестации по дискретной математике называется отношением нестрогого порядка, если оно является рефлексивным, антисимметричным и транзитивным.

Определение 2. Отношение Кос для промежуточной аттестации по дискретной математике называется отношением строгого порядка, если оно является антирефлексивным, антисимметричным и транзитивным.

Оба типа отношений вместе называются отношениями порядка. Элементы Кос для промежуточной аттестации по дискретной математике сравнимы по отношению порядка Кос для промежуточной аттестации по дискретной математике, если выполняется одно из двух отношений Кос для промежуточной аттестации по дискретной математике или Кос для промежуточной аттестации по дискретной математике. Множество Кос для промежуточной аттестации по дискретной математике, на котором задано отношение порядка, называется полностью упорядоченным, если любые два его элемента сравнимы. В противном случае, множество называется частично упорядоченным.

  1. Композиция отображений

Определение. Пусть нам даны соответствия fÍАхВ, gÍCхD, то композицию соответствия gf будет представлять собой gfÍ АхD и действовать так:
"аÎ А: (gf)(а)= g(f(а))

Пример. fÍRх[-1;1] gÍ [-1;2]х[-4;8]

f(х)=sinх g(х)=4х

Нужно построить gf и fg.

gfÍRх[-4;8] fgÍ [-1;2]х[-1;1]

1) фиксируем элемент хR

(gf)(х)= g(f(х))= 4sinх

2) фиксируем элемент х[-1;2]

(fg)(х)=f(g(х))= 4sinх

  1. Операции над подстановками

Операция над (на) множеством M это функция [7]:

Кос для промежуточной аттестации по дискретной математике

Из определения операции видно, что она замкнута на множестве М, т.е. результат операции не выходит за пределы этого множества.

Еще одно свойство операции - однозначность результата, т.е.

упорядоченный набор n элементов (операндов) дает в результате операции только один элемент.

Порядок операции - это количество ее операндов: n = 1 соответствует унарной (монадической) операции, n = 2 - бинарной (диаедической) операции и т.д.

Далее рассматриваются только бинарные операции. Они могут быть заданы в одной из трех форм:

infix ( например, x + y);

prefix ( +xy );

postfix ( xy+ ).

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


  1. Решение задач на запись циклического разложения подстановки

Подстановка на множестве M - это биекция [7]:

Кос для промежуточной аттестации по дискретной математикеMNn, n = |M| N.

В случае конечного множества M (как выше) количество подстановок определяется как количество перестановок из n элементов:

Кос для промежуточной аттестации по дискретной математике

Можно считать, n ящиков заполняются объектами x1, …, xn, xiM.

Поскольку MбиективноNn, можно определить подстановку как NnNn, т.е. иметь дело только с натуральными числами:

Кос для промежуточной аттестации по дискретной математике

{i1, i2, … , in} = Nn.

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

Например:

Кос для промежуточной аттестации по дискретной математике

Подстановка, как и любое бинарное отношение, может быть составной

Кос для промежуточной аттестации по дискретной математике

Кос для промежуточной аттестации по дискретной математике.

Видно, что в «контрпримере» Кос для промежуточной аттестации по дискретной математике, т.е. «произведение» подстановок некоммутативно.

В составе любой подстановки можно выделить циклы. Их длина может составлять 1, 2,…, n. Цикл длины 1 - это фактически вырожденный цикл, стационарный элемент.


  1. Выполнение операций и решение простейших уравнений в алгебре подстановок.

1: Коммутативность.

xКос для промежуточной аттестации по дискретной математикеy = yКос для промежуточной аттестации по дискретной математикеx, x, yM.

Например, на множестве целых чисел Zоперация сложения коммутативна - в отличие от операции вычитания.

2: Ассоциативност ь.

(xКос для промежуточной аттестации по дискретной математикеy) Кос для промежуточной аттестации по дискретной математикеz = xКос для промежуточной аттестации по дискретной математике (yКос для промежуточной аттестации по дискретной математикеz), x, y, zM.

Фактически речь идет об изменении порядка действий (задаваемого скобками).

Например, операция вычитания не ассоциативна.

3: Единица.

lКос для промежуточной аттестации по дискретной математикеx = x, l, xM, l- леваяединица.

xКос для промежуточной аттестации по дискретной математикеr = x, r, xM, r - правая единица.

eКос для промежуточной аттестации по дискретной математикеx = xКос для промежуточной аттестации по дискретной математикеe = x, e, xM, е - двусторонняя или просто единица.

Например, сложение на множестве вещественных чисел Rимеет единицу (аддитивную):

a + 0 = 0 + a = a.

Вычитание имеет только правую единицу:

a - 0 = a, но 0 - a a (если a 0).

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

4: Обратный элемент.

х - левый обратный элемент по отношению к у, а у - правый по отношению х, если

х у = е.

«Просто» обратный элемент (взаимно обратные элементы), если

х у = у х = е.

Существование и единственность единицы и обратного элемента позволяет решать простейшие уравнения (п.4).

5: Идемпотентность.

х х = х, х М.

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

6: Дистрибутивность.

Здесь уже требуются две операции, обозначаемые, например, (операция типа умножение) и (операция типа сложение).

Дистрибутивность по отношению к:

х (у z) = (х у) (х z),

(х у) z= (х z) (у z),

x, y, zM.


  1. Понятие вычета по модулю N. Операции над вычетами. Шифрование

Вычетом числа a по модулюm называется остаток от деления a на m

Из определения видно, что вычеты связаны с делением с остатком.

Разделить натуральное число aна натуральное число b с остатком означает yнайти неотрицательные числа два числа qи г, причем г <b такие, что выполняется равенство

а = q·b + г


  1. Метод математической индукции

Метод математической индукции - не просто распространенный метод решения олимпиадных задач, но и способ доказательства многих утверждений в математической науке.1.)База индукции: первое утверждение ряда верно.

2.) Переход индукции: если верно какое-то утверждение ряда (неважно, какое именно), то верно и следующее за ним утверждение ряда.

  1. Решение задач на выполнение операций в алгебре вычетов

Для степени y=2n(n-натуральное число) установить классы сравнимости. Установить зависимость последней цифры этой степени от ее показателя.

Решение и комментарии.

Как известно, натуральные степени числа 2 оканчиваются цифрами {2, 4, 8, 6}. См. таблицу нескольких степеней числа 2.

Определим функцию, которая ставит в соответствие каждому натуральному числу ппоследнюю цифру числа 2я:

n

2n

Последняя

цифра 2т

1

2

2

2

4

4

3

8

8

4

16

6

5

32

2

6

64

4

7

128

8

8

256

6

f: N®{2, 4, 8, 6},

Эта функция f(n) периодична с периодом 4. Это значит, что для целого числа k: f(n)=f(n+4)= f(n+4k),.

Причем справедливы так же равенства: f(n)=f(n-4)= f(n-4k)

Последнее равенство означают, что для любого пнужно найти минимальное натуральное т, такое, что f(m) = f(m + 4k) = f(n).

Но это задача на делении с остатком числа n на 4:

n=4k+m, k-частное, т - остаток.

Очевидно, последняя цифра числа 2" зависит от остатка, полученного при делении показателя n степени 2 n на 4.

Отразим этот факт в записи функции: f(n)= f(nmod 4)

Из этой формулы можно установить, если f(nmod 4)=0, то Кос для промежуточной аттестации по дискретной математике

При делении чисел на 4 "nÎN, останки могут быть: 0,1,2,3. Таким образом, в частности, множество всех возможных показателей степени 2 n для любого n состоит из четырех подмножеств: 4k, 4k+ 1, 4k+ 2, 4k+3.


  1. Генерирование К-элементных подмножеств данного множества

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

Из этой группы элементов будем образовывать подгруппы. Такие подгруппы будем называть соединениями.

Из этих соединений выделим классы, которые будем называть размещениями.

Размещения.

Размещениями из m-элементов по n называются соединения, каждое из которых содержит n элементов, взятых из данных m и которые отличаются друг от друга или элементами, или их порядком.

Предполагается, что элементы водном размещении не повторяются.


  1. Понятие графа. Способы задания графа. Методика выделения компонента

связности в графе

Графом G(V,E) называется совокупность двух множеств - непустого множества V (множества вершин) и множества Е неупорядоченных пар различных элементов множества V (Е - множество ребер).

G(V,E): Кос для промежуточной аттестации по дискретной математике, EКос для промежуточной аттестации по дискретной математикеVxV.

Число вершин графа G обозначим р, а число ребер - q.

р(G) = |V| q(G) = |E|.

Часто рассматриваются следующие родственные графам объекты.

1. Если элементами множества Е являются упорядоченные пары, то граф называется ориентированным (или орграфом). В этом случае элементы множества V называются узлами, а элементы множества Кос для промежуточной аттестации по дискретной математике- дугами (G(V, Кос для промежуточной аттестации по дискретной математике)).

2. Если элементом множества Е может быть пара одинаковых (не различных) элементов V, то такой элемент множества Е называется петлей, а граф называется графом с петлями (или псевдографом).

3. Если Е является не множеством, а набором, содержащим несколько одинаковых элементов, то эти элементы называются кратными ребрами, а граф называется мультиграфом.

Далее выражение: граф G(V,E) означает неориентированный граф без петель и кратных ребер.

Обычно граф изображают диаграммой: вершины - точками (или кружками), ребра - линиями.


  1. Распознавание мостов и разделяющих вершин в графе

1. Кос для промежуточной аттестации по дискретной математике. Кос для промежуточной аттестации по дискретной математике.

Т.о. это неориентированный граф с петлей и кратными ребрами.

v1

v2

v3

e1

e2

e3

e4

e5

2. Кос для промежуточной аттестации по дискретной математике. Кос для промежуточной аттестации по дискретной математике.

Рис. 1. Неориентированный граф с петлей и кратными ребрами.

Т.о. это ориентированный граф с петлей и кратными ребрами.

v1

v2

v3

e1

e2

e3

e4

v4

Рис. 2. Ориентированный граф с петлей и кратными ребрами.

1

4

2

3

3. Кос для промежуточной аттестации по дискретной математике. Кос для промежуточной аттестации по дискретной математике, т.о. Кос для промежуточной аттестации по дискретной математике


  1. Нахождение расстояния между вершинами в графе.

Пусть v1, v2 - вершины, е = (v1, v2) - соединяющее их ребро. Тогда вершина v1 и ребро е инцидентны, вершина v2 и ребро е также инцидентны. Два ребра, инцидентные одной вершине, называются смежными; две вершины, инцидентные одному ребру, также называются смежными.

Степенью вершины v графа G(V,E) называется число ребер, инцидентных данной вершине. Обозначение: Кос для промежуточной аттестации по дискретной математике.

Вершина, имеющая степень 0 называется изолированной, имеющая степень 1 - висячей.


  1. Изоморфные графы. Эйлеровы графы

Изоморфизм графов

Говорят, что два графа G1(V1,E1) и G2(V2,E2) изоморфны (обозначается G1~ G2), если существует биекция h: V1Кос для промежуточной аттестации по дискретной математике V2, сохраняющая смежность.

Графы рассматриваются с точностью до изоморфизма.

Пример

Три внешне различные диаграммы, приведенные на рис. 1, являются диаграммами одного и того же графа К3,3.

Кос для промежуточной аттестации по дискретной математике

Рис. 1. Диаграммы изоморфных графов

Числовая характеристика, одинаковая для всех изоморфных графов, называется инвариантом графа. Так, p(G) и q(G) - инварианты графа G.

Не известно никакого набора инвариантов, определяющих граф с точностью до изоморфизма.

Кос для промежуточной аттестации по дискретной математике

Цикл, содержащий каждое ребро ровно один раз, называется эйлеровым. Граф, содержащий эйлеровый цикл, называется эйлеровым графом.


  1. Плоские графы. Деревья и их свойства

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

Кос для промежуточной аттестации по дискретной математике


  1. Проверка графа на плоскость.

Матрицей смежностей А(D) орграфа D называется (р×р)-матрица ||aij||, у которой aij= 1, если ViVj- дуга орграфа D, и aij=0 в противном случае. Матрица смежностей которого имеет вид (рис. 6):

Кос для промежуточной аттестации по дискретной математике

Матрица смежности графа

Легко проверить, что суммы элементов по строкам матрицы A(D) равны полустепеням исхода вершин орграфа D, а суммы элементов по столбцам - полустепеням захода.

Как и в случае графов, степени матрицы смежностей А орграфа дают полную информацию о числе маршрутов, идущих из одной вершины в другую. Теорема. (i, j)-й элемент аijn матрицы А" равен числу маршрутов длины n, идущих из вершины vi в вершину vj.

8. ПРИЛОЖЕНИЕ-ВАРИАНТЫ БИЛЕТОВ

73


© 2010-2022