Перейти к содержимому
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 9
Отмеченные записи: 0
1.
Подробнее
Гарсиа-Молина, Гектор.
Системы баз данных. Полный курс : [пер. с англ.] / Г. Гарсиа-Молина, Дж. Д. Ульман, Д. Уидом. - Москва : Вильямс, 2003. - 1083 c. : ил., табл. - Библиогр. в конце гл.. - ISBN 584590384X
Именной указатель : с. 1051-1054. Предметный указатель : с. 1055-1083.
Рубрики: базы данных--модели
Кл.слова (ненормированные):
модель данных "сущность -связь." -- реляционная модель -- реляционная алгебра -- SQL, язык программирования -- логические языки запросов -- хранение информации -- индексы многомерные -- индексы точечные -- компиляция запросов (информационные технологии) -- оптимизация запросов (информационные технологии) -- интеграция информации (информационные технологии) -- управление транзакциями -- управление параллельными заданиями (информационные технологии)
Доп.точки доступа:
Ульман, Джеффри
Уидом, Дженнифер
Экземпляры всего: 2
Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Гарсиа-Молина, Гектор.
Системы баз данных. Полный курс : [пер. с англ.] / Г. Гарсиа-Молина, Дж. Д. Ульман, Д. Уидом. - Москва : Вильямс, 2003. - 1083 c. : ил., табл. - Библиогр. в конце гл.. - ISBN 584590384X
Именной указатель : с. 1051-1054. Предметный указатель : с. 1055-1083.
| УДК |
Рубрики: базы данных--модели
Кл.слова (ненормированные):
модель данных "сущность -связь." -- реляционная модель -- реляционная алгебра -- SQL, язык программирования -- логические языки запросов -- хранение информации -- индексы многомерные -- индексы точечные -- компиляция запросов (информационные технологии) -- оптимизация запросов (информационные технологии) -- интеграция информации (информационные технологии) -- управление транзакциями -- управление параллельными заданиями (информационные технологии)
Доп.точки доступа:
Ульман, Джеффри
Уидом, Дженнифер
Экземпляры всего: 2
Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
2.
Подробнее
Войшвилло, Евгений Казимирович.
Логика : учебник / Е. Г. Войшвилло, М. Г. Дегтярев. - Москва : Владос, 2001. - 527 c. - (Учебник для вузов). - ISBN 5305000017
ББК 87.4я73-1
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
суждение -- дефиниция -- силлогизмы -- логические языки -- индукция -- символическая логика -- дедукция
Доп.точки доступа:
Дегтярев, Михаил Григорьевич \авт.\
Экземпляры всего: 2
Абонемент учебной и научной литературы (2)
Свободны: Абонемент учебной и научной литературы (2)
Войшвилло, Евгений Казимирович.
Логика : учебник / Е. Г. Войшвилло, М. Г. Дегтярев. - Москва : Владос, 2001. - 527 c. - (Учебник для вузов). - ISBN 5305000017
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
суждение -- дефиниция -- силлогизмы -- логические языки -- индукция -- символическая логика -- дедукция
Доп.точки доступа:
Дегтярев, Михаил Григорьевич \авт.\
Экземпляры всего: 2
Абонемент учебной и научной литературы (2)
Свободны: Абонемент учебной и научной литературы (2)
3.
Подробнее
Войшвилло, Евгений Казимирович
Логика как часть теории познания и научной методологии. Фундаментальный курс : учебное пособие для философских факультетов и преподавателей логики : в 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)
4.
Подробнее
Войшвилло, Евгений Казимирович
Логика как часть теории познания и научной методологии. Фундаментальный курс : учебное пособие для философских факультетов и преподавателей логики : в 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)
5.
Подробнее
Теория вероятностей. Математическая статистика. Теоретическая кибернетика / Академия наук СССР, Всесоюзный институт научной и технической информации ; науч. ред. Р. В. Гамкрелидзе. - Москва : [б. и.], 1983 - . - (Итоги науки и техники).
т. 20 / Академия наук СССР, Всесоюзный институт научной и технической информации. - 167 c. : ил. - Библиогр. : с. 147-166
Рубрики: вероятностей теория--сборники
математическая статистика--сборники
кибернетика--сборники
Кл.слова (ненормированные):
автомодельные случайные поля -- теория вероятностей -- ренормализационные преобразования -- алгоритмические языки -- теория критических явлений (статистическая физика) -- ренормализационной группы метод -- рекурсивность -- линейные отображения -- квантовые стохастические процессы -- семантика алгоритмических языков -- теоретическая кибернетика -- логические языки -- денотационная семантика
Доп.точки доступа:
Гамкрелидзе, Реваз Валерианович \ед.\
Академия наук СССР. Всесоюзный институт научной и технической информации
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Теория вероятностей. Математическая статистика. Теоретическая кибернетика / Академия наук СССР, Всесоюзный институт научной и технической информации ; науч. ред. Р. В. Гамкрелидзе. - Москва : [б. и.], 1983 - . - (Итоги науки и техники).
т. 20 / Академия наук СССР, Всесоюзный институт научной и технической информации. - 167 c. : ил. - Библиогр. : с. 147-166
| УДК |
Рубрики: вероятностей теория--сборники
математическая статистика--сборники
кибернетика--сборники
Кл.слова (ненормированные):
автомодельные случайные поля -- теория вероятностей -- ренормализационные преобразования -- алгоритмические языки -- теория критических явлений (статистическая физика) -- ренормализационной группы метод -- рекурсивность -- линейные отображения -- квантовые стохастические процессы -- семантика алгоритмических языков -- теоретическая кибернетика -- логические языки -- денотационная семантика
Доп.точки доступа:
Гамкрелидзе, Реваз Валерианович \ед.\
Академия наук СССР. Всесоюзный институт научной и технической информации
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
6.
Подробнее
Логика и компьютер. Вып. 2. Логические языки, содержательные рассуждения и методы поиска доказательств / РАН. - Москва : Наука, 1995. - 131 c. - (Кибернетика - неограниченные возможности и возможные ограничения). - ISBN 5020068969
Кл.слова (ненормированные):
Логика -- искусственные языки -- логические языки -- доказательство теорем -- методы поиска доказательств -- компьютеры
Доп.точки доступа:
Российская академия наук
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Логика и компьютер. Вып. 2. Логические языки, содержательные рассуждения и методы поиска доказательств / РАН. - Москва : Наука, 1995. - 131 c. - (Кибернетика - неограниченные возможности и возможные ограничения). - ISBN 5020068969
| УДК |
Кл.слова (ненормированные):
Логика -- искусственные языки -- логические языки -- доказательство теорем -- методы поиска доказательств -- компьютеры
Доп.точки доступа:
Российская академия наук
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
7.
Подробнее
Васюков, Владимир Леонидович.
Формальная онтология / В. Л. Васюков ; Российская академия наук, Институт философии. ; Институт философии (Москва). - Москва : [б. и.], 2006. - 141 с. : ил.. - ISBN 5954000654. - ISBN 9785954000658
ББК 87.21 + 87.4
Рубрики: онтология--формальные языки--монографии
Кл.слова (ненормированные):
формальная онтология -- логические языки -- онтологические обязательства -- философские методы -- формальная метаонтология -- формальня логика -- дескриптивная онтология -- логическая онтология -- онтологические типологии -- формальные языки -- формальная метафизика -- онтологический плюрализм
Доп.точки доступа:
Институт философии (Москва)
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Васюков, Владимир Леонидович.
Формальная онтология / В. Л. Васюков ; Российская академия наук, Институт философии. ; Институт философии (Москва). - Москва : [б. и.], 2006. - 141 с. : ил.. - ISBN 5954000654. - ISBN 9785954000658
Рубрики: онтология--формальные языки--монографии
Кл.слова (ненормированные):
формальная онтология -- логические языки -- онтологические обязательства -- философские методы -- формальная метаонтология -- формальня логика -- дескриптивная онтология -- логическая онтология -- онтологические типологии -- формальные языки -- формальная метафизика -- онтологический плюрализм
Доп.точки доступа:
Институт философии (Москва)
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
8.
Подробнее
Войшвилло, Евгений Казимирович.
Логика : учебник для вузов / Е. К. Войшвилло, М. Г. Дегтярев. - [Москва] : [Владос-Пресс] : [Университет], [2013]. - 527 с. : ил., табл., схем. - (Учебник для вузов). - Предметный указатель : с. 514-522. - ISBN 9785691016882. - ISBN 9785982279040
ББК 87.4я73-1
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
суждение -- дефиниция -- силлогизмы -- логические языки -- индукция -- символическая логика -- дедукция
Доп.точки доступа:
Дегтярев, Михаил Григорьевич
Экземпляры всего: 6
Книгохранение (1), Абонемент учебной и научной литературы (2), Абонемент о. Русский (2), Ч/З о. Русский (1)
Свободны: Книгохранение (1), Абонемент учебной и научной литературы (2), Абонемент о. Русский (2), Ч/З о. Русский (1)
Войшвилло, Евгений Казимирович.
Логика : учебник для вузов / Е. К. Войшвилло, М. Г. Дегтярев. - [Москва] : [Владос-Пресс] : [Университет], [2013]. - 527 с. : ил., табл., схем. - (Учебник для вузов). - Предметный указатель : с. 514-522. - ISBN 9785691016882. - ISBN 9785982279040
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
суждение -- дефиниция -- силлогизмы -- логические языки -- индукция -- символическая логика -- дедукция
Доп.точки доступа:
Дегтярев, Михаил Григорьевич
Экземпляры всего: 6
Книгохранение (1), Абонемент учебной и научной литературы (2), Абонемент о. Русский (2), Ч/З о. Русский (1)
Свободны: Книгохранение (1), Абонемент учебной и научной литературы (2), Абонемент о. Русский (2), Ч/З о. Русский (1)
9.
Подробнее
Орлов, Сергей Александрович.
Теория и практика языков программирования : учебник / С. А. Орлов. - Санкт-Петербург : Питер, 2014. - 688 с. : ил., табл. - (Учебник для вузов) (Стандарт третьего поколения.). - Библиогр. : с. 677-682. - Алфавитный указатель : с. 683-688.. - ISBN 9785496000321
Рубрики: языки программирования--теория--учебные издания для вузов
Кл.слова (ненормированные):
виртуальные машины -- трансляция языков -- императивные языки программирования -- функциональные языки программирования -- логические языки программирования -- объектно-ориентированные языки программирования -- HTML, язык разметки гипертекста -- скриптовые языки программирования -- гибридные языки программирования -- синтаксис языков программирования -- семантика языков программирования -- типы данных (информационные технологии) -- указатели (информационные технологии) -- подпрограммы (информационные технологии) -- абстрактные типы данных (информационные технологии) -- аспектно-ориентированное программирование -- объектно-ориентированное программирование -- аппарат исключений (информационные технологии) -- ввод-вывод данных -- файлы (информационные технологии) -- параллельное программирование -- функциональное программирование -- логическое программирование
Экземпляры всего: 2
Книгохранение (1), Ч/З о. Русский (1)
Свободны: Книгохранение (1), Ч/З о. Русский (1)
Орлов, Сергей Александрович.
Теория и практика языков программирования : учебник / С. А. Орлов. - Санкт-Петербург : Питер, 2014. - 688 с. : ил., табл. - (Учебник для вузов) (Стандарт третьего поколения.). - Библиогр. : с. 677-682. - Алфавитный указатель : с. 683-688.. - ISBN 9785496000321
| УДК |
Рубрики: языки программирования--теория--учебные издания для вузов
Кл.слова (ненормированные):
виртуальные машины -- трансляция языков -- императивные языки программирования -- функциональные языки программирования -- логические языки программирования -- объектно-ориентированные языки программирования -- HTML, язык разметки гипертекста -- скриптовые языки программирования -- гибридные языки программирования -- синтаксис языков программирования -- семантика языков программирования -- типы данных (информационные технологии) -- указатели (информационные технологии) -- подпрограммы (информационные технологии) -- абстрактные типы данных (информационные технологии) -- аспектно-ориентированное программирование -- объектно-ориентированное программирование -- аппарат исключений (информационные технологии) -- ввод-вывод данных -- файлы (информационные технологии) -- параллельное программирование -- функциональное программирование -- логическое программирование
Экземпляры всего: 2
Книгохранение (1), Ч/З о. Русский (1)
Свободны: Книгохранение (1), Ч/З о. Русский (1)
Страница 1, Результатов: 9