@prefix rdf: . @prefix dbr: . @prefix dbo: . dbr:Set-builder_notation rdf:type dbo:Software . @prefix rdfs: . dbr:Set-builder_notation rdfs:label "\u041D\u043E\u0442\u0430\u0446\u0456\u044F \u043F\u043E\u0431\u0443\u0434\u043E\u0432\u0438 \u043C\u043D\u043E\u0436\u0438\u043D\u0438"@uk , "\u96C6\u5408\u5EFA\u69CB\u5F0F\u7B26\u865F"@zh , "\u0424\u043E\u0440\u043C\u0430 \u0437\u0430\u043F\u0438\u0441\u0438 \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u0430"@ru , "Set-builder notation"@en , "Notasi ungkapan himpunan"@in , "\uC870\uAC74\uC81C\uC2DC\uBC95"@ko ; rdfs:comment "\u5728\u6578\u5B78\u88E1\uFF0C\u96C6\u5408\u5EFA\u69CB\u5F0F\u7B26\u865F\uFF08set-builder notation\uFF09\u662F\u5E38\u7528\u4E8E\u63CF\u8FF0\u96C6\u5408\u7684\u4E00\u7A2E\u8A18\u865F\uFF0C\u9019\u7A2E\u63CF\u8FF0\u96C6\u5408\u7684\u65B9\u5F0F\u4E00\u822C\u4E5F\u7A31\u70BA\u96C6\u5408\u62BD\u8C61\u5316\uFF08set abstraction\uFF09\u6216set comprehension\u3002\u4E00\u822C\u5BEB\u70BA\u6216\uFF0C\u5206\u5225\u53EA\u5728\u65BC\u8AD6\u57DF\u7684\u4E0D\u540C\uFF0C\u524D\u8005\u7684\u5143\u7D20\u6070\u597D\u662F\u90A3\u4E9B\u7B26\u5408\u8B02\u8A5EP\u7684\u96C6\u5408\uFF0C\u800C\u5F8C\u8005\u7684\u5143\u7D20\u9664\u4E86\u7B26\u5408\u8B02\u8A5EP\uFF0C\u9084\u5F97\u662FS\u7684\u5143\u7D20\u3002"@zh , "\u0412 \u0442\u0435\u043E\u0440\u0438\u0438 \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432 \u0438 \u0435\u0433\u043E \u043F\u0440\u0438\u043B\u043E\u0436\u0435\u043D\u0438\u044F\u0445 \u043A \u043B\u043E\u0433\u0438\u043A\u0435, \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0435 \u0438 \u0438\u043D\u0444\u043E\u0440\u043C\u0430\u0442\u0438\u043A\u0435 \u0444\u043E\u0440\u043C\u0430 \u0437\u0430\u043F\u0438\u0441\u0438 \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u0430 \u2014 \u044D\u0442\u043E \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0438\u0435 \u043E\u0431\u043E\u0437\u043D\u0430\u0447\u0435\u043D\u0438\u044F \u0434\u043B\u044F \u043E\u043F\u0438\u0441\u0430\u043D\u0438\u044F \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u0430 \u043F\u0443\u0442\u0451\u043C \u043F\u0435\u0440\u0435\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u044F \u0435\u0433\u043E \u0438\u043B\u0438 \u0443\u043A\u0430\u0437\u0430\u043D\u0438\u044F \u0441\u0432\u043E\u0439\u0441\u0442\u0432, \u043A\u043E\u0442\u043E\u0440\u044B\u043C \u044D\u043B\u0435\u043C\u0435\u043D\u0442\u044B \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u0430 \u0434\u043E\u043B\u0436\u043D\u044B \u0443\u0434\u043E\u0432\u043B\u0435\u0442\u0432\u043E\u0440\u044F\u0442\u044C."@ru , "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 , "\u041D\u043E\u0442\u0430\u0446\u0456\u044F \u043F\u043E\u0431\u0443\u0434\u043E\u0432\u0438 \u043C\u043D\u043E\u0436\u0438\u043D\u0438 \u2014 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u0430 \u043D\u043E\u0442\u0430\u0446\u0456\u044F \u0432 \u0442\u0435\u043E\u0440\u0456\u0457 \u043C\u043D\u043E\u0436\u0438\u043D \u0442\u0430 \u0457\u0457 \u0437\u0430\u0441\u0442\u043E\u0441\u0443\u0432\u0430\u043D\u043D\u044F\u0445, \u0437\u043E\u043A\u0440\u0435\u043C\u0430 \u0432 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0446\u0456, \u043B\u043E\u0433\u0456\u0446\u0456 \u0442\u0430 \u0456\u043D\u0444\u043E\u0440\u043C\u0430\u0442\u0438\u0446\u0456, \u0449\u043E \u043E\u043F\u0438\u0441\u0443\u0454 \u043C\u043D\u043E\u0436\u0438\u043D\u0443 \u0437\u0430\u0434\u0430\u043D\u043D\u044F\u043C \u0443\u043C\u043E\u0432\u0438, \u044F\u043A\u0430 \u043F\u043E\u0432\u0438\u043D\u043D\u0430 \u0432\u0438\u043A\u043E\u043D\u0443\u0432\u0430\u0442\u0438\u0441\u044C \u0434\u043B\u044F \u0432\u0441\u0456\u0445 \u0457\u0457 \u0435\u043B\u0435\u043C\u0435\u043D\u0442\u0456\u0432."@uk , "\uC870\uAC74\uC81C\uC2DC\uBC95\uC73C\uB85C \uB098\uD0C0\uB0B8 \uC9DD\uC218 \uC815\uC218\uC758 \uC9D1\uD569. \uC870\uAC74\uC81C\uC2DC\uBC95(\u689D\u4EF6\u63D0\u793A\u6CD5, set-builder notation)\uC740 \uC9D1\uD569\uB860\uACFC \uADF8\uAC83\uC744 \uC801\uC6A9\uC2DC\uD0A8 \uC218\uD559, \uB17C\uB9AC\uD559, \uC804\uC0B0\uD559\uC5D0\uC11C \uC5B4\uB5A4 \uC9D1\uD569\uC744 \uADF8 \uC9D1\uD569\uC758 \uC6D0\uC18C\uB4E4\uC774 \uB9CC\uC871\uD558\uB294 \uC131\uC9C8(\uC870\uAC74)\uC744 \uC11C\uC220(\uC81C\uC2DC)\uD568\uC73C\uB85C\uC368 \uB098\uD0C0\uB0B4\uB294 \uD45C\uAE30\uBC95\uC774\uB2E4."@ko , "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 . @prefix dcterms: . @prefix dbc: . dbr:Set-builder_notation dcterms:subject dbc:Set_theory , dbc:Mathematical_notation , dbc:Articles_with_example_Haskell_code , ; dbo:wikiPageID 220089 ; dbo:wikiPageRevisionID 1123791010 ; dbo:wikiPageWikiLink , dbr:Domain_of_discourse , dbr:Empty_set , , , , dbr:Natural_number , dbr:Set_membership , dbr:Even_integer , dbr:Real_number , dbr:Set_theory , , , dbr:Mathematical_notation , , , dbr:Programming_languages , dbr:Zero_element , , dbr:Existential_quantification , dbr:Even_number , dbr:Subset , , , dbr:Intension , dbr:Ruby , dbr:Mathematics , dbc:Set_theory , , dbc:Mathematical_notation , dbr:Positive_number , , dbr:Glossary_of_set_theory , , dbr:Ellipsis , dbr:SQL , , dbc:Articles_with_example_Haskell_code , dbr:Prolog , dbr:Cartesian_product , dbr:List_comprehension , dbr:Computer_science , dbr:Logic , , dbr:Axiom_of_comprehension , dbr:Logical_conjunction , , , dbr:Integer , , dbr:Vertical_bar , , dbr:Rational_number . @prefix owl: . dbr:Set-builder_notation owl:sameAs , , , , . @prefix dbpedia-id: . dbr:Set-builder_notation owl:sameAs dbpedia-id:Notasi_ungkapan_himpunan , . @prefix wikidata: . dbr:Set-builder_notation owl:sameAs wikidata:Q3352804 , . @prefix dbp: . @prefix dbt: . dbr:Set-builder_notation dbp:wikiPageUsesTemplate dbt:Main_article , dbt:Main , dbt:Quote_box , dbt:Math , dbt:Use_dmy_dates , dbt:Bots , dbt:Mvar , dbt:Reflist , dbt:Short_description , dbt:Set_theory ; dbo:wikiPageInterLanguageLink ; dbp:source "expressed in set-builder notation."@en , "The set of all even integers,"@en ; dbo:abstract "\u5728\u6578\u5B78\u88E1\uFF0C\u96C6\u5408\u5EFA\u69CB\u5F0F\u7B26\u865F\uFF08set-builder notation\uFF09\u662F\u5E38\u7528\u4E8E\u63CF\u8FF0\u96C6\u5408\u7684\u4E00\u7A2E\u8A18\u865F\uFF0C\u9019\u7A2E\u63CF\u8FF0\u96C6\u5408\u7684\u65B9\u5F0F\u4E00\u822C\u4E5F\u7A31\u70BA\u96C6\u5408\u62BD\u8C61\u5316\uFF08set abstraction\uFF09\u6216set comprehension\u3002\u4E00\u822C\u5BEB\u70BA\u6216\uFF0C\u5206\u5225\u53EA\u5728\u65BC\u8AD6\u57DF\u7684\u4E0D\u540C\uFF0C\u524D\u8005\u7684\u5143\u7D20\u6070\u597D\u662F\u90A3\u4E9B\u7B26\u5408\u8B02\u8A5EP\u7684\u96C6\u5408\uFF0C\u800C\u5F8C\u8005\u7684\u5143\u7D20\u9664\u4E86\u7B26\u5408\u8B02\u8A5EP\uFF0C\u9084\u5F97\u662FS\u7684\u5143\u7D20\u3002"@zh , "\u0412 \u0442\u0435\u043E\u0440\u0438\u0438 \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432 \u0438 \u0435\u0433\u043E \u043F\u0440\u0438\u043B\u043E\u0436\u0435\u043D\u0438\u044F\u0445 \u043A \u043B\u043E\u0433\u0438\u043A\u0435, \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0435 \u0438 \u0438\u043D\u0444\u043E\u0440\u043C\u0430\u0442\u0438\u043A\u0435 \u0444\u043E\u0440\u043C\u0430 \u0437\u0430\u043F\u0438\u0441\u0438 \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u0430 \u2014 \u044D\u0442\u043E \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0438\u0435 \u043E\u0431\u043E\u0437\u043D\u0430\u0447\u0435\u043D\u0438\u044F \u0434\u043B\u044F \u043E\u043F\u0438\u0441\u0430\u043D\u0438\u044F \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u0430 \u043F\u0443\u0442\u0451\u043C \u043F\u0435\u0440\u0435\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u044F \u0435\u0433\u043E \u0438\u043B\u0438 \u0443\u043A\u0430\u0437\u0430\u043D\u0438\u044F \u0441\u0432\u043E\u0439\u0441\u0442\u0432, \u043A\u043E\u0442\u043E\u0440\u044B\u043C \u044D\u043B\u0435\u043C\u0435\u043D\u0442\u044B \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u0430 \u0434\u043E\u043B\u0436\u043D\u044B \u0443\u0434\u043E\u0432\u043B\u0435\u0442\u0432\u043E\u0440\u044F\u0442\u044C."@ru , "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 , "\u041D\u043E\u0442\u0430\u0446\u0456\u044F \u043F\u043E\u0431\u0443\u0434\u043E\u0432\u0438 \u043C\u043D\u043E\u0436\u0438\u043D\u0438 \u2014 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u0430 \u043D\u043E\u0442\u0430\u0446\u0456\u044F \u0432 \u0442\u0435\u043E\u0440\u0456\u0457 \u043C\u043D\u043E\u0436\u0438\u043D \u0442\u0430 \u0457\u0457 \u0437\u0430\u0441\u0442\u043E\u0441\u0443\u0432\u0430\u043D\u043D\u044F\u0445, \u0437\u043E\u043A\u0440\u0435\u043C\u0430 \u0432 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0446\u0456, \u043B\u043E\u0433\u0456\u0446\u0456 \u0442\u0430 \u0456\u043D\u0444\u043E\u0440\u043C\u0430\u0442\u0438\u0446\u0456, \u0449\u043E \u043E\u043F\u0438\u0441\u0443\u0454 \u043C\u043D\u043E\u0436\u0438\u043D\u0443 \u0437\u0430\u0434\u0430\u043D\u043D\u044F\u043C \u0443\u043C\u043E\u0432\u0438, \u044F\u043A\u0430 \u043F\u043E\u0432\u0438\u043D\u043D\u0430 \u0432\u0438\u043A\u043E\u043D\u0443\u0432\u0430\u0442\u0438\u0441\u044C \u0434\u043B\u044F \u0432\u0441\u0456\u0445 \u0457\u0457 \u0435\u043B\u0435\u043C\u0435\u043D\u0442\u0456\u0432."@uk , "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 , "\uC870\uAC74\uC81C\uC2DC\uBC95\uC73C\uB85C \uB098\uD0C0\uB0B8 \uC9DD\uC218 \uC815\uC218\uC758 \uC9D1\uD569. \uC870\uAC74\uC81C\uC2DC\uBC95(\u689D\u4EF6\u63D0\u793A\u6CD5, set-builder notation)\uC740 \uC9D1\uD569\uB860\uACFC \uADF8\uAC83\uC744 \uC801\uC6A9\uC2DC\uD0A8 \uC218\uD559, \uB17C\uB9AC\uD559, \uC804\uC0B0\uD559\uC5D0\uC11C \uC5B4\uB5A4 \uC9D1\uD569\uC744 \uADF8 \uC9D1\uD569\uC758 \uC6D0\uC18C\uB4E4\uC774 \uB9CC\uC871\uD558\uB294 \uC131\uC9C8(\uC870\uAC74)\uC744 \uC11C\uC220(\uC81C\uC2DC)\uD568\uC73C\uB85C\uC368 \uB098\uD0C0\uB0B4\uB294 \uD45C\uAE30\uBC95\uC774\uB2E4."@ko . @prefix gold: . dbr:Set-builder_notation gold:hypernym dbr:Notation . @prefix prov: . dbr:Set-builder_notation prov:wasDerivedFrom . @prefix xsd: . dbr:Set-builder_notation dbo:wikiPageLength "17036"^^xsd:nonNegativeInteger . @prefix foaf: . @prefix wikipedia-en: . dbr:Set-builder_notation foaf:isPrimaryTopicOf wikipedia-en:Set-builder_notation .