Russian ⇄ English

- only individual words found

формальные методы stresses
econ.	formal techniques (A.Rezvov)
progr.	formal methods (строгие методы спецификации требований, проекта или реализации, базирующиеся на законах математики или логики ssn)
формальный метод
IT	formal approach
math.	formal method
Russian thesaurus
"Формальный метод"
gen.	в литературоведении - утверждает взгляд на художественную форму как на категорию, определяющую специфику литературы и способную к имманентному развитию или подчинённую логико-математическим законам (ср. Содержание и форма в искусстве). Сложился в немецком искусствознании на рубеже 19-20 вв. (Г. Вельфлин, О. Вальцель, В. Дибелиус, Л. Шпитцер). Особое ответвление - русская "формальная школа" (Общество изучения теории поэтического языка, ОПОЯЗ), Московский лингвистический кружок и отчасти Пражский лингвистический кружок. В 30-50-е гг. формальную методологию развивали швейцарская "школа интерпретации" (Э. Штайгер, В. Кайзер) и американская "новая критика". В 60-х гг. сформировалась новая ветвь "формального метода" - структуралистское литературоведение (см. Структурализм). Большой Энциклопедический словарь

формальный метод: метод проектирования программ, в котором используется язык формальных спецификаций: 2 phrases in 1 subject

Programming

2