Значение слова формализовать

Примеры употребления слова формализовать в литературе.

Этикет двора не был строго формализован, очевидно, и один из дворян вышел вперед, когда Алак усаживался на высокое сиденье.

Именно эти обстоятельства - необратимость процессов, порожденных изменяющейся ролью внутренних характеристик человеческой личности в процессе современного производства, и быстрое углубление пропасти, отделяющей постиндустриальный мир от остального человечества, - мы и попытались формализовать в концепции постэкономического общества, предложенной в ряде работ последних лет См.

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

Все его время уйдет на выполнение формализованных операций: слушание и записывание лекций, чтение и конспектирование и т.

В рамках КЛК сложилась глоссематика как крайнее, строго формализованное в духе требований математики, логики, семиотики и философии неопозитивизма воззрение на язык.

Он может выступать также и как запятнанный интуицией и эмпиричностью, и тогда его нужно заново формализовать и сделать объектом некоторого числа дополнительных теоретических операций, которые давали бы ему более строгое основание.

Некоторые авторы считают, что деление доказательств на обвинительные и оправдательные применимо не во всех случаях Чтобы правильно разрешить эту коллизию, следует напомнить сказанное выше о соотношении понятий естественного языка и частично формализованного языка науки.

Внутренний мир субъекта познания представляется бесконечно вариативным, потому что рефлексия над процессом познания принципиально не может абстрагировать и формализовать динамику неосознаваемых детерминант, лежащих в основе человеческого интеллекта.

Увы, быстролетный и всеоб ъем-лющий коллективный разум гемян, нашедший формализованное воплощение в программе интеллект-автоматов, для обитателей сфероида оставался недоступной пониманию абстракцией, если не легендой - красивой и возвышенной, но не имеющей ничего общего с жизненными реалиями.

Конечно, если до того экзистенциально-онтологическая почва обеспечена выявлением бытия-в-мире, то задним числом в названной корреляции можно опознать формализованное, онтологически индифферентное отношение.

Правда и то, что между интуитивными представлениями его космогонии и моей формализованной теорией существует немало расхождений.

Сделаем также замечание о том, что полнота системы доказывается той системой, которую она формализует, ее же непротиворечивость доказывается системой, которая формализует ее самое.

Фундаментальной теоремой КТМ является теорема об однопорядковости множества такой структуры квадрату, аналогу теоремы о равномощности бесконечного множества своему квадрату и в этом смысле правилом вывода формальной системы арифметики, полной и непротиворечивой, доказательством теоремы Ферма в качестве доказательства непротиворечивости системы формализуемыми в ней средствами.

Можно лишь сожалеть, что Пильсбери так и не попал в рамки формализованной борьбы за первенство мира.

Такая форма духовности не имеет персонифицированного бога, пантеона посредничающих святых и формализованных обрядов Упор делается на благоговение и удивление, испытываемые во время столкновения с творческими силами природы и многими тайнами мироздания Духовные переживания связываются с дилеммой времени и пространства, происхождением материи, жизни и сознания и конечными целями всего процесса творения Когда же психоделическое переживание развивается в рамках одной из устоявшихся религий, оно, как правило, сходно с их мистическими ответвлениями, а не с основным ортодоксальным течением Оно ближе к христианскому мистицизму, чем к традиционному христианству, ближе к каббале или хасидизму, чем к ортодоксальному иудаизму, ближе к суфизму, чем к исламу.

Источник: библиотека Максима Мошкова