Словарь терминов
Alle Kategorien |
КЛАССИФИКАЦИЯ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ |
---|
Декларати́вное программи́рованиеДекларати́вное программи́рование — это парадигма программирования, в которой задаётся спецификация решения задачи, то есть описывается, что представляет собой проблема и ожидаемый результат |
Логи́ческое программи́рованиеПарадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода. |
Поколения языков программированияК первому поколению- относят машинные языки — языки программирования на уровне команд процессора конкретной машины.Языки второго поколения (2GL) создавались для того, чтобы облегчить тяжёлую работу по программированию, перейдя в выражениях языка от низкоуровневых машинных понятий ближе к тому как обычно мыслит программист. Языки программирования четвёртого поколения (4GL) лучше представлять как среды разработки четвёртого поколения. Они относятся к временному периоду с 1970-х по начало 1990-х. Языки этого поколения предназначены для реализации крупных проектов, повышают их надежность и скорость создания, ориентированы на специализированные области применения, и используют не универсальные, а проблемно-ориентированные языки, оперирующие конкретными понятиями узкой предметной области. Рождение языков пятого поколения произошло в середине 90-х годов. К ним относятся также системы автоматического создания прикладных программ с помощью визуальных средств разработки, без знания программирования |
ЛОГИЧЕСКИЕ ОПЕРАЦИИ |
---|
Дизъю́нкцияДизъю́нкция (лат. disjunctio — разобщение), логи́ческое сложе́ние, логи́ческое ИЛИ, включа́ющее ИЛИ; иногда просто ИЛИ — логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу» || b,a{\displaystyle b,\;a} | b,a ORb{\displaystyle b,\;a~{\mbox{OR}}\,\,b},max(a,b).{\displaystyle ,\;\max(a,b).} |
Логическая равнозначность или эквивалентностьЭквивалентность - это сложное логическое выражение, которое является истинным тогда и только тогда, когда оба простых логических выражения имеют одинаковую истинность. Таблица истинности для эквивалентности |
Штрих Ше́ффераБинарная логическая операция, булева функция над двумя переменными. Введена в рассмотрение Генри Шеффером в 1913 г. Штрих Шеффера, обычно обозначаемый |, эквивалентен операции И-НЕ. Таким образом, высказывание X | Y означает, что X и Y несовместны, то есть не являются истинными одновременно. От перемены мест операндов результат операции не изменяется. Задаётся следующей таблицей истинности: |
Штрих ШеффераШтрих Ше́ффера — бинарная логическая операция, булева функция над двумя переменными. Введена в рассмотрение Генри Шеффером в 1913 г. |
ООП |
---|
Абстракция данныхэто придание объекту характеристик, которые чётко определяют его концептуальные границы, отличая от всех других объектов. |
ИнкапсуляцияОбеспечение доступности главного, выделение основного содержания путём
помещения всего мешающего, второстепенного в некую условную капсулу |
Класс это элемент ПО, описывающий абстрактный тип данных и его частичную или полную реализацию. |