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

Большая Советская Энциклопедия. Статьи для написания рефератов, курсовых работ, научные статьи, биографии, очерки, аннотации, описания.


А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я 1 2 3 4 8 A L M P S T X
МА МБ МВ МГ МД МЕ МЁ МЖ МЗ МИ МК МЛ МН МО МП МР МС МТ МУ МХ МЦ МШ МЫ МЬ МЭ МЮ МЯ
МАА
МАБ
МАВ
МАГ
МАД
МАЕ
МАЁ
МАЖ
МАЗ
МАИ
МАЙ
МАК
МАЛ
МАМ
МАН
МАО
МАП
МАР
МАС
МАТ
МАУ
МАФ
МАХ
МАЦ
МАЧ
МАШ
МАЭ
МАЮ
МАЯ

Математическая логика, логика, развиваемая математическим методом. Характерным для Математическая логика является использование формальных языков с точным синтаксисом и чёткой семантикой, однозначно определяющими понимание формул. Потребность в такой логике выявилась в начале 20 века в связи с интенсивной разработкой оснований математики, возникновением множеств теории, где были открыты антиномии (см. Парадокс), уточнением понятия алгоритма и другими глубокими и принципиальными вопросами математической науки. Однако значение Математическая логика для науки в целом не исчерпывается её математическими приложениями, поскольку хорошо рассуждать и доказывать приходится во всех науках. Вот почему Математическая логика с полным правом может быть охарактеризована как логика на современном этапе. См. статья Логика (раздел Предмет и метод современной логики) и литературу при этой статье.

  А. А. Марков.

Так же Вы можете узнать о...


Лаггар (Faico jugger), хищная птица рода соколов.
Машиносчётная станция (МСС), организация, выполняющая вычисления, связанные с обработкой статистической, бухгалтерской и планово-экономической информации.
Немецкая народная партия (Deutsche Volkspartei), партия крупной буржуазии в Германии периода Веймарской республики.
Патария (итал. Pataria), народное движение в северо-итальянских городах во 2-й половине 11 в.
«Процесс 193-х», «Большой процесс», суд над участниками «хождения в народ».
Свердлов Яков Михайлович (партийный псевдоним — Андрей, Макс и др.
Стёртевант Эдгар Хоуард Стёртевант (Sturtevant) Эдгар Хоуард (7.3.1875, Джэксонвилл, штат Иллинойс, — 1.
Туркестанские комиссары, четырнадцать революционных деятелей Туркестанской автономной советской социалистической республики, погибших во время Ташкентского антисоветского мятежа 1919.
Хлынов, название до 1781 г. Кирова в 1781—1934 — Вятка.
Экскаватор (англ. excavator, от лат. excavo — долблю, выдалбливаю), основной тип машин, предназначенных для разработки (копания) мягких горных пород (грунта) в массиве или скальных в раздробленном состоянии, а также для погрузки их в транспортные средства (автомобили, ж.
Анафема (греч. anathēma), в христианстве церковное проклятие, отлучение от церкви.
Биохимии институт им. А. Н. Баха АН СССР. Организован в Москве в 1935 по инициативе А.
Водомерный пост, устройство для систематического измерения уровня воды на реках, морях, озёрах, каналах.
«Государство и революция» «Государство и революция. Учение марксизма о государстве и задачи пролетариата в революции» произведение, в котором В.
Елабужское (Чёртово) городище, остатки укрепленного поселения на берегу р.
Калам (тростниковое перо) Калам (араб., от греч. kálamos — тростник), тростниковое перо.