DictionaryForumContacts

   Russian
Google | Forvo | +
noun | noun | to phrases
логик nstresses
philos. 論理学者
логика n
gen. 条理; 論理学 (наука); 筋道; 筋目
n логика | n n
gen. ロジック gai1; 論理 ichi1 news1 nf05
 Russian thesaurus
логика n
gen. наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических. исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. См. также Математическая логика. Большой Энциклопедический словарь
логика
: 30 phrases in 5 subjects
Business1
Computers1
General6
Microsoft4
Physics18