Metodes

Metode ir atrisinājuma spriedumu šablons: matemātiskā indukcija, Dirihlē princips, invariants, pierādījums no pretējā. Ja temats pasaka, kādu teoriju izmanto, tad metode pasaka, kā veidots spriedums. Skatīt arī ontoloģijas pārskatu.

Klase	eliozo:Method
Uzdevuma īpašība	eliozo:method, vērtība ir metodes virsotne, piem., eliozo:MTH_InvariantMethod
Apjoms	53 metodes divos līmeņos; ID sākas ar MTH_
Pārlūkot	Kārtot > pēc metodes

Metodes īpašības

Īpašība	Vērtība	Piemērs
eliozo:methodID	ID, tāds pats kā virsotnes nosaukums	"MTH_PigeonholePrincipleBasic"
eliozo:methodName	nosaukums latviski	"Dirihlē princips"
eliozo:methodDescription	apraksts latviski
eliozo:methodNumber	vieta kokā	"2.1"
eliozo:sorter_L1, eliozo:sorter_L2	tā pati vieta veselos skaitļos	2, 1
skos:broader / skos:narrower	vecākā / bērnu virsotnes	eliozo:MTH_MeanValuePrinciple

Deviņas metožu grupas:

Nr.	ID	Nosaukums
1	MTH_MathematicalInduction	matemātiskā indukcija
2	MTH_MeanValuePrinciple	vidējās vērtības metode (Dirihlē princips)
3	MTH_ExtremePrinciple	ekstremālā elementa metode
4	MTH_InvariantMethod	invariantu metode
5	MTH_ContradictionMethod	pierādījums no pretējā
6	MTH_InterpretationMethod	interpretāciju metode (ģeometriskā, fizikālā, kodēšana, ...)
7	MTH_Transformations	izteiksmju pārveidojumi
8	MTH_Augmentation	struktūru papildināšana (palīgelementi)
9	MTH_Algorithms	algoritmiskās metodes

Dažiem uzdevumiem ir metožu nosaukumi, kuru vārdnīcā nav (vai vairs nav). Automātiski ieteiktā īpašība eliozo:_hasReasoningMethod (vienkāršs teksts, sk. pārskatu) lieto savus, sīkākus nosaukumus.

Piemēri

Invariantu uzdevumi, sagrupēti pēc invarianta veida:

PREFIX eliozo: <http://www.dudajevagatve.lv/eliozo#>
PREFIX skos:   <http://www.w3.org/2004/02/skos/core#>
SELECT DISTINCT ?problemID (?name AS ?section)
WHERE {
  ?p eliozo:problemID ?problemID ;
     eliozo:method ?method .
  ?method skos:broader* eliozo:MTH_InvariantMethod ;
          eliozo:methodName ?name .
}
ORDER BY ?name ?problemID

Indukcijas uzdevumi 9.–12. klasei, sagrupēti pa klasēm:

PREFIX eliozo: <http://www.dudajevagatve.lv/eliozo#>
PREFIX skos:   <http://www.w3.org/2004/02/skos/core#>
SELECT DISTINCT ?problemID ?grade (CONCAT(STR(?grade), ". klase") AS ?section)
WHERE {
  ?p eliozo:problemID ?problemID ;
     eliozo:problemGrade ?grade ;
     eliozo:method ?method .
  ?method skos:broader* eliozo:MTH_MathematicalInduction .
  FILTER (?grade >= 9)
}
ORDER BY ?grade ?problemID

Saistīts: norāžu tipi iesaka metodes; modelis atsaucas uz metodi, ko tam parasti lieto.