6533b836fe1ef96bd12a187d
RESEARCH PRODUCT
Uz ortopapildinātas kopas balstīta funkcionālā atkarība
Sandra Osesubject
fa-satvarifunkcionālās atkarībasortopapildinātas kopasMatemātikamaksimālas ortogonālas apakškopasdescription
Funkcionālo atkarību sistēmu veido mainīgie, to vērtības, un atkarības starp tām. No šī vienkāršā objekta, tam uzliekot nosacījumus, var būvēt izteikumu loģikas. Darba mērķis ir izpētīt piemēru šādai funkcionālo atkarību sistēmai, un to, vai piemērs apmierina loģikas veidošanai nepieciešamos nosacījumus. Apskatītais piemērs ir ortopapildinātas kopas maksimālas ortogonālas apakškopas kā definīcijas apgabali funkcijām, kas ir mainīgie funkcionālo atkarību sistēmā. Vispārīgā gadījumā tam neizpildās visi apskatītie nosacījumi.
year | journal | country | edition | language |
---|---|---|---|---|
2021-01-01 |