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



Скачать 39.09 Kb.
Дата09.07.2014
Размер39.09 Kb.
ТипПравила
Экзаменационные вопросы по курсу Языки программирования

  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







Похожие:

Правила локализации имен в традиционных языках iconПравила регистрации доменных имен в домене ru индекс документа ru-2 Редакция 19. 12. 02 Утвержден решением П8 1/02 от 19. 12. 02
Правила регистрации доменных имен в домене ru (в дальнейшем — «Правила») определяют основные права и обязанности пользователей и...
Правила локализации имен в традиционных языках iconПравила регистрации доменных имен в домене ru индекс документа ru-2 Редакция 19. 12. 02 Утвержден решением П8 1/02 от 19. 12. 02
Правила регистрации доменных имен в домене ru (в дальнейшем — «Правила») определяют основные права и обязанности пользователей и...
Правила локализации имен в традиционных языках iconРегламент оказания услуг, связанных с регистрацией и поддержкой доменных имен в доменах ru
Координационного центра национального домена сети Интернет «Правила регистрации доменных имен в домене ru» (далее — «Правила регистрации...
Правила локализации имен в традиционных языках iconРуководство по локализации продукта Содержание: выгрузка локализации 4 Экспорт локализации 4
Руководство предназначено для администраторов системы "1c-битрикс: Управление сайтом asp. Net ". В документе рассматриваются процедуры,...
Правила локализации имен в традиционных языках iconКоординационный центр национального домена сети Интернет
Правила регистрации доменных имен в домене ru (в дальнейшем — «Правила») определяют основные права и обязанности пользователей и...
Правила локализации имен в традиционных языках iconTaťána Koblihová Проблематика личных имен в русском языке по сравнению с чешским языком
Уже по названию настоящей работы можно сделать вывод, что целью нашей работы будет анализ личных имен в русском и чешском языках
Правила локализации имен в традиционных языках iconОбразование суффиксальных производных от имен собственных во французском и английском языках

Правила локализации имен в традиционных языках iconУтверждено Приложение 3 Генеральным директором ООО «СэйлНэймс»
Правила оказания услуг №3 по регистрации доменов в зонах. Ru. Рф и su(далее – «Правила»), и акцептовавшему настоящие Правила (присоединившемуся...
Правила локализации имен в традиционных языках iconПравила написания имен по-японски
Однако принятым способом перевода имен на японский является запись их звучания при помощи слоговой азбуки Катакана. В то время как...
Правила локализации имен в традиционных языках iconСоглашение об условиях регистрации доменных имен Домен ac
Правила регистрации доменных имен и политика разрешения споров по доменным именам опубликованы на сайте Регистратора nic. Ас
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org