Теория и практика языков программирования. Учебник для вузов. Стандарт 3- го поколения.
Название: Теория и практика языков программирования Автор: Орлов С.А. Издательство: Питер. 688 ISBN: 978-5-496-00032-1 Формат: PDF Размер: 10 Мб Язык: русский Учебник посвящен. Автор: Орлов С.А. В книжном интернет-магазине OZON можно купить учебник Теория и практика языков программирования от издательства Питер. Кроме этого, в нашем . Книги об основах программирования, скачать бесплатные книги, самоучители и. Язык: Русский; ISBN: 978-5-00100-295-6; Страниц: 288; Формат: pdf; Размер: 95 Мб. Автор: Орлов С.А. Издательство: Питер; Год: 2014; Язык: Русский; ISBN. Описание книги Теория и практика языков программирования. Книга «Теория и практика языков программирования. Учебник для. Для Хаброжителей скидка 20% по купону — Орлов. Метки: книги.
Он отражает классическое содержание учебной дисциплины по языкам программирования. Все сложные вопросы поясняются законченными примерами. Кроме того, здесь предлагается полный комплекс задач и упражнений по узловым вопросам. В российских стандартах третьего поколения (компьютерного направления) учебник охватывает базисные разделы следующих дисциплин: теория формальных языков, теория автоматов и формальных языков, языки программирования, программирование, объектно- ориентированное программирование, логическое и функциональное программирование, теория вычислительных процессов. Учебник предназначен для студентов инженерного, бакалаврского и магистерского уровней компьютерных специальностей, может быть полезен преподавателям и исследователям/разработчикам трансляторов и другого программного обеспечения. Рекомендовано Санкт- Петербургским институтом информатики и автоматизации Российской академии наук (СПИИРАН) в качестве учебника по направлению «Информатика и вычислительная техника». Введение. Благодарности.
Определение и проблемы языков программирования. Для чего нужно изучать принципы построения языков программирования. Аппарат абстракции- конкретизации. Исходное определение языка программирования. Практическое определение языка программирования. Технологическое определение языка программирования.
Области применения языков программирования. Научные вычисления. Обработка деловой информации. Искусственный интеллект. Системная область. Веб- обработка. Критерии эффективности языков программирования. Читабельность. Легкость создания программ.
Программирование. Языки исреды разработки. Теория и практика языков программирования. Учебник для вузов. Стандарт третьего . Орлов Сергей Александрович. Теория и практика языков программирования. Учебник для вузов.
Надежность. Стоимость. Способы построения критериев эффективности.
Нормализация частных показателей. Учет приоритета частных показателей. Заключительные замечания.
Контрольные вопросы и упражнения. Виртуальные машины и трансляция языков. Аппаратная организация компьютеров. Принцип программного управления. Структура виртуальной машины.
Порядок функционирования виртуальной машины. Понятие виртуальной машины. Трансляторы и интерпретация. Иерархия виртуальных машин. Этапы трансляции. Анализ исходной программы. Синтез объектной программы.
Контрольные вопросы. Виды языков программирования.
Парадигмы программирования. Императивные языки программирования. Язык Fortran. Язык C. Функциональные языки программирования.
Язык LISP. Логические языки программирования. Язык Prolog. Объектно- ориентированные языки программирования. Язык Smalltalk. Язык разметки HTML. Скриптовые языки. Общие характеристики скриптовых языков.
Язык Perl. Язык Java. Script. Язык PHP.
Язык Python. Язык Ruby. Язык Lua. Гибридные языки разметки/программирования. Язык XSLT. Язык JSP. Контрольные вопросы и упражнения. Выражения и присваивания в языках программирования. Нотации выражений. Префиксная нотация выражения.
Постфиксная нотация выражения. Инфиксная нотация выражения. Смешанная нотация. Сравнение нотаций для записи выражений. Присваивание. Порядок вычисления операндов в выражении.
Контрольные вопросы и упражнения. Действия и операторы в программах. Базовые операторы. Операторы перехода. Поток управления. Составные операторы. Условные операторы.
Вложенность условных операторов. Операторы выбора. Организация повторения операторов. Операторы цикла с заданным числом повторений.
Оператор for языка Python. Циклы с заданным числом повторений в функциональных языках. Операторы цикла без заданного числа повторений. Бесконечные циклы и механизмы управления ими. Циклы с предусловием. Циклы с постусловием. Универсальность оператора for в языках С, С++, C# и Java.
Охраняемые структуры управления Дейкстры. Инварианты. Программирование с инвариантами. Контрольные вопросы и упражнения. Средства представления синтаксиса языков программирования.
Особенности определения языка программирования. Качество синтаксиса языка. Легкость чтения. Легкость написания.
Легкость трансляции. Отсутствие неоднозначности. Синтаксические элементы языка. Набор символов. Идентификаторы. Константы и литералы.
Символы операций. Ключевые и зарезервированные слова. Необязательные слова. Комментарии. Пробелы. Разделители и скобки. Выражения. Операторы. Лексемы и лексический синтаксис.
Абстрактный синтаксис и абстрактные синтаксические деревья. Грамматики в языках программирования. Контекстно- свободная грамматика.
Форма Бэкуса—Наура (BNF). Деревья разбора. Синтаксическая неоднозначность.
Неоднозначность повисшего Else. Выводы — линейная форма грамматического разбора. Списки в инфиксных выражениях.
Переход к конкретному синтаксису. Обработка ассоциативности и приоритетности. Расширенная BNF. Синтаксические схемы. Точки с запятой и пустые операторы. Контрольные вопросы и упражнения. Формальная семантика языков программирования.
Семантика языка программирования. Синтезируемые атрибуты. Порядок вычислений. Выводы. Атрибутные грамматики. Операционная семантика. Аксиоматическая семантика. Аксиома присваивания.
Применение аксиомы присваивания. Правило консеквенции (упрощения).
Правило вывода для последовательности. Применение правила вывода для последовательности.
Правило вывода для условного оператора. Применение правила вывода для условного оператора. Вычисление предусловия для цикла FOR.
Правило вывода для оператора цикла WHILE. Требования к инварианту цикла. Определение инварианта цикла по индукции. Пример доказательства цикла. Общий случай определения инварианта цикла.
Денотационная семантика. Семантическая функция отображения двоичных чисел. Семантическая функция отображения десятичных чисел. Состояние программы.
Выражения. Операторы присваивания. Логические циклы с предусловием. Контрольные вопросы и упражнения. Типизация данных. Объекты данных. Переменные и константы.
Типы данных. Элементарные типы данных. Объявления. Статический контроль типов.
Динамический контроль типов. Обзор составных типов данных. Системы типизации данных. Атрибуты переменной. Связывание. Динамическое связывание типов.
Время жизни. Тип выражения. Контрольные вопросы и упражнения.
Скалярные типы данных. Перечисления. Целые и вещественные типы. Десятичные числа. Говно Наступать Сон. Поддиапазоны. Логический тип. Символьные типы. Стиль программирования в языке С. Преобразование типов.
Контрольные вопросы и упражнения. Составные типы данных.
Массивы. Разновидности массивов. Инициализация массива.
Атрибуты и операции простого массива. Операции над массивами в скриптовых языках. Прямоугольные массивы и массивы массивов. Сечения массивов.
Статические массивы языка С. Ассоциативные массивы. Строки символов. Записи. Записи и массивы со вложенными структурами. Сравнение массивов и записей. Объединения и вариантные записи. Вариантные записи ослабляют надежность типов?
Множества. Кортежи. Списки. Контрольные вопросы и упражнения. Указатели. Основные понятия. Операции над указателями в языке Pascal. Динамические связные структуры данных. Повисшие указатели и утечки памяти.
Безопасность указателей в Паскале. Указатели как посредники. Перестановка указателей и перемещение данных. Указатели в языке Ada. Массивы и указатели в языках С и С++. Динамическое распределение памяти.
Гибкость указателей в языке С. Ссылочный тип. Реализация указателей. Контрольные вопросы и упражнения. Преобразования типов данных.
Эквивалентность типов данных. Преобразование типа и явное приведение. Явные приведения типа в языке С++.