Всего найдено: 1000
  • §13. Генерализация и формализация
    Резко различать должно отношения генерализации и специализации от существенно иного — обобщения содержательного в чисто логически формальное — и обратно этому — обретения содержательности чем-либо логически формальным. Говоря 20 другими словами: генерализация есть нечто совершенно иное, нежели формализация, подобная, например, той, какая играет столь значительную роль в математическом анализе, а специализация — нечто совершенно иное, нежели деформализация, т. е. «за- is полнение»
  • 61. Формализация как метод теоретического исследования.
    Формализация — отображение содержательного знания в знаково-символическом виде (формализованном языке). Последний создается для точного выражения мыслей с целью исключения возможности для неоднозначного понимания. При формализации рассуждения об объектах переносятся в плоскость оперирования со знаками (формулами), что связано с построением искусственных языков (язык математики, логики, химии и т.п.). Формализация служит основой для процессов алгоритмизации программирования вычислительных
  • 61. Формализация как метод теоретического исследования.
    Формализация — отображение содержательного знания в знаково-символическом виде (формализованном языке). Последний создается для точного выражения мыслей с целью исключения возможности для неоднозначного понимания. При формализации рассуждения об объектах переносятся в плоскость оперирования со знаками (формулами), что связано с построением искусственных языков (язык математики, логики, химии и т.п.). Формализация служит основой для процессов алгоритмизации программирования вычислительных
  • ФОРМАЛИЗАЦИЯ И МАТЕМАТИЗАЦИЯ В ЭКОНОМИЧЕСКОЙ НАУКЕ
    Формализация и математизация экономического знания, как уже отмечалось, берут свое начало с XIX в. Однако первые попытки относятся еще к XVII—XVIII вв. — это и «Политическая арифметика» У. Петти, и «Экономическая таблица» Ф. Кенэ. Впоследствии формализация экономической науки очень быстро приняла вид математизации экономического знания. Формализацию в экономическом исследовании следует определить как метод, основанный на выявлении и фиксации формальной структуры хозяйственных процессов и
  • 5.4. Метод формализации
    Формализация — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации информации и т.п.) в виде формальной системы. Формальная сис­тема — это знаковая модель, задающая множество объектов путем описания исходных объектов и правил построения новых. Язык является той знаковой системой, которая позволяет осу­ществлять информационный обмен в любой социальной системе. Наряду с естественными языками в информатике разработаны и формальные языки: системы
  • Метод формализации
    Формализация — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации информации и т.п.) в виде формальной системы. Формальная система — это знаковая модель, задающая множество объектов путем описания исходных объектов и правил построения новых. Язык является той знаковой системой, которая позволяет осуществлять информационный обмен в любой социальной системе. Наряду с естественными языками в информатике разработаны и формальные языки: системы
  • Формализация и стандартизация данных
    Формализация данных - это приведение их к единой унифицированной форме. Формализация обеспечивает сопоставимость результатов различных исследований, повышает степень их доступности для любых заинтересованных специалистов. Наиболее часто в медицинской практике формализации подлежат отчетные документы, истории болезни, карты амбулаторного больного, протоколы исследования больных, результаты анализов. В основе формализации данных, как правило, лежит принцип их стандартизации. Это позволяет
  • 12.1. Формализация как достижение науки
    Коснемся заявленного в заголовке вопроса, не вдаваясь глубоко в суть соответствующей проблематики. Прежде всего — несколько слов о понятии формализации. Ясно, что описание какого-либо фрагмента реальности с помощью математического языка — это формализация. Однако понятие формализации шире. В него можно включать, скажем, переход к использованию формальной логики. Более того, этапу математизации, переводу представлений исследователя на математический язык неизбежно предшествует этап
  • Задача формализации
    Формализация — это представление какой-либо содержательной информации из какой-либо предметной области, например из области политических процессов и явлений, в виде формальной системы или такого же исчисления. Формализация, всегда осуществляемая на базе определенных абстракций, идеализаций и искусственных символических языков, используется прежде всего в математике, а также в тех науках, в которых применение математического аппарата достигает достаточной для этой цели степени зрелости.
  • ФОРМАЛИЗАЦИЯ И МАТЕМАТИЗАЦИЯ КАК МЕТОДЫ РАЗВИТИЯ НАУЧНОГО ЗНАНИЯ
    Человек как познающий субъект в ходе исследования процессов окружающего мира сталкивается со значительными трудностями и проблемами. Его разум порой оказывается не в состоянии справиться с решением тех неординарных задач, что предлагают ему природа и общество. Однако в своей познавательной практике человеку удалось изобрести ряд важнейших гносеологических приемов (методов), значительно упростивших ему исследовательский процесс и одновременно позволивших добиться почти что фантастического
  • Относительность «границ формализации»
    До сих пор, особенно от гуманитариев, в том числе и философов, можно услышать заявления о том, что формализация обладает ограниченными возможностями и непременно связана с наличием некоторого «неформализуемого остатка». Иногда при этом еще подчеркивают, что «любая формализация характеризуется внутренней ограниченностью» — «внутренней», по-видимому, в смысле «органически присущей». Верно, конечно, что формализация только приближенно отображает «внеформальное» содержание. А это последнее нередко
  • Оптимизация параметров процессов проектирования, отработки и испытаний технического комплекса на надежность на основе информационно-системной формализации
    Диссертация на соискание учёной степени кандидата технических наук. Санкт - Петербург - 2006 Специальность 05.13.01 “Системный анализ, управление и обработка информации (информатика)” В настоящее время особое внимание уделяется процессам создания тех-нических комплексов (ТК) заданной надёжности. Поскольку, процесс создания ТК состоит из многих этапов, каждый этап играет свою роль в процессе создания ТК. Отработка и испытания являются завершающими этапами процесса создания ТК и непосредственно
  • Особенности формализации современной науки
    Процесс теоретизации современной науки тесно связан с процессом ее формализации. Формализация определяется в философском энциклопедическом словаре как совокупность познавательных операций, обеспечивающих отвлечение от значения понятий и смысла выражений научной теории с целью исследования ее логи- ческих особенностей239 . При этом результаты мышления отображаются в точных понятиях и утверждениях. Формализация связана с построением абстрактно-математических моделей, раскрывающих сущность
  • 6.12. ФОРМАЛИЗАЦИЯ ИНФОРМАЦИИ
    Самым простым шагом в направлении информационного инжиниринга является формализация всей подходящей для этого информации в организации. Следует отметить, что часть информации внутри организации уже формализована, при этом информационной единицей является документ, то есть оформленный в соответствии со стро- 6.12. Формализация информации 285 гими правилами и стандартами «кусок» информации, например, на бумажном носителе. Стандарты и правила, определяющие вид и содержание документа, могут
  • 2. Формализация
    Этот прием заключается в построении абстрактных моделей, с помощью которых исследуются реальные объекты. Формализация обеспечивает возможность оперировать знаками, формулами. Вывод одних формул из других но правилам логики и математики позволяет установить такие теоретические закономерности, которые не могли быть открыты эмпирическим путем. Формализация играет существенную роль в анализе и уточнении научных понятий. В научном познании подчас нельзя не только разрешить, но даже сформулировать
  • 3.2.5. Формализация предметной области
    Формализация предметной области осуществляется на основе ее когнитивной структуризации, проведенной в разделе 1.2 данной работы. Формализация предметной области – это конструирование классификационных и описательных шкал и градаций, как правило, порядкового типа, в системе которых предметная область описывается в динамике в форме, пригодной для обработки на компьютере с использованием математических моделей. Основной принцип, который положен нами в основу выполнения данного этапа состоит в том,
  • 3.3.3. Формализация предметной области
    Формализация предметной области осуществляется на основе ее когнитивной структуризации, проведенной в предыдущем разделе. Формализация предметной области – это конструирование классификационных и описательных шкал и градаций, как правило, порядкового типа с использованием интервальных оценок, в системе которых предметная область описывается в форме, пригодной для обработки на компьютере с использованием математических моделей. В соответствии с методом СК-анализа каждый числовой фактор из
  • Методы теоретического познания: формализация, аксиоматический метод, гипотетико-дедуктивный метод
    Формализация – отображение содержательного знания в знаково-символическом виде (формализованном языке). Формализованный язык создаётся для точного выражения мыслей с целью исключения возможности для неоднозначного понимания. При формализации рассуждения об объектах переносятся в плоскость оперирования со знаками (формулами), что связанно с построением искусственных языков (язык математики, логики, химии и т.п.). Главное в процессе формализации состоит в том, что над формулами искусственных
  • 1.3.4.5. Этап-3: "Формализация"
    Этап формализации необходим для преобразования декларативных и процедурных знаний о предметной области, полученных на этапе концептуализации, в форму, пригодную для их обработки на компьютере. На данном этапе: – выбирается или разрабатывается формальный язык, обеспечивающий представление знаний и манипулирование ими; – осуществляется формализация знаний, т.е. они преобразуются в форму, пригодную для обработки на компьютере. Способы представления знаний: фреймы, сценарии, семантические сети,
  • Формализация результатов профессионального психологического отбора
    Разработка алгоритма вынесения итогового заключения - несомненно один из наиболее важных элементов в создании системы ППО, поскольку в нем отражена основная методологическая идея отбора кандидатов на замещение вакантных должностей. Однако этим разработка системы ППО не завершается. Для того чтобы повысить эффективность отбора и снизить вероятность случайной ошибки, необходимо обеспечить формализацию результатов обследования и максимально стандартизировать саму процедуру обследования.
  • 1. ОСОБЕННОСТИ ФОРМАЛИЗАЦИИ МАТРИЦЫ ПОЛЕЗНОСТЕЙ С УЧЕТОМ ВРЕМЕННОЙ СТОИМОСТИ ДЕНЕГ
    Прежде всего, отметим, что процедуры формализации полной группы событий, влияющих на конечный экономический результат, реализуются независимо от требования учета (либо отсутствия такого учета) временной стоимости денег. Поэтому они останутся вполне аналогичными тем, которые были представлены в предыдущей главе. Разумеется, это положение относится к ситуации, когда дополнительно не требуется учитывать возможность случайных изменений в самой временной структуре процентныхставок. Далее будем
1 2 3 4 5 6 7 8 9 10 11 > 48
- Абстракция и идеализация - Аксиоматизация - Алгебра логики - Алгебраические, теоретико-множественные семантики - Аналогия - Аппарат логики - Вероятностная логика - Индуктивная логика - Интуиционизм и консерватизм - История логики - Категорная семантика - Классификация - Классическая логика - Логика высказываний - Логика кванторов - Логика первого и высших порядков - Логика решений - Логицизм - Логическая семантика - Логические и семантические парадоксы - Логические проблемы аргументации - Логические формы и приемы познания - Метатеоретические проблемы логики - Недедуктивные логические теории - Неклассические логики - Непротиворечивость, полнота, разрешимость формализованных теорий - Определение - Определимость, сравнительный анализ логических теорий - Прикладные проблемы логики и логической семантики - Проблема содержательности семантик логических систем - Проблемы аксиоматизации теории множеств - Реляционные семантики возможных миров - Силлогистические теории - Теории логического вывода - Теория доказательств - Теория моделей - Теория семантических категорий - Типы исчислений - Формализация - Формализм - формы мышления -