Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Google | Forvo | +
noun | noun | noun | to phrases
логик nstresses
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. наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических. исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. См. также Математическая логика. Большой Энциклопедический словарь
логика: 679 phrases in 29 subjects
Applied mathematics1
Automated equipment29
British usage, not spelling2
Business1
Computers131
Education1
Electronics40
General15
Informal1
Information technology32
Law1
Linguistics1
Logic2
Machine tools1
Management4
Mathematics60
Medical appliances2
Microelectronics267
Microsoft4
Military1
Patents1
Philosophy1
Programming14
Psychology3
Radio3
Sociology6
Technology52
Telecommunications2
Радиоактивное излучение1

Add | Report an error | Get short URL | Language Selection Tips