Файл: Методические указания по выполнению контрольной работы по учебной дисциплине ен. 02 Элементы математической логики.doc
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 26.10.2023
Просмотров: 677
Скачиваний: 3
-
Понятие высказывания. Операции над высказываниями
Методические указания содержат лекционные материалы необходимые для изучения основных тем предмета, рекомендации по оформлению и выполнению домашней контрольной работы для заочного обучения, тексты контрольных работ. Содержание методической разработки соответствует Государственному образовательному стандарту среднего профессионального образования по курсу «Элементы математической логики».ВведениеЛогика образует такой пласт общечеловеческой культуры, без освоения которого в настоящее время не может состояться ни одна мыслящая личность. Математическая логика — вершина развития логики, достигнутая ею в 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 = {xR| 1 < x5}, B = {xR| –1 x < 2},
то AB = [–1; 5], где [–1; 5] = {xR| –1 x5}.
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