Set-builder notation (original) (raw)
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.
| Property | Value |
|---|---|
| dbo: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) |
| dbo:wikiPageID | 220089 (xsd:integer) |
| dbo:wikiPageInterLanguageLink | dbpedia-is:Mengjaskilgreiningarritháttur |
| dbo:wikiPageLength | 17036 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1123791010 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Cartesian_product dbr:Programming_languages dbr:Prolog dbr:Python_(programming_language) dbr:Ruby dbr:Scala_(programming_language) dbc:Articles_with_example_Haskell_code dbr:Julia_(programming_language) dbr:Vertical_bar dbr:Intension dbc:Mathematical_notation dbr:Colon_(punctuation) dbr:Mathematics dbr:Russell's_paradox dbr:SQL dbr:Zero_element dbr:Ellipsis dbr:Function_(mathematics) dbr:Glossary_of_set_theory dbr:Monad_(functional_programming) dbr:Logic dbr:Logical_conjunction dbr:Computer_science dbr:Zermelo–Fraenkel_set_theory dbr:Empty_set dbr:Mathematical_notation dbr:C_Sharp_(programming_language) dbc:Set_theory dbr:List_comprehension dbr:Erlang_(programming_language) dbr:Even_number dbr:Predicate_(mathematical_logic) dbr:Haskell_(programming_language) dbc:Articles_with_example_Python_(programming_language)_code dbr:Domain_of_discourse dbr:Positive_number dbr:Filter_(higher-order_function) dbr:Integer dbr:Natural_number dbr:Rational_number dbr:Real_number dbr:Set_(mathematics) dbr:Set_theory dbr:Map_(higher-order_function) dbr:Expression_(mathematics) dbr:Existential_quantification dbr:Subset dbr:Axiom_of_comprehension dbr:Element_(set) dbr:List_(computing) dbr:Set_membership dbr:Generator_(computer_science) dbr:Even_integer |
| dbp:source | The set of all even integers, (en) expressed in set-builder notation. (en) |
| 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 |
| dcterms:subject | dbc:Articles_with_example_Haskell_code dbc:Mathematical_notation dbc:Set_theory dbc:Articles_with_example_Python_(programming_language)_code |
| gold:hypernym | dbr:Notation |
| rdf:type | dbo:Software |
| 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) |
| rdfs:label | Notasi ungkapan himpunan (in) 조건제시법 (ko) Set-builder notation (en) Форма записи множества (ru) Нотація побудови множини (uk) 集合建構式符號 (zh) |
| owl:sameAs | freebase:Set-builder notation wikidata:Set-builder notation http://bn.dbpedia.org/resource/সেট_গঠন_পদ্ধতি dbpedia-id:Set-builder notation dbpedia-ko:Set-builder notation dbpedia-ru:Set-builder notation dbpedia-uk:Set-builder notation dbpedia-zh:Set-builder notation https://global.dbpedia.org/id/35g2s |
| prov:wasDerivedFrom | wikipedia-en:Set-builder_notation?oldid=1123791010&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Set-builder_notation |
| is dbo:wikiPageRedirects of | dbr:Set_notation dbr:Set_comprehension dbr:Set_Notation dbr:Set-builder dbr:Set_abstraction dbr:Set_builder dbr:Set_builder_notation dbr:Such_that |
| is dbo:wikiPageWikiLink of | dbr:Cartesian_product dbr:Set_notation dbr:Riemann_integral dbr:Vertical_bar dbr:Indirection dbr:Intension dbr:List_of_set_theory_topics dbr:Notation dbr:Colon_(punctuation) dbr:Analytical_mechanics dbr:Pyramid_vector_quantization dbr:Equality_(mathematics) dbr:Glossary_of_mathematical_symbols dbr:Glossary_of_set_theory dbr:Naive_set_theory dbr:Converse_relation dbr:Comparison_of_programming_languages_(list_comprehension) dbr:Axiom_schema_of_specification dbr:Center_(group_theory) dbr:Type_theory dbr:Wheel_graph dbr:List_comprehension dbr:Locus_(mathematics) dbr:Diaconescu's_theorem dbr:Formal_grammar dbr:History_of_mathematical_notation dbr:Predicate_(mathematical_logic) dbr:Quantifier_(logic) dbr:Intersection_(set_theory) dbr:Kernel_(linear_algebra) dbr:Axiom_schema_of_replacement dbr:Union_(set_theory) dbr:Symmetric_difference dbr:Extension_(predicate_logic) dbr:Image_(mathematics) dbr:Implementation_of_mathematics_in_set_theory dbr:Subtyping dbr:Symmetric_set dbr:Set_comprehension dbr:Set_Notation dbr:Siteswap dbr:Set-builder dbr:Set_abstraction dbr:Set_builder dbr:Set_builder_notation dbr:Such_that |
| is foaf:primaryTopic of | wikipedia-en:Set-builder_notation |