Правила локализации имен в традиционных языках

Экзаменационные вопросы по курсу Языки программирования

1. 
   Синтаксис, семантика и прагматика алгоритмического языка.
   

2. 
   Контекстно-свободная и контекстно-зависимая часть синтаксиса.
   

3. 
   Абстрактный и конкретный синтаксис.
   

4. 
   Лексемы, выражения, операторы. Приведения значений.
   

5. 
   Правила локализации имен в традиционных языках.
   

6. 
   Система типов данных в развитых традиционных языках (числа, перечисления, ссылки, структуры, массивы). Ее сравнение со структурами данных в нетрадиционных языках.
   

7. 
   Процедуры и модули. Структура модуля в традиционных языках.
   

8. 
   Схемы программ. Теорема Бема-Джакопини.
   

9. 
   Интерпретации. Теорема об эрбрановских интерпретациях. Функциональная эквивалентность схем.
   

10. 
    Схемы Янова. Полная система преобразований схем Янова. Понятие об алгебраической семантике.
    

11. 
    Разрешимость эквивалентности схем Янова.
    

12. 
    Свободные схемы. Разрешимость некоторых свойств свободных схем. .
    

13. 
    Структурное программирование. Предусловия и постусловия. Инварианты. Логическая семантика.
    

14. 
    Охраняемые команды и условный оператор в форме Дейкстра. Вычисление предусловий для присваиваний, композиций и условных операторов.
    

15. 
    Рекурсивные схемы и рекурсивное программирование.
    

16. 
    Автоматы и программирование от состояний.
    

17. 
    События и событийное программирование.
    

18. 
    Комбинаторная логика. Лямбда-исчисление. Теорема о неподвижной точке.
    

19. 
    Теорема Карри-Шейнфинкеля и теорема Черча-Россера (формулировка).
    

20. 
    Общая система стилей программимрования.
    

21. 
    Призраки и подпорки.
    

22. 
    Параллелизм,совместность и недетерминированность. Виды параллелизма.
    

23. 
    Язык ЛИСП. Его основные структуры. Работа со списками.
    

24. 
    Язык ЛИСП. Средства определения функций и работы с ними.
    

25. 
    Язык ЛИСП. Средства определения переменных и программных блоков.
    

26. 
    Язык Рефал. Выражения и конкретизация.
    

27. 
    Язык Рефал. Структура программ и данных, приемы программирования.
    

28. 
    Язык Рефал. Работа с файлами, с числами, модульность.
    

29. 
    Язык Пролог. Предикаты, унификация.
    

30. 
    Язык Пролог. Структура программ и данных, приемы программирования.
    

31. 
    Язык Пролог. Методы работы с числами, с файлами, динамические изменение программы.
    

Литература.

1. 
   Э. Хювенен, Й. Сеппянен. Мир Лиспа. Т.1-2, М. Мир, 1990.
   

2. 
   С. Лавров. Программирование, математические основы, средства, теория. БХВ, СПб, 2001.
   

3. 
   И. Братко. Программирование на зыке Пролог для искусственного интеллекта. М. Мир, 1990.
   

4. 
   Н. Непейвода, И. Скопин. Основания программирования. М.-Ижевск, 2003.
   

5. 
   Н. Н. Непейвода. Стили и методы программирования. М., 2005
   

6. 
   Х. Барендрегт. Лямбда-счисление. Его синтаксис и семантика.М. Мир, 1984.
   

7. 
   Турчин В. Ф. Рефал-5. Имеется в Интернете и на диске к книге [4].
   

8. 
   Шалыто А. А. SWITCH-технология. СПб, Наука, 1998.
   

1	2	3	4	5
6	7	8	9	10
11	12	13	14	15
16	17	18	19	20
21	22	23

1	2	3	4	5
6	7	8	9	10
11	12	13	14	15
16	17	18	19	20
21	22	23

Поделитесь с Вашими друзьями: