RACLAVSKÝ, Jiří. Beta-reduction and parciality. In Computational Logic, FI MU (Brno). 2014. |
Další formáty:
BibTeX
LaTeX
RIS
|
Základní údaje | |
---|---|
Originální název | Beta-reduction and parciality |
Název česky | Početní pravidlo beta-redukce a parcialita |
Autoři | RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí). |
Vydání | Computational Logic, FI MU (Brno), 2014. |
Další údaje | |
---|---|
Originální jazyk | angličtina |
Typ výsledku | Prezentace na konferencích |
Obor | 60300 6.3 Philosophy, Ethics and Religion |
Stát vydavatele | Česká republika |
Utajení | není předmětem státního či obchodního tajemství |
Organizační jednotka | Filozofická fakulta |
Klíčová slova anglicky | lambda-calculus; beta-reduction; partiality |
Změnil | Změnil: prof. PhDr. BcA. Jiří Raclavský, Ph.D., učo 7593. Změněno: 19. 6. 2020 12:20. |
Anotace |
---|
After an introduction to lambda calculus, in which beta-reduction is the main rule, we focus on the problems raised in partiality adopted in the framework. We will show behaviour of various kinds of beta-reduction and investigate the so-called conditionalized beta-reduction. |
Anotace česky |
---|
Po lehkém úvodu do lambda-kalkulu, v němž je beta-redukce základním početním pravidlem (tj. [lambda (...x...) t] = (...t/x...) ), se zaměříme na potíže, které vzniknou, když do systému přijmeme parcialitu. Ukážeme si chování několika druhů beta-redukcí a přikloníme se k tzv. conditionalized beta-redukci. |
Návaznosti | |
---|---|
CZ.1.07/2.2.00/28.0216, interní kód MU | Název: Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (Akronym: logika-ramec-rozvoje) |
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia, 2.2 Vysokoškolské vzdělávání |
VytisknoutZobrazeno: 21. 9. 2024 11:42