Словарь терминов
Спеціальні | А | Б | В | Г | Ґ | Д | Е | Є | Ж | З | И | І | Ї | Й | К | Л | М | Н | О | П | Р | С | Т | У | Ф | Х | Ц | Ч | Ш | Щ | Ь | Ю | Я | ВСЕ
A |
---|
Active OberonActive Oberon — типобезопасный модульный объектно-ориентированный многопоточный язык программирования общего назначения, разработанный в 1996 — 1997 гг. группой проф. Гуткнехта[de] в Швейцарской высшей технической школе Цюриха (ETHZ) с целью введения в язык Оберон свойств для выражения параллелизма посредством активных объектов[2 | |
C |
---|
C++C++ — компилируемый, статически типизированный язык программирования общего назначения. Поддерживает такие парадигмы программирования, как процедурное программирование, объектно-ориентированное программирование, обобщённое программирование, обеспечивает модульность, раздельную компиляцию, обработку исключений, абстракцию данных, объявление типов (классов) объектов, виртуальные функции. Стандартная библиотека включает, в том числе, общеупотребительные контейнеры и алгоритмы. C++ сочетает свойства как высокоуровневых, так и низкоуровневых языков.[1][2] В сравнении с его предшественником — языком C, — наибольшее внимание уделено поддержкеобъектно-ориентированного и обобщённого программирования.[2] |
H |
---|
HTMLHTML (от англ. HyperText Markup Language — «язык гипертекстовой разметки») — стандартизированный язык разметки документов во Всемирной паутине. Большинство веб-страниц содержат описание разметки на языке HTML (или XHTML). Язык HTML интерпретируется браузерами; полученный в результате интерпретации форматированный текст отображается на экране монитора компьютера или мобильного устройства. | |
J |
---|
Java — строго типизированный объектно-ориентированный язык программирования, разработанный компанией Sun Microsystems |
L |
---|
LispЛисп (LISP, от англ. LISt Processing language — «язык обработки списков»; современное написание: Lisp) — семейство языков программирования, программы и данные в которых представляются системамилинейных списков символов. Создатель Лиспа Джон Маккарти занимался исследованиями в области искусственного интеллекта (в дальнейшем ИИ) и созданный им язык по сию пору является одним из основных средств моделирования различных аспектов ИИ. Это один из старейших (наряду с Фортраном и Коболом) используемых по сей день высокоуровневых языков программирования[1], а также первый из сохранившихся в использовании языков, использующих автоматическое управление памятью и сборку мусора[2]. Традиционный Лисп имеет динамическую систему типов. Язык является функциональным, но начиная уже с ранних версий обладает также чертами императивности, к тому же, имея полноценные средствасимвольной обработки, позволяет реализовать объектно-ориентированность; примером такой реализации является платформа CLOS. Является языком системного программирования для так называемых лисп-машин, производившихся в 1980-е годы, например, фирмой Symbolics[en]. Наряду с языком Ада, Лисп прошёл процесс фундаментальной стандартизации для использования в военном деле и промышленности, в результате чего появился стандарт Common Lisp. Его реализации существуют для большинства платформ. |
O |
---|
Object PascalObject Pascal (с англ. — «Объектный Паскаль») — язык программирования, разработанный в фирме Apple Computer в 1986 годугруппой Ларри Теслера, который консультировался с Никлаусом Виртом. Произошёл от более ранней объектно-ориентированной версии Паскаль[2], называвшейся Clascal, который был доступен на компьютере Apple Lisa. | |
P |
---|
PHPPHP – это широко используемый язык сценариев общего назначения с открытым исходным кодом. Говоря проще, PHP это язык программирования, специально разработанный для написания web-приложений (сценариев), исполняющихся на Web-сервере. Аббревиатура PHP означает “Hypertext Preprocessor (Препроцессор Гипертекста)". | |
А |
---|
А.А МарковВ конструктивную математическую логику А. А. Марков вводит понятие «разрешимое высказывание» и связанное с ним понятие «прямое отрицание». В логике А. А. Маркова имеется и другой вид отрицания — усиленное отрицание, относящееся к так называемым полуразрешимым высказываниям. Кроме материальной и усиленной импликации, при установлении истинности которых приходится заботиться об истинности посылки и заключения, А. А. Марков вводит дедуктивную импликацию, определяемую по другому принципу. Дедуктивная импликация «если А, то В»выражает возможность выведения В из А по фиксированным правилам, каждое из которых в применении к верным формулам даст верные формулы. Всякое высказывание, выводимое из истинного высказывания, будет истинным. Через дедуктивную импликацию А. А. Марков определяет редукционное отрицание (reductio ad absurdum). Редукционное отрицание высказывания А (сформулированного на данном языке) понимается как дедуктивная импликация «если А, то Л», где через Л обозначен абсурд. Это определение отрицания соответствует обычной практике рассуждений математика: математик отрицает ту посылку, из которой вытекает абсурд. Для установления истинности редукционного отрицания высказывания не требуется вникать в смысл этого высказывания. Высказывание, для которого установлена истинность редукционного отрицания, не может быть истинным. |
Абстракция данныхэто придание объекту характеристик, которые чётко определяют его концептуальные границы, отличая от всех других объектов. |
АдаЯзык Ада создан
в основном в 1975 - 1980 годах в результате грандиозного проекта,
предпринятого Министерством Обороны США с целью разработать единый язык
программирования для так называемых встроенных систем (т. е. систем
управления автоматизированными комплексами, работающими в реальном
времени). Имелись в виду прежде всего бортовые системы управления
военными объектами (кораблями, самолетами, танками, ракетами, снарядами и
т. п.). Поэтому решения, принятые авторами Ады не следует считать
универсальными. Их нужно воспринимать в контексте особенностей выбранной
предметной области. Язык Ада возник в результате международного
конкурса языковых проектов проходящего в 1978-1979 годах. Участники
должны были удовлетворить довольно жестким, детально разработанным под
эгидой Министерства Обороны США требованиям. Интересно, что все языки,
дошедшие до последних туров этого конкурса, были основаны на Паскале. В
этой связи Аду можно предварительно охарактеризовать как Паскаль,
развитый с учетом перечисленных выше пяти основных требований. При этом
авторы пошли в основном по пути расширения Паскаля новыми элементами. В
результате получился существенно более сложный язык. |