База данных: Книги
Страница 1, Результатов: 58
Отмеченные записи: 0
1.
2.
Подробнее
В12
А 901
Асеев, Георгий Георгиевич.
Дискретная математика : учебное пособие / Г. Г. Асеев, О. М. Абрамов, Д. Э. Ситников. - Ростов-на-Дону : Феникс ; Харьков : Торсинг, 2003. - 144 с. - (Учебники). - ISBN 5-222-03775-4. - ISBN 966-693-257-1 : 55.55 р.
ББК В126я73 +
В174я73
Рубрики: Дискретная математика--Учебные пособия
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- комбинаторика -- теория графов
Доп.точки доступа:
Абрамов, Олег Мартович
Ситников, Дмитрий Эдуардович
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
А 901
Асеев, Георгий Георгиевич.
Дискретная математика : учебное пособие / Г. Г. Асеев, О. М. Абрамов, Д. Э. Ситников. - Ростов-на-Дону : Феникс ; Харьков : Торсинг, 2003. - 144 с. - (Учебники). - ISBN 5-222-03775-4. - ISBN 966-693-257-1 : 55.55 р.
| ГРНТИ |
Рубрики: Дискретная математика--Учебные пособия
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- комбинаторика -- теория графов
Доп.точки доступа:
Абрамов, Олег Мартович
Ситников, Дмитрий Эдуардович
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
3.
Подробнее
В12
Л 136
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов : сборник / И.А. Лавров, Л.Л. Максимова. - Изд. 5-е, испр. - Москва : ФИЗМАТЛИТ, 2004. - 255 с. ; 21 см. - Список лит.: с.248-249; Предм. указ.: с.250-255. - ISBN 5-9221-0026-2
ББК В126
Рубрики: Математическая логика--сборник задач
Доп.точки доступа:
Максимова, Л.Л.
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Л 136
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов : сборник / И.А. Лавров, Л.Л. Максимова. - Изд. 5-е, испр. - Москва : ФИЗМАТЛИТ, 2004. - 255 с. ; 21 см. - Список лит.: с.248-249; Предм. указ.: с.250-255. - ISBN 5-9221-0026-2
| ГРНТИ |
Рубрики: Математическая логика--сборник задач
Доп.точки доступа:
Максимова, Л.Л.
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
4.
Подробнее
В12
В 443
Виленкин, Н. Я.
Рассказы о множествах : учебник / Н. Я. Виленкин. - 3-е изд. - Москва : МНЦМО, 2005. - 152 с. : ил. - 2000 экз. - ISBN 5-94057-036-4 (в обл.)
ББК В126
Рубрики: Множества--Теория
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
В 443
Виленкин, Н. Я.
Рассказы о множествах : учебник / Н. Я. Виленкин. - 3-е изд. - Москва : МНЦМО, 2005. - 152 с. : ил. - 2000 экз. - ISBN 5-94057-036-4 (в обл.)
| ГРНТИ |
Рубрики: Множества--Теория
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
5.
Подробнее
В12
М 824
Москинова, Г. И.
Дискретная математика. Математика для менеджера в примерах и упражнениях : учебное пособие для студ. высш. учеб. заведений, обучающихся по эконом. и управлен. спец. и направлениям / Г. И. Москинова. - Москва : Логос, 2004. - 239 с. ; 22 см. - 3000 экз. - ISBN 5-94010-016-3 (в пер.)
ББК В126я73 +
В174.2я73
Рубрики: Теория множеств--Теория графов
Кл.слова (ненормированные):
Теория множеств -- теория графов -- множества -- отношения -- соответствия
Экземпляры всего: 2
КХ (1), ОЧЗ (1)
Свободны: КХ (1), ОЧЗ (1)
М 824
Москинова, Г. И.
Дискретная математика. Математика для менеджера в примерах и упражнениях : учебное пособие для студ. высш. учеб. заведений, обучающихся по эконом. и управлен. спец. и направлениям / Г. И. Москинова. - Москва : Логос, 2004. - 239 с. ; 22 см. - 3000 экз. - ISBN 5-94010-016-3 (в пер.)
| ГРНТИ |
Рубрики: Теория множеств--Теория графов
Кл.слова (ненормированные):
Теория множеств -- теория графов -- множества -- отношения -- соответствия
Экземпляры всего: 2
КХ (1), ОЧЗ (1)
Свободны: КХ (1), ОЧЗ (1)
6.
Подробнее
В12
Д 304
Демидович, Борис Павлович.
Элементы теории множеств в курсе математического анализа : учебное пособие для студентов / Б. П. Демидович. - Москва : АСТ, 2006. - 64 с. ; 20,5 см. - (Высшая школа). - 7000 экз. - ISBN 5-17-036291-9
ББК В126я73 +
В161.3я73
Рубрики: Множества--Учебные издания для высших учебных заведений
Последовательности--Числовые ряды--Учебные издания для высших учебных заведений
Аннотация: Учебное пособие содержит основы теории множеств, элементы математической логики, а также их приложения к избранным вопросам математического анализа. Материал изложен просто и наглядно. Приведены разбор характерных примеров и необходимые упражнения для самостоятельного решения, снабженные указаниями и ответами.& x0D; Пособие адресовано студентам втузов. При его редакторском просмотре В. Е. Демидовичем исправлены замеченные опечатки и обновлены выходные данные переизданной цитированной литературы.
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
Д 304
Демидович, Борис Павлович.
Элементы теории множеств в курсе математического анализа : учебное пособие для студентов / Б. П. Демидович. - Москва : АСТ, 2006. - 64 с. ; 20,5 см. - (Высшая школа). - 7000 экз. - ISBN 5-17-036291-9
| ГРНТИ |
Рубрики: Множества--Учебные издания для высших учебных заведений
Последовательности--Числовые ряды--Учебные издания для высших учебных заведений
Аннотация: Учебное пособие содержит основы теории множеств, элементы математической логики, а также их приложения к избранным вопросам математического анализа. Материал изложен просто и наглядно. Приведены разбор характерных примеров и необходимые упражнения для самостоятельного решения, снабженные указаниями и ответами.& x0D; Пособие адресовано студентам втузов. При его редакторском просмотре В. Е. Демидовичем исправлены замеченные опечатки и обновлены выходные данные переизданной цитированной литературы.
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
7.
Подробнее
В12
Е 804
Ершов, Ю. Л.
Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - Изд. 5-е, стер. - Санкт-Петербург : Лань, 2006. - 336 с. ; 21 см. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - 1500 экз. - ISBN 5-8114-0533-2 (в пер.)
ББК В12
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Исчисление высказываний -- Теория множеств -- Алгебраические системы -- Исчисление предикатов -- Теория моделей -- Теория доказательств -- Алгоритмы -- Рекурсивные функции
Аннотация: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.
Доп.точки доступа:
Палютин, Е. А.
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
Е 804
Ершов, Ю. Л.
Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - Изд. 5-е, стер. - Санкт-Петербург : Лань, 2006. - 336 с. ; 21 см. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - 1500 экз. - ISBN 5-8114-0533-2 (в пер.)
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Исчисление высказываний -- Теория множеств -- Алгебраические системы -- Исчисление предикатов -- Теория моделей -- Теория доказательств -- Алгоритмы -- Рекурсивные функции
Аннотация: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.
Доп.точки доступа:
Палютин, Е. А.
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
8.
Подробнее
В12
Х 265
Хаусдорф, Ф.
Теория множеств : переводное издание / Ф. Хаусдорф ; пер. с нем. Н. Б. Веденисова ; под ред. и с доп. П. С. Александрова, А. Н. Колмогорова. - 3-е изд., стереотип. - Москва : КомКнига (URSS), 2006. - 303 с. ; 21,5 см. - ISBN 5-484-00296-6
ББК В126
Рубрики: Теория множеств
Кл.слова (ненормированные):
Теория множеств -- множества
Доп.точки доступа:
Веденисов, Н. Б. \пер.\
Алесандров, П. С. \ред.\
Колмогоров, А. Н. \ред.\
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Х 265
Хаусдорф, Ф.
Теория множеств : переводное издание / Ф. Хаусдорф ; пер. с нем. Н. Б. Веденисова ; под ред. и с доп. П. С. Александрова, А. Н. Колмогорова. - 3-е изд., стереотип. - Москва : КомКнига (URSS), 2006. - 303 с. ; 21,5 см. - ISBN 5-484-00296-6
| ГРНТИ |
Рубрики: Теория множеств
Кл.слова (ненормированные):
Теория множеств -- множества
Доп.точки доступа:
Веденисов, Н. Б. \пер.\
Алесандров, П. С. \ред.\
Колмогоров, А. Н. \ред.\
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
9.
Подробнее
В12
Б 649
Бирюков, Б. В.
Крушение метафизической концепции универсальности предметной области в логике. Контроверза Фреге-Шредер : научное издание / Б. В. Бирюков. - 2-е изд., испр. и доп. - Москва : КомКнига, 2005. - 134 с. ; 21,5 см. - ISBN 5-484-00053-X
ББК В12 + Ю4
Рубрики: Математическая логика--История
Кл.слова (ненормированные):
Математическая логика -- логика
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Б 649
Бирюков, Б. В.
Крушение метафизической концепции универсальности предметной области в логике. Контроверза Фреге-Шредер : научное издание / Б. В. Бирюков. - 2-е изд., испр. и доп. - Москва : КомКнига, 2005. - 134 с. ; 21,5 см. - ISBN 5-484-00053-X
| ГРНТИ |
Рубрики: Математическая логика--История
Кл.слова (ненормированные):
Математическая логика -- логика
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
10.
Подробнее
В12
К 493
Клини, С. К.
Математическая логика = Mathematical Logic : переводное издание / С. К. Клини ; пер. с англ. Ю. А. Гастева; под ред. Г. Е. Минца. - Изд. 3-е, стереотип. - Москва : КомКнига, 2007. - 480 с. ; 21,5 см. - Библиогр.: с. 451-465; Авт. и предм. указ.: с. 470-4478. - ISBN 978-5-484-00802-5
ББК В12
Рубрики: Математическая логика
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Минц, Г. Е. \ред.\
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
К 493
Клини, С. К.
Математическая логика = Mathematical Logic : переводное издание / С. К. Клини ; пер. с англ. Ю. А. Гастева; под ред. Г. Е. Минца. - Изд. 3-е, стереотип. - Москва : КомКнига, 2007. - 480 с. ; 21,5 см. - Библиогр.: с. 451-465; Авт. и предм. указ.: с. 470-4478. - ISBN 978-5-484-00802-5
| ГРНТИ |
Рубрики: Математическая логика
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Минц, Г. Е. \ред.\
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Страница 1, Результатов: 58