ФОРМАЛЬНЫЕ РАССУЖДЕНИЯ

Русско-английский перевод ФОРМАЛЬНЫЕ РАССУЖДЕНИЯ

formal reasoning

Большой Русско-Английский словарь. New big Russian-English dictionary. 2012

РАССУЖДЕНИЯ — Reasoning
Русско-Американский Английский словарь
РАССУЖДЕНИЯ — Reasonings
Russian Learner's Dictionary
РАССУЖДЕНИЯ — reasoning
Большой Русско-Английский словарь
FORMAL REASONING — формальные рассуждения; рассуждения на формальном уровне
Большой Англо-Русский словарь
ФОРМАЛЬНЫЕ СИСТЕМЫ — Formal system
Русско-Американский Английский словарь
FORMAL REASONING — формальные рассуждения; рассуждения на формальном уровне
Англо-Русский словарь по компьютерам
FORMAL REASONING — формальные рассуждения; рассуждения на формальном уровне
Англо-Русский словарь по вычислительной технике и программированию
ФОРМАЛЬНЫЕ КАНАЛЫ — (для распространения научной информации) formal channels
Русско-Английский словарь по машиностроению и автоматизации производства
FORMAL REASONING — формальные рассуждения; рассуждения на формальном уровне
Англо-Русский словарь компьютерных терминов
ФОРМАЛЬНЫЕ ПОЛНОМОЧИЯ — formal authority
Русско-Английский экономический словарь
ФОРМАЛЬНЫЕ ТРЕБОВАНИЯ ЗАКОНА — formalities of law
Русско-Английский юридический словарь
РАССУЖДЕНИЯ, ЛЕЖАЩИЕ В ОСНОВЕ — • The reasoning behind his proposal is as follows: ...
Русско-Английский научно-технический словарь переводчика
THEME — сущ. 1) а) тема, предмет (разговора, сочинения) basic, dominant theme ≈ главная тема contemporary theme ≈ современная тема Syn : …
Большой Англо-Русский словарь
THEMA — (книжное) тема; предмет (разговора, рассуждения, сочинения) (музыкальное) тема (грамматика) основа
Большой Англо-Русский словарь
REQUIREMENT — сущ. 1) требование; необходимое условие what are his requirements ≈ каковы его условия? to establish, set requirements ≈ определять требования …
Большой Англо-Русский словарь
FORMAL MANIPULATION — мат. формальные преобразования; формальные выкладки; группировка (членов)
Большой Англо-Русский словарь
FORMAL AUTHORITY — 1)официальные полномочия 2)формальные полномочия
Большой Англо-Русский словарь
DATA ABSRACTION — ООП абстракция данных (определение типа данных вместе с определенными на нем операциями, а также аксиомами, задающими формальные свойства этих операций)
Большой Англо-Русский словарь
ARGUE — гл. 1) спорить (with - с кем-л.; about - о чем-л.) to argue logically ≈ приводить логичные аргументы во время …
Большой Англо-Русский словарь
ABSTRACT DATA TYPE — ООП абстрактный тип данных (определение типа данных вместе с определенными на нем операциями, а также, возможно, аксиомами, задающими формальные свойства …
Большой Англо-Русский словарь
FORMAL SYSTEM — Формальные системы
Американский Англо-Русский словарь
FORMAL MANIPULATION — матем. формальные преобразования; формальные выкладки; группировка (членов)
Англо-Русский научно-технический словарь
ARGUE — гл. 1) спорить ( with - с кем-л.; about - о чем-л. ) to argue logically — приводить логичные аргументы …
Англо-Русский словарь по общей лексике
ARGUE — гл. 1) спорить (with - с кем-л.; about - о чем-л.) to argue logically — приводить логичные аргументы во время спора to argue …
Англо-Русский словарь общей лексики
FORMAL CHANNELS — формальные каналы ( для распространения научной информации )
Англо-Русский словарь по машиностроению и автоматизации производства 2
FORMAL CHANNELS — формальные каналы (для распространения научной информации)
Англо-Русский словарь по машиностроению и автоматизации производства
DATA ABSTRACTION — ООП абстракция данных (определение типа данных вместе с определенными на нем операциями, а также аксиомами, задающими формальные свойства этих операций …
Англо-Русский словарь по компьютерам
FORMAL AUTHORITY — 1) официальные полномочия 2) формальные полномочия
Англо-Русский словарь по экономике
BOARDING CARD — сущ. карточка, которую получает пассажир, прошедший таможенный контроль и другие формальные процедуры и, следовательно, имеющий разрешение подняться на борт судна Syn: boarding pass
Англо-Русский словарь по экономике
DATA ABSTRACTION — ООП абстракция данных (определение типа данных вместе с определенными на нем операциями, а также аксиомами, задающими формальные свойства этих операций)
Англо-Русский словарь по вычислительной технике и программированию
ABSTRACT DATA TYPE — ООП абстрактный тип данных (определение типа данных вместе с определенными на нем операциями, а также, возможно, аксиомами, задающими формальные свойства этих …
Англо-Русский словарь по вычислительной технике и программированию
DATA ABSTRACTION — абстракция данных ( определение типа данных вместе с определенными на нем операциями, а также аксиомами, задающими формальные свойства этих операций …
Англо-Русский словарь компьютерных терминов
ABSTRACT DATA TYPE — абстрактный тип данных ( определение типа данных вместе с определенными на нем операциями, а также, возможно, аксиомами, задающими формальные свойства …
Англо-Русский словарь компьютерных терминов
LETTER-BOX COMPANIES — фирмы, зарегистрированные в "налоговых оазисах" и имеющие там формальные представительства
Англо-Русский словарь по экономике и финансам
FORMALITIES OF LAW — формальные требования закона
Англо-Русский юридический словарь
FORMAL SANCTIONS — формальные санкции; средства воздействия, применение которых регламентируется определенными правилами.
Англо-Русский социологический энциклопедический словарь
FORMAL OPERATIONS — формальные операции; по Ж. Пиаже - когнитивные операции, характерные для такой стадии развития ребенка, когда в процесс познания включается абстрактное …
Англо-Русский социологический энциклопедический словарь
FLEXIBLE LABOUR MARKETS — гибкие рынки труда (под влиянием конкуренции исчезают формальные ограничения на занятость и оплату труда).
Англо-Русский социологический энциклопедический словарь
ПСИХОЛОГИЯ — ПСИХОЛОГИЯ До 19 в. психология не была независимой научной дисциплиной, ее трудно было отделить от чисто абстрактных философских рассуждений. То, …
Русский словарь Colier
КИТАЙСКАЯ — История китайской литературы насчитывает около трех тысячелетий. Широкая сфера распространения, самобытность и влияние на литературы соседних народов ставят ее в …
Русский словарь Colier
ЗЕНОН — (р. ок. 490 до н.э.), греческий философ и логик, прославившийся главным образом им парадоксами, которые носят его имя. О жизни …
Русский словарь Colier
ФИЛОСОФИЯ — ФИЛОСОФИЯ Существует три главных раздела философии: методология, метафизика и теория ценностей. Методология. Поскольку философия есть поиск знания о последних вещах, …
Русский словарь Colier
СУФИЗМ — (араб. "тааввуф") мусульманский аскетизм, подвижничество и мистицизм. Этимология твердо не установлена, хотя название считают производным от слова "шерсть" (власяница аскетов), …
Русский словарь Colier
ПАСКАЛЬ — (Pascal, Blaise) (1623-1662), французский религиозный мыслитель, математик и физик, один из величайших умов 17 столетия. Родился в Клермон-Ферране (провинция Овернь) …
Русский словарь Colier
ОТНОСИТЕЛЬНОСТЬ — ОТНОСИТЕЛЬНОСТЬ Ньютоновская механика. Данная статья написана так, что ее можно читать, не имея специальной математической подготовки. Необходимо лишь некоторое знание …
Русский словарь Colier
НОРВЕГИЯ — НОРВЕГИЯ Государственное устройство. Норвегия - конституционная монархия. Король осуществляет связь между тремя ветвями власти. Монархия наследственная, и с 1990 трон …
Русский словарь Colier
МАТЕМАТИКА — МАТЕМАТИКА Еще древние греки отчетливо понимали, что математическая теория должна быть свободна от противоречий. Это означает, что невозможно вывести как …
Русский словарь Colier
МАТЕМАТИКИ — МАТЕМАТИКИ ИСТОРИЯ Классическая Греция. С точки зрения 20 в. родоначальниками математики явились греки классического периода (6-4 вв. до н.э.). Математика, …
Русский словарь Colier
МАКИАВЕЛЛИ — (Machiavelli, Niccolo) (1469-1527), итальянский писатель и дипломат. Родился 3 мая 1469 во Флоренции, второй сын в семье нотариуса. Родители Макиавелли, …
Русский словарь Colier
ЛЯН — благосмыслие (врожденное, естественное, природное, априорное, доопытное нравственное знание, интуиция, сознательность, совесть) - термин китайской философии, главным образом конфуцианства, представляющий знание …
Русский словарь Colier
КИТАЙСКАЯ — КИТАЙСКАЯ ФИЛОСОФИЯ Возникновение неоконфуцианства было вызвано очередным идейным кризисом, обусловленным противостоянием официального конфуцианства с новым конкурентом - буддизмом, а также …
Русский словарь Colier
ИСМАИЛИЗМ — (араб. "исм'лиййа"), одна из школ классической арабо-мусульманской философии, получившая развитие в среде шиитской секты исмаилитов. Исмаилитская философия возникла во второй …
Русский словарь Colier
ДЕКАРТ — (Descartes, Ren, латинизированное имя - Картезий, Renatus Cartesius) (1596-1650), французский философ, математик и естествоиспытатель, более других ответственный за идеи и …
Русский словарь Colier
БЁРК — (Burke, Edmund) (1729-1797), английский государственный деятель, оратор и политический мыслитель, известный прежде всего своей философией консерватизма. Родился в Дублине 12 …
Русский словарь Colier
АРАБСКАЯ — АРАБСКАЯ ФИЛОСОФИЯ Классическую арабскую философию отличает полемический дух. Великими спорщиками были первые мутакаллимы (от араб. "мутакаллимн" - "говорящие") - мутазилиты …
Русский словарь Colier
АРАБСКАЯ — АРАБСКАЯ ФИЛОСОФИЯ Таким образом, этические теории не могут быть жестко отграничены от религиозно-правовых по той области "поступков", которые они регулируют, …
Русский словарь Colier
АРХЕОЛОГИЯ — АРХЕОЛОГИЯ: НАУЧНЫЕ ШКОЛЫ Период с конца 18 и вплоть до середины 20 в. был временем развития археологии по двум ключевым …
Русский словарь Colier
FORMAL REASONING — формальные рассуждения; рассуждения на формальном уровне
Новый большой Англо-Русский словарь
FORMAL MANIPULATION — мат. формальные преобразования; формальные выкладки; группировка (членов)
Новый большой Англо-Русский словарь
ARGUE — гл. 1) спорить (with - с кем-л.; about - о чем-л.) to argue logically ≈ приводить логичные аргументы во время …
Новый большой Англо-Русский словарь

Большой Русско-Английский словарь

← ФОРМАЛЬНЫЕ ПРЕОБРАЗОВАНИЯ ФОРМАЛЬНЫЙ→