LambdaTalk
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60460709%3A41110%2F06%3A15799" target="_blank" >RIV/60460709:41110/06:15799 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
LambdaTalk
Original language description
Cílem této práce je představit možnosti nástroje LambdaTalk pro výuku objektově orientovaného programování. Konkrétně se budeme zabývat Lambda kalkulem. Jde o formální matematicko-logický aparát pro vytváření a vyšetřování funkcí. Druhou část pak bude představovat LambdaTalk, implementace Lambda kalkulu v čistě objektovém prostředí Smalltalk. Přínos spočívá zejména v použití tohoto nástroje při výuce studentů se zaměřením informatika a příbuzných oborů na Provozně ekonomické fakultě ČZU. Charakteristické vlastnosti této implementace budou prezentovány na praktickém příkladu.
Czech name
LambdaTalk
Czech description
Cílem této práce je představit možnosti nástroje LambdaTalk pro výuku objektově orientovaného programování. Konkrétně se budeme zabývat Lambda kalkulem. Jde o formální matematicko-logický aparát pro vytváření a vyšetřování funkcí. Druhou část pak bude představovat LambdaTalk, implementace Lambda kalkulu v čistě objektovém prostředí Smalltalk. Přínos spočívá zejména v použití tohoto nástroje při výuce studentů se zaměřením informatika a příbuzných oborů na Provozně ekonomické fakultě ČZU. Charakteristické vlastnosti této implementace budou prezentovány na praktickém příkladu.
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2006
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Objekty 2006, Sborník příspěvků XI. ročníku konference
ISBN
80-213-1568-7
ISSN
—
e-ISSN
—
Number of pages
11
Pages from-to
395-405
Publisher name
Česká zemědělská univerzita - IPC PEF
Place of publication
Praha
Event location
Česká zemědělská univerzita
Event date
Nov 23, 2006
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—