Абстракции. Виды абстракций. Контрактная модель программы.
Абстракция – совокупность существенных характеристик некоторого объекта, которые отличают его от всех других видов объектов. Абстракция позволяет смотреть на объект, не заставляя себя разбираться в совокупности сложных частей, из которых он состоит. В свою очередь абстракция может состоять из других абстракций. Например, абстракция новости может состоять из новостей мира и новостей отдельной страны.
Виды абстракций:
Примитивная чувственная абстракция — отвлекается от одних свойств предмета или явления, выделяя другие его свойства или качества (выделение формы предмета, отвлекшись от его цвета или наоборот). В силу бесконечного многообразия действительности никакое восприятие не в состоянии охватить все ее стороны, поэтому примитивная чувственная абстракция совершается в каждом процессе восприятия и неизбежно связана с ним.
Обобщающая абстракция — даёт обобщённую картину явления, отвлечённую от частных отклонений. В результате такой абстракции выделяется общее свойство исследуемых объектов или явлений. Данный вид абстракции считается основным в математике и математической логике.
Идеализация — замещение реального эмпирического явления идеализированной схемой, отвлечённой от реальных недостатков. В результате образуются понятия идеализированных (идеальных) объектов.
Изолирующая абстракция — тесным образом связана с непроизвольным вниманием, поскольку при этом выделяется то содержание, на котором сосредоточивается внимание.
Абстракция актуальной бесконечности — отвлечение от принципиальной невозможности зафиксировать каждый элемент бесконечного множества, то есть бесконечные множества рассматриваются как конечные.
Конструктивизация — отвлечение от неопределённости границ реальных объектов, их «огрубление».