| dbo:abstract |
In mathematics and logic, an operation is finitary if it has finite arity, i.e. if it has a finite number of input values. Similarly, an infinitary operation is one with an infinite number of input values. In standard mathematics, an operation is finitary by definition. Therefore these terms are usually only used in the context of infinitary logic. (en) Dalam matematika dan logika, operasi adalah finiter jika ariti , yaitu jika memiliki jumlah nilai input yang terbatas. Demikian pula, infiniter Operasi adalah operasi dengan bilangan tak hingga dari nilai masukan. Dalam matematika standar, operasi adalah finiter menurut definisi. Oleh karena itu istilah-istilah ini biasanya hanya digunakan dalam konteks . (in) 数学または論理学において、有限（項的）演算（ゆうげんえんざん、英: finitary operation）は、算術の演算のように、出力を得るために有限値の入力を取る演算である。 (ja) |
| dbo:wikiPageExternalLink |
http://plato.stanford.edu/entries/logic-infinitary/ |
| dbo:wikiPageID |
404456 (xsd:integer) |
| dbo:wikiPageLength |
3176 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1008051547 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:David_Hilbert dbr:Infinitary_logic dbr:Infinite_set dbr:Numerical_digit dbr:Mathematics dbr:Geometry dbr:Arity dbr:Logic dbr:Statement_(logic) dbr:Logicism dbr:Finite_set dbr:Foundations_of_mathematics dbr:Mathematical_proof dbc:Mathematical_logic dbr:Modus_ponens dbr:Axiom dbr:Operation_(mathematics) dbr:Rule_of_inference dbr:Finite_cardinality dbr:Disjunction dbr:Existential_quantifier |
| dbp:wikiPageUsesTemplate |
dbt:Refimprove dbt:Reflist dbt:Short_description dbt:Proveit |
| dcterms:subject |
dbc:Mathematical_logic |
| gold:hypernym |
dbr:Operation |
| rdf:type |
dbo:MilitaryConflict |
| rdfs:comment |
In mathematics and logic, an operation is finitary if it has finite arity, i.e. if it has a finite number of input values. Similarly, an infinitary operation is one with an infinite number of input values. In standard mathematics, an operation is finitary by definition. Therefore these terms are usually only used in the context of infinitary logic. (en) Dalam matematika dan logika, operasi adalah finiter jika ariti , yaitu jika memiliki jumlah nilai input yang terbatas. Demikian pula, infiniter Operasi adalah operasi dengan bilangan tak hingga dari nilai masukan. Dalam matematika standar, operasi adalah finiter menurut definisi. Oleh karena itu istilah-istilah ini biasanya hanya digunakan dalam konteks . (in) 数学または論理学において、有限（項的）演算（ゆうげんえんざん、英: finitary operation）は、算術の演算のように、出力を得るために有限値の入力を取る演算である。 (ja) |
| rdfs:label |
Finiter (in) Finitary (en) 有限演算 (ja) |
| owl:sameAs |
freebase:Finitary wikidata:Finitary dbpedia-id:Finitary dbpedia-ja:Finitary http://tl.dbpedia.org/resource/Hangganan_(matematika) https://global.dbpedia.org/id/4jMZc |
| prov:wasDerivedFrom |
wikipedia-en:Finitary?oldid=1008051547&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Finitary |
| is dbo:wikiPageRedirects of |
dbr:Finitary_logic dbr:Infinitary dbr:Infinitary_operation |
| is dbo:wikiPageWikiLink of |
dbr:Elementary_definition dbr:Elementary_sentence dbr:Elementary_theory dbr:Model_theory dbr:David_Hilbert dbr:Unbounded_nondeterminism dbr:Computable_function dbr:Monoid dbr:Arithmetical_set dbr:Kruskal's_tree_theorem dbr:Structure_(mathematical_logic) dbr:Total_functional_programming dbr:Additive_category dbr:Finitary_logic dbr:Church–Turing–Deutsch_principle dbr:Proof_theory dbr:Abelian_category dbr:Simplicial_approximation_theorem dbr:Boolean_algebras_canonically_defined dbr:Free_object dbr:Semiring dbr:Infinitary dbr:Infinitary_operation |
| is foaf:primaryTopic of |
wikipedia-en:Finitary |