This HTML5 document contains 5 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Subject Item

n2:

rdfs:label

Терм

rdfs:comment

Терм — выражение формального языка (системы), является формальным именем объекта или именем формы. Понятие терма определяется индуктивно. Термом называется символьное выражение: t(X1, X2, … , Xn), где t — имя терма, называемая функтор или «функциональная буква», а X1, X2, … , Xn — термы, структурированные или простейшие. В логике первого и второго порядков терм определяется рекурсивно следующим образом:

dcterms:subject

n4:

n7:wikiPageUsesTemplate

n8:

n6:abstract

Терм — выражение формального языка (системы), является формальным именем объекта или именем формы. Понятие терма определяется индуктивно. Термом называется символьное выражение: t(X1, X2, … , Xn), где t — имя терма, называемая функтор или «функциональная буква», а X1, X2, … , Xn — термы, структурированные или простейшие. В логике первого и второго порядков терм определяется рекурсивно следующим образом: 1. * всякая индивидная константа есть терм; 2. * всякая свободная переменная есть терм; 3. * если — і-местная фунциональная константа и , , …, — термы, то также есть терм; 4. * термами являются только те выражения, которые получены согласно пп. 1—3