Книга: Гудстейн Р.Л. «Математическая логика»

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

Серия: "Физико-математическое наследие."

Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р. Л. Гудстейна может служить кратким введением в математическую логику. От многих других книг по логике, имеющихся на русском языке, она выгодно отличается тем, что при небольшом объеме в ней излагаются все основные вопросы, включая знаменитые теоремы Геделя о полноте исчисления предикатов и неполноте арифметики. Книга предназначается для студентов старших курсов математических факультетов и лиц прикладных специальностей, занимающихся машинной математикой. Она может бытьполезна также преподавателям математики и логики в вузах и, кроме того, может быть использована для самообразования.

Издательство: "URSS" (2010)

ISBN: 978-5-397-00528-9

Купить за 284 руб в My-shop

Другие книги схожей тематики:

АвторКнигаОписаниеГодЦенаТип книги
Л. М. Лихтарников, Т. Г. СукачеваМатематическая логикаУчебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический… — Лань, (формат: 84x104/32, 288 стр.) Учебники для вузов. Специальная литература Подробнее...2008
413бумажная книга
Ершов Ю.Л.Математическая логикаВ книге изложены основные классические исчисления математической логики: исчисление высказываний и… — Физматлит, - Подробнее...2011
1154бумажная книга
Р. Л. ГудстейнМатематическая логикаШирокое использование математической логики в области математических машин и в других областях математики… — Либроком, (формат: 60x90/16, 160 стр.) Физико-математическое наследие: математика (история математики) Подробнее...2010
353бумажная книга
Ю. Л. Ершов, Е. А. ПалютинМатематическая логикаВ книге изложены основные классические исчисления математической логики: исчисление высказываний и… — ФИЗМАТЛИТ, (формат: 84x108/32, 356 стр.) Подробнее...2011
927бумажная книга
Ершов Юрий Леонидович, Палютин Евгений АндреевичМатематическая логикаВ книге приведены главные традиционные исчисления математической логики: исчисление изречений и… — Физматлит, Подробнее...2011
1259бумажная книга
Р. Л. ГудстейнМатематическая логикаШирокое использование математической логики в области математических машин и в других областях математики… — Издательство иностранной литературы, (формат: 84x108/32, 164 стр.) Библиотека сборника "Математика" Подробнее...1961
430бумажная книга
Ершов Юрий Леонидович, Палютин Евгений АндреевичМатематическая логикаВ книге изложены основные классические исчисления математической логики: исчисление высказываний и… — ФИЗМАТЛИТ, (формат: 84x108/32, 356 стр.) Подробнее...2011
1265бумажная книга
Р. Л. ГудстейнМатематическая логикаШирокое использование математической логики в области математических машин и в других областях математики… — Либроком, (формат: 60x90/16, 160 стр.) Природа Дальнего Востока Подробнее...2010
367бумажная книга
Е. В. ЗайцеваМатематическая логика и теория алгоритмовИзложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете… — Горная книга, электронная книга Подробнее...2006
319электронная книга
Другие книги по запросу «Математическая логика» >>

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

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

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

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

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

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

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


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

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