About: Term (logic)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatRewritingSystems, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FTerm_%28logic%29

In mathematical logic, a term denotes a mathematical object while a formula denotes a mathematical fact. In particular, terms appear as components of a formula. This is analogous to natural language, where a noun phrase refers to an object and a whole sentence refers to a fact. Besides in logic, terms play important roles in universal algebra, and rewriting systems.

AttributesValues
rdf:type
rdfs:label
  • حد (رياضيات) (ar)
  • Term (de)
  • Termo (eo)
  • Gai (matematika) (eu)
  • Terme (logique) (fr)
  • 항 (논리학) (ko)
  • Term (wiskunde) (nl)
  • Term (pl)
  • Termo (matemática) (pt)
  • Term (logic) (en)
  • Терм (логика) (ru)
  • Term (matematik) (sv)
  • Терм (логіка) (uk)
rdfs:comment
  • الحد أو الجملة في الرياضيات هو أي قيمة (متغير أو ثابت) أو يفصل عن غيره بأحد الإشارتين + أو - في التعبير الكلي الواحد. في الرياضيات الابتدائية، يكون الحد عبارة عن رقم أو متغير واحد، أو جداء عدة أرقام أو/ ومتغيرات مع بعضها البعض. على سبيل المثال:3 + 4x + 5yzw في هذا المثال إن 3، 4x، 5yzw هي جميعها حدود. هذا التعريف البسيط لا يغطي جميع فروع الرياضيات وخاصة . (ar)
  • In der Mathematik ist ein Term eine sinnvolle Kombination aus Zahlen, Variablen, Symbolen für mathematische Verknüpfungen und Klammern. Ausgangspunkt sind die atomaren Terme, zu denen alle Zahlen (Konstanten) und Variablen gehören. Terme können als die syntaktisch korrekt gebildeten Wörter oder Wortgruppen in der formalen Sprache der Mathematik gesehen werden. In der Praxis wird der Begriff häufig benutzt, um über einzelne Bestandteile einer Formel oder eines größeren Terms zu reden. So kann man bspw. für die lineare Funktion von einem linearen Term und einem konstanten Term reden. (de)
  • Matematikan, gaia adierazpen matematiko batean, oro har, eragiketa- edo erlazio-ikurrez bereizitako elementuetako bakoitza da; frakzioan, eta ; polinomioan, batuketa aljebraikoaren ikurraz bereizitako elementu bakoitza; segidetan, elementu bakoitza. (eu)
  • Un terme est une expression de base du calcul des prédicats, de l'algèbre, notamment de l'algèbre universelle, et du calcul formel, des systèmes de réécriture et de l'unification. C'est l'objet produit par une analyse syntaxique. Sa principale caractéristique est d'être homogène (il n'y a que des opérations de base et pas d'opérations logiques) et de décrire l'agencement des opérations de base. Un terme est parfois appelé une formule du premier ordre. Par exemple, (x + f(x,y)) * 3 et *(+(x,f(x,y)),3) et *+xfxy3 et la figure à droite représentent le même terme sous quatre formes externes différentes. (fr)
  • 수리논리학과 재작성 시스템에서 항(項, 영어: term)은 논리식을 이루는 각각의 수학적 대상들이다. 상수와 변수, 그리고 그들에 대한 함수 연산을 바탕으로 하여 재귀적으로 정의된다. 각 항은 술어 또는 함수 연산에 감싸이거나 연결자로 인해 연결되어 논리식을 구성한다. (ko)
  • Een term is in de wiskunde een lid (deel) van een optelling; een term is, bijvoorbeeld, een getal of een variabele. In de rekenkunde worden termen gescheiden door een plusteken. Zo zijn en de termen van de optelling . Door gebruik te maken van haakjes kunnen twee of meer termen in een optelling worden worden opgevat als één term, waardoor een hiërarchie van optellingen ontstaat. In zijn en termen van de optelling van en , en zo zijn en termen van de optelling , maar niet van de optelling . (nl)
  • Term (formuła nazwowa) – wyrażenie składające się ze zmiennych oraz symboli funkcyjnych o dowolnej argumentowości (w tym o argumentowości 0, czyli stałych) z pewnego ustalonego zbioru. W wielu dziedzinach matematyki używa się określenia term na oznaczenie napisów (wyrażeń) formalnych, które mogą być traktowane jako nazwy na obiekty matematyczne. W większości przypadków znaczenie to można przedstawić jako termy w pewnym języku pierwszego rzędu, opisane poniżej. (pl)
  • Na Matemática, um termo é uma expressão que pode ser tomada separadamente numa equação, série ou em outra expressão.. (pt)
  • Term (plural termer) kallas i matematiken en operand inom addition och subtraktion. I uttrycket 5 + 3 = 8 är alltså 5 och 3 termer, medan 8 kallas summa. I uttrycket 6 - 2 = 4 är 6 och 2 termer medan 4 är differens. I sammansatta uttryck med flera termer (inklusive fall där både addition och subtraktion förekommer inom uttrycket) kallas samtliga ingående argument termer, och den procedurellt enklaste och mest stringenta hanteringen fås genom att varje subtraktion istället betraktas som en addition av ett negativt tal. (sv)
  • En matematiko, termo estas produto de kelkaj faktoroj, inter kiuj ĉiu estas aŭ nombro, aŭ natura potenco de variablo. Ekzemple termoj estas 6b2c kaj 5x47c. La termo nomiĝas norma, se ĝia unua faktoro estas nombro, kaj la ceteraj faktoroj estas potencoj de diversaj variabloj. La nombra faktoro de la norma termo estas koeficiento kaj la sumo de la eksponentoj - grado aŭ ordo de la termo (por la unua ekzemplo ĝi egalas al 4, por la dua - 5). Pn(x)=A0(xn)+A1(xn-1)+...+An-1x+An, kie koeficientoj A0, A1, ...An-1, An estas reelaj aŭ kompleksaj nombroj, A0xn - ĉeftermo de polinomo, An - libera termo. (eo)
  • In mathematical logic, a term denotes a mathematical object while a formula denotes a mathematical fact. In particular, terms appear as components of a formula. This is analogous to natural language, where a noun phrase refers to an object and a whole sentence refers to a fact. Besides in logic, terms play important roles in universal algebra, and rewriting systems. (en)
  • Терм — выражение формального языка (системы) специального вида. По аналогии с естественным языком, где именная группа ссылается на объект, а целое предложение ссылается на факт, в математической логике терм обозначает математический объект, а формула обозначает математический факт. В частности, термы появляются как компоненты формулы. Помимо логики, термы играют важную роль в универсальной алгебре и системах переписывания. Множество термов сигнатуры , где — множество предикатов, — множество функций, а — отображение арности для , определяется индуктивно: (ru)
  • У математичній логіці терм позначає математичний об'єкт, у той час як позначає математичний факт. Зокрема, терми виступають як компоненти формули. Це аналогічно звичайній мові, де іменник відноситься до об'єкта, а ціле речення відноситься до факту. Окрім логіки, терми відіграють важливу роль в універсальній алгебрі та системах рерайтингу. (uk)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/Example_term_for_position,_path,_depth,_match_svg.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Tree_structure_of_mathematical_first-order_terms_svg.svg
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 53 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software