Russian ⇄ Abkhaz Afrikaans Arabic Azerbaijani Bashkir Chinese Czech Danish Dutch English Esperanto Estonian Finnish French Georgian German Greek Hebrew Hungarian Italian Japanese Latvian Norwegian Bokmål Polish Portuguese Russian Scottish Gaelic Serbian Latin Spanish Swedish Tajik Turkish Ukrainian Vietnamese

логика n stresses
gen.	lógica f
corp.gov.	fundamento m
obs.	arte m
Russian thesaurus
логика n
gen.	наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических. исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. См. также Математическая логика. Большой Энциклопедический словарь

логика : 25 phrases in 11 subjects

Automated equipment	1
Computers	1
Electronics	6
General	2
Humorous / Jocular	1
Information technology	1
Logic	4
Mathematics	2
Microsoft	4
Military	1
Psychology	2