Цитаты со словосочетанием «система типов»

Область
поиска
Область
поиска

Неточные совпадения

Некоторые народные богомудры имели целую гностическую систему, напоминающую Я. Бёме и других мистиков гностического типа.
 

Цитаты из русской классики со словосочетанием «система типов»

Неточные совпадения

В конце концов получается система всеобщего, универсального тожества [A. Drews различает (в «Die Religion als Selbstbewusstsein Gottes», 1906) два типа религии: Kausalitätsreligion, к которой он относит религию иудеохристианского типа, и Identitätsreligion108 — религии имманентного типа, как-то: буддизм и измышляемая им самим религия конкретного монизма.
Новейшая германская философия также отличается идеалистическим отвержением подлинной телесности, которая понимается лишь как трансцендентальная схема чувственного опыта или его неразложимый остаток; в спиритуалистических же системах философии, типа Лейбница или Лотце, она истолковывается исключительно в терминах духа, как его состояние, т. е. сама по себе тоже объявляется иллюзией.
И с этой стороны система Беме по своему философскому типу (хотя и не по построению) близка к пантеистическому монизму Спинозы с его единой в своей нераскрытости субстанцией, проявляющейся в бесчисленных атрибутах и модусах.
Русские западники, которым чужд был религиозный тип славянофилов, увлеклись гегелианством, которое было для них столь же тоталитарной системой мысли и жизни, охватывающей решительно все.
Смотреть все цитаты из русской классики со словосочетанием «система типов»

Предложения со словосочетанием «система типов»

Значение словосочетания «система типов»

  • Система типов — совокупность правил в языках программирования, назначающих свойства, именуемые типами, различным конструкциям, составляющим программу — таким как переменные, выражения, функции или модули. Основная роль системы типов заключается в уменьшении числа багов в программах посредством определения интерфейсов между различными частями программы и последующей проверки согласованности взаимодействия этих частей. Эта проверка может происходить статически (на стадии компиляции) или динамически (во время выполнения), а также быть комбинацией обоих видов. (Википедия)

    Все значения словосочетания СИСТЕМА ТИПОВ

Афоризмы русских писателей со словом «система»

Отправить комментарий

@
Смотрите также

Значение словосочетания «система типов»

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

Все значения словосочетания «система типов»

Предложения со словосочетанием «система типов»

  • Для полноты картины следует отметить, что кроме GNU был ещё один проект, который независимо произвёл свободную операционную систему типа Unix.

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

  • Поэтому мы можем предсказать широкое применение систем типа Statcast в областях, не связанных с профессиональным спортом.

  • (все предложения)

Синонимы к словосочетанию «система типов»

Ассоциации к слову «система»

Ассоциации к слову «тип»

Морфология

Правописание

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