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.  , тогда и только тогда, когда для всех подстановок , которые отличается от только на переменной .

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


 

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

28758. КУЛЬТУРА В ПОСЛЕВОЕННЫЕ ГОДЫ 24.87 KB
  Во время одной из встреч с деятелями литературы и искусства Н. Но тема репрессий сталинских лагерей не ушла из литературы. В начале 60х годов усилилось разоблачение €œидейных шатаний€ деятелей литературы и искусства. Общественный подъем этого времени содействовал становлению творчества деятелей литературы и искусства нового поколения.
28761. Атмосфера Серебряного века 14.98 KB
  Понятие это не столько научное сколько эмоциональное вызывающее тут же ассоциации с другим коротким периодом истории русской культуры с золотым веком пушкинской эпохой русской поэзии первая треть XIX века. Серебряный век как период и образ мышления Искусство и философия Серебряного века отличались элитарностью интеллектуализмом. Поэтому нельзя отождествлять всю поэзию конца XIX начала XX века с Серебряным веком.