<?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/"><rdf:Description rdf:about="https://repozitorij.uni-lj.si/IzpisGradiva.php?id=161948"><dc:title>Bijektivno dokazovanje identitet o razčlenitvah</dc:title><dc:creator>Stepančič,	Aleks	(Avtor)
	</dc:creator><dc:creator>Konvalinka,	Matjaž	(Mentor)
	</dc:creator><dc:subject>bijekcije</dc:subject><dc:subject>razčlenitve</dc:subject><dc:subject>rodovne funkcije</dc:subject><dc:subject>Eulerjev petkotniški izrek</dc:subject><dc:subject>rang</dc:subject><dc:subject>načelo involucije</dc:subject><dc:description>V nalogi bomo predstavili bijektivne rezultate, povezane z razčlenitvami.
Najprej je predstavljena terminologija in teoretične osnove rodovnih funkcij
in razčlenitev, ki so osnova za delo. Za razumevanje povezave med bijek-
tivnim dokazom in rodovnimi funkcijami, bomo spoznali dekompozicije Yo-
ungovih diagramov. Predstavili bomo klasične rezultate Eulerjevega petko-
tniškega izreka, kot je rekurzivna zveza za število razčlenitev ter Franklinovo
involucijo. V preostanku dela obravnavamo orodja, potrebna za pridobitev
dveh direktnih bijekcij rekurzivne zveze. Prvo je rang razčlenitve, ki služi
kot osnova za Dysonovo preslikavo, s katero pridobimo eksplicitno direktno
bijekcijo. Drugo orodje je princip involucije, ki nam nudi iterativen postopek
za pridobitev druge direktne bijekcije.</dc:description><dc:date>2024</dc:date><dc:date>2024-09-17 11:13:50</dc:date><dc:type>Diplomsko delo/naloga</dc:type><dc:identifier>161948</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>