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

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


 

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

52434. Четырёхугольник и его элементы. Параллелограмм и его свойства 270.5 KB
  Найти градусную меру неизвестного угла. Найти градусную меру неизвестного угла. Найти неизвестный угол четырёхугольника если три его угла равны 60 100 50. Найти: АД и СД.
52436. We wish you a Merry Christmas and a Happy New Year! 374 KB
  Wht pretty little mitten Does nybody live here Ніхто не відповідає. Wht pretty little mitten Does nybody live here Mouse. Come nd live here with me. Wht pretty little mitten Does nybody live here Mouse.
52437. Marry Christmas 61.5 KB
  МАКІЇВКА 2011 Mrry Christms The wrmest Christms greetings Especilly for you To hope you hve hppy time Tht lsts ll New Yer through Christms is on the 25 th of December. Trditionlly Christms festivities lsted 12 dys. Ply snowblls nd dnce He hs crrot for his nose Round the Christms tree He hs funny ht.
52438. CHRISTMAS COMES BUT ONCE A YEAR 44 KB
  Celebrte holidys hve prties enjoy fun on the snow Decorte fire tree get presents Mke fireworks visit reltives go to church So tody our lesson will be dedicted to the coming holidy Christms. Id like to introduce the epigrph of the lesson: Its Christms time Songs tht rhyme...
52439. Christmas In English-Speaking Countries 57 KB
  Equipment: tperecorder music of the songs posters Christms decortions sheets of pper crds with the poem Techer: Good morning. Tody well spek bout Christms in Englishspeking countries. First prt is the presenttion of Christms youve prepred.
52440. Сім чудес України 682.5 KB
  2010 рік Мета: розширити знання учнів про Україну як державу в якій ми живемо; ознайомити дітей з історично відомими місцями України; формувати і розвивати патріотичні почуття учнів любов та повагу до рідної землі; виховувати почуття громадянськості й гордості за свою Батьківщину за історичне минуле українського народу; розвивати пізнавальний інтерес до минулого і сьогодення.Симоненко ; на мультимедійному екрані фотозображення семи чудес України і напис Сім чудес України . Раді вітати вас на виховному заході Сім чудес України .Усок виконує...
52441. Мій Чугуїв – мій рідний край. Віртуальна подорож 62 KB
  Ми вирушаємо Звучить мелодія пісні На нашій Україні Учень: На Слобожанском вольном крае Где встарь шумели ковыли Тяжёлый колос наливая Пшеница гнётся до земли. Ось що розповідають про ті часи 1 й учень...
52442. Cities. Towns. Villages. Sightseeings 32 KB
  Завдання: 1 контроль навичок аудіювання читання письма та усного мовлення; 2 навчити учнів використовувати набуті знання вміння та навички в писемній та усній мові; 3 виховувати в учнів інтерес до цікавих визначних місць світу. Основна частина уроку: Контроль навичок письма і засвоєння тематичної лексики: Now children well check up your knowledge of themticl vocbulry. Dicttion trnsltion: напрямок територія мальовничий архітектура визначний краєвид маршрут навколишній довідкове бюро річкова гавань nd now 2 numbers turn...