Справочник
Справочник
 

Сборник статей

Статьи тематикам:

  • Экономика

  • Справочник

    Справочник

    Полный список слов справочника

     
    А  Б  В  Г  Д  Е  Ж  З  И  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я

    Справочник ЛОГИКА (греч . logike)

    ЛОГИКА (греч . logike)

    наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических. исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. См. также Математическая логика.

    Случайная справка

    АВГУСТОВСКИЙ ПУТЧ 19 - 21 авг . 1991
    ВУЛКАНОЛОГИИ ИНСТИТУТ (ИВ) ДВО РАН
    ВАДКОВСКИЙ Федор Федорович (1800-44)
    БЕЗЗУБЦЕВ Юрий (? - после 1611)
    БРАУНИТ
    Полезное: