Стартовая страница
Тематическая группировка Расширить глоссарий Первый глоссарий Предыдущий глоссарий Основные темы Следующий глоссарий Последний глоссарий
 Глоссарий

Декларативные языки программирования

Оглавление 

Входы 

Алгоритмы >

Инструментальное программное обеспечение >

Невербальные средства коммуникации >

Программирование >

Программные модули >

Структуры данных >

Формальная логика >

Языки программирования >


 

§ Информационные технологии

Декларативный язык программирования

От лат.Declaratio - объявление

Декларативный язык программирования - язык программирования высокого уровня, построенный:
- на описании данных; и
- на описании искомого результата.
Декларативные языки подразделяются на функциональные и логические языки.

 Выходы

 >> Переменные в языках программирования

 >> Синтаксис языков программирования

 >> Типы данных


 

Декларативный язык программирования

От лат.Declaratio - объявление

Декларативный язык программирования - язык программирования высокого уровня, построенный:
- на описании данных; и
- на описании искомого результата.
Декларативные языки подразделяются на функциональные и логические языки.
 >> Алфавит

Alphabet

Алфавит - фиксированный для каждого алгоритмического языка набор основных символов, из которых должен состоять любой текст на этом языке. Никакие другие символы в тексте не допускаются.

Исходный код

Исходный код - текст программы на алгоритмическом языке. В компьютере исходный текст либо непосредственно выполняется интерпретатором, либо предварительно переводится компилятором в стандартный загрузочный код, способный многократно исполняться в определенной вычислительной среде.

Исходный модуль

Исходный модуль - согласно ГОСТ 19781-90 - программный модуль на исходном языке, обрабатываемый транслятором и представляемый для него как целое, достаточное для проведения трансляции.

Ключевое слово

Ключевое слово - в программировании - слово языка программирования, имеющее определенный смысл для транслятора. Ключевое слово нельзя использовать в качестве переменной и для других целей.

Константа

Константа - в программировании - элемент данных, который занимает место в памяти, имеет имя и определенный тип, причем его значение никогда не меняется.

Логический язык программирования

Логический язык программирования - язык программирования, позволяющий выполнить описание проблемы в терминах фактов и логических формул, а собственно решение проблемы выполняет система с помощью механизмов логического вывода.

Описание алгоритмического языка

Описание алгоритмического языка - документ, специфицирующий возможности алгоритмического языка. Обычно описание содержит:
- алфавит допустимых символов и ключевых слов;
- синтаксические правила построения из алфавита допустимых конструкций языка;
- семантику, объясняющую смысл и назначений конструкций языка.
 >> Переменная

Variable

Переменная - в языках программирования - именованная часть памяти, в которую могут помещаться разные значения переменной. Причем в каждый момент времени переменная имеет единственное значение. В процессе выполнения программы значение переменной может изменяться.
Тип переменных определяется типом данных, которые они представляют.

Рекурсивное построение

Рекурсивное построение - в языках программирования - поименованная конструкция, использующая в своей структуре обращение к самой себе.
 >> Семантика

Semantics

Семантика - в программировании - система правил истолкования отдельных языковых конструкций. Семантика определяет смысловое значение предложений алгоритмического языка.
 >> Синтаксис

От греч.Syntaxis - порядок

Синтаксис - набор правил построения фраз алгоритмического языка, позволяющий определить, осмысленные предложения в этом языке.

Система программирования

Система программирования - программная система, предназначенная для разработки программ на конкретном языке программирования. Система программирования предоставляет пользователю специальные средства разработки программ: транслятор, (специальный) редактор текстов программ, библиотеки стандартных подпрограмм, программную документацию, отладчик и др.
 >> Тип данных

Data type

Тип данных - характеристика набора данных, которая определяет:
- диапазон возможных значений данных из набора;
- допустимые операции, которые можно выполнять над этими значениями;
- способ хранения этих значений в памяти.
Различают:
- простые типы данных: целые, действительные числа и др.;
- составные типы данных: массивы, файлы и др.

Функциональный язык программирования

Функциональный язык программирования - язык программирования, позволяющий задавать программу в виде совокупности определений функций.
В функциональных языках программирования:
- функции обмениваются между собой данными без использования промежуточных переменных и присваиваний;
- переменные, однажды получив значение, никогда его не изменят;
- циклы заменяются аппаратом рекурсивных функций.

Язык программирования

Алгоритмический язык

Programming language; Algorithmic language

Язык программирования - искусственный (формальный) язык, предназначенный для записи алгоритмов. Язык программирования задается своим описанием и реализуется в виде специальной программы: компилятора или интерпретатора.

Язык программирования Лисп

LISP language

От англ.LISt Processing - обработка списков

Язык программирования Лисп - универсальный язык программирования высокого уровня. Язык Лисп:
- относится к декларативным языкам функционального типа;
- предназначен для обработки символьных данных, представленных в виде списков.
Основой языка являются функции и рекурсивные построения.

Язык программирования Пролог

PROLOG language

От англ.PROgramming in LOGic

Язык программирования Пролог - язык логического программирования, программа на котором состоит:
- из логических утверждений, образующих базу данных; и
- из правила вывода новых утверждений из известных.

  Первый  <<  Предыдущий

 Оглавление глоссария No.1465
(1-е расширение)

Следующий  >>  Последний 

Декларативный язык программирования / Алфавит / Исходный код / Исходный модуль / Ключевое слово / Константа / Логический язык программирования / Описание алгоритмического языка / Переменная / Рекурсивное построение / Семантика / Синтаксис / Система программирования / Тип данных / Функциональный язык программирования / Язык программирования / Язык программирования Лисп / Язык программирования Пролог


Библиография  |  webadmin@glossary.ru
Copyright © 2000-2013 «Web-and-Press»

  

Курильский бобтейл;
Служебная библиотека
СИАРЕС

Деловой двор
Бухгалтерский учет для


  


Rambler's Top100
Rambler's Top100