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

/ Л. А. Калужнин. - М. : Наука, 1964. - 151 с. - Библиогр. - 0.21 р.

ГРНТИ

02.21

27.03.19

ББК В12 + Ю4


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

/ Г. Кайберг ; пер. с англ. Б. Л. Лихтенфельда, послесл. и общ. ред. А. И. Ракитова. - М. : Прогресс, 1978. - 374 с. - (Логика и методология науки). - Пер. изд. : Probability and inductive logic / H. Kyburg. - 8000 экз. - 1.50 р., 8.50 р.

ГРНТИ

02.21.21

27.43

27.03.19

ББК Ю44


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

/ I. J. Cselogovits ; Hungar. Nat. History Museum. - Budapest : [s. n.], 1965. - Б. ц.
Перевод заглавия: Теория алинеарной дуальности
   Перевод заглавия: Теория алинеарной дуальности

ГРНТИ

27.03.19

ББК В12


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Hungarian Natural History Museum
Экземпляры всего: 1
ИФ-Музей (1)
Свободны: ИФ-Музей (1)

/ Ж. -К. Байиф ; пер. с фр. Ю. Н. Сударева по ред. И. М. Яглома. - М. : Мир, 1983. - 172 с. : рис. - Пер. изд. : Les casse-tete logiques de Baillif. - Paris, 1979. - 50000 экз. - 0.45 р.

ГРНТИ

27.03.19

ББК В12я91


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

/ Д. Бизам, Я. Герцег ; пер. с венг. [и предисл.] Ю. А. Данилова. - М. : Мир, 1975. - 359 с. : ил. - Пер. изд. : Jatek és logika. 85 feladatban / G. Bizam, J. Herczeg. - Budapest, 1972. - 1.15 р.

ГРНТИ

27.03.19

ББК В12я91


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Герцег, Янош; Данилов, Ю. А. \пер.\; Bizam, G. ; Herczeg, J.
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)

[Текст] : учебное пособие / А.К. Гуц; Омский госуниверситет. - Омск : Наследие. Диалог-Сибирь, 2003. - 108 с. : ил. - Библиогр.: с.105-107. - В надзаг.: Омский государственный университет, Факультет компьютерных наук, Кафедра кибернетики. - ISBN 5-8239-0126-7 : 8.50 р.

ГРНТИ

27.03.19

27.03.17

ББК В12 + В19

Аннотация: Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам второго курса отделения компьютерных наук Омского государственного университета в 2002 году. Для студентов, обучающихся по специальности 075200 - "Компьютерная безопасность" и по специальности 220100 - "Вычислительные машины, комплексы, системы и сети".

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

[Текст] : Учебное пособие / А.Н. Колмогоров, А.Г. Драгалин. - Москва : МГУ им. М.В.Ломоносова, 1982. - 120 с. : ил. - Библиогр.: с. 120. - 0.25 р., 0.25 р.
    Содержание:
Начальные понятия математической логики и теория множеств . - С .10-51
Логико-математические языки. Логические законы . - С .52-94
Формальные аксиоматические теории . - С .95-115

ГРНТИ	27.03.19
УДК	517.1

ББК В12 + В12я73 + В12я73-1

Аннотация: Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и логики предикатов. Изложение не предполагает специальных знаний и рассчитано на студентов младших курсов.

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

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

[Текст] : Учеб. пособие по прикл. математике и информатике / Романовский И.В. - 2-е изд., испр. - Санкт-Петербург ; Москва : Физматлит, 2001. - 239 с : ил. - Библиогр.: с. 235-237. - ISBN 5-7940-0048-1 : 78.00 р.

ГРНТИ	27.03.19
УДК	519.1

ББК 22.176

Аннотация: Пособие написано по материалам вводного лекционного курса, который автор читает на математико-механическом факультете Санкт-Петербургского государственного университета студентам специальностей "Прикладная математика" и "Информатика". Особое внимание уделяется связям между понятиями дискретного анализа, возникающими в разных разделах математики и современной информатики. Книга включает следующие главы: 1. Некоторые определения из теории множеств. 2. Комбинаторика. 3. Элементарная теория вероятностей. 4. Задачи работы с информацией. 5. Строки переменной длины. 6. Предикаты и отношения. 7. Теория графов. 8. Процессы. 9. Связи дискретного и непрерывного анализа.

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

[Текст] : Алгоритмы и программы: [Учеб. пособие] / Иванов Б.Н. - Москва : Лаборатория Базовых Знаний, 2001. - 288 с. : ил. - (Технический университет). - Библиогр.: с. 285. - Предм. указ.: с. 286-288. - ISBN 5-93208-093-0 : 92.40 р.

ГРНТИ	27.03.19
УДК	519(075.8)	681.142.2

ББК В12с512я73

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

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

[Текст] : Учеб. пособие для вузов по спец. "Прикл. математика" / Яблонский С.В. - 3-е изд., стер. - Москва : Высшая школа, 2001. - 384 с. : ил. - (Высшая математика). - Библиогр.: с. 370-372. - Указ. предм., обозначений, с. 373-384. - ISBN 5-06-003951-X : 60.10 р., 62.00 р.

ГРНТИ	27.03.19
УДК	519.6(075.8)

ББК В18

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

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

[Текст] : Учебник для втузов / Белоусов А.И. и др. - Москва : МГТУ им. Н.Э.Баумана, 2001. - 743 с. : ил. - (Математика в техническом университете ; вып.19). - Библиогр.: с. 720-723. - Предм. указ.: с. 724-740. - ISBN 5-7038-1769-2 : 111.65 р.

ГРНТИ

27.03.19

ББК В174

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

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

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

[Текст] : Учеб. пособие для вузов / Круглов В.В., Дли М.И., Голунов Р.Ю. - Москва : Физматлит, 2001. - 224 с. : ил, табл. - Библиогр.: с. 224. - ISBN 5-94052-027-8 : 60.20 р.

ГРНТИ

50.07.03

27.03.19

ББК З972.206 + В12я73

Аннотация: Книга посвящена систематическому изложению теории искусственных нейронных сетей, аппарату нечеткой логики и так называемым гибридным нейронным сетям. Показана связь между моделями трех указанных направлений их применение к задачам управления и принятия решений. Рассмотрена программная реализация данных моделей с помощью инструментальных средств математической системы MATLAB 5.2/5.3 - пакетов Neural Networks Toolbox (нейронные сети) и Fuzzy Logic Toolbox (пакет нечеткой логики). Для студентов технических вузов, а также читателей, интересующихся новыми информационными технологиями.

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

[Текст] / АН СССР; Отв. ред. И.Г.Петровский. - Ленинград : Наука. : сборник научных трудов, Вып.1 / Под ред. В.П.Оревкова. - 1968. - 266 с. - Библиогр. в конце ст. - 1.17 р.

ГРНТИ

27.03.19

ББК В123я43


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

[Текст] / АН СССР; Отв. ред. И.Г.Петровский. - Ленинград : Наука. : Сборник работ, Вып.5 / Под ред. В.П.Оревкова и Н.А.Шанина. - 1970. - 263 с. - Библиогр. в конце ст. - 1.42 р.

ГРНТИ

27.03.19

27.41.23

ББК В1я43

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

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

[Текст] : Сборник статей / Российская академия наук ; Российская академия наук; Под ред. С.И. Адяна. - Москва : Наука, 2003. - 207 с. - (Труды Математического института им. В.А. Стеклова ; вып. 242). - Библиогр.: с. 135. - К 100-летию академика П. С. Новикова. - Несколько статей на англ. яз. - ISBN 5-02-032604-6 : 141.00 р., 57.50 р.

ГРНТИ	27.03.19	27.17
УДК	510.6^V3	512^V3

ББК В12 + В15 + В1я43 + В12я43 + В15я43

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

Труды Математического института имени В. А. Стеклова,
том 242

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

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

[Текст]. - Москва : Вычислительный центр АН СССР. : сборник научных трудов / Под ред. А.А.Маркова и Б.А.Кушнера. - 1976. - 153 с. - Библиогр. в конце ст. . - 0.59 р.

ГРНТИ

27.03.17

27.03.19

ББК В12я54(2)1

Аннотация: Настоящий сборник составлен из статей, относящихся к конструктивной семантике, теории сложности алгоритмов, конструктивному математическому анализу и вычислимой топологии. Большинство публикуемых работ докладывалось в 1970-1974 г. на заседаниях семинара по конструктивной математике ВЦ АН СССР и кафедры математической логики механико-математического факультета МГУ.

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

[Текст] : Научное издание / Отв. ред. А.В. Чернавский. - Москва : Наука ; Москва : Наука/Интерпериодика, 2006. - 287 с. : ил. - (Труды Математического института им. В.А. Стеклова, ISSN 0371-9685 ; т.252). - Библиогр. в конце ст. - В сб. материалы междунар. конф. "Геометрическая топология, дискретная геометрия и теория множеств", посвященной памяти Л.В. Келдыш. - ISBN 5-02-033972-5 : 212.00 р., 86.00 р.

ГРНТИ	27.19.19	27.21	27.03.19
УДК	515.1	510.22	514

ББК В1я54 + В15 + В1я43 + В15я43

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

Труды Математического института имени В. А. Стеклова,
том 252

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

Доп.точки доступа:
Келдыш, Людмила Всеволодовна (математик) \о ней\
Экземпляры всего: 2
ИВМ-СИФ (1), ЦНБ-АБ (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)

[Текст] : учебное пособие. Ч. 3. Методы математической физики (дифференциальные уравнения в частных производных второго порядка). Элементы математической логики / А. М. Колобов, Г. С. Неверов. - Минск : Вышэйшая школа, 1971. - 309 с. : ил. - Библиогр. в конце разд. - Б. ц.

ГРНТИ

27.31

27.03.19

ББК В11

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

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

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

[Текст] / М. В. Фридман, В. С. Фридман. - 2-е изд., испр. и доп. - Москва : Либроком, 2014. - 198 с. : ил. - ISBN 978-5-397-04104-1 : 242.00 р., 242.00 р.

ГРНТИ

34.01

27.03.19

ББК Е0 + В12

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

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

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