Skip to content 
el cat en
База данных: Electronic catalog FEFU
Page 1, Results: 19
Отмеченные записи: 0
1.
Подробнее
Новиков, Федор Александрович.
Дискретная математика для программистов : [учебник] / Ф. А. Новиков. - Санкт-Петербург : Питер, 2002. - 301 c. : ил. - Библиогр. : с. 290-291.. - ISBN 5272001834
Рубрики: дискретная математика--учебные издания для вузов
множества (математика)
Кл.слова (ненормированные):
отношения (математика) -- алгебраические структуры -- теория графов -- комбинаторные методы -- булевы функции -- комбинаторика -- логические исчисления
Экземпляры всего: 6
Абонемент учебной и научной литературы (1), ЕКВ ауд.402 учебная (3), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (1), ЕКВ ауд.402 учебная (3), Ч/З о. Русский (2)
Новиков, Федор Александрович.
Дискретная математика для программистов : [учебник] / Ф. А. Новиков. - Санкт-Петербург : Питер, 2002. - 301 c. : ил. - Библиогр. : с. 290-291.. - ISBN 5272001834
| УДК |
Рубрики: дискретная математика--учебные издания для вузов
множества (математика)
Кл.слова (ненормированные):
отношения (математика) -- алгебраические структуры -- теория графов -- комбинаторные методы -- булевы функции -- комбинаторика -- логические исчисления
Экземпляры всего: 6
Абонемент учебной и научной литературы (1), ЕКВ ауд.402 учебная (3), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (1), ЕКВ ауд.402 учебная (3), Ч/З о. Русский (2)
2.
Подробнее
Н 731
Новиков, Ф. А.
Дискретная математика для программистов : учебное пособие для вузов / Ф. А. Новиков. - Санкт-Петербург : Питер, 2004. - 302 c. - (Учебник для вузов). - ISBN 594723355X
Рубрики: дискретная математика
программирование
Кл.слова (ненормированные):
булевы функции -- алгебраические структуры -- логические исчисления -- кодирование (математика) -- комбинаторика -- РУ -- УЛ -- вычислительная техника
Экземпляры всего: 5
Абонемент учебной и научной литературы (3), ЕКВ ауд.402 учебная (2)
Свободны: Абонемент учебной и научной литературы (2), ЕКВ ауд.402 учебная (2)
Н 731
Новиков, Ф. А.
Дискретная математика для программистов : учебное пособие для вузов / Ф. А. Новиков. - Санкт-Петербург : Питер, 2004. - 302 c. - (Учебник для вузов). - ISBN 594723355X
| УДК |
Рубрики: дискретная математика
программирование
Кл.слова (ненормированные):
булевы функции -- алгебраические структуры -- логические исчисления -- кодирование (математика) -- комбинаторика -- РУ -- УЛ -- вычислительная техника
Экземпляры всего: 5
Абонемент учебной и научной литературы (3), ЕКВ ауд.402 учебная (2)
Свободны: Абонемент учебной и научной литературы (2), ЕКВ ауд.402 учебная (2)
3.
Подробнее
Смирнов, В. А.
Теория логического вывода / В. А. Смирнов. - Москва : Росспэн, 1999. - 318 c.. - ISBN 5824300461
ББК 87.4
Кл.слова (ненормированные):
логические исчисления -- секвенциальные исчисления -- паранепротиворечивая логика -- Логика -- теоремы дедукции -- субординатный вывоз
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Смирнов, В. А.
Теория логического вывода / В. А. Смирнов. - Москва : Росспэн, 1999. - 318 c.. - ISBN 5824300461
Кл.слова (ненормированные):
логические исчисления -- секвенциальные исчисления -- паранепротиворечивая логика -- Логика -- теоремы дедукции -- субординатный вывоз
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
4.
Подробнее
Н 731
Новиков, Ф. А.
Дискретная математика для программистов : [учебник для вузов] / Ф. А. Новиков. - Санкт-Петербург : Питер, 2000. - 301 c. : ил. - Алфавитный указатель : с. 292-301.. - ISBN 5272001834
Рубрики: дискретная математика
программирование (математика)
Кл.слова (ненормированные):
булевы функции (математика) -- логические исчисления -- теория графов (математика) -- комбинаторика (математика) -- алгебраические структуры (математика) -- алгебраические группы (математика) -- комбинаторные методы (математика) -- кодирование (математика) -- формальные теории (математика) -- предикат (математика) -- графы (математика)
Экземпляры всего: 2
ЕКВ ауд.402 учебная (1), Абонемент учебной и научной литературы (1)
Свободны: ЕКВ ауд.402 учебная (1), Абонемент учебной и научной литературы (1)
Н 731
Новиков, Ф. А.
Дискретная математика для программистов : [учебник для вузов] / Ф. А. Новиков. - Санкт-Петербург : Питер, 2000. - 301 c. : ил. - Алфавитный указатель : с. 292-301.. - ISBN 5272001834
| УДК |
Рубрики: дискретная математика
программирование (математика)
Кл.слова (ненормированные):
булевы функции (математика) -- логические исчисления -- теория графов (математика) -- комбинаторика (математика) -- алгебраические структуры (математика) -- алгебраические группы (математика) -- комбинаторные методы (математика) -- кодирование (математика) -- формальные теории (математика) -- предикат (математика) -- графы (математика)
Экземпляры всего: 2
ЕКВ ауд.402 учебная (1), Абонемент учебной и научной литературы (1)
Свободны: ЕКВ ауд.402 учебная (1), Абонемент учебной и научной литературы (1)
5.
Подробнее
Новиков, Федор Александрович.
Дискретная математика для программистов : [учебник для вузов] / Ф. А. Новиков. - Санкт-Петербург : Питер, 2001. - 301 c. : ил. - Библиогр. : с. 290-291.. - ISBN 5272001834
Рубрики: дискретная математика--учебные издания для вузов
множества (математика)
Кл.слова (ненормированные):
отношения (математика) -- алгебраические структуры -- теория графов -- комбинаторные методы -- булевы функции -- комбинаторика -- логические исчисления
Экземпляры всего: 11
ЕКВ ауд.301 учебная (7), Ч/З о. Русский (2), Абонемент учебной и научной литературы (1), ЕКВ ауд.402 учебная (1)
Свободны: ЕКВ ауд.301 учебная (7), Ч/З о. Русский (2), Абонемент учебной и научной литературы (1), ЕКВ ауд.402 учебная (1)
Новиков, Федор Александрович.
Дискретная математика для программистов : [учебник для вузов] / Ф. А. Новиков. - Санкт-Петербург : Питер, 2001. - 301 c. : ил. - Библиогр. : с. 290-291.. - ISBN 5272001834
| УДК |
Рубрики: дискретная математика--учебные издания для вузов
множества (математика)
Кл.слова (ненормированные):
отношения (математика) -- алгебраические структуры -- теория графов -- комбинаторные методы -- булевы функции -- комбинаторика -- логические исчисления
Экземпляры всего: 11
ЕКВ ауд.301 учебная (7), Ч/З о. Русский (2), Абонемент учебной и научной литературы (1), ЕКВ ауд.402 учебная (1)
Свободны: ЕКВ ауд.301 учебная (7), Ч/З о. Русский (2), Абонемент учебной и научной литературы (1), ЕКВ ауд.402 учебная (1)
6.
Подробнее
Войшвилло, Евгений Казимирович
Логика как часть теории познания и научной методологии. Фундаментальный курс : учебное пособие для философских факультетов и преподавателей логики : в 2 кн / Е. К. Войшвилло, М. Г. Дегтярев. - Москва : Наука, 1994 - . - (Программа "Обновление гуманитарного образования в России").
Кн. 1. - 311 c.. - ISBN 5020135143
ББК 87.4я73
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
научная методология -- символическая логика -- логические языки -- предикаты -- познание -- логический анализ языка -- дедукция -- Логика -- логические исчисления
Доп.точки доступа:
Дегтярев, Михаил Григорьевич
Экземпляры всего: 5
Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (2)
Войшвилло, Евгений Казимирович
Логика как часть теории познания и научной методологии. Фундаментальный курс : учебное пособие для философских факультетов и преподавателей логики : в 2 кн / Е. К. Войшвилло, М. Г. Дегтярев. - Москва : Наука, 1994 - . - (Программа "Обновление гуманитарного образования в России").
Кн. 1. - 311 c.. - ISBN 5020135143
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
научная методология -- символическая логика -- логические языки -- предикаты -- познание -- логический анализ языка -- дедукция -- Логика -- логические исчисления
Доп.точки доступа:
Дегтярев, Михаил Григорьевич
Экземпляры всего: 5
Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (2)
7.
Подробнее
Войшвилло, Евгений Казимирович
Логика как часть теории познания и научной методологии. Фундаментальный курс : учебное пособие для философских факультетов и преподавателей логики : в 2 кн / Е. К. Войшвилло, М. Г. Дегтярев. - Москва : Наука, 1994 - .
Кн. 2. - 332 c.. - ISBN 5020135151
ББК 87.4я73
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
логические исчисления -- познание -- логический анализ языка -- логические языки -- символическая логика -- Логика -- предикаты -- дедукция -- научная методология
Доп.точки доступа:
Дегтярев, Михаил Григорьевич
Экземпляры всего: 5
Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (2)
Войшвилло, Евгений Казимирович
Логика как часть теории познания и научной методологии. Фундаментальный курс : учебное пособие для философских факультетов и преподавателей логики : в 2 кн / Е. К. Войшвилло, М. Г. Дегтярев. - Москва : Наука, 1994 - .
Кн. 2. - 332 c.. - ISBN 5020135151
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
логические исчисления -- познание -- логический анализ языка -- логические языки -- символическая логика -- Логика -- предикаты -- дедукция -- научная методология
Доп.точки доступа:
Дегтярев, Михаил Григорьевич
Экземпляры всего: 5
Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (2)
8.
Подробнее
Гильберт, Давид.
Основания математики. Логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного. - Изд. 2-е. - Москва : Наука, 1982. - 556 c. - (Математическая логика и основания математики)
Кл.слова (ненормированные):
математика -- логические исчисления -- арифметика -- математическая логика -- элементарная арифметика -- исчисление предикатов -- исчисление высказываний
Доп.точки доступа:
Бернайс, Пауль
Нагорный, Н. М. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Гильберт, Давид.
Основания математики. Логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного. - Изд. 2-е. - Москва : Наука, 1982. - 556 c. - (Математическая логика и основания математики)
| УДК |
Кл.слова (ненормированные):
математика -- логические исчисления -- арифметика -- математическая логика -- элементарная арифметика -- исчисление предикатов -- исчисление высказываний
Доп.точки доступа:
Бернайс, Пауль
Нагорный, Н. М. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
9.
Подробнее
Гилберт, Давид.
Основания математики. Теория доказательств / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного. - Москва : Наука, 1982. - 652 c. - (Математическая логика и основания математики)
Кл.слова (ненормированные):
математическая логика -- логические исчисления -- арифметика -- математика -- логический формализм -- предикаты -- Черча теорема
Доп.точки доступа:
Бернайс, Пауль
Нагорный, Н. М. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Гилберт, Давид.
Основания математики. Теория доказательств / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного. - Москва : Наука, 1982. - 652 c. - (Математическая логика и основания математики)
| УДК |
Кл.слова (ненормированные):
математическая логика -- логические исчисления -- арифметика -- математика -- логический формализм -- предикаты -- Черча теорема
Доп.точки доступа:
Бернайс, Пауль
Нагорный, Н. М. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
10.
Подробнее
Гильберт, Давид.
Основания математики. Логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного. - Москва : Наука, 1979. - 557 c. - (Математическая логика и основания математики)
Рубрики: математическая логика--монографии
Кл.слова (ненормированные):
логические исчисления -- основания математики -- арифметика -- математическая логика -- элементарная арифметика -- исчисление высказываний -- исчисление предикатов
Доп.точки доступа:
Бернайс, Пауль
Нагорный, Н. М. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Гильберт, Давид.
Основания математики. Логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного. - Москва : Наука, 1979. - 557 c. - (Математическая логика и основания математики)
| УДК |
Рубрики: математическая логика--монографии
Кл.слова (ненормированные):
логические исчисления -- основания математики -- арифметика -- математическая логика -- элементарная арифметика -- исчисление высказываний -- исчисление предикатов
Доп.точки доступа:
Бернайс, Пауль
Нагорный, Н. М. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Page 1, Results: 19