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 Romanian Russian Scottish Gaelic Serbian Latin Spanish Swedish Tajik Tatar Turkish Ukrainian Vietnamese

логик n stresses
gen.	Logiker m
логика n
gen.	Logik f; Begriffsforschung f; Denkkunst f; Denklehre f
automat.	Logik f (вычислительной машины)
схемная логика n
automat.	Logik f
логика n
comp.	Logik f (digitale Logikschaltung)
Russian thesaurus
логика n
gen.	наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических. исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. См. также Математическая логика. Большой Энциклопедический словарь

логики : 682 phrases in 29 subjects

Applied mathematics	1
Automated equipment	31
British usage, not spelling	2
Business	1
Computers	131
Education	1
Electronics	40
General	16
Informal	1
Information technology	32
Law	1
Linguistics	1
Logic	2
Machine tools	1
Management	4
Mathematics	60
Medical appliances	2
Microelectronics	267
Microsoft	4
Military	1
Patents	1
Philosophy	1
Programming	14
Psychology	3
Radiation	1
Radio	3
Sociology	6
Technology	52
Telecommunications	2