Словарь терминов

Перегляд глосарію, використовуючи цей індекс.

Спеціальні | А | Б | В | Г | Ґ | Д | Е | Є | Ж | З | И | І | Ї | Й | К | Л | М | Н | О | П | Р | С | Т | У | Ф | Х | Ц | Ч | Ш | Щ | Ь | Ю | Я | ВСЕ

А

А.А Марков

В конструктивную математическую логику А. А. Марков вводит понятие «разрешимое высказывание» и связанное с ним понятие «прямое отрицание». В логике А. А. Маркова имеется и другой вид отрицания — усиленное отрицание, относящееся к так называемым полуразрешимым высказываниям.

Кроме материальной и усиленной импликации, при установлении истинности которых приходится заботиться об истинности посылки и заключения, А. А. Марков вводит дедуктивную импликацию, определяемую по другому принципу. Дедуктивная импликация «если А, то В»выражает возможность выведения В из А по фиксированным правилам, каждое из которых в применении к верным формулам даст верные формулы. Всякое высказывание, выводимое из истинного высказывания, будет истинным.

Через дедуктивную импликацию А. А. Марков определяет редукционное отрицание (reductio ad absurdum). Редукционное отрицание высказывания А (сформулированного на данном языке) понимается как дедуктивная импликация «если А, то Л», где через Л обозначен абсурд. Это определение отрицания соответствует обычной практике рассуждений математика: математик отрицает ту посылку, из которой вытекает абсурд. Для установления истинности редукционного отрицания высказывания не требуется вникать в смысл этого высказывания. Высказывание, для которого установлена истинность редукционного отрицания, не может быть истинным.

Абстракция данных

это придание объекту характеристик, которые чётко определяют его концептуальные границы, отличая от всех других объектов.

Ада

Язык Ада создан в основном в 1975 - 1980 годах в результате грандиозного проекта, предпринятого Министерством Обороны США с целью разработать единый язык программирования для так называемых встроенных систем (т. е. систем управления автоматизированными комплексами, работающими в реальном времени). Имелись в виду прежде всего бортовые системы управления военными объектами (кораблями, самолетами, танками, ракетами, снарядами и т. п.). Поэтому решения, принятые авторами Ады не следует считать универсальными. Их нужно воспринимать в контексте особенностей выбранной предметной области. Язык Ада возник в результате международного конкурса языковых проектов проходящего в 1978-1979 годах. Участники должны были удовлетворить довольно жестким, детально разработанным под эгидой Министерства Обороны США требованиям. Интересно, что все языки, дошедшие до последних туров этого конкурса, были основаны на Паскале. В этой связи Аду можно предварительно охарактеризовать как Паскаль, развитый с учетом перечисленных выше пяти основных требований. При этом авторы пошли в основном по пути расширения Паскаля новыми элементами. В результате получился существенно более сложный язык.

Алгоритм

Заранее заданное понятное и точное пpедписание возможному исполнителю совеpшить определенную последовательность действий для получения решения задачи за конечное число шагов. (порядок действий, понятных исполнителю, и приводящих к конкретному результату.)

Алгоритм

набор инструкций,(Понятных исполнителю) описывающих порядок действий исполнителя для достижения некоторого результата.

Аристо́тель

Аристо́тель (др.-греч. Ἀριστοτέλης; 384 до н. э., Стагира, Фракия — 322 до н. э., Халкида, остров Эвбея) — древнегреческий философ. Ученик Платона. С 343 до н. э. — воспитатель Александра Македонского^[1]. В 335/4 г. до н. э.^[2] основал Ликей (др.-греч.Λύκειον Лицей, или перипатетическую школу). Натуралист классического периода. Наиболее влиятельный из философов древности; основоположник формальной логики. Создал понятийный аппарат, который до сих пор пронизывает философский лексикон и стиль научного мышления.

Аристотель был первым мыслителем, создавшим всестороннюю систему философии, охватившую все сферы человеческого развития: социологию, философию, политику, логику, физику. Его взгляды на онтологию имели серьёзное влияние на последующее развитие человеческой мысли. Метафизическое учение Аристотеля было принято Фомой Аквинским и развито схоластическим методом. Карл Маркс называл Аристотеля величайшим мыслителем древности^[3].

Ассемблер

Транслятор исходного текста программы, написанной на языке ассемблера, в программу на машинном языке.