математическая+логика
51ЛОГИКА — (от греч. logikē). Смежная для методики обучения иностранным языкам наука о способах доказательств и опровержений. Применение законов Л. в процессе познания обеспечивает приближение к овладению истиной. Эти законы учитываются как в теоретических… …
Новый словарь методических терминов и понятий (теория и практика обучения языкам)
52ЛОГИСТИКА, МАТЕМАТИЧЕСКАЯ ЛОГИКА — (англ, symbolic logic) современная форма логики, отличающаяся от традиционной логики прежде всего своей формализованностью (принимает во внимание не содержательное значение отдельных высказываний, а лишь их синтаксические категории и структурные… …
53Символическая, или математическая логика — – область логики, в которой выводы исследуются посредством логических исчислений на основе строгого символического языка …
54теоретическая логика — ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… …
55Математическая модель — Математическая модель  это математическое представление реальности[1]. Математическое моделирование  это процесс построения и изучения математических моделей. Все естественные и общественные науки, использующие математический аппарат,… …
56Логика женская — если нельзя, но очень хочется, то можно . Логика математическая исследует предмет формальной логики методом построения специальных формализованных языков, или исчислений. Они позволяют избежать двусмысленной и логической неясности естественного… …
Теоретические аспекты и основы экологической проблемы: толкователь слов и идеоматических выражений
57Математическая лингвистика — Математическая лингвистика математическая дисциплина, предметом которой является разработка формального аппарата для описания строения естественных и некоторых искусственных языков. Возникла в 50‑х гг. 20 в.; одним из главных стимулов появления… …
58Математическая теория доказательств — Теория доказательств (англ. proof theory) раздел математической логики, в котором феномен математического доказательства сам становится объектом, например алгебры или арифметики. Доказательство обычно представляют как индуктивно возникающие… …
59ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… …
60Формальная логика — Формальная логика  конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. Формальная логика, в отличие от неформальной,… …