prikaz prve stranice dokumenta Lambda račun
Pristup korisnicima matične ustanove
diplomski rad
Lambda račun
2020. urn:nbn:hr:166:507105
Celio Cega, Matko
Sveučilište u Splitu
Prirodoslovno-matematički fakultet
Odjel za matematiku

Citirajte ovaj rad

Celio Cega, M. (2020). Lambda račun (Diplomski rad). Split: Sveučilište u Splitu, Prirodoslovno-matematički fakultet. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:166:507105

Celio Cega, Matko. "Lambda račun." Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, 2020. https://urn.nsk.hr/urn:nbn:hr:166:507105

Celio Cega, Matko. "Lambda račun." Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, 2020. https://urn.nsk.hr/urn:nbn:hr:166:507105

Celio Cega, M. (2020). 'Lambda račun', Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, citirano: 25.12.2024., https://urn.nsk.hr/urn:nbn:hr:166:507105

Celio Cega M. Lambda račun [Diplomski rad]. Split: Sveučilište u Splitu, Prirodoslovno-matematički fakultet; 2020 [pristupljeno 25.12.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:166:507105

M. Celio Cega, "Lambda račun", Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, Split, 2020. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:166:507105

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:166:507105
Prijavite se u repozitorij kako biste mogli spremiti objekt u svoju listu.
Podaci o radu
NaslovLambda račun
Naslov (engleski)Lambda calculus
AutorMatko Celio Cega
MentorMilica Klaričić Bakula (mentor)
Član povjerenstvaMilica Klaričić Bakula (predsjednik povjerenstva)
Član povjerenstvaJurica Perić (član povjerenstva)
Član povjerenstvaIvan Jelić (član povjerenstva)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Splitu
Prirodoslovno-matematički fakultet
(Odjel za matematiku)
Split
Datum i država obrane2020-07-08, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		PRIRODNE ZNANOSTI
Matematika
Sažetak
Lambda račun sve više i više postaje tema istraživanja kako u matematici tako i u računarstvu. Teorijska je podloga jedne čitave grane programiranja (funkcionalno programiranje), a istovremeno je usko povezan s teorijom izračunljivosti. U ovom radu aksiomatski je uveden lambda račun te su opisane tri varijante istog. Pokazano je jedno od najvažnijih svojstava lambda računa, a to je da se u njemu mogu prikazati sve izračunljive i rekurzivne funkcije. Osim toga, opisano je i proširenje lambda računa s konstantama koje uvelike koristi u proučavanju i analiziranju teorije programskih jezika.
Sažetak (engleski)
Lambda calculus is becoming more and more a topic of research, both in mathematics and computer science. It is theoretical basis of a whole branch of programming (functional programming), and at the same time closely linked to the theory of computation. In this thesis, the lambda calculus is axiomatically introduced and three variants of the same are described. One of the most important properties of lambda calculus has been shown, which is that all computable and recursive functions can be defined in lambda calculus. In addition, an extension of the lambda calculus with constant is described, which is of great use in the study and analysis of programming language theory.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:166:507105
Studijski programNaziv: Matematika; smjerovi: teorijski, računarski, nastavnički, statistika i računarstvo
Smjer: računarski
Vrsta studija: sveučilišni
Stupanj studija: diplomski
Akademski / stručni naziv: magistar/magistra matematike (mag. math.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaPristup korisnicima matične ustanove
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Datum i vrijeme pohrane2021-02-02 16:17:37