6533b836fe1ef96bd12a187d

RESEARCH PRODUCT

Uz ortopapildinātas kopas balstīta funkcionālā atkarība

Sandra Ose

subject

fa-satvarifunkcionālās atkarībasortopapildinātas kopasMatemātikamaksimālas ortogonālas apakškopas

description

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.

https://dspace.lu.lv/dspace/handle/7/55941