Simple view
Full metadata view
Authors
Statistics
Kombinatoryczne interpretacje rekurencji holonomicznych
rekurencja holonomiczna, rachunek lambda, de Bruijn, funkcje tworzące, zliczanie, drzewa, drzewa binarne, drzewa unarno-binarne, drzewa Schrödera
holonomic recurrence, lambda terms, de Bruijn, generating functions, counting, tree, binary tree, unary-binary tree, Schröder tree
Analizujemy problem znajdowania kombinatorycznych interpretacji rekurencji holonomicznych i pokazujemy techniki, które zostały użyte do uzyskania znanych wyników.Podejmujemy również próbę znalezienia kombinatorycznej interpretacji rekurencji holonomicznej dla drzew termów rachunku lambda w notacji de Bruijna.
We analyze the problem of finding combinatorial interpretations of holonomic recurrences and show some techniques that were used to achieve known results.We also try to find a combinatorial interpretation of the holonomic recurrence for trees of lambda terms in the de Bruijn notation.
| dc.abstract.en | We analyze the problem of finding combinatorial interpretations of holonomic recurrences and show some techniques that were used to achieve known results.We also try to find a combinatorial interpretation of the holonomic recurrence for trees of lambda terms in the de Bruijn notation. | pl |
| dc.abstract.pl | Analizujemy problem znajdowania kombinatorycznych interpretacji rekurencji holonomicznych i pokazujemy techniki, które zostały użyte do uzyskania znanych wyników.Podejmujemy również próbę znalezienia kombinatorycznej interpretacji rekurencji holonomicznej dla drzew termów rachunku lambda w notacji de Bruijna. | pl |
| dc.affiliation | Wydział Matematyki i Informatyki | pl |
| dc.area | obszar nauk ścisłych | pl |
| dc.contributor.advisor | Grygiel, Katarzyna | pl |
| dc.contributor.author | Puget, Bartłomiej | pl |
| dc.contributor.departmentbycode | UJK/WMI2 | pl |
| dc.contributor.reviewer | Grygiel, Katarzyna | pl |
| dc.contributor.reviewer | Zaionc, Marek - 132832 | pl |
| dc.date.accessioned | 2023-04-20T21:30:36Z | |
| dc.date.available | 2023-04-20T21:30:36Z | |
| dc.date.submitted | 2021-10-07 | pl |
| dc.fieldofstudy | informatyka analityczna | pl |
| dc.identifier.apd | diploma-154754-175938 | pl |
| dc.identifier.uri | https://ruj.uj.edu.pl/xmlui/handle/item/310586 | |
| dc.language | eng | pl |
| dc.source.integrator | false | |
| dc.subject.en | holonomic recurrence, lambda terms, de Bruijn, generating functions, counting, tree, binary tree, unary-binary tree, Schröder tree | pl |
| dc.subject.pl | rekurencja holonomiczna, rachunek lambda, de Bruijn, funkcje tworzące, zliczanie, drzewa, drzewa binarne, drzewa unarno-binarne, drzewa Schrödera | pl |
| dc.title | Kombinatoryczne interpretacje rekurencji holonomicznych | pl |
| dc.type | master | pl |
| dspace.entity.type | Publication |