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.	логік
логика n
gen.	логіка
Russian thesaurus
логика n
gen.	наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических. исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. См. также Математическая логика. Большой Энциклопедический словарь

логика : 38 phrases in 3 subjects

Logic	18
Microsoft	4
Technology	16