База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 6
Отмеченные записи: 0
1.

Подробнее
519.1(075) К 891
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов. - Изд. 6-е, стер. - Санкт-Петербург : Лань, 2014. - 395 с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 388-389.. - ISBN 9785811405701
Рубрики: дискретная математика--учебные издания
графов теория--учебные издания
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков -- вычислительная сложность
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов. - Изд. 6-е, стер. - Санкт-Петербург : Лань, 2014. - 395 с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 388-389.. - ISBN 9785811405701
УДК |
Рубрики: дискретная математика--учебные издания
графов теория--учебные издания
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков -- вычислительная сложность
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
2.

Подробнее
519.1 К 891
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов. - Изд. 4-е, стер. - Санкт-Петербург : Лань, 2005. - 395 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 388-389. - ISBN 5811405707
Рубрики: дискретная математика
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков -- автоматы (дискретная математика)
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов. - Изд. 4-е, стер. - Санкт-Петербург : Лань, 2005. - 395 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 388-389. - ISBN 5811405707
УДК |
Рубрики: дискретная математика
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков -- автоматы (дискретная математика)
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
3.

Подробнее
510.6 Н 723
Новак, Вилем.
Математические принципы нечеткой логики / Новак Вилем, Ирина Перфильева, Иржи Мочкорж ; пер. с англ. А. Н. Аверкина. - Москва : Физматлит, 2006. - 347 с. - Библиогр. : с. 335 - 343.. - ISBN 5922103997
Парал. тит. л. на англ. яз.
Рубрики: математическая логика
Кл.слова (ненормированные):
нечеткая логика -- алгебра логики -- логическое исчисление -- вычислимые синтагмы -- топосы -- нечеткие множества
Доп.точки доступа:
Перфильева, Ирина
Мочкорж, Иржи.
Аверкин, А. Н. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Новак, Вилем.
Математические принципы нечеткой логики / Новак Вилем, Ирина Перфильева, Иржи Мочкорж ; пер. с англ. А. Н. Аверкина. - Москва : Физматлит, 2006. - 347 с. - Библиогр. : с. 335 - 343.. - ISBN 5922103997
Парал. тит. л. на англ. яз.
УДК |
Рубрики: математическая логика
Кл.слова (ненормированные):
нечеткая логика -- алгебра логики -- логическое исчисление -- вычислимые синтагмы -- топосы -- нечеткие множества
Доп.точки доступа:
Перфильева, Ирина
Мочкорж, Иржи.
Аверкин, А. Н. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
4.

Подробнее
87.4 H 71
Hodges, Wilfrid.
Logic / Wilfrid Hodges. - 2nd ed. - London : Penguin Books, 2001. - VII, 294 p. : il.. - ISBN 0141003146
Index : 287-292
Перевод заглавия: Логика
ББК 87.4
Рубрики: логика--монографии
Кл.слова (ненормированные):
logical categories -- statements -- logical syntax -- logical relations -- Оксфордский российский фонд -- высказывание (логика) -- категорная логика -- пропозиция (логика) -- логический синтаксис -- логические отношения -- логическое исчисление -- логические категории
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Hodges, Wilfrid.
Logic / Wilfrid Hodges. - 2nd ed. - London : Penguin Books, 2001. - VII, 294 p. : il.. - ISBN 0141003146
Index : 287-292
Перевод заглавия: Логика
Рубрики: логика--монографии
Кл.слова (ненормированные):
logical categories -- statements -- logical syntax -- logical relations -- Оксфордский российский фонд -- высказывание (логика) -- категорная логика -- пропозиция (логика) -- логический синтаксис -- логические отношения -- логическое исчисление -- логические категории
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
5.

Подробнее
87.4 C 78
Copi, Irving M.
Introduction to logic / Irving M. Copi. - 7th ed. - New York ; London : Macmillan Publishing Company : Collier Macmillan Publishers, [1986]. - XIV, 617 p.. - ISBN 0023250208. - ISBN 0029461006
Index : 599-617.
Перевод заглавия: Введение в логику.
ББК 87.4
Кл.слова (ненормированные):
logic -- statements -- logical syntax -- deduction -- induction -- высказывание (логика) -- категорная логика -- пропозиция (логика) -- дедукция -- логические отношения -- логическое исчисление -- логические категории
Экземпляры всего: 2
Ч/З о. Русский (2)
Свободны: Ч/З о. Русский (2)
Copi, Irving M.
Introduction to logic / Irving M. Copi. - 7th ed. - New York ; London : Macmillan Publishing Company : Collier Macmillan Publishers, [1986]. - XIV, 617 p.. - ISBN 0023250208. - ISBN 0029461006
Index : 599-617.
Перевод заглавия: Введение в логику.
Кл.слова (ненормированные):
logic -- statements -- logical syntax -- deduction -- induction -- высказывание (логика) -- категорная логика -- пропозиция (логика) -- дедукция -- логические отношения -- логическое исчисление -- логические категории
Экземпляры всего: 2
Ч/З о. Русский (2)
Свободны: Ч/З о. Русский (2)
6.

Подробнее
519.1 К 891
Кузнецов, Олег Павлович.
Дискретная математика для инженера / О. П. Кузнецов, Г. М. Адельсон-Вельский. - 2-е изд., перераб. и доп. - Москва : Энергоатомиздат, 1988. - 480 с. : ил., табл. - Библиогр. : с. 473-475.. - ISBN 5283015637
Рубрики: дискретная математика
графов теория
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков
Доп.точки доступа:
Адельсон-Вельский, Георгий Максимович
Экземпляры всего: 2
Ч/З о. Русский (2)
Свободны: Ч/З о. Русский (2)
Кузнецов, Олег Павлович.
Дискретная математика для инженера / О. П. Кузнецов, Г. М. Адельсон-Вельский. - 2-е изд., перераб. и доп. - Москва : Энергоатомиздат, 1988. - 480 с. : ил., табл. - Библиогр. : с. 473-475.. - ISBN 5283015637
УДК |
Рубрики: дискретная математика
графов теория
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков
Доп.точки доступа:
Адельсон-Вельский, Георгий Максимович
Экземпляры всего: 2
Ч/З о. Русский (2)
Свободны: Ч/З о. Русский (2)
Страница 1, Результатов: 6