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

картографическая дисциплина, изучающая теорию картографических проекций (См. Картографические проекции), преобразований их, методы изыскания проекций и способы рационального применения их на практике. Иногда в М. К. Включают весь комплекс вопросов, относящихся к математическому обоснованию карт (компоновка карт, расчёт рамок и др.), а также способы и средства измерений на картах (см. Картометрия). М. К. Тесно связана с математикой, геодезией, со всеми картографическими и другими дисциплинами. Н..

математическая дисциплина, разрабатывающая формальный аппарат для описания строения естественных и некоторых искусственных языков. Возникла в 50-х годах 20 века в связи с назревшей в языкознании потребностью уточнения его основных понятий. В М. Л. Используются по преимуществу идеи и методы алгебры, алгоритмов теории (См. Алгоритмов теория) и автоматов теории (См. Автоматов теория). Не являясь частью лингвистики, М. Л. Развивается в тесном взаимодействии с ней. М. Л. Называют иногда лингвистичес..

приближённое описание какого-либо класса явлений внешнего мира, выраженное с помощью математической символики. М. М. — мощный метод познания внешнего мира, а также прогнозирования и управления. Анализ М. М. Позволяет проникнуть в сущность изучаемых явлений. Процесс математического моделирования (См. Моделирование), то есть изучения явления с помощью М. М., можно подразделить на 4 этапа. Первый этап — формулирование законов, связывающих основные объекты модели. Этот этап требует широкого знания ..

раздел математики, посвященный математическим методам систематизации, обработки и использования статистических данных для научных и практических выводов. При этом статистическими данными называются сведения о числе объектов в какой-либо более или менее обширной совокупности, обладающих теми или иными признаками (таковы, например, данные таблиц 1а и 2а). Таблица 1а. — Распределение диаметра детали в мм, обнаруженное при статистическом исследовании массовой продукции (объяснение обозначений . ..

МАТЕМАТИЧЕСКАЯ логика - дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов). Математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике.. ..

МАТЕМАТИЧЕСКАЯ логика>, дедуктивная логика>, использующая математические методы исследования способов рассуждений (выводов). Математическая теория дедуктивных способов рассуждений.. ..

Сущ., кол-во синонимов. (1). ..

Дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов). Математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике.. ..

Дедуктивная логика, включающая матем. Методы иссл. Способов рассуждений (выводов). Математическая теория дедуктивных способов рассуждений. М. Л. Наз. Также логику, к-рой пользуются в математике. ..

Сущ., кол-во синонимов. (1). ..

МАТЕМАТИЧЕСКАЯ ЛОГИКА (символическая логика), аналитический раздел логики, результат применения математических методов к проблемам классической логики. Рассматривает понятия, которые могут быть истинными или ложными, связь между понятиями и оперирование ими, включая конъюнкцию (логическое умножение), дизъюнкцию (логическое сложение) и отрицание. Утверждения, их связи и оперирование ими сведено до символических представлений. Всем этим манипулируют согласно конкретным правилам. Поэтому выводы мог..

МАТЕМАТИЧЕСКАЯ ЛОГИКА - один из ведущих разделов современной логики и математики. Сформировался в 19-20 ст. Как реализация идеи о возможности записать все исходные допущения на языке знаков, аналогичных математическим и тем самым заменить рассуждения вычислениями. Предыстория М.Л. Связана с именами Аристотеля, Р. Луллия, Дж. Буля (1815-1864), создавшего ее аппарат. Фреге, развившего логико-математические языки. Дж. Пеа-но (1858-1932), попытавшегося изложить разделы математики на языке логики. В ..

Одно из названий современной логики, пришедшей во втор. Пол. 19 - нач. 20 в. На смену традиционной логике. В качестве др. Названия современного этапа в развитии науки логики используется также термин символическая логика. Определение "математическая" подчеркивает сходство новой логики с математикой, основывающееся прежде всего на применении особого символического языка, аксиоматического метода, формализации.М.л. Исследует предмет формальной логики методом построения специальных формализованных я..

ЛОГИКА СИМВОЛИЧЕСКАЯ,. ..

— одно из названий современной формальной логики, пришедшей во второй половине XIX — на­чале XX в. На смену традиционной логике. В качестве другого назва­ния современного этапа в развитии науки логики используется также термин логика символическая. Определение «математичес­кая» подчеркивает сходство новой логики с математикой, осно­вывающееся прежде всего на применении особого символическо­го языка, аксиоматического метода, формализации. М. Л. Исследует предмет формальной логики методом построе­..