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

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


 

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

37829. Програмування підпрограм та модулів 41 KB
  Контрольні запитання: Що називають підпрограмою Які види підпрограму мові Pscl Ви знаєте Які види параметрів Ви знаєте Які види змінних Ви знаєте Що називають моделем Яка структура модуля Як організувати модуль у Delphi Теоретичні відомості. Створення модуля: Створюючи модуль варто звернути увагу на те що він не повинний мати своєї форми. Для створення модуля в меню File вибрати File New і потім у репозиторії піктограму. Ім'я модуля можна перемінити на інше що відповідає внутрішньому змістові модуля наприклад Unit...
37832. Решение систем линейных алгебраических уравнений методом Гаусса с выбором главного элемента 207.5 KB
  Метод Гаусса К необходимости решения систем линейных алгебраических уравнений СЛАУ приводят многие прикладные задачи физики радиофизики электроники других областей науки и техники. Из прямых методов популярным у вычислителей является метод Гаусса исключения переменных с выбором главного максимального по модулю элемента в столбце.1 Процесс ее решения методом Гаусса делится на два этапа называемых соответственно прямым и обратным ходом.
37836. РЕШЕНИЕ СИСТЕМ НЕЛИНЕЙНЫХ АЛГЕБРАИЧЕСКИХ УРАВНЕНИЙ МЕТОДОМ НЬЮТОНА 247 KB
  Метод Ньютона Многие прикладные задачи радиофизики и электроники требуют решения систем нелинейных алгебраических уравнений СНАУ или в векторной форме 2. Для численного решения таких систем используются итерационные методы. Построение k1го приближения в этой схеме осуществляется посредством решения линейной системы 2.3 при этом вектор поправки находится путем решения системы линейных алгебраических уравнений 2.
37837. Педагогические способности учителя 132 KB
  Способности - индивидуально-психологические особенности человека, проявляющиеся в деятельности и являющиеся условием успешности ее выполнения. От способностей зависит скорость, глубина, легкость и прочность процесса овладения знаниями, умениями и навыками, но сами они к ним не сводятся.