математическая+логика
11МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… …
12математическая логика — дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике. * * *… …
13МАТЕМАТИЧЕСКАЯ ЛОГИКА — современная математическая модель формальной логики как науки о правильном рассуждении. По меткому выражению русского логика Порецкого, математическая логика суть логика по предмету и математика по методу решения своих проблем. Систематическая… …
14Математическая логика — логика, развиваемая математическим методом. Характерным для М. л. является использование формальных языков с точным синтаксисом и чёткой семантикой, однозначно определяющими понимание формул. Потребность в такой логике выявилась в начале… …
15математическая логика — одно из названий современной формальной логики, пришедшей во второй половине XIX начале XX в. на смену традиционной логике. В качестве другого названия современного этапа в развитии науки логики используется также термин логика символическая.… …
16МАТЕМАТИЧЕСКАЯ ЛОГИКА — дедуктивная логика, включающая матем. методы иссл. способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. М. л. наз. также логику, к рой пользуются в математике …
17Сигнатура (математическая логика) — У этого термина существуют и другие значения, см. Сигнатура. Сигнатура в математической логике и универсальной алгебре  набор символов, специфических для конкретной системы, определяющих её формальный язык. Формально, сигнатура   набор… …
18Литерал (математическая логика) — У этого термина существуют и другие значения, см. Литерал. В математической логике литералом называют атомарную формулу, без 0 и 1, или её логическое отрицание. Соответственно, разделяют два типа литералов: Положительный литерал непосредственно… …
19ЛОГИКА СИМВОЛИЧЕСКАЯ — ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому …
20ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …
