prikaz prve stranice dokumenta Osnovne karakteristike i programska implementacija lambda računa
  Download
PDF 140.27 KB
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

Institutional repository: Faculty of Electrical Engineering, Computer Science and Information Technology Osijek

Cite this document

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

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

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

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 10 May 2024, https://urn.nsk.hr/urn:nbn:hr:200:372549

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 May 10] Available at: https://urn.nsk.hr/urn:nbn:hr:200:372549

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

Metadata
TitleOsnovne karakteristike i programska implementacija lambda računa
Title (english)Foundations and programming implementations of lambda calculus
AuthorMaja Mihaljević
MentorTomislav Rudec (mentor)
MentorIvana Hartmann Tolić (mentor)
Committee memberTomislav Rudec (predsjednik povjerenstva)
Committee memberHrvoje Glavaš (član povjerenstva)
Committee memberIrena Galić (član povjerenstva)
GranterJosip 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 country2015-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)
Languagecroatian
URN:NBNurn:nbn:hr:200:372549
Study programmeTitle: 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 resourceText
File originBorn digital
Access conditionsOpen access
Terms of useLicence In copyright icon
Created on2016-06-27 12:20:52