Sākums
Filtri
Arhīvs
Olimpiādes
Video
Kārtot
pēc tēmas
pēc metodes
pēc žanra
pēc jēdziena
Topics Table
Pārskati
Olimpiāžu saturs
Uzdevumu skaits
Atribūtu lietojums
Rezultāti
Par mums
Atsauces
Kontaktinformācija
Ontology
Precīzā meklēšana
Meklēšana ar regulārajām izteiksmēm
en
lt
lv
Sākums
1.8.3.0.0. Vairākvietīgo operāciju aksiomātiskie apraksti
Ar aksiomām (īpašību sarakstiem) uzdotas vairākvietīgas operācijas un spriešana par tām.
Vienu īpašību secināšana no citām
Operāciju viennozīmīga noteikšana
Modeļu veidošana