prikaz prve stranice dokumenta Osnovne karakteristike i programska implementacija lambda računa
  Preuzmi
PDF 140.27 KB
završni rad
Osnovne karakteristike i programska implementacija lambda računa
Osijek: Sveučilište Josipa Jurja Strossmayera u Osijeku, Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek, 2015. urn:nbn:hr:200:372549
Mihaljević, Maja
Sveučilište Josipa Jurja Strossmayera u Osijeku
Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek
Zavod za zajedničke predmete
Katedra za matematiku, fiziku i strojarstvo

Institucijski repozitorij: Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek

Citirajte ovaj rad

Mihaljević, M. (2015). Osnovne karakteristike i programska implementacija lambda računa (Završni rad). Osijek: Sveučilište Josipa Jurja Strossmayera u Osijeku, Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:200:372549

Mihaljević, Maja. "Osnovne karakteristike i programska implementacija lambda računa." Završni rad, Sveučilište Josipa Jurja Strossmayera u Osijeku, Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek, 2015. https://urn.nsk.hr/urn:nbn:hr:200:372549

Mihaljević, Maja. "Osnovne karakteristike i programska implementacija lambda računa." Završni rad, Sveučilište Josipa Jurja Strossmayera u Osijeku, Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek, 2015. https://urn.nsk.hr/urn:nbn:hr:200:372549

Mihaljević, M. (2015). 'Osnovne karakteristike i programska implementacija lambda računa', Završni rad, Sveučilište Josipa Jurja Strossmayera u Osijeku, Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek, citirano: 27.11.2024., https://urn.nsk.hr/urn:nbn:hr:200:372549

Mihaljević M. Osnovne karakteristike i programska implementacija lambda računa [Završni rad]. Osijek: Sveučilište Josipa Jurja Strossmayera u Osijeku, Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek; 2015 [pristupljeno 27.11.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:200:372549

M. Mihaljević, "Osnovne karakteristike i programska implementacija lambda računa", Završni rad, Sveučilište Josipa Jurja Strossmayera u Osijeku, Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek, Osijek, 2015. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:200:372549

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:200:372549
Podaci o radu
NaslovOsnovne karakteristike i programska implementacija lambda računa
Naslov (engleski)Foundations and programming implementations of lambda calculus
AutorMaja Mihaljević
MentorTomislav Rudec (mentor)
MentorIvana Hartmann Tolić (mentor)
Član povjerenstvaTomislav Rudec (predsjednik povjerenstva)
Član povjerenstvaHrvoje Glavaš (član povjerenstva)
Član povjerenstvaIrena Galić (član povjerenstva)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište Josipa Jurja Strossmayera u Osijeku
Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek
(Zavod za zajedničke predmete)
(Katedra za matematiku, fiziku i strojarstvo)
Osijek
Datum i država obrane2015-09-24, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		TEHNIČKE ZNANOSTI
Računarstvo
Informacijski sustavi
Sažetak
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.
Sažetak (engleski)
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
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:200:372549
Studijski programNaziv: Računarstvo
Vrsta studija: sveučilišni
Stupanj studija: preddiplomski
Akademski / stručni naziv: sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva (univ.bacc.ing.comp.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaOtvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Datum i vrijeme pohrane2016-06-27 12:20:52