математическая логика

сущ., кол-во синонимов: 1

• логистика 9

Значения в других словарях

1. Математическая Логика — Теоретическая логика, символическая логика,- раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк.  Математическая энциклопедия
2. Математическая логика — Логика, развиваемая математическим методом. Характерным для М. л. является использование формальных языков с точным синтаксисом и чёткой семантикой, однозначно определяющими понимание формул.  Большая советская энциклопедия
3. МАТЕМАТИЧЕСКАЯ ЛОГИКА — МАТЕМАТИЧЕСКАЯ ЛОГИКА (символическая логика), аналитический раздел логики, результат применения математических методов к проблемам классической логики.  Научно-технический словарь
4. МАТЕМАТИЧЕСКАЯ ЛОГИКА — МАТЕМАТИЧЕСКАЯ ЛОГИКА — дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике.  Большой энциклопедический словарь
5. МАТЕМАТИЧЕСКАЯ ЛОГИКА — МАТЕМАТИЧЕСКАЯ ЛОГИКА — один из ведущих разделов современной логики и математики. Сформировался в 19-20 ст. как реализация идеи о возможности записать все исходные допущения на языке знаков...  Новейший философский словарь