About: Set-builder notation

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Set-builder notation Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Software, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/c/6gycLFwxKd

In set theory and its applications to logic, mathematics, and computer science, set-builder notation is a mathematical notation for describing a set by enumerating its elements, or stating the properties that its members must satisfy. Defining sets by properties is also known as set comprehension, set abstraction or as defining a set's intension.

Attributes	Values
rdf:type	software
rdfs:label	Notasi ungkapan himpunan (in) 조건제시법 (ko) Set-builder notation (en) Форма записи множества (ru) Нотація побудови множини (uk) 集合建構式符號 (zh)
rdfs:comment	Dalam teori himpunan, dan penerapannya dalam logika, matematika, dan ilmu komputer, notasi pembentuk himpunan (juga disebut notasi ungkapan himpunan) merupakan sebuah notasi matematis untuk menjelaskan suatu himpunan dengan menyatakan sifat-sifat yang harus dipenuhi anggota himpunan tersebut. Mendefinisikan himpunan-himpunan oleh sifat-sifat juga dikenal sebagai pemahaman himpunan, keniskalaan himpunan atau sebagai mendefinisikan "intensi" (bahasa Inggris: intension) suatu himpunan. (in) In set theory and its applications to logic, mathematics, and computer science, set-builder notation is a mathematical notation for describing a set by enumerating its elements, or stating the properties that its members must satisfy. Defining sets by properties is also known as set comprehension, set abstraction or as defining a set's intension. (en) 조건제시법으로 나타낸 짝수 정수의 집합. 조건제시법(條件提示法, set-builder notation)은 집합론과 그것을 적용시킨 수학, 논리학, 전산학에서 어떤 집합을 그 집합의 원소들이 만족하는 성질(조건)을 서술(제시)함으로써 나타내는 표기법이다. (ko) В теории множеств и его приложениях к логике, математике и информатике форма записи множества — это математические обозначения для описания множества путём перечисления его или указания свойств, которым элементы множества должны удовлетворять. (ru) 在數學裡，集合建構式符號（set-builder notation）是常用于描述集合的一種記號，這種描述集合的方式一般也稱為集合抽象化（set abstraction）或set comprehension。一般寫為或，分別只在於論域的不同，前者的元素恰好是那些符合謂詞P的集合，而後者的元素除了符合謂詞P，還得是S的元素。 (zh) Нотація побудови множини — математична нотація в теорії множин та її застосуваннях, зокрема в математиці, логіці та інформатиці, що описує множину заданням умови, яка повинна виконуватись для всіх її елементів. (uk)
dct:subject	Articles with example Haskell code Mathematical notation Set theory Articles with example Python (programming language) code
Wikipage page ID	220089 (xsd:integer)
Wikipage revision ID	1123791010 (xsd:integer)
Link from a Wikipage to another Wikipage	Cartesian product Programming languages Prolog Python (programming language) Ruby Scala (programming language) Articles with example Haskell code Julia (programming language) Vertical bar Intension Mathematical notation Colon (punctuation) Mathematics Russell's paradox SQL Null vector Ellipsis Function (mathematics) Glossary of set theory Monad (functional programming) Logic Logical conjunction Computer science Zermelo–Fraenkel set theory Empty set Mathematical notation C Sharp (programming language) Set theory List comprehension Erlang (programming language) Even number Predicate (mathematical logic) Haskell Articles with example Python (programming language) code Domain of discourse Positive number Filter (higher-order function) Integer Natural number Rational number Real number Set (mathematics) Set theory Map (higher-order function) Expression (mathematics) Existential quantification Subset Axiom of comprehension Element (set) List (computing) Set membership Generator (computer science) Even integer
sameAs	Set-builder notation Set-builder notation Set-builder notation Set-builder notation Set-builder notation Set-builder notation Set-builder notation Set-builder notation Set-builder notation
dbp:wikiPageUsesTemplate	dbt:Set_theory dbt:Main dbt:Main_article dbt:Math dbt:Mvar dbt:Quote_box dbt:Reflist dbt:Short_description dbt:Use_dmy_dates dbt:Bots
Link from a Wikipa... related subject.	dbpedia-is:Mengjaskilgreiningarritháttur
source	The set of all even integers, (en) expressed in set-builder notation. (en)
has abstract	Dalam teori himpunan, dan penerapannya dalam logika, matematika, dan ilmu komputer, notasi pembentuk himpunan (juga disebut notasi ungkapan himpunan) merupakan sebuah notasi matematis untuk menjelaskan suatu himpunan dengan menyatakan sifat-sifat yang harus dipenuhi anggota himpunan tersebut. Mendefinisikan himpunan-himpunan oleh sifat-sifat juga dikenal sebagai pemahaman himpunan, keniskalaan himpunan atau sebagai mendefinisikan "intensi" (bahasa Inggris: intension) suatu himpunan. (in) In set theory and its applications to logic, mathematics, and computer science, set-builder notation is a mathematical notation for describing a set by enumerating its elements, or stating the properties that its members must satisfy. Defining sets by properties is also known as set comprehension, set abstraction or as defining a set's intension. (en) 조건제시법으로 나타낸 짝수 정수의 집합. 조건제시법(條件提示法, set-builder notation)은 집합론과 그것을 적용시킨 수학, 논리학, 전산학에서 어떤 집합을 그 집합의 원소들이 만족하는 성질(조건)을 서술(제시)함으로써 나타내는 표기법이다. (ko) В теории множеств и его приложениях к логике, математике и информатике форма записи множества — это математические обозначения для описания множества путём перечисления его или указания свойств, которым элементы множества должны удовлетворять. (ru) 在數學裡，集合建構式符號（set-builder notation）是常用于描述集合的一種記號，這種描述集合的方式一般也稱為集合抽象化（set abstraction）或set comprehension。一般寫為或，分別只在於論域的不同，前者的元素恰好是那些符合謂詞P的集合，而後者的元素除了符合謂詞P，還得是S的元素。 (zh) Нотація побудови множини — математична нотація в теорії множин та її застосуваннях, зокрема в математиці, логіці та інформатиці, що описує множину заданням умови, яка повинна виконуватись для всіх її елементів. (uk)

Faceted Search & Find service v1.17_git147 as of Sep 06 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3332 as of Dec 5 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 72 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software