prikaz prve stranice dokumenta Lambda račun
Access restricted to students and staff of home institution
master's thesis
Lambda račun
Split: University of Split, University of Split, Faculty of science, 2020. urn:nbn:hr:166:507105
Celio Cega, Matko
University of Split
Faculty of Science
Department of Mathematics

Institutional repository: Repository of Faculty of Science

Cite this document

Celio Cega, M. (2020). Lambda račun (Master's thesis). Split: University of Split, Faculty of Science. Retrieved from https://urn.nsk.hr/urn:nbn:hr:166:507105

Celio Cega, Matko. "Lambda račun." Master's thesis, University of Split, Faculty of Science, 2020. https://urn.nsk.hr/urn:nbn:hr:166:507105

Celio Cega, Matko. "Lambda račun." Master's thesis, University of Split, Faculty of Science, 2020. https://urn.nsk.hr/urn:nbn:hr:166:507105

Celio Cega, M. (2020). 'Lambda račun', Master's thesis, University of Split, Faculty of Science, accessed 30 November 2024, https://urn.nsk.hr/urn:nbn:hr:166:507105

Celio Cega M. Lambda račun [Master's thesis]. Split: University of Split, Faculty of Science; 2020 [cited 2024 November 30] Available at: https://urn.nsk.hr/urn:nbn:hr:166:507105

M. Celio Cega, "Lambda račun", Master's thesis, University of Split, Faculty of Science, Split, 2020. Available at: https://urn.nsk.hr/urn:nbn:hr:166:507105

Metadata
TitleLambda račun
Title (english)Lambda calculus
AuthorMatko Celio Cega
MentorMilica Klaričić Bakula (mentor)
Committee memberMilica Klaričić Bakula (predsjednik povjerenstva)
Committee memberJurica Perić (član povjerenstva)
Committee memberIvan Jelić (član povjerenstva)
GranterUniversity of Split
Faculty of Science
(Department of Mathematics)
Split
Defense date and country2020-07-08, Croatia
Scientific / art field,
discipline and subdiscipline		NATURAL SCIENCES
Mathematics
Abstract
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.
Abstract (english)
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.
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:166:507105
Study programmeTitle: Mathematics; specializations in: major in pure mathematics, major in computing, major in teaching, major in statistics and computing
Course: major in computing
Study programme type: university
Study level: graduate
Academic / professional title: magistar/magistra matematike (magistar/magistra matematike)
Type of resourceText
File originBorn digital
Access conditionsAccess restricted to students and staff of home institution
Terms of useLicence In copyright icon
Created on2021-02-02 16:17:37