База данных: Книги
Страница 1, Результатов: 13
Отмеченные записи: 0
1.
Подробнее
В12
К 608
Колмогоров, А. Н.
Математическая логика : учеб. пособие / А. Н. Колмогоров, А. Г. Драгалин. - Изд. 3-е, стереотип. - Москва : КомКнига, 2006. - 238 с. ; 22,5 см. - (Классический университетский учебник). - ISBN 5-484-00520-5 (в пер.)
ББК В12я7
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
ЛОГИКО-МАТЕМАТИЧЕСКИЕ ЯЗЫКИ -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ТЕОРИЯ МНОЖЕСТВ -- ТЕОРИЯ АЛГОРИФМОВ -- ТЕОРИИ ДОКАЗАТЕЛЬСТВ
Доп.точки доступа:
Драгалин, А. Г.
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
К 608
Колмогоров, А. Н.
Математическая логика : учеб. пособие / А. Н. Колмогоров, А. Г. Драгалин. - Изд. 3-е, стереотип. - Москва : КомКнига, 2006. - 238 с. ; 22,5 см. - (Классический университетский учебник). - ISBN 5-484-00520-5 (в пер.)
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
ЛОГИКО-МАТЕМАТИЧЕСКИЕ ЯЗЫКИ -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ТЕОРИЯ МНОЖЕСТВ -- ТЕОРИЯ АЛГОРИФМОВ -- ТЕОРИИ ДОКАЗАТЕЛЬСТВ
Доп.точки доступа:
Драгалин, А. Г.
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
2.
Подробнее
В12
А 603
Аляев, Ю. А.
Дискретная математика и математическая логика : учебник / Ю. А. Аляев, С. Ф. Тюрин. - Москва : Финансы и статистика, 2006. - 366 с. : ил. ; 21 см. - 3000 экз. - ISBN 5-279-03045-7
ББК В12я73 + В176я73
Рубрики: Математическая логика--Учебники для высших учебных заведений
Дискретная математика--Учебники для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- дискретная математика
Доп.точки доступа:
Тюрин, С. Ф.
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
А 603
Аляев, Ю. А.
Дискретная математика и математическая логика : учебник / Ю. А. Аляев, С. Ф. Тюрин. - Москва : Финансы и статистика, 2006. - 366 с. : ил. ; 21 см. - 3000 экз. - ISBN 5-279-03045-7
| ГРНТИ |
Рубрики: Математическая логика--Учебники для высших учебных заведений
Дискретная математика--Учебники для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- дискретная математика
Доп.точки доступа:
Тюрин, С. Ф.
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
3.
Подробнее
В12
Л 656
Лихтарников, Леонид Моисеевич (1924-2007).
Математическая логика : курс лекций : задачник-практикум и решения: учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - Издание 4-е, исправленное. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2009. - 276 с. : ил. ; 21 см. - (Учебники для вузов. Специальная литература). - Библиография: с. 273. - 2000 экз. - ISBN 978-5-8114-0082-9 (в пер.) : 304.48 р.
ББК В12я7
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Алгебра логики -- Исчисление высказываний -- Алгоритмы
Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
Л 656
Лихтарников, Леонид Моисеевич (1924-2007).
Математическая логика : курс лекций : задачник-практикум и решения: учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - Издание 4-е, исправленное. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2009. - 276 с. : ил. ; 21 см. - (Учебники для вузов. Специальная литература). - Библиография: с. 273. - 2000 экз. - ISBN 978-5-8114-0082-9 (в пер.) : 304.48 р.
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Алгебра логики -- Исчисление высказываний -- Алгоритмы
Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
4.
Подробнее
В12
Х 133
Хаггард, Гэри.
Дискретная математика для программистов : [учеб. пособие] / Гэри Хаггард, Джон Шлипф, Сью Уайтсайдс ; пер. с англ. Н. А. Шиховой ; под ред. А. А. Сапоженко. - Москва : БИНОМ. Лаборатория знаний, 2010. - 628 с. : ил. ; 25 см + 1 эл. опт. диск (CD-ROM). - Предм. указ.: с. 620-627. - 2000 экз. - ISBN 978-5-94774-348-7 (в пер.) : 337.48 р.
Загл. и авт. ориг.: Discrete mathematics for computer science / Gary Haggard, John Schlipf, Sue Whitesides
ББК В12я73 + В176я73
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Дискретная математика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- дискретная вероятность -- формальная логика -- алгоритмы -- множества -- рекуррентные соотношения -- рекурсивные функции -- теория графов
Аннотация: Методически продуманное учебное пособие по дискретной математике, охватывающее такие темы, как множества, математическая индукция, математическая логика, отношения, функции, анализ алгоритмов, теория графов, комбинаторика, теория вероятностей, рекуррентные соотношения. Многочисленные упражнения позволяют закрепить пройденный материал. Все упражнения с решениями представлены на прилагаемом к пособию диске. Для преподавателей и студентов вузов, готовящих математиков-программистов, специалистов по информатике и информационно-коммуникационным технологиям, а также для старшеклассников школ с углубленным изучением математики и информатики.
Держатели документа:
ГПНТБ России
Доп.точки доступа:
Шлипф, Джон
Уайтсайдс, Сью
Шихова, Н. А. \пер.\
Сапоженко, А. А. \ред.\
Экземпляры всего: 2
КХ (2)
Свободны: КХ (2)
Х 133
Хаггард, Гэри.
Дискретная математика для программистов : [учеб. пособие] / Гэри Хаггард, Джон Шлипф, Сью Уайтсайдс ; пер. с англ. Н. А. Шиховой ; под ред. А. А. Сапоженко. - Москва : БИНОМ. Лаборатория знаний, 2010. - 628 с. : ил. ; 25 см + 1 эл. опт. диск (CD-ROM). - Предм. указ.: с. 620-627. - 2000 экз. - ISBN 978-5-94774-348-7 (в пер.) : 337.48 р.
Загл. и авт. ориг.: Discrete mathematics for computer science / Gary Haggard, John Schlipf, Sue Whitesides
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Дискретная математика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- дискретная вероятность -- формальная логика -- алгоритмы -- множества -- рекуррентные соотношения -- рекурсивные функции -- теория графов
Аннотация: Методически продуманное учебное пособие по дискретной математике, охватывающее такие темы, как множества, математическая индукция, математическая логика, отношения, функции, анализ алгоритмов, теория графов, комбинаторика, теория вероятностей, рекуррентные соотношения. Многочисленные упражнения позволяют закрепить пройденный материал. Все упражнения с решениями представлены на прилагаемом к пособию диске. Для преподавателей и студентов вузов, готовящих математиков-программистов, специалистов по информатике и информационно-коммуникационным технологиям, а также для старшеклассников школ с углубленным изучением математики и информатики.
Держатели документа:
ГПНТБ России
Доп.точки доступа:
Шлипф, Джон
Уайтсайдс, Сью
Шихова, Н. А. \пер.\
Сапоженко, А. А. \ред.\
Экземпляры всего: 2
КХ (2)
Свободны: КХ (2)
5.
Подробнее
В17/172
Я 785
Ярушкина, Надежда Глебовна.
Интеллектуальный анализ временных рядов : учебное пособие для студентов вузов, обучающихся по направлению "Прикладная информатика" / Н. Г. Ярушкина, Т. В. Афанасьева, И. Г. Перфильева. - Москва : Форум : ИНФРА-М, 2012. - 159 с. : ил. ; 22 см. - (Высшее образование). - Библиография в конце глав. - 242.91 экз. - ISBN 978-5-8199-0496-1 (ФОРУМ) (в пер.). - ISBN 978-5-16-005197-0 (ИНФРА-М) : 242.91 р.
ББК В172.6я73 +
В12я73
Рубрики: Временные ряды--Анализ--Учебные издания для высших учебных заведений
Нечеткое моделирование--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
временные ряды (матем.) -- нечеткое моделирование (матем.) -- нечетник модели (матем.) -- мнтеллектуальный анализ
Доп.точки доступа:
Афанасьева, Татьяна Васильевна
Перфильева, Ирина Григорьевна
Экземпляры всего: 1
ОТЛ (1)
Свободны: ОТЛ (1)
Я 785
Ярушкина, Надежда Глебовна.
Интеллектуальный анализ временных рядов : учебное пособие для студентов вузов, обучающихся по направлению "Прикладная информатика" / Н. Г. Ярушкина, Т. В. Афанасьева, И. Г. Перфильева. - Москва : Форум : ИНФРА-М, 2012. - 159 с. : ил. ; 22 см. - (Высшее образование). - Библиография в конце глав. - 242.91 экз. - ISBN 978-5-8199-0496-1 (ФОРУМ) (в пер.). - ISBN 978-5-16-005197-0 (ИНФРА-М) : 242.91 р.
| ГРНТИ |
Рубрики: Временные ряды--Анализ--Учебные издания для высших учебных заведений
Нечеткое моделирование--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
временные ряды (матем.) -- нечеткое моделирование (матем.) -- нечетник модели (матем.) -- мнтеллектуальный анализ
Доп.точки доступа:
Афанасьева, Татьяна Васильевна
Перфильева, Ирина Григорьевна
Экземпляры всего: 1
ОТЛ (1)
Свободны: ОТЛ (1)
6.
Подробнее
В12
И 269
Игошин, Владимир Иванович.
Математическая логика : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 050201.65 - Математика / В. И. Игошин. - Москва : ИНФРА-М, 2012. - 399 с. : табл. ; 22 см + 1 эл. опт. диск (CD-ROM). - (Высшее образование). - Библиогр.: с. 389-392. - 1000 экз. - ISBN 978-5-16-005204-5 (в пер.) : 260.91 р.
Фактическая дата выхода в свет : 2011
ББК В12я73
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
математическая логика -- алгебра высказываний -- логика предикатов -- аксиоматические теории
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
И 269
Игошин, Владимир Иванович.
Математическая логика : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 050201.65 - Математика / В. И. Игошин. - Москва : ИНФРА-М, 2012. - 399 с. : табл. ; 22 см + 1 эл. опт. диск (CD-ROM). - (Высшее образование). - Библиогр.: с. 389-392. - 1000 экз. - ISBN 978-5-16-005204-5 (в пер.) : 260.91 р.
Фактическая дата выхода в свет : 2011
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
математическая логика -- алгебра высказываний -- логика предикатов -- аксиоматические теории
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
7.
Подробнее
В12
К 608
Колмогоров, Андрей Николаевич (1903-1987).
Математическая логика : дополнительные главы : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; МГУ им. М. В. Ломоносова. - Издание 4-е издание, обновленное. - Москва : Едиториал УРСС, 2013. - 236, [1] с. ; 22 см. - (Классический университетский учебник). - Библиография: с. 227-228 (19 назв.). - Именной указатель: с. 229-230. - Предметный указатель: с. 231-237. - ISBN 978-5-354-01446-0 : 253.00 р., 462.00 р.
ББК В12я7
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Московский государственный университет им. М. В. Ломоносова
Экземпляры всего: 2
ОЧЗ (1), КХ (1)
Свободны: ОЧЗ (1), КХ (1)
К 608
Колмогоров, Андрей Николаевич (1903-1987).
Математическая логика : дополнительные главы : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; МГУ им. М. В. Ломоносова. - Издание 4-е издание, обновленное. - Москва : Едиториал УРСС, 2013. - 236, [1] с. ; 22 см. - (Классический университетский учебник). - Библиография: с. 227-228 (19 назв.). - Именной указатель: с. 229-230. - Предметный указатель: с. 231-237. - ISBN 978-5-354-01446-0 : 253.00 р., 462.00 р.
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Московский государственный университет им. М. В. Ломоносова
Экземпляры всего: 2
ОЧЗ (1), КХ (1)
Свободны: ОЧЗ (1), КХ (1)
8.
Подробнее
В12
Г 554
Глухов, Михаил Михайлович.
Математическая логика. Дискретные функции. Теории алгоритмов : учебное пособие для студентов вузов, обучающихся по направлению подготовки (специальности) 090301 - "Компьютерная безопасность" и 090303 - "Информационная безопасность автоматизированных систем" / М.М. Глухов, А.Б. Шишков. - Москва ; Санкт-Петербург ; Краснодар : Лань, 2012. - 405 с. ; 21 см. - Вар. загл. : Дискретные функции. - Вар. загл. : Теория алгоритмов. - Библиогр.: с. 398-401. - ISBN 978-5-8114-1344-7 (в пер.) : 669.90 р., 335.28 р.
ББК В12я73
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Дискретные функции--Учебные издания для высших учебных заведений
Алгоритмов теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
математическая логика -- дискретные функции -- теория алгоритмов -- алгебра высказываний -- алгебра предикатов
Доп.точки доступа:
Шишков, Алексей Борисович
Экземпляры всего: 2
ОЧЗ (1), КХ (1)
Свободны: ОЧЗ (1), КХ (1)
Г 554
Глухов, Михаил Михайлович.
Математическая логика. Дискретные функции. Теории алгоритмов : учебное пособие для студентов вузов, обучающихся по направлению подготовки (специальности) 090301 - "Компьютерная безопасность" и 090303 - "Информационная безопасность автоматизированных систем" / М.М. Глухов, А.Б. Шишков. - Москва ; Санкт-Петербург ; Краснодар : Лань, 2012. - 405 с. ; 21 см. - Вар. загл. : Дискретные функции. - Вар. загл. : Теория алгоритмов. - Библиогр.: с. 398-401. - ISBN 978-5-8114-1344-7 (в пер.) : 669.90 р., 335.28 р.
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Дискретные функции--Учебные издания для высших учебных заведений
Алгоритмов теория--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
математическая логика -- дискретные функции -- теория алгоритмов -- алгебра высказываний -- алгебра предикатов
Доп.точки доступа:
Шишков, Алексей Борисович
Экземпляры всего: 2
ОЧЗ (1), КХ (1)
Свободны: ОЧЗ (1), КХ (1)
9.
Подробнее
В12
К 756
Кочетков, Евгений Семенович.
Арифметика, алгебра, начала анализа : учебное пособие / Е. С. Кочетков. - Москва : Форум, 2014. - 492, [2] с. : ил. ; 22 см. - (Высшее образование). - Алфавитный указатель: с. 489-493. - Библиография в конце книги. - 1000 экз. - ISBN 978-5-91134-824-3 (ФОРУМ) (в пер.). - ISBN 978-5-16-009269-0 (Инфра-М) : 846.45 р.
ББК В12я7
Рубрики: Математика--Учебные издания
Кл.слова (ненормированные):
теория множеств -- натуральные числа -- целые числа -- математическая индукция -- принцип Дирихле -- признаки делимости -- теорема арифметики -- алгебрические уравнения -- рациональные числа -- числовая последовательность -- комбинаторика -- вероятность
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
К 756
Кочетков, Евгений Семенович.
Арифметика, алгебра, начала анализа : учебное пособие / Е. С. Кочетков. - Москва : Форум, 2014. - 492, [2] с. : ил. ; 22 см. - (Высшее образование). - Алфавитный указатель: с. 489-493. - Библиография в конце книги. - 1000 экз. - ISBN 978-5-91134-824-3 (ФОРУМ) (в пер.). - ISBN 978-5-16-009269-0 (Инфра-М) : 846.45 р.
| ГРНТИ |
Рубрики: Математика--Учебные издания
Кл.слова (ненормированные):
теория множеств -- натуральные числа -- целые числа -- математическая индукция -- принцип Дирихле -- признаки делимости -- теорема арифметики -- алгебрические уравнения -- рациональные числа -- числовая последовательность -- комбинаторика -- вероятность
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
10.
Подробнее
В174
Н 192
Назарова, Людмила Игнатьевна.
Дискретная математика. Математическая логика и теория графов : [учебное пособие для студентов специальности "Прикладная математика", а также для студентов технических специальностей] / Л. И. Назарова ; Министерство образования и науки Российской Федерации, ФГБОУ ВПО "Восточно-Сибирский государственный университет технологий и управления". - Улан-Удэ : Издательство ВСГУТУ, 2014. - 112 с. : ил., табл. ; 21 см. - Библиография: с. 111-112. - 100 экз. - ISBN 978-5-89230-517-4 : 40.00 р.
ББК В174я73 +
В12я73
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Графов теория--Учебные издания для высших учебных заведений
Дискретная математика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
математическая логика -- графов теория -- дискретная математика -- двойственные фенкции -- принцип двойственности -- алгебра Жегалкина -- линейные функции -- метод Квайна -- диаграммы Вейча -- матрицы графа
Доп.точки доступа:
Автор из Бурятии, но не о Бурятии
Российская Федерация. Министерство образования и науки
Восточно-Сибирский государственный университет технологий и управления (Улан-Удэ)
Экземпляры всего: 4
КХ (3), ОЧЗ (1)
Свободны: КХ (3), ОЧЗ (1)
Н 192
Назарова, Людмила Игнатьевна.
Дискретная математика. Математическая логика и теория графов : [учебное пособие для студентов специальности "Прикладная математика", а также для студентов технических специальностей] / Л. И. Назарова ; Министерство образования и науки Российской Федерации, ФГБОУ ВПО "Восточно-Сибирский государственный университет технологий и управления". - Улан-Удэ : Издательство ВСГУТУ, 2014. - 112 с. : ил., табл. ; 21 см. - Библиография: с. 111-112. - 100 экз. - ISBN 978-5-89230-517-4 : 40.00 р.
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Графов теория--Учебные издания для высших учебных заведений
Дискретная математика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
математическая логика -- графов теория -- дискретная математика -- двойственные фенкции -- принцип двойственности -- алгебра Жегалкина -- линейные функции -- метод Квайна -- диаграммы Вейча -- матрицы графа
Доп.точки доступа:
Автор из Бурятии, но не о Бурятии
Российская Федерация. Министерство образования и науки
Восточно-Сибирский государственный университет технологий и управления (Улан-Удэ)
Экземпляры всего: 4
КХ (3), ОЧЗ (1)
Свободны: КХ (3), ОЧЗ (1)
Страница 1, Результатов: 13