Թեմա - Խիստ տիպիզացված ֆունկցիոնալ ծրագրերի իրականացման մասին

Տեսակ - Դիպլոմային և մագիստրոսական աշխատանքներ

Գին - 18.000 դրամ

Առարկա - Բնագիտություն, ֆիզ., քիմ., մաթ., քաղ. պաշտպ., բուսաբ.

Էջեր - 36

Բովանդակություն

Ներածություն
Գլուխ 1: Օգտագործված սահմանումներ և արդյունքներ: թեորեմ անհակասելիության մասին
1.1 Օգտագործված սահմանումներ և արդյունքներ: Իրական -ռեդուկցիայի օրինակ
1.2 Ինտերպրետացիայի ալգորիթմներ: Թեորեմ անհակասելիության մասին1
1.3 Ինտերպրետացիայի և ալգորիթմներ: Թեորեմ ոչ լրիվության մասին
Գլուխ 2: Ինտերպրետացիայի ոչ լրիվ ալգորիթմներ
2.1 Ինտերպրետացիայի և ալգորիթմների անհամեմատելիությունը
2.2 Ինտերպրետացիայի և ալգորիթմների համարժեքությունը ներդրված ֆունկցիաներ չօգտագործող ծրագրերի դասում
Եզրակացություն

Գրականության ցանկ

1. Barendregt H. P. Lambda calculi with types. Handbook of Login in Computer Science, Vol. 2, Edited by S. Abramsky, D. M. Gabbay and T. S. E. Maibaum, Oxford University Press, 1992, p. 117-309.

2. Будагян Л. Э. Об интерпретации строго типизированных функциональных программ. Кандидатская диссертация, Ереван, 2006.

3. Манна З. Теория неподвижной точки программ. Кибернетический сборник (новая серия), вып. 15, 1978, с. 38-100.

4. Нигиян С. А. Функциональные языки программирования. Программирование, 5, 1991, с. 77-86 (англ. пер.: Nigiyan S. A. Functional languages, Programming and Computer Software, Vol. 17., 5, 1992, p. 290-297)

5. Нигиян С. А. Об интерпретации функциональных языков программирования. Программирование, 2, 1993, с. 58-68 (англ. пер.: Nigitan S. A. On interpretation of functional programming languages, Programming and Computer Software, Vol. 19, 2, 1993, p. 71-78).

6. Акопян Р. Ю. Об алгоритмах интерпретации строго типизированных функциональных программ. Кандидатская диссертация, Ереван 2010.

Պատվիրել այս աշխատանքը

Թեմա - Խիստ տիպիզացված ֆունկցիոնալ ծրագրերի իրականացման մասին

Կոնտակտային տվյալներ

Այլ տվյալներ