Математическая логика / Р. Л. Гудстейн; пер. с англ. В. С. Чернявского; под ред. С. А. Яновской.
Material type: TextLanguage: Russian Original language: English Series: Библиотека сборник "Математика"Publication details: М. : Изд-во иностр. лит., 1961.Description: 161, [1] с. : илSubject(s): Summary: Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей.Брошюра Гудстейна может служить кратким введением в математическую логику. От других книг по логике, имеющихся на русском языке, она выгодно отличается тем, что при небольшом объеме в ней излагаются все основные вопросы, включая знаменитые теоремы Гёделя о полноте исчисления предикатов и неполноте арифметики.Брошюра предназначается для студентов старших курсов математических факультетов и лиц прикладных специальностей, занимающихся машинной математикой. Она может быть полезна также преподавателям математики и логики в вузах и, кроме того, может быть использована для самообразования.Русский перевод снабжен примечаниями, в основном преследующими цель облегчить понимание более трудных мест текста.Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
წიგნი | ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ. | 510.6(075.8) (Browse shelf(Opens below)) | 2R196125 | Available | 2017-305848 | ||
წიგნი | ეროვნული სამეცნიერო ბიბლიოთეკა 2 კორპ. 2, საცავი | 510.6(075.8) (Browse shelf(Opens below)) | ს-10265 | Available | 2017-300064 |
Доп. тит. л. на англ. яз.
Указ. содержания, терминов, фамилий: с.155-159; Указ. обозначений: с.160-161
Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей.Брошюра Гудстейна может служить кратким введением в математическую логику. От других книг по логике, имеющихся на русском языке, она выгодно отличается тем, что при небольшом объеме в ней излагаются все основные вопросы, включая знаменитые теоремы Гёделя о полноте исчисления предикатов и неполноте арифметики.Брошюра предназначается для студентов старших курсов математических факультетов и лиц прикладных специальностей, занимающихся машинной математикой. Она может быть полезна также преподавателям математики и логики в вузах и, кроме того, может быть использована для самообразования.Русский перевод снабжен примечаниями, в основном преследующими цель облегчить понимание более трудных мест текста.
There are no comments on this title.