Теория вычислительных процессов и структур. Селиверстов М.Н. - 9 стр.

UptoLike

ВУЗ: 

ПГУ | Пенза

Составители: 

Рубрика: 

9
7. Учебно-методическое обеспечение дисциплины.
7.1. Рекомендуемая литература
а) основная литература:
1. Агафонов В.Н. Спецификация программ: понятийные средства и их организация.
Новосибирск, Наука, 1990.
2. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т. 1.
Синтаксический анализ. 612 с., т. 2. Компиляция. 487 с. М.: Мир: 1978.
3. Ф.Л.Бауэр, Г.Гооз. Информатика.
Т. 1,2. М., Мир, 1990.
4. Грис Д. Конструирование компиляторов для цифровых вычислительных машин.
М.: Мир, 1975. 544 с.
5. Касьянов В.Н. Оптимизирующие преобразования программ. М., Наука, 1989.
6. Касьянов В.Н., Поттосин И. Методы трансляции. М., Наука, 1986.
7. Котов В.Е. Сети Петри. -М.: Наука,1984.
8. Котов В.Е., Сабельфельд В.Н. Теория схем
программ. М., Наука, 1989.
9. Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компи-
ляторов. М.: Мир, 1979. 654 с.
10. Непомнящий В.А., О.М.Рякин. Прикладные методы верификации программ. Под
ред. А.П.Ершова. М.: Радио и связь, 1988. 256 с.
11. Пратт Т. Языки программирования: разработка и реализация. М.: Мир, 1979. 574 с.
12. А.Филд, П.Харрисон. Функциональное программирование. М., Мир, 1993.
13. Ч.Хоар. Взаимодействующие последовательные процессы. М., Мир, 1989.
б) дополнительная литература:
1. Братчиков И.Л. Синтаксис языков программирования. М.: Наука, 1975. 232 с.
2. Гинзбург С. Математическая теория контекстно-свободных языков. М.: Мир, 1970.
326 с.
3. Гладкий А.В. Формальные грамматики и языки. М.: Наука, 1973. 368 с.
4. Грис Д. Наука программирования. М.: Мир, 1984. 416 с.
5. Гросс М., Лантен А. Теория формальных грамматик. М.: Мир, 1971. 294 с.
6. Математическая логика в программировании. Сб. статей. М., Мир, 1991.
7. Рейуорд – Смит В. Дж. Теория формальных языков. Вводный курс. М.: Радио и
связь, 1988. 129 с.
8. Хантер Р. Проектирование и конструирование компиляторов. М.: Финансы и ста-
тистика, 1984. 232 с.
8. Материально-техническое обеспечение дисциплины.
Лабораторные занятия и курсовое проектирование проводятся в компьютерном
классе с применением интегрированной среды разработки приложений Microsoft Visual
Studio 6.0. 
7. Учебно-методическое обеспечение дисциплины.
7.1. Рекомендуемая литература

а) основная литература:
    1. Агафонов В.Н. Спецификация программ: понятийные средства и их организация.
        Новосибирск, Наука, 1990.
    2. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т. 1.
        Синтаксический анализ. 612 с., т. 2. Компиляция. 487 с. М.: Мир: 1978.
    3. Ф.Л.Бауэр, Г.Гооз. Информатика. Т. 1,2. М., Мир, 1990.
    4. Грис Д. Конструирование компиляторов для цифровых вычислительных машин.
        М.: Мир, 1975. 544 с.
    5. Касьянов В.Н. Оптимизирующие преобразования программ. М., Наука, 1989.
    6. Касьянов В.Н., Поттосин И. Методы трансляции. М., Наука, 1986.
    7. Котов В.Е. Сети Петри. -М.: Наука,1984.
    8. Котов В.Е., Сабельфельд В.Н. Теория схем программ. М., Наука, 1989.
    9. Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компи-
        ляторов. М.: Мир, 1979. 654 с.
    10. Непомнящий В.А., О.М.Рякин. Прикладные методы верификации программ. Под
        ред. А.П.Ершова. М.: Радио и связь, 1988. 256 с.
    11. Пратт Т. Языки программирования: разработка и реализация. М.: Мир, 1979. 574 с.
    12. А.Филд, П.Харрисон. Функциональное программирование. М., Мир, 1993.
    13. Ч.Хоар. Взаимодействующие последовательные процессы. М., Мир, 1989.

б) дополнительная литература:
    1. Братчиков И.Л. Синтаксис языков программирования. М.: Наука, 1975. 232 с.
    2. Гинзбург С. Математическая теория контекстно-свободных языков. М.: Мир, 1970.
       326 с.
    3. Гладкий А.В. Формальные грамматики и языки. М.: Наука, 1973. 368 с.
    4. Грис Д. Наука программирования. М.: Мир, 1984. 416 с.
    5. Гросс М., Лантен А. Теория формальных грамматик. М.: Мир, 1971. 294 с.
    6. Математическая логика в программировании. Сб. статей. М., Мир, 1991.
    7. Рейуорд – Смит В. Дж. Теория формальных языков. Вводный курс. М.: Радио и
       связь, 1988. 129 с.
    8. Хантер Р. Проектирование и конструирование компиляторов. М.: Финансы и ста-
       тистика, 1984. 232 с.


8. Материально-техническое обеспечение дисциплины.

       Лабораторные занятия и курсовое проектирование проводятся в компьютерном
классе с применением интегрированной среды разработки приложений Microsoft Visual
Studio 6.0.




                                          9

Страницы