Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 16
Отмеченные записи: 0
1.
Подробнее
Малиновский, Леонид Глебович.
Модельно-конструктивное мышление / Л. Г. Малиновский ; Российская академия наук, Институт проблем передачи информации. - Москва : Наука, 2003. - 656 c.. - ISBN 5020062650
ББК 87.22
Кл.слова (ненормированные):
логические модели -- математические модели -- рыночный социализм -- экономическая деградация -- идеологические доктрины -- древнегреческая философия
Доп.точки доступа:
Российская академия наук. Институт проблем передачи информации
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Малиновский, Леонид Глебович.
Модельно-конструктивное мышление / Л. Г. Малиновский ; Российская академия наук, Институт проблем передачи информации. - Москва : Наука, 2003. - 656 c.. - ISBN 5020062650
Кл.слова (ненормированные):
логические модели -- математические модели -- рыночный социализм -- экономическая деградация -- идеологические доктрины -- древнегреческая философия
Доп.точки доступа:
Российская академия наук. Институт проблем передачи информации
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
2.
Подробнее
Малюгин, Владимир Дмитриевич.
Параллельные логические вычисления посредством арифметических полиномов : [монография] / В. Д. Малюгин. - Москва : Наука, 1997. - 192 c. : табл., ил. - Библиогр. : с. 184-190.. - ISBN 5020150673
Кл.слова (ненормированные):
алгебра -- логические вычисления -- логические задачи -- ЭВМ -- полиномиальная форма -- булевы алгебры -- логические модели (математика)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Малюгин, Владимир Дмитриевич.
Параллельные логические вычисления посредством арифметических полиномов : [монография] / В. Д. Малюгин. - Москва : Наука, 1997. - 192 c. : табл., ил. - Библиогр. : с. 184-190.. - ISBN 5020150673
| УДК |
Кл.слова (ненормированные):
алгебра -- логические вычисления -- логические задачи -- ЭВМ -- полиномиальная форма -- булевы алгебры -- логические модели (математика)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
3.
Подробнее
Агальцов, Виктор Петрович
Базы данных : учебник для вузов / В. П. Агальцов. - 2-е изд., перераб. - Москва : Форум, 2009 - . - (Высшее образование).
[в 2 кн.] : кн. 1 : Локальные базы данных. - 349 с. : ил., табл. - Библиогр. : с. 337.. - ISBN 9785819903773. - ISBN 9785160034478
Приложение : с. 338-339. Предметный указатель : с. 340-343.
Рубрики: базы данных--теория--учебные издания для вузов
базы данных--проектирование--учебные издания для вузов
Кл.слова (ненормированные):
локальные базы данных -- логические модели -- базы данных в среде Delphi -- проектирование баз данных -- MICROSOFT VISUAL FOXPRO, система управления базами данных -- индексирование баз данных -- табличные файлы -- языки программирования -- визуальные компоненты (информационные технологии) -- фильтрация данных (информационные технологии) -- индексирование (информационные технологии) -- записи (информационные технологии) -- поля (информационные технологии) -- таблицы (информационные технологии)
Экземпляры всего: 2
Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1)
Агальцов, Виктор Петрович
Базы данных : учебник для вузов / В. П. Агальцов. - 2-е изд., перераб. - Москва : Форум, 2009 - . - (Высшее образование).
[в 2 кн.] : кн. 1 : Локальные базы данных. - 349 с. : ил., табл. - Библиогр. : с. 337.. - ISBN 9785819903773. - ISBN 9785160034478
Приложение : с. 338-339. Предметный указатель : с. 340-343.
| УДК |
Рубрики: базы данных--теория--учебные издания для вузов
базы данных--проектирование--учебные издания для вузов
Кл.слова (ненормированные):
локальные базы данных -- логические модели -- базы данных в среде Delphi -- проектирование баз данных -- MICROSOFT VISUAL FOXPRO, система управления базами данных -- индексирование баз данных -- табличные файлы -- языки программирования -- визуальные компоненты (информационные технологии) -- фильтрация данных (информационные технологии) -- индексирование (информационные технологии) -- записи (информационные технологии) -- поля (информационные технологии) -- таблицы (информационные технологии)
Экземпляры всего: 2
Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1)
4.
Подробнее
Информатика. Задачник-практикум : в 2 т / Л. Залогова, М. Плаксин, С. Русаков [и др.] ; под ред. И. Семакина, Е. Хеннера. - Москва : Лаборатория Базовых Знаний, 2001 - .
т. 2. - 278 с. : ил., табл. - Библиогр. : с. 278.. - ISBN 5932080167. - ISBN 5932080183
Рубрики: информатика--задачи--решение--учебные издания
Кл.слова (ненормированные):
информационные технологии -- текстовые редакторы -- компьютерная графика -- растровая графика -- векторная графика -- компьютерные телекоммуникации -- электронная почта -- INTERNET -- базы данных -- электронные таблицы -- компьютерное моделирование -- математическое моделирование -- моделирование знаний -- логическое программирование -- логические модели -- логические задачи -- задачи (информационные технологии)
Доп.точки доступа:
Залогова, Л.
Семакин, И. \ед.\
Хеннер, Е. \ед.\
Плаксин, М.
Русаков, С.
Экземпляры всего: 3
Ч/З о. Русский (1), ЕКВ ауд.301 учебная (2)
Свободны: Ч/З о. Русский (1), ЕКВ ауд.301 учебная (2)
Информатика. Задачник-практикум : в 2 т / Л. Залогова, М. Плаксин, С. Русаков [и др.] ; под ред. И. Семакина, Е. Хеннера. - Москва : Лаборатория Базовых Знаний, 2001 - .
т. 2. - 278 с. : ил., табл. - Библиогр. : с. 278.. - ISBN 5932080167. - ISBN 5932080183
| УДК |
Рубрики: информатика--задачи--решение--учебные издания
Кл.слова (ненормированные):
информационные технологии -- текстовые редакторы -- компьютерная графика -- растровая графика -- векторная графика -- компьютерные телекоммуникации -- электронная почта -- INTERNET -- базы данных -- электронные таблицы -- компьютерное моделирование -- математическое моделирование -- моделирование знаний -- логическое программирование -- логические модели -- логические задачи -- задачи (информационные технологии)
Доп.точки доступа:
Залогова, Л.
Семакин, И. \ед.\
Хеннер, Е. \ед.\
Плаксин, М.
Русаков, С.
Экземпляры всего: 3
Ч/З о. Русский (1), ЕКВ ауд.301 учебная (2)
Свободны: Ч/З о. Русский (1), ЕКВ ауд.301 учебная (2)
5.
Подробнее
Малюгин, В. Д.
Синтез и верификация логических моделей [Текст] / В. Д. Малюгин. // Автоматика и телемеханика : научно-технический журнал. - Москва : Наука,. - 2004. - №6. - Библиогр.: с. 187 (8 назв. )
Кл.слова (ненормированные):
арифметические полиномы -- верификация логических моделей -- логические модели
Аннотация: Рассматриваются методы проверки правильности реализации арифметических полиномов и обобщенных логических форм. Предложены методы проверки, при которых сложность проверки пропорциональна сложности исходного полинома.
Малюгин, В. Д.
Синтез и верификация логических моделей [Текст] / В. Д. Малюгин. // Автоматика и телемеханика : научно-технический журнал. - Москва : Наука,. - 2004. - №6. - Библиогр.: с. 187 (8 назв. )
Кл.слова (ненормированные):
арифметические полиномы -- верификация логических моделей -- логические модели
Аннотация: Рассматриваются методы проверки правильности реализации арифметических полиномов и обобщенных логических форм. Предложены методы проверки, при которых сложность проверки пропорциональна сложности исходного полинома.
6.
Подробнее
Олейник, Андрей Григорьевич.
Информационные ресурсы обеспечения задач переработки минеральных полезных ископаемых [Текст] / Олейник Андрей Григорьевич // Информационные ресурсы России. - N 2 (2004), С. 18-21. - Библиогр.: с. 21 (13 назв. )
Кл.слова (ненормированные):
аналитические модели -- имитационные модели -- статистические модели -- логические модели -- размещение производства -- вычислительный эксперимент -- математическое моделирование -- минеральные полезные ископаемые -- переработка полезных ископаемых -- управление промышленностью -- обогатительные схемы -- модели обогатительных схем -- информационные технологии -- информационные ресурсы
Аннотация: Обсуждаются современные проблемы информатизации задач управления размещением крупного производства и обеспечения долговременной устойчивой работы предприятий промышленности. Излагается современное состояние математического моделирования различных технико-экономических процессов. Перечислены основные типы математических моделей: аналитические, статистические, логические и имитационные. Рассматриваются подходы к построению математических моделей обогатительных схем на предприятиях горнообогатительного комплекса.
Олейник, Андрей Григорьевич.
Информационные ресурсы обеспечения задач переработки минеральных полезных ископаемых [Текст] / Олейник Андрей Григорьевич // Информационные ресурсы России. - N 2 (2004), С. 18-21. - Библиогр.: с. 21 (13 назв. )
| УДК |
Кл.слова (ненормированные):
аналитические модели -- имитационные модели -- статистические модели -- логические модели -- размещение производства -- вычислительный эксперимент -- математическое моделирование -- минеральные полезные ископаемые -- переработка полезных ископаемых -- управление промышленностью -- обогатительные схемы -- модели обогатительных схем -- информационные технологии -- информационные ресурсы
Аннотация: Обсуждаются современные проблемы информатизации задач управления размещением крупного производства и обеспечения долговременной устойчивой работы предприятий промышленности. Излагается современное состояние математического моделирования различных технико-экономических процессов. Перечислены основные типы математических моделей: аналитические, статистические, логические и имитационные. Рассматриваются подходы к построению математических моделей обогатительных схем на предприятиях горнообогатительного комплекса.
7.
Подробнее
Шалак, Владимир Иванович.
Логический анализ сети Интернет / В. И. Шалак ; Российская академия наук, Институт философии. - Москва : [б. и.], 2005. - 96 с. : ил., табл. - Библиогр. : с. 94-96. - ISBN 5954000476
Приложения : с. 62-93
Рубрики: INTERNET, глобальная информационная сеть--логический анализ
Кл.слова (ненормированные):
сети INTERNET -- логические модели INTERNET -- запросы поисковых систем -- модели запросов (информационные технологии) -- логика запросов (информационные технологии)
Доп.точки доступа:
Институт философии (Москва)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Шалак, Владимир Иванович.
Логический анализ сети Интернет / В. И. Шалак ; Российская академия наук, Институт философии. - Москва : [б. и.], 2005. - 96 с. : ил., табл. - Библиогр. : с. 94-96. - ISBN 5954000476
Приложения : с. 62-93
| УДК |
Рубрики: INTERNET, глобальная информационная сеть--логический анализ
Кл.слова (ненормированные):
сети INTERNET -- логические модели INTERNET -- запросы поисковых систем -- модели запросов (информационные технологии) -- логика запросов (информационные технологии)
Доп.точки доступа:
Институт философии (Москва)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
8.
Подробнее
Москаленко, Юрий Сергеевич.
Организация систем, основанных на знаниях : учебное пособие / Ю. С. Москаленко. - Владивосток : Изд. дом Дальневосточного федерального университета, 2013. - 242 с. : ил., табл. - Библиогр. : с. 237-240. - ISBN 9785744431730
Рубрики: искусственный интеллект--системы--учебные издания для вузов
Кл.слова (ненормированные):
интеллект -- логические модели (информационные технологии) -- представление знаний (информационные технологии) -- исчисление высказываний -- продукционные модели (информационные технологии) -- интеллектуальные информационные системы -- структурные модели (информационные технологии) -- фреймы -- структура знаний (информационные технологии) -- экспертные системы -- мультиагентные системы -- семантические сети -- ДВФУ (труды преподавателей)
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Свободны: Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Москаленко, Юрий Сергеевич.
Организация систем, основанных на знаниях : учебное пособие / Ю. С. Москаленко. - Владивосток : Изд. дом Дальневосточного федерального университета, 2013. - 242 с. : ил., табл. - Библиогр. : с. 237-240. - ISBN 9785744431730
| УДК |
Рубрики: искусственный интеллект--системы--учебные издания для вузов
Кл.слова (ненормированные):
интеллект -- логические модели (информационные технологии) -- представление знаний (информационные технологии) -- исчисление высказываний -- продукционные модели (информационные технологии) -- интеллектуальные информационные системы -- структурные модели (информационные технологии) -- фреймы -- структура знаний (информационные технологии) -- экспертные системы -- мультиагентные системы -- семантические сети -- ДВФУ (труды преподавателей)
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Свободны: Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
9.
Подробнее
Вычислительные сети : [сборник] / Академия наук Латвийской ССР, Институт электроники и вычислительной техники ; ред. кол. : В. А. Пелипейко (отв. ред.) [и др.]. - Рига : Зинатне, 1989 - .
Вып. 5 : Малые локальные сети / Институт электроники и вычислительной техники (Рига). - 188 с. : табл., ил. - Библиогр. в конце ст.. - ISBN 5796601814
Кл.слова (ненормированные):
локальные вычислительные сети -- архитектура малых локальных сетей -- реализация малых локальных сетей -- логические модели -- аппаратные средства малых сетей -- моноканалы -- контроллеры
Доп.точки доступа:
Пелипейко, В. А. \ед.\
Институт электроники и вычислительной техники (Рига)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Вычислительные сети : [сборник] / Академия наук Латвийской ССР, Институт электроники и вычислительной техники ; ред. кол. : В. А. Пелипейко (отв. ред.) [и др.]. - Рига : Зинатне, 1989 - .
Вып. 5 : Малые локальные сети / Институт электроники и вычислительной техники (Рига). - 188 с. : табл., ил. - Библиогр. в конце ст.. - ISBN 5796601814
| УДК |
Кл.слова (ненормированные):
локальные вычислительные сети -- архитектура малых локальных сетей -- реализация малых локальных сетей -- логические модели -- аппаратные средства малых сетей -- моноканалы -- контроллеры
Доп.точки доступа:
Пелипейко, В. А. \ед.\
Институт электроники и вычислительной техники (Рига)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
10.
Подробнее
Хасанов, Е. Х.
Разработка интерфейса для геоинформационных экспертных систем / Е. Х. Хасанов. // "Молодежь и научно-технический прогресс": региональная научная конференция (1998 ; Владивосток). Материалы ..., 21-24 апреля 1998 года. - Владивосток : Изд-во Дальневосточного технического университета, 1998. Ч. 1.
Рубрики: Владивосток, город (Приморский край)
Кл.слова (ненормированные):
ДВГУ -- интерфейс -- геоинформационные экспертные системы -- логические модели -- редактор географических данных
Хасанов, Е. Х.
Разработка интерфейса для геоинформационных экспертных систем / Е. Х. Хасанов. // "Молодежь и научно-технический прогресс": региональная научная конференция (1998 ; Владивосток). Материалы ..., 21-24 апреля 1998 года. - Владивосток : Изд-во Дальневосточного технического университета, 1998. Ч. 1.
Рубрики: Владивосток, город (Приморский край)
Кл.слова (ненормированные):
ДВГУ -- интерфейс -- геоинформационные экспертные системы -- логические модели -- редактор географических данных
Страница 1, Результатов: 16