Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 23
Отмеченные записи: 0
1.
Подробнее
Хаггарти, Р.
Дискретная математика для программистов : учебное пособие для вузов / Р. Хаггарти ; пер. с англ. С. А. Кулешова. - Москва : Техносфера, 2003. - 315 c. : ил., табл. - (Мир программирования ; VIII, 02). - Библиогр. : с. 312. - ISBN 5948360164
Предметный указатель : с. 313-315
Рубрики: дискретная математика--учебные издания для вузов
Кл.слова (ненормированные):
графы (математика) -- булева алгебра -- теория множеств (математика) -- комбинаторика -- ориентированные графы (математика) -- логика высказываний -- логические методы доказательств -- бинарные отношения
Доп.точки доступа:
Кулешов, С. А. \пер.\
Экземпляры всего: 6
Ч/З о. Русский (3), Абонемент учебной и научной литературы (2), Хранение ОО и ИЕФ (Пушкинская 10) (1)
Свободны: Ч/З о. Русский (3), Абонемент учебной и научной литературы (2), Хранение ОО и ИЕФ (Пушкинская 10) (1)
Хаггарти, Р.
Дискретная математика для программистов : учебное пособие для вузов / Р. Хаггарти ; пер. с англ. С. А. Кулешова. - Москва : Техносфера, 2003. - 315 c. : ил., табл. - (Мир программирования ; VIII, 02). - Библиогр. : с. 312. - ISBN 5948360164
Предметный указатель : с. 313-315
| УДК |
Рубрики: дискретная математика--учебные издания для вузов
Кл.слова (ненормированные):
графы (математика) -- булева алгебра -- теория множеств (математика) -- комбинаторика -- ориентированные графы (математика) -- логика высказываний -- логические методы доказательств -- бинарные отношения
Доп.точки доступа:
Кулешов, С. А. \пер.\
Экземпляры всего: 6
Ч/З о. Русский (3), Абонемент учебной и научной литературы (2), Хранение ОО и ИЕФ (Пушкинская 10) (1)
Свободны: Ч/З о. Русский (3), Абонемент учебной и научной литературы (2), Хранение ОО и ИЕФ (Пушкинская 10) (1)
2.
Подробнее
Закревский, Аркадий Дмитриевич.
Логические уравнения / А. Д. Закревский. - Изд. 2-е, стер. - Москва : Едиториал УРСС, 2003. - 95 c. : ил. - Библиогр. : с. 93-94.. - ISBN 5354004683
Кл.слова (ненормированные):
логический анализ -- булева алгебра -- логический синтез -- математическая логика -- полисиллогизмы -- логические уравнения
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Закревский, Аркадий Дмитриевич.
Логические уравнения / А. Д. Закревский. - Изд. 2-е, стер. - Москва : Едиториал УРСС, 2003. - 95 c. : ил. - Библиогр. : с. 93-94.. - ISBN 5354004683
| УДК |
Кл.слова (ненормированные):
логический анализ -- булева алгебра -- логический синтез -- математическая логика -- полисиллогизмы -- логические уравнения
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
3.
Подробнее
Ершов, Юрий Леонидович.
Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - Изд. 3-е, стер. - Санкт-Петербург : Лань, 2004. - 336 c. - (Учебники для вузов. Специальная литература). - ISBN 5811405332
Кл.слова (ненормированные):
алгебраические системы -- алгоритмы -- рекурсивные функции -- математическая логика -- множеств теория -- булева алгебра -- Логика -- теория множеств -- исчисление предикатов -- Эрбрана теорема
Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 2
Ч/З о. Русский (2)
Свободны: Ч/З о. Русский (2)
Ершов, Юрий Леонидович.
Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - Изд. 3-е, стер. - Санкт-Петербург : Лань, 2004. - 336 c. - (Учебники для вузов. Специальная литература). - ISBN 5811405332
| УДК |
Кл.слова (ненормированные):
алгебраические системы -- алгоритмы -- рекурсивные функции -- математическая логика -- множеств теория -- булева алгебра -- Логика -- теория множеств -- исчисление предикатов -- Эрбрана теорема
Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 2
Ч/З о. Русский (2)
Свободны: Ч/З о. Русский (2)
4.
Подробнее
Бауэр, Фридрих Л
Информатика : вводный курс : в 2 ч / Ф. Л. Бауэр, Г. Гооз ; под ред. А. П. Ершова ; пер. с нем. М. К. Валиева, В. Г. Кербеля, В. К. Сабельфельда. - 2-е перераб. и расш. изд. - Москва : Мир, 1990 - .
ч. 1. - 332 c. : ил.. - ISBN 5030020993. - ISBN 5030002987
Рубрики: информатика--учебные издания
Кл.слова (ненормированные):
устройства связи -- обработка информации -- кодирование информации -- алгоритмы (информационные технологии) -- вычислительные структуры -- программирование рекурсивное -- программирование с переменными -- программирование интерактивное -- алгоритмические языки -- булева алгебра -- комбинационные схемы -- переключательные схемы
Доп.точки доступа:
Гооз, Герхард
Ершов, А. П. \ед.\
Валиев, М. К. \ер.\
Кербель, В. Г. \ер.\
Сабельфельд, В. К. \ер.\
Экземпляры всего: 2
Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Бауэр, Фридрих Л
Информатика : вводный курс : в 2 ч / Ф. Л. Бауэр, Г. Гооз ; под ред. А. П. Ершова ; пер. с нем. М. К. Валиева, В. Г. Кербеля, В. К. Сабельфельда. - 2-е перераб. и расш. изд. - Москва : Мир, 1990 - .
ч. 1. - 332 c. : ил.. - ISBN 5030020993. - ISBN 5030002987
| УДК |
Рубрики: информатика--учебные издания
Кл.слова (ненормированные):
устройства связи -- обработка информации -- кодирование информации -- алгоритмы (информационные технологии) -- вычислительные структуры -- программирование рекурсивное -- программирование с переменными -- программирование интерактивное -- алгоритмические языки -- булева алгебра -- комбинационные схемы -- переключательные схемы
Доп.точки доступа:
Гооз, Герхард
Ершов, А. П. \ед.\
Валиев, М. К. \ер.\
Кербель, В. Г. \ер.\
Сабельфельд, В. К. \ер.\
Экземпляры всего: 2
Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
5.
Подробнее
Кофман, А.
Введение в прикладную комбинаторику / А. Кофман ; пер. с фр. В. П. Мякишева, В. Е. Тараканова. - Москва : Наука, 1975. - Библиогр. : с. 472-474
Рубрики: комбинаторика
Кл.слова (ненормированные):
булева алгебра -- прикладная комбинаторика -- дискретная математика -- комбинаторная математика -- комбинаторные задачи -- перечислительные задачи -- теория кодирования -- графы -- динамического программирования метод -- комбинаторные методы оптимизации -- перечисления методы (комбинаторика) -- пересчета метод (комбинаторика) -- методы комбинаторики
Доп.точки доступа:
Мякишев, В. П. \пер.\
Тараканов, В. Е. \пер.\
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Кофман, А.
Введение в прикладную комбинаторику / А. Кофман ; пер. с фр. В. П. Мякишева, В. Е. Тараканова. - Москва : Наука, 1975. - Библиогр. : с. 472-474
| УДК |
Рубрики: комбинаторика
Кл.слова (ненормированные):
булева алгебра -- прикладная комбинаторика -- дискретная математика -- комбинаторная математика -- комбинаторные задачи -- перечислительные задачи -- теория кодирования -- графы -- динамического программирования метод -- комбинаторные методы оптимизации -- перечисления методы (комбинаторика) -- пересчета метод (комбинаторика) -- методы комбинаторики
Доп.точки доступа:
Мякишев, В. П. \пер.\
Тараканов, В. Е. \пер.\
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
6.
Подробнее
Линдон, Роджер.
Заметки по логике / Р. Линдон ; пер. с англ. Ю. А. Гастева. - Москва : Мир, 1968. - 128 c. - (Современная математика). - Библиогр. : с. 123.
Парал. тит. л. на англ. яз.
Рубрики: математическая логика
Кл.слова (ненормированные):
Крэйга теорема -- Биневский, Александр Александрович (библиотека) -- пропозициональная логика -- недоказуемость непротиворечивости -- булева алгебра -- теорема дедукции
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Линдон, Роджер.
Заметки по логике / Р. Линдон ; пер. с англ. Ю. А. Гастева. - Москва : Мир, 1968. - 128 c. - (Современная математика). - Библиогр. : с. 123.
Парал. тит. л. на англ. яз.
| УДК |
Рубрики: математическая логика
Кл.слова (ненормированные):
Крэйга теорема -- Биневский, Александр Александрович (библиотека) -- пропозициональная логика -- недоказуемость непротиворечивости -- булева алгебра -- теорема дедукции
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
7.
Подробнее
Б 48
621.39 Б 489 / Б 48-Абонемент учебной и научной литературы (402)
621.398 Б 489 / Б 48-Хранение Отдела организации и использования фонда
519 Б 489 / Б 48-Абонемент учебной и научной литературы
621.39 Б 489 / Б 48-Абонемент учебной и научной литературы (402)
621.39 Б 489 / Б 48-Абонемент учебной и научной литературы (402)
Беркли, Эдмунд.
Символическая логика и разумные машины / Э. Беркли ; пер. с англ. И. В. Соловьева. - Москва : Изд-во Иностранной литературы, 1961. - 260 c. - Библиогр. : с. 241-252
Парал. тит. л. на англ. яз.
Кл.слова (ненормированные):
булева алгебра -- квадратичные формы (математика) -- логика символическая -- синтез машин -- телемеханика -- автоматика -- ступенчатые функции -- силлогистическая машина -- программирование
Доп.точки доступа:
Соловьев, И. В. \пер.\
Экземпляры всего: 6
Ч/З о. Русский (1), Абонемент учебной и научной литературы (402) (3), Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (402) (3), Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
Б 48
621.39 Б 489 / Б 48-Абонемент учебной и научной литературы (402)
621.398 Б 489 / Б 48-Хранение Отдела организации и использования фонда
519 Б 489 / Б 48-Абонемент учебной и научной литературы
621.39 Б 489 / Б 48-Абонемент учебной и научной литературы (402)
621.39 Б 489 / Б 48-Абонемент учебной и научной литературы (402)
Беркли, Эдмунд.
Символическая логика и разумные машины / Э. Беркли ; пер. с англ. И. В. Соловьева. - Москва : Изд-во Иностранной литературы, 1961. - 260 c. - Библиогр. : с. 241-252
Парал. тит. л. на англ. яз.
| УДК |
Кл.слова (ненормированные):
булева алгебра -- квадратичные формы (математика) -- логика символическая -- синтез машин -- телемеханика -- автоматика -- ступенчатые функции -- силлогистическая машина -- программирование
Доп.точки доступа:
Соловьев, И. В. \пер.\
Экземпляры всего: 6
Ч/З о. Русский (1), Абонемент учебной и научной литературы (402) (3), Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (402) (3), Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
8.
Подробнее
Вероятностные методы и кибернетика / [под ред. Н. Г. Нигматуллина]. - Казань : Изд-во Казанского университета, 1990 - .
вып. 24. - 112 c.
Кл.слова (ненормированные):
алгоритмическая полнота -- математическая кибернетика -- кибернетика -- автоматизация проектирования -- теория вероятностных автоматов -- математика -- булева алгебра
Доп.точки доступа:
Нигматуллин, Н. Г. \ед.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Вероятностные методы и кибернетика / [под ред. Н. Г. Нигматуллина]. - Казань : Изд-во Казанского университета, 1990 - .
вып. 24. - 112 c.
| УДК |
Кл.слова (ненормированные):
алгоритмическая полнота -- математическая кибернетика -- кибернетика -- автоматизация проектирования -- теория вероятностных автоматов -- математика -- булева алгебра
Доп.точки доступа:
Нигматуллин, Н. Г. \ед.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
9.
Подробнее
Хаггарти, Р.
Дискретная математика для программистов : учебное пособие для вузов / Р. Хаггарти ; под ред. С. А. Кулешова. - Москва : Техносфера, 2004. - 315 c. : ил., табл. - (Мир программирования ; VIII, 02). - Библиогр. : с. 312. - ISBN 5948360164
Рубрики: дискретная математика--учебные издания для вузов
Кл.слова (ненормированные):
графы (математика) -- булева алгебра -- теория множеств (математика) -- комбинаторика -- ориентированные графы (математика) -- логика высказываний -- логические методы доказательств -- бинарные отношения
Доп.точки доступа:
Кулешов, В. А. \ред.\
Экземпляры всего: 4
Абонемент учебной и научной литературы (3), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (3), Ч/З о. Русский (1)
Хаггарти, Р.
Дискретная математика для программистов : учебное пособие для вузов / Р. Хаггарти ; под ред. С. А. Кулешова. - Москва : Техносфера, 2004. - 315 c. : ил., табл. - (Мир программирования ; VIII, 02). - Библиогр. : с. 312. - ISBN 5948360164
| УДК |
Рубрики: дискретная математика--учебные издания для вузов
Кл.слова (ненормированные):
графы (математика) -- булева алгебра -- теория множеств (математика) -- комбинаторика -- ориентированные графы (математика) -- логика высказываний -- логические методы доказательств -- бинарные отношения
Доп.точки доступа:
Кулешов, В. А. \ред.\
Экземпляры всего: 4
Абонемент учебной и научной литературы (3), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (3), Ч/З о. Русский (1)
10.
Подробнее
П 12
Павленко, Галина Федоровна.
Вычислительные машины и системы : учебное пособие для экономических вузов / Г. Ф. Павленко ; Дальневосточный государственный университет, Институт менеджмента и бизнеса. ; Дальневосточный государственный университет (Владивосток), Институт менеджмента и бизнеса. - Владивосток : Изд-во Дальневосточного университета, 2002. - 187 с. : ил., табл. - Библиогр. : с. 183 - 185.. - ISBN 5744413332
ББК 32.973я73
Рубрики: вычислительные машины--вычислительные системы--учебные издания для вузов
Кл.слова (ненормированные):
кодирование информации -- ЭВМ -- вычислительные машины -- компьютеры -- булева алгебра -- программное обеспечение -- вычислительные системы
Доп.точки доступа:
Дальневосточный государственный университет (Владивосток). Институт менеджмента и бизнеса
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
П 12
Павленко, Галина Федоровна.
Вычислительные машины и системы : учебное пособие для экономических вузов / Г. Ф. Павленко ; Дальневосточный государственный университет, Институт менеджмента и бизнеса. ; Дальневосточный государственный университет (Владивосток), Институт менеджмента и бизнеса. - Владивосток : Изд-во Дальневосточного университета, 2002. - 187 с. : ил., табл. - Библиогр. : с. 183 - 185.. - ISBN 5744413332
Рубрики: вычислительные машины--вычислительные системы--учебные издания для вузов
Кл.слова (ненормированные):
кодирование информации -- ЭВМ -- вычислительные машины -- компьютеры -- булева алгебра -- программное обеспечение -- вычислительные системы
Доп.точки доступа:
Дальневосточный государственный университет (Владивосток). Институт менеджмента и бизнеса
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Страница 1, Результатов: 23