Министерство науки и высшего образования Российской Федерации

ФГБОУ ВО «Псковский государственный университет»

Колледж Псков ГУ

Методические указания по выполнению контрольной работы по учебной дисциплине ЕН.02 «Элементы математической логики» для обучающихся очной и заочной формы обучения специальности 09.02.03.Программирование в компьютерных системах


Составил: Т.А.Андриенко,

преподаватель Колледжа ПсковГУ
Псков 2020

Методические указания рассмотрены и рекомендованы к применению на заседании цикловой комиссии гуманитарных и естественнонаучных дисциплин

протокол №________от __________20 г.

Председатель

цикловой комиссии_______________________________ (Л.А.Карасёва)

(подпись)


«________»_____________20 г.

СОДЕРЖАНИЕ

I. Пояснительная записка 4

II. Лекционный материал:

Элементы теории множеств

1. Основные понятия теории множеств 6

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

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

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

2. Законы логики высказываний. Построение таблиц истинности для формул логики высказываний 13

3. Равносильные преобразования формул логики высказываний 16

4. Дизъюнктивные и конъюнктивные нормальные формы 16

5. Совершенная дизъюнктивная нормальная форма и совершенная конъюнктивная нормальная форма 18

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

1. Понятие булевой функции 21

2. Свойства булевых функций 26

Алгебра предикатов

1. Основные понятия 29

2. Операции над предикатами 31

3. Формулы логики предикатов 32

4. Равносильные формулы логики предикатов 33

III. Методические рекомендации по выполнению контрольной работы

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

2. Методические указания по оформлению контрольной работы 35

3. Варианты контрольной работы (1-30) 36

IV. Список литературы. 67

V. Приложение (образец титульного листа) 68

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

---

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

Содержание методической разработки соответствует Государственному образовательному стандарту среднего профессионального образования по курсу «Элементы математической логики».


Введение

Логика образует такой пласт общечеловеческой культуры, без освоения которого в настоящее время не может состояться ни одна мыслящая личность. Математическая логика — вершина развития логики, достигнутая ею в XX в. Органично соединив в себе традиционную логику и методы современной математики, она получила столь глубокие и поразительные результаты, не принимать в расчет которые стало просто невозможно не только тем, кто изучает, преподает и творит математику, но и всем тем, для кого методы рассуждений, обоснований и доказательств являются главными методами деятельности. Результаты, полученные с помощью математической логики, легли в основу проектирования и создания электронно-вычислительных машин (компьютеров) и программного обеспечения к ним, нашли широчайшее применение в областях информатики и систем искусственного интеллекта.

Термин «логика» — наука о способах доказательств и опро-вержений — происходит от греческого слова - λογοζ (логос), что означает «слово», «понятие», «смысл». Математическая логика, называемая также символической или теоретической логикой, выросла из логики традиционной, но составила значительное её расширение. С одной стороны, эта наука применила математические методы для изучения общих структур (форм) правильного мышления и тем самым оформилась как раздел математики, с другой — математическая логика сделала предметом своего изучения процесс доказательства математических теорем и сами математические теории. Известный российский логик П. С. Порецкий точно подметил, что математическая логика по предмету своему есть логика, а по методу — математика.

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

---

Дисциплина «Элементы математической логики» базируется на общеобразовательной дисциплине «Математика». Материал дисциплины используется при изучении ряда дисциплин общего естественнонаучного цикла и профессионального цикла - «Теории алгоритмов», «Теории вероятности и математической статистики», «Основы программирования», «Математических

методов» и др.

ЭЛЕМЕНТЫ ТЕОРИИ МНОЖЕТВ

1. Основные понятия теории множеств
В фундаменте современных математических теорий лежат понятия множество, элементы множества, отношения принадлежности элемента множеству.

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

Для обозначения того, что объект a является элементом множества А, пишут (а принадлежит А),или запись (а не принадлежит А).

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

1. перечисление элементов(используется в основном для множеств, состоящих из конечного числа элементов).

Примеры:

1. А = {1, 2, –5, 3} – множество А состоит из элементов 1, 2, –5, 3.

2. А = {1, {1}, a }множество А состоит из числа 1, одноэлементного множества {1}(содержащего единственный элемент – число 1) и буквы а.

2. выделение множества в другом множестве с помощью характеристическогосвойства его элементов: если В – множество и P(x) – некоторое свойство (высказывание о произвольном элементе ), то можно определить новое множество А всех элементов x множества В, удовлетворяющих свойству P

Примеры:

1. {

---

|x˃0 } - множество всех положительных действительных чисел.

2. А = { –1, 1} = {r R | r = 1} = { n Z | |n| = 1} - одно и то же множество можно задать различными способами.

Поэтому важно ввести понятие равенства двух множеств.

Два множества А и В называются равными(символически А = В), если они состоят из одних и тех же элементов.

Это значит, что для любого элемента а А выполнено а В, и для любого элемента b B выполняется b A. В противном случае множества А и В называются неравными: А В.

Множество А называют подмножеством множества В (говорят также, что А содержится в В или В содержит А) и записывают А В, если любой элемент множества А принадлежит множеству В.

Для удобства вводят в рассмотрение пустое множество, не имеющее ни одного элемента.

Примеры:

1. {1, 2, 3} = {3, 1, 2}. Хотя порядки перечисления элементов этих множеств и различны, но каждый элемент одного множества является элементом другого множества, что и обеспечивает их равенство.

2. {1, 2, 3} = {1, 1, 2, 3, 2, 1, 3}. Второе множество, хотя и выглядит «толще» первого, но на самом деле состоит их тех же элементов.

3.{1, 2, 3}{3, {1}, 2}. Элемент 1 первого множества не является элементом второго множества. Точно так же Элемент {1}второго множества не является элементом первого множества.( Кстати, почему 1 {1}?)

4. А= {1, 2}{1, 2, –1} = В, т.к. –1 В, но –1 А, но {1, 2} 

{1, 2, –1

---

}, т.к. 1 Ви 2 В.

5. N = {1, 2, 3, …} Z = {… , –2, –1, 0, 1, 2, …} Q = { R |

m Z,n N} R .

2. Операции над множествами
I. Если А, В – множества, то существует множество А В – объединение множеств А и В, которое состоит из всех элементов, являющихся элементами либо множества А, либо множества В: т.е.

x A B x A илиx B.

Примеры:

1. Если A = {1, 2, 5, }, B = {{1}, 2, 5, }, то

АВ= {1, 2, 5, ,{1}}.

2. Если A = {xR| 1 < x5}, B = {xR| –1 x < 2},

то AB = [–1; 5], где [–1; 5] = {xR| –1 x5}.

II. Если А, В – множества, то существует множество А В – пересечение множеств А и В, которое состоит из всех элементов, являющихся одновременно элементами и множества А, и множества В: т.е. x A B x A иx B.

Примеры:

1. Если A = {1, 2, 5, }, B = {{1}, 2, 5, }, то АВ = {2, 5, }.

2. Если A = {x R | 1 < x 5}, B = {x R | –1 x < 2},

то A B ={ (1; 2)}, где {(1; 2)} = {x R | 1 < x < 2

---

Смотрите также файлы

• Бизнесплан предпринимательского проекта открытие магазина косметических средств.docx

• В человеке рядом с философией присутствуют и другие деятельности.docx

• Практических заданий по дисциплине психокоррекция.docx

• Правила посадки в автобус.docx

• Занятие (2 часа).docx