20457

Множина́

Доклад

Информатика, кибернетика и программирование

Основні поняття: Множина вважається означеною якщо про кожен об'єкт що розглядається можна казати що він або належить або не належить множині. Наприклад: ℕ множина натуральних чисел ℤ множина цілих чисел ℚ множина раціональних чисел ℝ множина дійсних чисел ℂ множина комплексних чисел. Нехай А множина. Множина B всі елементи якої належать множині А називають підмножиною множини A або частиною множини А і позначають цей факт символами B ⊆ A A ⊇ B.

Украинкский

2013-07-25

41.69 KB

0 чел.

Множина́ — це сукупності певних і різних об'єктів довільної природи, яка розглядається як одне ціле. Об'єкти, які складають множину, називаються її елементами.

Основні поняття:    Множина вважається означеною, якщо про кожен об'єкт, що розглядається, можна казати, що він або належить, або не належить множині. Ідентичні (тобто однакові) об'єкти в множині не допускаються.

На письмі множини позначаються, як правило, великими літерами. Для деяких множин у математиці вживаються сталі позначення. Наприклад:

  1.   - множина натуральних чисел,
  2.   - множина цілих чисел,
  3.   - множина раціональних чисел,
  4.   - множина дійсних чисел,
  5.   - множина комплексних чисел.
  6.  Нехай А - множина. Той факт, що елемент x входить в множину А, або належить множині А, позначається як x  A. Той факт, що елемент x не входить в множину А, позначається x A. Знак  називається знаком належності. Він є стилізацією першої літери грецького слова εστι (бути).
  7.  Множина B, всі елементи якої належать множині А, називають підмножиною множини A, або частиною множини А і позначають цей факт символами B A, A B.

Непуста підмножина B даної множини А, відмінна від множини А, має назву правильної частини (або власної підмножини чи точної підмножини) множини А. Для позначення того факту, що B є підмножиною А, яка не збігається з А, використовують позначки B  A, A  B. Знаки , , , називаються знаками включення.

Докладніше дивись Підмножина.

  1.  Дві множини А та B є рівними (позначається A = B), коли вони мають однакові елементи.
  2.  В теорії множин виділяють також порожню множину, тобто множину, в яку не входить жоден елемент. Така множина позначається як . Порожня множина є підмножиною будь-якої множини. Також завжди A  A, що природно, адже кожний елемент множини А належить цій множині.

Интерпретация

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

  1.  Несущее множество ,
  2.  Семантическая функция , отображающая
  3.  каждый -арный функциональный символ из в -арную функцию ,
  4.  каждый -арный предикатный символ из в -арное отношение .

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

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

  1.  , если  — переменная,
  2.  

В таком же духе определяется отношение истинности формул на относительно

  1.  , тогда и только тогда, когда ,
  2.  , тогда и только тогда, когда  — ложно,
  3.  , тогда и только тогда, когда и истинны,'
  4.  , тогда и только тогда, когда или истинно,
  5.  , тогда и только тогда, когда влечет ,
  6.  , тогда и только тогда, когда для некоторой подстановки , которая отличается от только на переменной ,
  7.  , тогда и только тогда, когда для всех подстановок , которые отличается от только на переменной .

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


 

А также другие работы, которые могут Вас заинтересовать

66750. МЕНТАЛИТЕТ НАСЕЛЕНИЯ ПРЕДИНДУСТРИАЛЬНОГО ГОРОДА 60 – 70х гг. XIX в. (ПО МАТЕРИАЛАМ ТАМБОВА) 857 KB
  Актуальность темы исследования связана прежде всего с потребностью осмысления проблем развития гражданского общества в современной России. В периоды коренных преобразований как сегодня так и в пореформенной России социум оказывается перед необходимостью разработать новый комплекс...
66752. Бухгалтерский учет имущественных обязательств в системе гражданско-правовых отношений предприятий: теория, методология, методики 936.5 KB
  Место роль и значение теории бухгалтерского учета имущественных обязательств сделок в науке о бухгалтерском учете в современных условиях. Хозяйственные операции и имущественные обязательства как объекты бухгалтерского учета.
66753. ФОРМИРОВАНИЕ АДАПТИВНЫХ КАЧЕСТВ ВЫПУСКНИКОВ В СИСТЕМЕ ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ 1.71 MB
  Теоретико-методологические основания исследования социальной адаптации. Становление и развитие теории социальной адаптации. Внешние и внутренние факторы перспективной адаптации выпускников средней профессиональной школы.
66754. ВОЗМЕЩЕНИЕ УБЫТКОВ ПО ГРАЖДАНСКОМУ ПРАВУ РОССИИ 686 KB
  Объектом исследования являются правовые нормы о возмещении убытков как способа защиты имущественных прав кредитора и мере гражданско-правовой ответственности применяемой к должнику. Цель работы разработка теоретических проблем возмещения убытков как меры гражданской ответственности.
66756. ПЕДАГОГИЧЕСКИЕ УСЛОВИЯ РАСШИРЕНИЯ ПОЛЯ ЧИТАТЕЛЬСКИХ ОРИЕНТАЦИЙ ПОДРОСТКОВ 912 KB
  Психолого-педагогические основы расширения поля читательских ориентаций подростков в образовательном процессе. Поле читательских ориентаций как фактор духовного становления личности подростка. Организация аналитического чтения в образовательном процессе в целях расширения поля...
66757. Церебральная оксиметрия и нейромониторинг в диагностике вторичных повреждений головного мозга после внутричерепных кровоизлияний 3.71 MB
  Целью работы являлась оценка роли церебральной оксиметрии в диагностике вторичных повреждений головного мозга для разработки рациональных подходов к лечению больных с внутричерепными кровоизлияниями. Задачи исследования: Определение значения церебральной оксиметрии в системе нейромониторинга в качестве средства диагностики...
66758. Многоуровневая оценка целевых программ как метод управления расходами региональных и муниципальных бюджетов 1.42 MB
  Целью настоящего диссертационного исследования является теоретическое обоснование и разработка методики оценки эффективности финансирования расходных обязательств региональных и муниципальных бюджетов посредством программно-целевых методов...