Книга: Ершов Юрий Леонидович, Палютин Евгений Андреевич «Математическая логика»

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

Производитель: "ФИЗМАТЛИТ"

В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов. ISBN:978-5-9221-1301-4

Издательство: "ФИЗМАТЛИТ" (2011)

Формат: 84x108/32, 356 стр.

ISBN: 978-5-9221-1301-4

Купить за 1265 грн (только Украина) в

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Математическая логикаВ книге приведены главные традиционные исчисления математической логики: исчисление изречений и… — Физматлит, Подробнее...20111259бумажная книга

ЕРШОВ Юрий Леонидович

ЕРШОВ Юрий Леонидович (р. 1940) - российский математик, академик РАН (1991). Труды по теории алгоритмов, теории нумераций, теории моделей, теории чисел.

Источник: ЕРШОВ Юрий Леонидович

См. также в других словарях:

  • МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение… …   Философская энциклопедия

  • математическая логика —         ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… …   Энциклопедия эпистемологии и философии науки

  • МАТЕМАТИЧЕСКАЯ ЛОГИКА — Ее еще называют символической логикой. М. л. это та же самая Аристотелева силлогистическая логика, но только громоздкие словесные выводы заменены в ней математической символикой. Этим достигается, во первых, краткость, во вторых, ясность, в… …   Энциклопедия культурологии

  • МАТЕМАТИЧЕСКАЯ ЛОГИКА — МАТЕМАТИЧЕСКАЯ логика, дедуктивная логика, использующая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений …   Современная энциклопедия

  • МАТЕМАТИЧЕСКАЯ ЛОГИКА — дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике …   Большой Энциклопедический словарь

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


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»