Сайт - справка Главная |
|
СправкаСписок слов по алфавитуПример поиска: "Суворов" или "физика". Поисковик ищет точное совпадение фразы или слова в любой части названия страницы. ЛОГИКА (греч . logike)наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических. исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. См. также Математическая логика.Узнайте про:АМПЛИТУДА ВЕРОЯТНОСТИБЕДЛЕНД (англ . badland) (дурные земли) АМЕЗИУС (Amesius) Гильельмус (латинизир . форма имени Уильяма Эймза АДЖЕМИ ибн Абу Бекр (1120-е гг . - нач. 13 в.) ВАЛУЕВ Петр Александрович (1815-90) |
|