Osnovne karakteristike i programska implementacija lambda računa

Mihaljević, Maja

undergraduate thesis

Osnovne karakteristike i programska implementacija lambda računa

Osijek: Josip Juraj Strossmayer University of Osijek, Faculty of Electrical Engineering, Computer Science and Information Technology Osijek, 2015. urn:nbn:hr:200:372549

Mihaljević, Maja

Josip Juraj Strossmayer University of Osijek
Faculty of Electrical Engineering, Computer Science and Information Technology Osijek
Department of Core Courses
Chair of Mathematics, Physics and Mechanical Engineering

Cite this document

APA 6th Edition

Mihaljević, M. (2015). Osnovne karakteristike i programska implementacija lambda računa (Undergraduate thesis). Osijek: Josip Juraj Strossmayer University of Osijek, Faculty of Electrical Engineering, Computer Science and Information Technology Osijek. Retrieved from https://urn.nsk.hr/urn:nbn:hr:200:372549

MLA 8th Edition

Mihaljević, Maja. "Osnovne karakteristike i programska implementacija lambda računa." Undergraduate thesis, Josip Juraj Strossmayer University of Osijek, Faculty of Electrical Engineering, Computer Science and Information Technology Osijek, 2015. https://urn.nsk.hr/urn:nbn:hr:200:372549

Chicago 17th Edition

Harvard

Mihaljević, M. (2015). 'Osnovne karakteristike i programska implementacija lambda računa', Undergraduate thesis, Josip Juraj Strossmayer University of Osijek, Faculty of Electrical Engineering, Computer Science and Information Technology Osijek, accessed 24 April 2024, https://urn.nsk.hr/urn:nbn:hr:200:372549

Vancouver

Mihaljević M. Osnovne karakteristike i programska implementacija lambda računa [Undergraduate thesis]. Osijek: Josip Juraj Strossmayer University of Osijek, Faculty of Electrical Engineering, Computer Science and Information Technology Osijek; 2015 [cited 2024 April 24] Available at: https://urn.nsk.hr/urn:nbn:hr:200:372549

IEEE

M. Mihaljević, "Osnovne karakteristike i programska implementacija lambda računa", Undergraduate thesis, Josip Juraj Strossmayer University of Osijek, Faculty of Electrical Engineering, Computer Science and Information Technology Osijek, Osijek, 2015. Available at: https://urn.nsk.hr/urn:nbn:hr:200:372549

Cite this item: https://urn.nsk.hr/urn:nbn:hr:200:372549

Please login to the repository to save this object to your list.

Metadata

Title	Osnovne karakteristike i programska implementacija lambda računa
Title (english)	Foundations and programming implementations of lambda calculus
Author	Maja Mihaljević
Mentor	Tomislav Rudec (mentor)
Mentor	Ivana Hartmann Tolić (mentor)
Committee member	Tomislav Rudec (predsjednik povjerenstva)
Committee member	Hrvoje Glavaš (član povjerenstva)
Committee member	Irena Galić (član povjerenstva)
Granter	Josip Juraj Strossmayer University of Osijek Faculty of Electrical Engineering, Computer Science and Information Technology Osijek (Department of Core Courses) (Chair of Mathematics, Physics and Mechanical Engineering) Osijek
Defense date and country	2015-09-24, Croatia
Scientific / art field, discipline and subdiscipline	TECHNICAL SCIENCES Computing Information Systems
Abstract	U ovom završnom radu prikazane su osnovne karakteristike lambda računa kao formalnog sustava za izračun vrijednosti funkcija. Objašnjen je pojam apstrakcije od kojeg kreće kreiranje svakog rješenja lambda računa. Prikazan je i zapis lambda računa te je uspoređen s klasičnim matematičkim zapisom funkcije. Također su objašnjene vrste izraza koje mogu stajati uz lambdu poput varijabli, apstrakcije funkcija te aplikacije funkcija. Nakon toga, objašnjeni su i načini redukcije, odnosno evaluacije te skraćivanje ili mijenjanje imena varijabli izraza kroz betaredukciju, alfa-konverziju te eta-redukciju. Na kraju su prikazani zapisi lambda računa u programskim jezicima Haskell i Python te je isprogramiran kalkulator sa jednostavnim računskim operacijama koje su definirane kao funkcije sa lambda konstruktorom. Cilj je rada bio upoznati se sa teorijskom podlogom funkcionalnih programskih jezika te ustvrditi koliko ta teorijska podloga pomaže shvaćanju logike funkcionalnih programskih jezika, ali i programskih jezika uopće.
Abstract (english)	This final paper shows main characteristics of lambda calculus as main formal system for calculating function value. Notion of abstraction has been explained from which goes creation of every lambda calculus. Inscription of lambda calculus has also been shown and it was compared with classic mathematical notation of function. Forms of expression which can stand next to lambda are also explained, such as variables, function abstraction and function application. Afterwards, the ways of reducing were explained, respectively evaluation and shortening or changing the names of variables expression through beta-reduction, alpha-conversion, and etareduction. In the end, notions of lambda calculus in programming languages Haskell and Python have been shown and calculator, with simple computing operations which are defined as functions with lambda constructor, was programmed. The aim of a paper was to get acquainted with theoretical basis of functional programming languages and determine how much the theoretical background helps one understand the logic of functional programming languages, and programming in general
Keywords
Keywords (english)
Language	croatian
URN:NBN	urn:nbn:hr:200:372549
Study programme	Title: Undergraduate University Study Programme in Computer Engineering Study programme type: university Study level: undergraduate Academic / professional title: sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva (sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva)
Type of resource	Text
File origin	Born digital
Access conditions	Open access
Terms of use
Repository	Faculty of Electrical Engineering, Computer Science and Information Technology Osijek
Created on	2016-06-27 12:20:52

Nacionalna i sveučilišna knjižnica u Zagrebu

Dabar