Применение - абстракция
Cтраница 1
Применение абстракции и связанных с ними методов аналогии позволяет использовать семантическую информацию и специальные знания в общих иерархических стратегиях доказательства теорем. [1]
 |
Состав концептуальных моделей. [2] |
Закономерность формирования бинарных связей раскрывается через применение абстракций определенного вида на каждом уровне абстрагирования. [3]
Идея параллельного объектно-ориентированного программирования призвана обеспечить разработку хорошо структурированных приложений за счет применения подходящих абстракций и методов. Как и в традиционной объектной модели, объекты представляют собой абстрактные типы ( пассивные контейнеры) данных, состояние которых определяется интерфейсом. Если эту модель обогатить набором разделяемых объектов, то она будет хорошо соответствовать концепции программирования над общей памятью. [4]
 |
Закономерность формирования тернарных связей концептуальных структур абстрактного уровня. [5] |
В процессе формирования бинарных связей между категориями на каждом уровне абстрагирования наблюдается повторение применения абстракций, что является проявлением закона цикличности. Повторяемость абстракций разбивает множество категорий на триады. Таким образом, формирование тернарных ( тройных) связей базируется на наличии бинарных связей между категориями триады. При этом в триаде каждой категории отводится определенная роль ( в соответствии с функциональными уровнями закона цикличности): контекстуальная, структурная, монадическая. Для структурных категорий отличительным свойством является их разнородность, поэтому при синтезе они подлежат агрегации в контекстуальную категорию, а при анализе они являются результатом декомпозиции контекстуальной категории. [6]
Как бы логичны и последовательны ни были физические теории, в основе их всегда лежит применение абстракций, не отражающих всех свойств реальных объектов. И в самой теории не могут содержаться доказательства законности применения этих абстракций. Только согласие теории с опытом служит этим доказательством. Поэтому в физике, и в частности в механике, как и во всех опытных науках, при сопоставлении всякой теории с опытом решающее слово принадлежит опыту. [7]
Решение этих задач в учебном процессе происходит не только непосредственным чувственным путем, но и путем организованного мыслительного действия на основе анализа, синтеза, систематизации обучения и преобразования информации с применением абстракций, доказательных и свободных форм мышления. [8]
Решение этих задач в учебном процессе происходит не только непосредственным чувственным путем, но и путем организованного мыслительного действия, на основе анализа, синтеза, систематизации обучения и преобразования информации с применением абстракций, доказательных и свободных форм мышления. [9]
Этот пример иллюстрирует также применение семантических абстракций. Задача, взятая из [7], формулируется так: доказать, что если А - простое число и А С2 В2, то В и С не являются взаимно простыми. Мы считаем, что переменные принимают значения из множества целых чисел, больших единицы. [10]
В этом случае нет никакого оправдания для применения теста, в результате которого дети или взрослые начинают занимать общественное положение, являющееся просто следствием глубокого социального неравенства. Более того, очевидно, что ловким применением статистических абстракций Дженсен затемняет реальную картину, лежащее в основе общественных процессов социальное неравенство, подменяя широкое идеологическое понятие узким статистическим. После изучения впечатляющих статистических корреляций, приведенных в книге Дженсена, у неподготовленного читателя остается ощущение, будто наука продемонстрировала, что / Q-тесты и их сторонники - лучшие друзья угнетенных. [11]
В этом разделе мы рассмотрим первый из нескольких подходов к решению задач, в которых не используется отсечение решений на ранних этапах. Общее в этих подходах состоит в применении абстракции пространства решений ( см. гл. Абстракция дополнительно подчеркивает важные обстоятельства, характеризующие задачу, и обеспечивает ее разбиение на совокупность подзадач. В простейшем случае в абстрактном пространстве будет иметься некоторое единственное разбиение, пригодное для всех задач из некоторой предметной области. [12]
В пятом случае ( разд. При таком подходе требуется, чтобы вся информация, необходимая для проверки частичных решений, была доступна до того, как выдвигается очередная подзадача. Это требование указывает на слабое место такого подхода; некоторые задачи нельзя решить, исходя только из имеющейся информации и не прибегая к возвратам в ходе решения. Хотя применение указанных абстракций повышает эффективность решения задач, этот подход недостаточно гибок для использования в ряде приложений. [13]
Одной из наиболее традиционных для математики идеализации является абстракция актуальной бесконечности, ведущая к идее актуальной бесконечности. Эта абстракция лежит в основе теоретико-множественного построения математики. Другая традиционная идеализация - абстракция потенциальной осуществимости - приводит к идее потенциальной бесконечности. Эта абстракция, в сочетании с отказом от применения абстракции актуальной бесконечности, лежит в основе конструктивного построения математики. [14]
Мы не ставим себе целью изгнать из употребления слово абстракция ни в одном из двух его смыслов. Даже составители словарей не борются с языком, а фиксируют, как употребляют те или иные слова, обороты, выражения. Конечно, и мы не надеемся избавить язык от обвинительного употребления слова абстракция. Нам представляется, что наилучший способ защиты абстракции - это, не рассыпая похвал по ее адресу, рассказать о некоторых интересных эпизодах истории физики и математики, неразрывно связанных с применением абстракции. [15]
Страницы: 1 2