Сводный каталог книг

. Т. 1 : Индукция и аналогия в математике ; Т. 2 : Схемы правдоподобных умозаключений. \b Т. 1\b0 : Индукция и аналогия в математике ; \b Т. 2\b0 : Схемы правдоподобных умозаключений / Дьердь Пойа ; пер. И. А. Вайнштейн, ред., авт. предисл. С. А. Яновская. - М. : Изд-во иностр. лит., 1957. - 535 с. : ил., табл. + 21 см. - Библиогр. - Пер. изд. : Mathematics and plausible reasoning / G. Polya. - Prinseton; New Jersey, 1954. - Б. ц.

ГРНТИ

27.03

ББК В12


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Вайнштейн, И. А. \пер.\; Яновская, С. А. \ред. пер., авт. предисл.\; Polya, G.
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)

. Т. 1 : Индукция и аналогия в математике ; Т. 2 : Схемы правдоподобных умозаключений. \b Т. 1\b0 : Индукция и аналогия в математике ; \b Т. 2\b0 : Схемы правдоподобных умозаключений / Дьердь Пойа ; пер. И. А. Вайнштейн, ред. пер, авт. предисл. С. А. Яновская. - 2-е изд., испр. - М. : Наука, 1975. - 463 с. : ил., табл. - Пер. изд. : Mathematics and plausible reasoning. - 1954. - 1.71 р.

ГРНТИ

27.03

ББК В12


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Вайнштейн, И. А. \пер.\; Яновская, С. А. \ред. пер, авт. предисл.\
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)

[Текст] : монография / В.Э. Вольфенгаген. - 2-е изд. - Москва : Центр ЮрИнфоР, 2003. - 336 с. - (Библиотека "ЮрИнфоР". Серия, Компьютерные науки и информационные технологии). - Библиогр.: с. 291-308. - Предм. указ.: с. 309-312. - В надзаг.: Ин-т актуальн. образования "ЮрИнфоР-МГУ", Каф. перспективн. компьютерн. исслед. и информ. технологий. . - ISBN 5-89158-101-9 : 195.00 р.

УДК

004

ББК В19

Аннотация: Изложен основной круг задач, сводимых к исчислению объектов - "от простого к сложному". Конкретный вариант исчисления выбирается в зависимости от решаемых вычислительных задач. В ходе последовательного решения задач читатель овладевает основными методами и средствами комбинаторной логики и лямбда-исчисления. Все задачи снабжены подробными и элементарными решениями. Для студентов старших курсов и аспирантов, изучающих математические основы объектно-ориентированных вычислений, начинающих и профессионально работающих над продвинутыми проектами программистов. Может быть использована в курсах дискретной математики, информатики, теории программирования. Предварительной математической подготовки не требуется. Материал частично или полностью может быть использован для самостоятельного изучения как книга "для первого чтения".

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : учебное пособие / А. Н. Колмогоров, А. Г. Драгалин. - 4-е изд., обновл. - Москва : Едиториал УРСС, 2013. - 233, [1] с. : ил. - (Классический университетский учебник). - Библиогр.: с. 224. - ISBN 978-5-354-01449-1 : 453.00 р.

ГРНТИ

27.03

ББК В12я73

Аннотация: Авторы настоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Введение в математическую логику" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В.Ломоносова, и содержит классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Изложение фундаментальных фактов современной логики (начальных понятий теории множеств, основ логики высказываний и логики предикатов) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Драгалин, Альберт Григорьевич (1941- 1998)
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / В.А. Успенский, Н.К. Верещагин, В.Е. Плиско. - 2-е изд. - Москва : Физматлит, 2002. - 128 с. - Библиогр.: с. 122. - Предм. указ.: с. 123-125. - ISBN 5-9221-0278-8 : 158.50 р.ББК В12я73

Аннотация: В учебном пособии содержится материал основного курса "Введение в математическую логику", читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Верещагин, Николай Константинович; Плиско, Валерий Егорович
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : Учебное пособие / О.Е. Акимов. - Москва : Акимова, 2005. - 656 с. : ил. - Библиогр.: с. 649-650. - ISBN 5-9900342-1-0 : 165.00 р.ББК В12я73

Аннотация: В учебном пособии излагаются основные разделы дискретной математики, являющейся базовой дисциплиной для специалистов по информатике, программированию, электротехнике, микроэлектронике, компьютерным сетям и технологиям. При изложении материала использовался конструктивный подход - наиболее современная и эффективная форма подачи материала. Текст отличается доступностью и ясностью написания, снабжен большим числом примеров решения задач по логике, группам, графам и фракталам. Предназначается для студентов и преподавателей технических университетов.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Text] : научное издание / Азиатская конф. по логике (9 ; 2005 ; Новосибирск) . - Новосибирск : Новосибирский государственный университет, 2005. - 142 p. - Библиогр. в конце докл. - В надзаг.: Новосиб. гос. ун-т, Ин-т математики им. С. Л. Соболева. - Англ. - ISBN 5-94356-283-4 : 52.00 р.ББК В12я431


Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : Сборник задач / И.А. Лавров, Л.Л. Максимова. - 5-е изд., испр. - Москва : Физматлит, 2006. - 256 с. - Библиогр.: с. 248-249. - Предм. указ.: с. 250-255. - ISBN 5-9221-0026-2 : 219.00 р.

ГРНТИ

27.03.17

27.03.19

27.25.01

ББК В161.41я73 + В12я73

Аннотация: В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: "Теория множеств", "Математическая логика" и "Теория алгоритмов". Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков - алгебраистов, логиков и кибернетиков.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : учебное пособие по направлению "Информатика и вычислительная техника" специальности "Программное обеспечение вычислительной техники и автоматизирированных систем", а также специальности "Информационные системы и технологии" / А. А. Набебин, Ю. П. Кораблин. - Москва : Научный мир, 2008. - 343 с. ; 22 см. - Библиогр.: с. 334. - ISBN 978-5-91522-001-9 (в пер.) : 270.00 р.

ГРНТИ	27.03
УДК	510.6(075.8)^V3

ББК В12я73

Аннотация: Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя. Для студентов вузов, специализирующихся в области прикладной математики, вычислительной техники, программирования, информатики.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Кораблин, Юрий Прокофьевич
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / В. В. Целищев. - 2-е изд., испр. - Москва : URSS, 2010. - 135 с. - Библиогр.: с. 132-135. - ISBN 978-5-396-00176-3 : 169.40 р.

ГРНТИ

27.03

02.21

ББК Ю4

Аннотация: Предлагаемая читателю книга посвящена представлению концепции существования в логике. Под логикой существования в работе понимается ряд исследований по применению математической логики к анализу и экспликации понятия существования. Целью настоящего исследования является логический анализ структуры утверждений существования. В итоге рассмотрены теория дескрипций Б. Рассела, модальные концепции понятия существования, теория существования С. Лесневского. Представлена также общая теория логического существования - так называемая свободная от экзистенциальных предположений логика. Книга предназначена для студентов, аспирантов и всех интересующихся философией логики.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : дополнительные главы / А.Н. Колмогоров, А.Г. Драгалин. - 4-е изд., обновл. - Москва : Едиториал УРСС, 2013. - 236, [1] с. - (Классический университетский учебник). - Библиогр.: с. 227-228. - В надзаг.: Московский государственный университет имени М.В. Ломоносова. - ISBN 978-5-354-01448-4 : 461.00 р.

ГРНТИ	27.03
УДК	510.6(075.8)

ББК В12я73

Аннотация: Авторы настоящей книги --- А.Н.Колмогоров и А.Г.Драгалин --- выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М.В.Ломоносова. Изложение фундаментальных фактов современной логики (начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : учебное пособие / Ю.Л. Ершов, Е.А. Палютин. - 3-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - 2000 экз. - ISBN 5-8114-0533-2 (в пер.) : Б. ц.

ГРНТИ	27.03
УДК	510.6(075.8)

ББК В12я73

Аннотация: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)