Skip to content
Choice of metadata Электронный каталог ДВФУ
Page 1, Results: 9
Report on unfulfilled requests: 0
1.
Подробнее
К 921
Купиллари, А.
Трудности доказательств. Как преодолеть страх перед математикой / А. Купиллари ; пер. с англ. С. А. Кулешова. - Москва : Техносфера, 2002. - 303 c. : ил. - (Мир математики.). - ISBN 5948360032
Рубрики: доказательства в математике--учебные издания
математика--доказательства--учебные издания
Кл.слова (ненормированные):
математические утверждения -- доказательство теорем -- доказательства (математика) -- упражнения (математика)
Экземпляры всего: 3
Ч/З о. Русский (2), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (2), Абонемент учебной и научной литературы (1)
К 921
Купиллари, А.
Трудности доказательств. Как преодолеть страх перед математикой / А. Купиллари ; пер. с англ. С. А. Кулешова. - Москва : Техносфера, 2002. - 303 c. : ил. - (Мир математики.). - ISBN 5948360032
| УДК |
Рубрики: доказательства в математике--учебные издания
математика--доказательства--учебные издания
Кл.слова (ненормированные):
математические утверждения -- доказательство теорем -- доказательства (математика) -- упражнения (математика)
Экземпляры всего: 3
Ч/З о. Русский (2), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (2), Абонемент учебной и научной литературы (1)
2.
Подробнее
Чень, Ч.
Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли ; пер. с англ. Г. В. Давыдова, Г. Е. Минца, А. В. Сочилиной. - Москва : Наука, 1983. - 358 c. : ил. - (Математическая логика и основания математики). - Библиогр. в конце гл.
Кл.слова (ненормированные):
математическая логика -- доказательство теорем -- логика высказываний -- Эрбрана теорема -- линейная резолюция -- математические теоремы -- математика
Доп.точки доступа:
Ли, Р.
Давыдов, Г. В. \пер.\
Минц, Г. Е. \пер.\
Сочилина, А. В. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Чень, Ч.
Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли ; пер. с англ. Г. В. Давыдова, Г. Е. Минца, А. В. Сочилиной. - Москва : Наука, 1983. - 358 c. : ил. - (Математическая логика и основания математики). - Библиогр. в конце гл.
| УДК |
Кл.слова (ненормированные):
математическая логика -- доказательство теорем -- логика высказываний -- Эрбрана теорема -- линейная резолюция -- математические теоремы -- математика
Доп.точки доступа:
Ли, Р.
Давыдов, Г. В. \пер.\
Минц, Г. Е. \пер.\
Сочилина, А. В. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
3.
Подробнее
Александров, П. С.
Комбинаторная топология / П. С. Александров. - Москва : Гостехиздат, 1947. - 660 c.
Кл.слова (ненормированные):
аксиома -- топология -- математика -- теория множеств -- комбинаторные методы -- Жордана теорема -- доказательство теорем -- бикомпактность
Экземпляры всего: 2
Книгохранение (1), Абонемент учебной и научной литературы (1)
Свободны: Книгохранение (1), Абонемент учебной и научной литературы (1)
Александров, П. С.
Комбинаторная топология / П. С. Александров. - Москва : Гостехиздат, 1947. - 660 c.
| УДК |
Кл.слова (ненормированные):
аксиома -- топология -- математика -- теория множеств -- комбинаторные методы -- Жордана теорема -- доказательство теорем -- бикомпактность
Экземпляры всего: 2
Книгохранение (1), Абонемент учебной и научной литературы (1)
Свободны: Книгохранение (1), Абонемент учебной и научной литературы (1)
4.
Подробнее
Александров, А. Д.
Внутренняя геометрия выпуклых поверхностей / А. Д. Александров. - Москва : Гостехтеориздат, 1948. - 387 c.
Кл.слова (ненормированные):
математика -- геометрия -- доказательство теорем -- многогранники -- теорема о жесткости -- внутренняя геометрия -- выпуклые поверхности -- сложение углов
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Александров, А. Д.
Внутренняя геометрия выпуклых поверхностей / А. Д. Александров. - Москва : Гостехтеориздат, 1948. - 387 c.
| УДК |
Кл.слова (ненормированные):
математика -- геометрия -- доказательство теорем -- многогранники -- теорема о жесткости -- внутренняя геометрия -- выпуклые поверхности -- сложение углов
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
5.
Подробнее
Харди, Г. Г.
Неравенства : пер. с англ. / Г. Г. Харди, Дж. Е. Литтльвуд, Г. Полиа. - Москва : Иностранная литература, 1948. - 456 c.
Рубрики: неравенства (математика)
Кл.слова (ненормированные):
средние значения (математика) -- вариационное исчисление -- полилинейные формы -- выпуклые функции -- доказательство теорем -- Коши неравенство -- Гельдера неравенство -- Минковского неравенство -- Чебышева неравенство -- Мюрхеда теорема -- теорема о средних -- неравенства для рядов -- неравенства для конечных сумм -- неравенства интегральные
Доп.точки доступа:
Литтльвуд, Дж. Е
Полиа, Г.
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Харди, Г. Г.
Неравенства : пер. с англ. / Г. Г. Харди, Дж. Е. Литтльвуд, Г. Полиа. - Москва : Иностранная литература, 1948. - 456 c.
| УДК |
Рубрики: неравенства (математика)
Кл.слова (ненормированные):
средние значения (математика) -- вариационное исчисление -- полилинейные формы -- выпуклые функции -- доказательство теорем -- Коши неравенство -- Гельдера неравенство -- Минковского неравенство -- Чебышева неравенство -- Мюрхеда теорема -- теорема о средних -- неравенства для рядов -- неравенства для конечных сумм -- неравенства интегральные
Доп.точки доступа:
Литтльвуд, Дж. Е
Полиа, Г.
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
6.
Подробнее
Логика и компьютер. Вып. 2. Логические языки, содержательные рассуждения и методы поиска доказательств / РАН. - Москва : Наука, 1995. - 131 c. - (Кибернетика - неограниченные возможности и возможные ограничения). - ISBN 5020068969
Кл.слова (ненормированные):
Логика -- искусственные языки -- логические языки -- доказательство теорем -- методы поиска доказательств -- компьютеры
Доп.точки доступа:
Российская академия наук
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Логика и компьютер. Вып. 2. Логические языки, содержательные рассуждения и методы поиска доказательств / РАН. - Москва : Наука, 1995. - 131 c. - (Кибернетика - неограниченные возможности и возможные ограничения). - ISBN 5020068969
| УДК |
Кл.слова (ненормированные):
Логика -- искусственные языки -- логические языки -- доказательство теорем -- методы поиска доказательств -- компьютеры
Доп.точки доступа:
Российская академия наук
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
7.
Подробнее
Новиков, Федор Александрович.
Дискретная математика для программистов : учебное пособие для вузов / Ф. А. Новиков. - 3-е изд. - Санкт-Петербург : Питер, 2009. - 383 с. : ил. - (Учебник для вузов). - Библиогр. : с. 368-369.. - ISBN 9785911807597
Рубрики: дискретная математика--учебные издания для вузов
Кл.слова (ненормированные):
множества (математика) -- алгебраические структуры -- булевы функции -- логические исчисления -- доказательство теорем -- комбинаторика -- Ньютона бином -- кодирование -- графы (математика) -- Холла теорема -- связность (математика) -- Менгера теорема -- деревья (математика) -- циклы (математика) -- фундаментальные циклы (математика) -- эйлеровы циклы -- гамильтоновы циклы -- прикладная математика
Экземпляры всего: 6
Абонемент о. Русский (3), Книгохранение (1), Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Свободны: Абонемент о. Русский (3), Книгохранение (1), Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Новиков, Федор Александрович.
Дискретная математика для программистов : учебное пособие для вузов / Ф. А. Новиков. - 3-е изд. - Санкт-Петербург : Питер, 2009. - 383 с. : ил. - (Учебник для вузов). - Библиогр. : с. 368-369.. - ISBN 9785911807597
| УДК |
Рубрики: дискретная математика--учебные издания для вузов
Кл.слова (ненормированные):
множества (математика) -- алгебраические структуры -- булевы функции -- логические исчисления -- доказательство теорем -- комбинаторика -- Ньютона бином -- кодирование -- графы (математика) -- Холла теорема -- связность (математика) -- Менгера теорема -- деревья (математика) -- циклы (математика) -- фундаментальные циклы (математика) -- эйлеровы циклы -- гамильтоновы циклы -- прикладная математика
Экземпляры всего: 6
Абонемент о. Русский (3), Книгохранение (1), Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Свободны: Абонемент о. Русский (3), Книгохранение (1), Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
8.
Подробнее
Ларионов, Александр Александрович.
Программные технологии для эффективного поиска логического вывода в исчислении позитивно-образованных формул / А. А. Ларионов, Е. А. Черкашин ; Иркутский государственный университет, Институт динамики систем и теории управления Сибирского отделения РАН. ; Иркутский государственный университет, Российская академия наук, Сибирское отделение; Институт динамики систем и теории управления. - Иркутск : Изд-во Иркутского университета, 2014. - 104 с. : ил., табл. - Библиогр. : с. 95-104.. - ISBN 9785962409412
Рубрики: логический вывод--поиск--информационные технологии--монографии
Кл.слова (ненормированные):
позитивно-образованные формулы -- алгоритмы (информационные технологии) -- доказательство теорем автоматическое -- автоматического доказательства теорем системы -- математическая логика -- логическое программирование
Доп.точки доступа:
Черкашин, Евгений Александрович
Иркутский государственный университет
Российская академия наук. Сибирское отделение; Институт динамики систем и теории управления
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Ларионов, Александр Александрович.
Программные технологии для эффективного поиска логического вывода в исчислении позитивно-образованных формул / А. А. Ларионов, Е. А. Черкашин ; Иркутский государственный университет, Институт динамики систем и теории управления Сибирского отделения РАН. ; Иркутский государственный университет, Российская академия наук, Сибирское отделение; Институт динамики систем и теории управления. - Иркутск : Изд-во Иркутского университета, 2014. - 104 с. : ил., табл. - Библиогр. : с. 95-104.. - ISBN 9785962409412
| УДК |
Рубрики: логический вывод--поиск--информационные технологии--монографии
Кл.слова (ненормированные):
позитивно-образованные формулы -- алгоритмы (информационные технологии) -- доказательство теорем автоматическое -- автоматического доказательства теорем системы -- математическая логика -- логическое программирование
Доп.точки доступа:
Черкашин, Евгений Александрович
Иркутский государственный университет
Российская академия наук. Сибирское отделение; Институт динамики систем и теории управления
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
9.
Подробнее
Харди, Годфри Гарольд.
Неравенства = Inequalities. / Г. Г. Харди, Дж. И. Литлвуд, Г. Полиа ; пер. с англ., с доп. В. И. Левина, С. Б. Стечкина. - Изд. 3-е. - Москва : URSS : [Изд-во ЛКИ], [2008]. - 456 с. - Библиогр. : с. 442-456.. - ISBN 9785382004341
Рубрики: неравенства (математика)
Кл.слова (ненормированные):
неравенства алгебраические -- неравенства интегральные -- Коши неравенство -- Гельдера неравенство -- Минковского неравенство -- Юнга неравенство -- Гильберта неравенство -- доказательство теорем -- неравенства для конечных сумм -- неравенства для рядов -- средние значения (математика) -- вариационное исчисление -- полилинейные формы -- выпуклые функции -- Мюрхеда теорема -- теорема о средних
Доп.точки доступа:
Литлвуд, Джон Идензор
Полиа, Георг
Левин, В. И. \пер.\
Стечкин, С. Б. \пер.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Харди, Годфри Гарольд.
Неравенства = Inequalities. / Г. Г. Харди, Дж. И. Литлвуд, Г. Полиа ; пер. с англ., с доп. В. И. Левина, С. Б. Стечкина. - Изд. 3-е. - Москва : URSS : [Изд-во ЛКИ], [2008]. - 456 с. - Библиогр. : с. 442-456.. - ISBN 9785382004341
| УДК |
Рубрики: неравенства (математика)
Кл.слова (ненормированные):
неравенства алгебраические -- неравенства интегральные -- Коши неравенство -- Гельдера неравенство -- Минковского неравенство -- Юнга неравенство -- Гильберта неравенство -- доказательство теорем -- неравенства для конечных сумм -- неравенства для рядов -- средние значения (математика) -- вариационное исчисление -- полилинейные формы -- выпуклые функции -- Мюрхеда теорема -- теорема о средних
Доп.точки доступа:
Литлвуд, Джон Идензор
Полиа, Георг
Левин, В. И. \пер.\
Стечкин, С. Б. \пер.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Page 1, Results: 9