Übersetzung für 'формальная' von Russisch nach Deutsch

формальная логика {ж}

formale Logik {f}мат.

• Таким способом задается формальная теория ("формальная аксиоматическая теория", "формальное (логическое) исчисление").
• ОПОЯ́З, русский формализм, «формальная школа» ("общество изучения поэтического языка" или "общество изучения теории поэтического языка") — научное объединение, созданное группой теоретиков и историков литературы, лингвистов, стиховедов — представителей так называемой «формальной школы» и существовавшее в 1916—1925 годах.
• 3dfx прекратила деятельность в декабре 2000 года, а формальная процедура банкротства завершилась в 2002 году.
• Для чирикауа характерны формальная и семантическая фузия и агглютинация .
• Выделяются три уровня онтологии: формальная, описательная и формализованная.

• Интуициони́стская ло́гика — формальная система, отражающая некоторые способы рассуждений, приемлемые с точки зрения интуиционизма.
• Из этого противоположения возникла формальная логика, которая считает возможным рассматривать мышление и его элементы независимо от того, что в них мыслится.
• Существует формальная организация жилмассива «Газопровод».
• Если формальная система содержательно непротиворечива, то она формально непротиворечива.
• Ныне сохраняется лишь формальная подчиненность епархии Константинополю.

• Например, формальная логика утверждает, что из предложения структуры: «Ни одно A не есть B» необходимо вытекает предложение структуры: «Ни одно B не есть A».
• Он показал, что формальная задача, поставленная испытуемому, имеет огромное влияние на результат эксперимента по отслеживанию глаз.
• Книжный клуб — это формальная или неформальная организация, которая объединяет любителей чтения в разных городах и странах мира.
• При таких разных и контрастных частях единству цикла способствуют тональные, жанровые соотношения, соподчиненность частей, формальная дифференциация.
• Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.

• соответствует приведённому в преамбуле с тем отличием, что там используется формальная переменная [...] ради большей математической общности.
• где "X" — формальная переменная, [...] — целое число (не обязательно положительное) и только конечное число [...] неотрицательны.